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

Authors
Lavinia Maria Picollo
University College London
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.
Keywords reference  arithmetic   self-reference  diagonalization
Categories (categorize this paper)
Reprint years 2018
DOI 10.1017/s1755020317000351
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,177
Through your library

References found in this work BETA

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.

View all 39 references / Add more references

Citations of this work BETA

Gödel’s Theorem and Direct Self-Reference.Saul A. Kripke - forthcoming - Review of Symbolic Logic:1-5.
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.

Add more citations

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.

Analytics

Added to PP index
2018-01-28

Total views
72 ( #158,372 of 2,499,417 )

Recent downloads (6 months)
9 ( #80,217 of 2,499,417 )

How can I increase my downloads?

Downloads

My notes