A disquotational theory of truth as strong as Z₂^-
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 2149370 (Why is no real title available?)
- scientific article; zbMATH DE number 3020851 (Why is no real title available?)
- A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy
- A revenge-immune solution to the semantic paradoxes
- A theory of formal truth arithmetically equivalent to ID1
- Axiomatic theories of truth
- Axioms for grounded truth
- Elementary induction on abstract structures
- Maximal consistent sets of instances of Tarski's schema (T)
- New Foundations for Mathematical Logic
- Notes on Formal Theories of Truth
- Notes on naive semantics
- On the Consistency of a Positive Theory
- Outline of a Theory of Truth
- Proof theory. The first step into impredicativity
- Reducing compositional to disquotational truth
- Reflecting on incompleteness
- Subsystems of second order arithmetic
- The truth is never simple
- Truth and reduction
- Ultimate truth vis-à-vis stable truth
- What truth depends on
Cited in
(14)- Reducing compositional to disquotational truth
- Disquotationalism and expressiveness
- Minimalism, supervaluations and fixed points
- Some notes on truths and comprehension
- Disquotational truth and analyticity
- Minimal truth and interpretability
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
- Reference and truth
- scientific article; zbMATH DE number 1779443 (Why is no real title available?)
- Conceptual engineering for truth: aletheic properties and new aletheic concepts
- An ultrapower which does not preserve the truth of a \(\Pi_2\) sentence
- Minimalism and the generalisation problem: on Horwich's second solution
- Minimalism, reference, and paradoxes
- 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)
