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
34 ( #46,557 of 51,428 )

Recent downloads (6 months)
6 ( #46,594 of 51,428 )

How can I increase my downloads?

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