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)

Full work available at URL https://doi.org/10.1017/S1755020308080209

zbMATH Keywords

determinate meaningful sentencesformal theory of truthfull inductionGödel numbersPeano Arithmeticstrong compositionality

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

• 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
• 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?)
• 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

(22)

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