On Gödel Sentences and What They Say

Philosophia Mathematica 15 (2):193-226 (2007)
  Copy   BIBTEX

Abstract

Proofs of Gödel's First Incompleteness Theorem are often accompanied by claims such as that the gödel sentence constructed in the course of the proof says of itself that it is unprovable and that it is true. The validity of such claims depends closely on how the sentence is constructed. Only by tightly constraining the means of construction can one obtain gödel sentences of which it is correct, without further ado, to say that they say of themselves that they are unprovable and that they are true; otherwise a false theory can yield false gödel sentences

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

Analytics

Added to PP
2009-01-28

Downloads
240 (#87,426)

6 months
26 (#116,068)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Milne
University of Stirling

Citations of this work

Self-reference in arithmetic I.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):671-691.
There May Be Many Arithmetical Gödel Sentences.Kaave Lajevardi & Saeed Salehi - 2021 - Philosophia Mathematica 29 (2):278–287.
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.

View all 14 citations / Add more citations

References found in this work

Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.

View all 22 references / Add more references