AXIOMS FOR DETERMINATENESS AND TRUTH
From MaRDI portal
Publication:3580669
DOI10.1017/S1755020308080209zbMath1204.03007MaRDI QIDQ3580669
Publication date: 13 August 2010
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Peano ArithmeticGödel numbersstrong compositionalityformal theory of truthdeterminate meaningful sentencesfull induction
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)
Related Items
One hundred years of semantic paradox, A feasible theory of truth over combinatory algebra, THE POWER OF NAIVE TRUTH, CLASSICAL DETERMINATE TRUTH I, Notes on models of (partial) Kripke-Feferman truth, Classes and truths in set theory, About Truth and Types, Notes on the computational aspects of Kripke's theory of truth, Reference, paradoxes and truth, Feferman and the Truth, Truth and the philosophy of mathematics, THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
Cites Work
- Some remarks on extending and interpreting theories with a partial predicate for truth
- The unfolding of non-finitist arithmetic
- Handbook of philosophical logic. Vol. 6
- A revenge-immune solution to the semantic paradoxes
- Toward useful type-free theories. I
- Notes on Formal Theories of Truth
- Reflecting on incompleteness
- A guide to truth predicates in the modern era
- Outline of a Theory of Truth
- Axiomatizing Kripke's theory of truth
- On meaningfulness and truth
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item