T-equivalences for positive sentences
Review of Symbolic Logic 4 (2):319-325 (2011)
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
Categories
(categorize this paper)
PhilPapers/Archive ID
CIEQFP
Revision history
Archival date: 2017-04-06
View upload history
View upload history
References found in this work BETA
Outline of a Theory of Truth.Kripke, Saul
Reflecting on Incompleteness.Feferman, Solomon
Reducing Compositional to Disquotational Truth.Halbach, Volker
Disquotational Truth and Analyticity.Halbach, Volker
View all 7 references / Add more references
Citations of this work BETA
The Innocence of Truth.Cieśliński, Cezary
Typed and Untyped Disquotational Truth.Cieśliński, Cezary
Models of PT- with Internal Induction for Total Formulae.Cieslinski, Cezary; Wcisło, Bartosz & Łełyk, Mateusz
Comparing Axiomatic Theories of Truth.Łełyk, Mateusz
Added to PP index
2012-11-23
Total views
85 ( #35,570 of 50,122 )
Recent downloads (6 months)
13 ( #36,599 of 50,122 )
2012-11-23
Total views
85 ( #35,570 of 50,122 )
Recent downloads (6 months)
13 ( #36,599 of 50,122 )
How can I increase my downloads?
Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.
