T-equivalences for positive sentences

Review of Symbolic Logic 4 (2):319-325 (2011)
Download Edit this record How to cite View on PhilPapers
Abstract
Answering a question formulated by Halbach (2009), I show that a disquotational truth theory, which takes as axioms all positive substitutions of the sentential T-schema, together with all instances of induction in the language with the truth predicate, is conservative over its syntactical base.
Keywords
PhilPapers/Archive ID
CIEQFP
Upload history
Archival date: 2017-04-06
View other versions
Added to PP index
2012-11-23

Total views
118 ( #33,830 of 54,432 )

Recent downloads (6 months)
38 ( #18,817 of 54,432 )

How can I increase my downloads?

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