Tarski Undefinability Theorem Terse Refutation

Download Edit this record How to cite View on PhilPapers
Both Tarski and Gödel “prove” that provability can diverge from Truth. When we boil their claim down to its simplest possible essence it is really claiming that valid inference from true premises might not always derive a true consequence. This is obviously impossible.
PhilPapers/Archive ID
Upload history
First archival date: 2019-05-02
Latest version: 6 (2019-05-03)
View other versions
Added to PP index

Total views
63 ( #53,232 of 64,180 )

Recent downloads (6 months)
11 ( #45,913 of 64,180 )

How can I increase my downloads?

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