A disquotational theory of truth as strong as \(Z_2^-\)

DOI10.1007/s10992-014-9327-5zbMath1329.03025OpenAlexW2070477489MaRDI QIDQ496323

Thomas Schindler

Publication date: 21 September 2015

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-014-9327-5

zbMATH Keywords

minimalismdeflationismaxiomatic theories of truthsecond-order arithmeticrelative interpretationsT-schema

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35)

Related Items

Conceptual engineering for truth: aletheic properties and new aletheic concepts, Some notes on truths and comprehension, Minimalism, supervaluations and fixed points, Reference and truth

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• What truth depends on
• Proof theory. The first step into impredicativity
• Notes on naive semantics
• Maximal consistent sets of instances of Tarski's schema (T)
• Elementary induction on abstract structures
• A revenge-immune solution to the semantic paradoxes
• Truth and reduction
• AXIOMS FOR GROUNDED TRUTH
• A theory of formal truth arithmetically equivalent to ID₁
• ULTIMATE TRUTHVIS-À-VISSTABLE TRUTH
• The truth is never simple
• Notes on Formal Theories of Truth
• Reflecting on incompleteness
• On the Consistency of a Positive Theory
• Outline of a Theory of Truth
• A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy
• New Foundations for Mathematical Logic
• REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH