A disquotational theory of truth as strong as Z₂^-
DOI10.1007/S10992-014-9327-5zbMATH Open1329.03025OpenAlexW2070477489MaRDI QIDQ496323FDOQ496323
Authors: 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
Recommendations
axiomatic theories of truthsecond-order arithmeticminimalismdeflationismrelative interpretationsT-schema
Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35)
Cites Work
- A revenge-immune solution to the semantic paradoxes
- Outline of a Theory of Truth
- Elementary induction on abstract structures
- Truth and reduction
- Axiomatic theories of truth
- A theory of formal truth arithmetically equivalent to ID1
- Subsystems of second order arithmetic
- The truth is never simple
- Notes on Formal Theories of Truth
- Reflecting on incompleteness
- Title not available (Why is that?)
- What truth depends on
- Proof theory. The first step into impredicativity
- Title not available (Why is that?)
- New Foundations for Mathematical Logic
- Notes on naive semantics
- Maximal consistent sets of instances of Tarski's schema (T)
- Axioms for grounded truth
- Ultimate truth vis-à-vis stable truth
- On the Consistency of a Positive Theory
- A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy
- Reducing compositional to disquotational truth
Cited In (14)
- Reducing compositional to disquotational truth
- Disquotationalism and expressiveness
- Minimalism, supervaluations and fixed points
- Some notes on truths and comprehension
- Minimal truth and interpretability
- Disquotational truth and analyticity
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
- Title not available (Why is that?)
- Reference and truth
- Conceptual engineering for truth: aletheic properties and new aletheic concepts
- An ultrapower which does not preserve the truth of a \(\Pi_2\) sentence
- Minimalism, reference, and paradoxes
- Minimalism and the generalisation problem: on Horwich's second solution
- T-equivalences for positive sentences
This page was built for publication: A disquotational theory of truth as strong as \(Z_2^-\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q496323)
