PICOLLO, LAVINIA;
(2018)
Reference in arithmetic.
The Review of Symbolic Logic
, 11
(3)
pp. 573-603.
10.1017/S1755020317000351.
Preview |
Text
Picollo VoR reference_in_arithmetic.pdf - Published Version Download (285kB) | Preview |
Abstract
Self-reference has played a prominent role in the development of metamathematics in the past century, starting with Gödel’s first incompleteness theorem. Given the nature of this and other results in the area, the informal understanding of self-reference in arithmetic has sufficed so far. Recently, however, it has been argued that for other related issues in metamathematics and philosophical logic a precise notion of self-reference and, more generally, reference is actually required. These notions have been so far elusive and are surrounded by an aura of scepticism that has kept most philosophers away. In this paper I suggest we shouldn’t give up all hope. First, I introduce the reader to these issues. Second, I discuss the conditions a good notion of reference in arithmetic must satisfy. Accordingly, I then introduce adequate notions of reference for the language of first-order arithmetic, which I show to be fruitful for addressing the aforementioned issues in metamathematics.
| Type: | Article |
|---|---|
| Title: | Reference in arithmetic |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1017/S1755020317000351 |
| Publisher version: | https://doi.org/10.1017/S1755020317000351 |
| Language: | English |
| Additional information: | This version is the version of record. For information on re-use, please refer to the publisher’s terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL SLASH UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities > Dept of Philosophy |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10066271 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
