Some notes on truths and comprehension

DOI10.1007/S10992-017-9434-1MaRDI QIDQ722023zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Thomas Schindler

Publication date 20 July 2018

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

• The truth is never simple
• Notes on Formal Theories of Truth
• Truth and reduction
• Syntactical truth predicates for second order arithmetic
• Levels of truth

Cites work

• scientific article; zbMATH DE number 3550662 (Why is no real title available?)
• scientific article; zbMATH DE number 1215477 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy
• A disquotational theory of truth as strong as \(Z_2^-\)
• A graph-theoretic analysis of the semantic paradoxes
• A theory of formal truth arithmetically equivalent to ID₁
• Axiomatic theories of truth
• Axiomatizing semantic theories of truth?
• Axioms for grounded truth
• CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
• Elementary induction on abstract structures
• Equivalences for truth predicates
• How innocent is deflationism?
• Notes on Formal Theories of Truth
• Notes on naive semantics
• Notes on the computational aspects of Kripke's theory of truth
• On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set
• On the weak Kleene scheme in Kripke's theory of truth
• Outline of a Theory of Truth
• Pairs, sets and sequences in first-order theories
• Proof theory. The first step into impredicativity
• Reducing compositional to disquotational truth
• Reflecting on incompleteness
• Subsystems of second order arithmetic
• The complexity of the dependence operator
• The truth is never simple
• Truth and paradox
• Truth and reduction
• Undecidable theories
• What truth depends on

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)