Some notes on truths and comprehension

DOI10.1007/S10992-017-9434-1zbMath1436.03308DBLPjournals/jphil/Schindler18OpenAlexW2591827476WikidataQ59615000 ScholiaQ59615000MaRDI QIDQ722023

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

zbMATH Keywords

truthdefinabilitysecond-order arithmeticrelative interpretations

Mathematics Subject Classification ID

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 ID₁
• 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