Self-reference and the languages of arithmetic

Philosophia Mathematica 15 (1):1-29 (2007)
  Copy   BIBTEX

Abstract

I here investigate the sense in which diagonalization allows one to construct sentences that are self-referential. Truly self-referential sentences cannot be constructed in the standard language of arithmetic: There is a simple theory of truth that is intuitively inconsistent but is consistent with Peano arithmetic, as standardly formulated. True self-reference is possible only if we expand the language to include function-symbols for all primitive recursive functions. This language is therefore the natural setting for investigations of self-reference.

Similar books and articles

Uniform self-reference.Raymond M. Smullyan - 1985 - Studia Logica 44 (4):439 - 445.
Self-Reference in Arithmetic II.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):692-712.
Reference in arithmetic.Lavinia Picollo - 2018 - Review of Symbolic Logic 11 (3):573-603.
Alethic Reference.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):417-438.
Varieties of Self-Reference in Metamathematics.Balthasar Grabmayr, Volker Halbach & Lingyuan Ye - 2023 - Journal of Philosophical Logic 52 (4):1005-1052.
The Calculus of Concreta Self-Applied.Thomas Patrick Rardin - 1984 - Dissertation, Washington University

Analytics

Added to PP
2009-01-28

Downloads
1,271 (#765)

6 months
149 (#125,735)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard Kimberly Heck
Brown University

Citations of this work

Faithfulness for naive validity.Ulf Hlobil - 2019 - Synthese 196 (11):4759-4774.
Self-reference in arithmetic I.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):671-691.
Gödel’s Theorem and Direct Self-Reference.Saul A. Kripke - 2023 - Review of Symbolic Logic 16 (2):650-654.
Reference in arithmetic.Lavinia Picollo - 2018 - Review of Symbolic Logic 11 (3):573-603.

View all 22 citations / Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
Computability and Logic.G. S. Boolos & R. C. Jeffrey - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.
Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.

View all 18 references / Add more references