Some notes on truths and comprehension
From MaRDI portal
Publication:722023
DOI10.1007/s10992-017-9434-1zbMath1436.03308OpenAlexW2591827476WikidataQ59615000 ScholiaQ59615000MaRDI QIDQ722023
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
Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)
Related Items (3)
Higher-order logic and disquotational truth ⋮ Revision without revision sequences: self-referential truth ⋮ Truth and the philosophy of mathematics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A disquotational theory of truth as strong as \(Z_2^-\)
- Notes on the computational aspects of Kripke's theory of truth
- What truth depends on
- Proof theory. The first step into impredicativity
- Pairs, sets and sequences in first-order theories
- Notes on naive semantics
- Elementary induction on abstract structures
- Truth and paradox
- Truth and reduction
- The complexity of the dependence operator
- Undecidable theories
- On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set
- AXIOMS FOR GROUNDED TRUTH
- A theory of formal truth arithmetically equivalent to ID1
- CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
- The truth is never simple
- Notes on Formal Theories of Truth
- Reflecting on incompleteness
- On the weak Kleene scheme in Kripke's theory of truth
- Outline of a Theory of Truth
- A GRAPH-THEORETIC ANALYSIS OF THE SEMANTIC PARADOXES
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
- EQUIVALENCES FOR TRUTH PREDICATES
- A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy
- REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
- How innocent is deflationism?
This page was built for publication: Some notes on truths and comprehension
