REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
From MaRDI portal
Publication:5850987
DOI10.1017/S1755020309990220zbMath1188.03004OpenAlexW2167573131MaRDI QIDQ5850987
Publication date: 21 January 2010
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020309990220
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)
Related Items (14)
Relative Truth Definability of Axiomatic Truth Theories ⋮ Supervaluation-style truth without supervaluations ⋮ Autonomous progression and transfinite iteration of self-applicable truth ⋮ Higher-order logic and disquotational truth ⋮ Minimalism and the generalisation problem: on Horwich's second solution ⋮ More on Systems of Truth and Predicative Comprehension ⋮ A disquotational theory of truth as strong as \(Z_2^-\) ⋮ MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE ⋮ Some notes on truths and comprehension ⋮ REFERENCE IN ARITHMETIC ⋮ Deflationism beyond arithmetic ⋮ T-EQUIVALENCES FOR POSITIVE SENTENCES ⋮ Reference and truth ⋮ EQUIVALENCES FOR TRUTH PREDICATES
Cites Work
- Unnamed Item
- Some remarks on extending and interpreting theories with a partial predicate for truth
- Maximal consistent sets of instances of Tarski's schema (T)
- Conservative theories of classical truth
- Deflationism, conservativeness and maximality
- Notes on Formal Theories of Truth
- Reflecting on incompleteness
- Outline of a Theory of Truth
- Axiomatizing Kripke's theory of truth
- How innocent is deflationism?
This page was built for publication: REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH