Reference in arithmetic

Review of Symbolic Logic 11 (3):573-603 (2018)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 89,703

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Uniform self-reference.Raymond M. Smullyan - 1985 - Studia Logica 44 (4):439 - 445.
Self-reference and the languages of arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.
Incompleteness and inconsistency.Stewart Shapiro - 2002 - Mind 111 (444):817-832.
A deflationary theory of reference.Arvid Båve - 2009 - Synthese 169 (1):51 - 73.
Godel's theorem in retrospect.Martin Tabakov - 1984 - Bulletin of the Section of Logic 13 (3):132-134.
Sense, Reference and Purported Reference.H. G. Callaway - 1982 - Logique Et Analyse 25 (March):93-103.
Arithmetic, Mathematical Intuition, and Evidence.Richard Tieszen - 2015 - Inquiry: An Interdisciplinary Journal of Philosophy 58 (1):28-56.
What Does it Take to Refer?Kent Bach - 2006 - In Ernest Lepore & Barry Smith (eds.), The Oxford Handbook of Philosophy of Language. Oxford University Press. pp. 516--554.
Towards metamathematics of weak arithmetics over fuzzy logic.Petr Hájek - 2011 - Logic Journal of the IGPL 19 (3):467-475.


Added to PP

92 (#168,623)

6 months
8 (#155,972)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Lavinia Maria Picollo
National University of Singapore

Citations of this work

Gödel’s Theorem and Direct Self-Reference.Saul A. Kripke - 2023 - Review of Symbolic Logic 16 (2):650-654.
Reference and Truth.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):439-474.
Alethic Reference.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):417-438.

View all 10 citations / Add more citations

References found in this work

The semantic conception of truth and the foundations of semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.
Paradox without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251-252.

View all 39 references / Add more references