AXIOMS FOR DETERMINATENESS AND TRUTH

DOI10.1017/S1755020308080209zbMath1204.03007MaRDI QIDQ3580669

Solomon Feferman

Publication date: 13 August 2010

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

Peano ArithmeticGödel numbersstrong compositionalityformal theory of truthdeterminate meaningful sentencesfull induction

Mathematics Subject Classification ID

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