A deflationary account of the truth of the Gödel sentence G

DOI10.1007/978-3-319-10434-8_5MaRDI QIDQ5213627zbMATH OpenOpenAlexFDO

Authors Mario Piazza, Gabriele Pulcini

Publication date 4 February 2020

Published in Boston Studies in the Philosophy and History of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10434-8_5

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 1779443
• There may be many arithmetical Gödel sentences
• Does Gödel's incompleteness theorem prove that truth transcends proof?
• T-schema deflationism versus Gödel's first incompleteness theorem
• Does truth equal provability in the maximal theory?

Cites work

• scientific article; zbMATH DE number 3154788 (Why is no real title available?)
• scientific article; zbMATH DE number 3841940 (Why is no real title available?)
• scientific article; zbMATH DE number 1324440 (Why is no real title available?)
• scientific article; zbMATH DE number 1463093 (Why is no real title available?)
• scientific article; zbMATH DE number 1852974 (Why is no real title available?)
• scientific article; zbMATH DE number 3200657 (Why is no real title available?)
• A concise introduction to mathematical logic
• Axiomatic theories of truth
• How innocent is deflationism?
• Necessary and Sufficient Conditions for Undecidability of the Gödel Sentence and its Truth
• On interpreting Gödel's second theorem
• Reflecting on incompleteness
• Reflections on concrete incompleteness
• Strange case of Dr. soundness and Mr. consistency
• The Goal of Archimedes' Sand Reckoner
• The universal generalization problem
• Transfinite Progressions: A Second Look at Completeness
• Transfinite recursive progressions of axiomatic theories
• What is a proof?

Cited in

(11)

• scientific article; zbMATH DE number 5959536 (Why is no real title available?)
• Does Gödel's incompleteness theorem prove that truth transcends proof?
• Addendum to ``Sloman's view of Gödel's sentence
• On ``seeing the truth of the Gödel sentence
• Sloman's view of Gödel's sentence
• What's so special about the Gödel sentence \(\mathcal{G}\)?
• The implicit commitment of arithmetical theories and its semantic core
• Constructive truth and falsity in Peano arithmetic
• scientific article; zbMATH DE number 1779443 (Why is no real title available?)
• Incompleteness, constructivism and truth
• How do we know that the Gödel sentence of a consistent theory is true?

This page was built for publication: A deflationary account of the truth of the Gödel sentence \(\mathcal{G}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213627)