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 Arithmetic; Gödel numbers; strong compositionality; formal theory of truth; determinate meaningful sentences; full induction
03A05: Philosophical and critical aspects of logic and foundations
03F30: First-order arithmetic and fragments
Related Items
Classes and truths in set theory, Reference, paradoxes and truth, A feasible theory of truth over combinatory algebra
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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