AXIOMS FOR DETERMINATENESS AND TRUTH

DOI10.1017/S1755020308080209MaRDI QIDQ3580669zbMATH OpenFDO

Authors Solomon Feferman

Publication date 13 August 2010

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

zbMATH Keywords

Peano Arithmeticstrong compositionalityformal theory of truthGödel numbersdeterminate meaningful sentencesfull induction

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Recommendations

• Axiomatic theories of truth
• Axioms for grounded truth
• Determinate logic and the axiom of choice
• Extensions of the Axiom of Determinacy
• Relative Truth Definability of Axiomatic Truth Theories
• scientific article; zbMATH DE number 5064944
• Axioms for actuality
• FINITIST AXIOMATIC TRUTH
• A simple axiomatizable theory of truth
• Axiomatizing Kripke's theory of truth

Cites work

• scientific article; zbMATH DE number 5347929 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3987249 (Why is no real title available?)
• scientific article; zbMATH DE number 3722625 (Why is no real title available?)
• scientific article; zbMATH DE number 47172 (Why is no real title available?)
• scientific article; zbMATH DE number 50690 (Why is no real title available?)
• scientific article; zbMATH DE number 2152231 (Why is no real title available?)
• scientific article; zbMATH DE number 922612 (Why is no real title available?)
• A guide to truth predicates in the modern era
• A revenge-immune solution to the semantic paradoxes
• Axiomatizing Kripke's theory of truth
• Handbook of philosophical logic. Vol. 6
• Notes on Formal Theories of Truth
• On meaningfulness and truth
• Outline of a Theory of Truth
• Reflecting on incompleteness
• Some remarks on extending and interpreting theories with a partial predicate for truth
• The unfolding of non-finitist arithmetic
• Toward useful type-free theories. I

Cited in

(18)

• Absolute Provability and Safe Knowledge of Axioms
• Extensions of the Axiom of Determinacy
• scientific article; zbMATH DE number 6307931 (Why is no real title available?)
• One hundred years of semantic paradox
• Reference, paradoxes and truth
• Classes and truths in set theory
• THE POWER OF NAIVE TRUTH
• Determinate logic and the axiom of choice
• A feasible theory of truth over combinatory algebra
• scientific article; zbMATH DE number 5064944 (Why is no real title available?)
• Notes on models of (partial) Kripke-Feferman truth
• Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
• Feferman and the Truth
• CLASSICAL DETERMINATE TRUTH I
• THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
• About Truth and Types
• Truth and the philosophy of mathematics
• Notes on the computational aspects of Kripke's theory of truth

This page was built for publication: AXIOMS FOR DETERMINATENESS AND TRUTH

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3580669)