The inexpressibility of validity

Analysis 74 (1):65-81 (2014)
Download Edit this record How to cite View on PhilPapers
Abstract
Tarski's Undefinability of Truth Theorem comes in two versions: that no consistent theory which interprets Robinson's Arithmetic (Q) can prove all instances of the T-Scheme and hence define truth; and that no such theory, if sound, can even express truth. In this note, I prove corresponding limitative results for validity. While Peano Arithmetic already has the resources to define a predicate expressing logical validity, as Jeff Ketland has recently pointed out (2012, Validity as a primitive. Analysis 72: 421-30), no theory which interprets Q closed under the standard structural rules can define nor express validity, on pain of triviality. The results put pressure on the widespread view that there is an asymmetry between truth and validity, viz. that while the former cannot be defined within the language, the latter can. I argue that Vann McGee's and Hartry Field's arguments for the asymmetry view are problematic
PhilPapers/Archive ID
MURTIO-9
Upload history
Archival date: 2015-11-21
View other versions
Added to PP index
2013-08-30

Total views
502 ( #8,760 of 52,923 )

Recent downloads (6 months)
29 ( #22,299 of 52,923 )

How can I increase my downloads?

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