REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH

DOI10.1017/S1755020309990220zbMath1188.03004OpenAlexW2167573131MaRDI QIDQ5850987

Volker Halbach

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

zbMATH Keywords

compositional truth\(T\)-sentencesdisquotational truth

Mathematics Subject Classification ID

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