Some notes on truths and comprehension
DOI10.1007/S10992-017-9434-1zbMATH Open1436.03308DBLPjournals/jphil/Schindler18OpenAlexW2591827476WikidataQ59615000 ScholiaQ59615000MaRDI QIDQ722023FDOQ722023
Authors: Thomas Schindler 
Publication date: 20 July 2018
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://www.repository.cam.ac.uk/handle/1810/263886
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)
Cites Work
- Outline of a Theory of Truth
- Title not available (Why is that?)
- Elementary induction on abstract structures
- Truth and reduction
- Undecidable theories
- On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set
- 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
- Axiomatizing semantic theories of truth?
- How innocent is deflationism?
- What truth depends on
- Proof theory. The first step into impredicativity
- Truth and paradox
- Title not available (Why is that?)
- Title not available (Why is that?)
- Pairs, sets and sequences in first-order theories
- Notes on naive semantics
- Axioms for grounded truth
- A disquotational theory of truth as strong as \(Z_2^-\)
- A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy
- Reducing compositional to disquotational truth
- The complexity of the dependence operator
- On the weak Kleene scheme in Kripke's theory of truth
- Notes on the computational aspects of Kripke's theory of truth
- CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
- A graph-theoretic analysis of the semantic paradoxes
- Equivalences for truth predicates
Cited In (7)
- Syntactical truth predicates for second order arithmetic
- Revision without revision sequences: self-referential truth
- More on Systems of Truth and Predicative Comprehension
- Truth and reduction
- Higher-order logic and disquotational truth
- Syntactical truth predicates for formulas with atomic negation
- Truth and the philosophy of mathematics
This page was built for publication: Some notes on truths and comprehension
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q722023)
