There May Be Many Arithmetical Gödel Sentences

Philosophia Mathematica (forthcoming)
Download Edit this record How to cite View on PhilPapers
Abstract
We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.
Keywords
No keywords specified (fix it)
PhilPapers/Archive ID
LAJTMB
Upload history
Archival date: 2021-02-20
View other versions
Added to PP index
2021-02-15

Total views
27 ( #54,430 of 56,863 )

Recent downloads (6 months)
27 ( #28,412 of 56,863 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.