A disquotational theory of truth as strong as \(Z_2^-\)
From MaRDI portal
Publication:496323
DOI10.1007/s10992-014-9327-5zbMath1329.03025OpenAlexW2070477489MaRDI QIDQ496323
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
minimalismdeflationismaxiomatic theories of truthsecond-order arithmeticrelative interpretationsT-schema
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 ID1
- 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
