UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Reference in arithmetic

PICOLLO, LAVINIA; (2018) Reference in arithmetic. The Review of Symbolic Logic , 11 (3) pp. 573-603. 10.1017/S1755020317000351. Green open access

[thumbnail of Picollo VoR reference_in_arithmetic.pdf]
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
Downloads since deposit
47Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item