A note on typed truth and consistency assertions

DOI10.1007/S10992-015-9366-6MaRDI QIDQ263089zbMATH OpenOpenAlexFDO

Authors Carlo Nicolai

Publication date 4 April 2016

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-015-9366-6

zbMATH Keywords

axiomatic theories of truthconsistency statementsubsystems of first-order arithmetictruth-theoretic deflationismtyped compositional axiomatization

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• An axiomatic approach to self-referential truth
• Axiomatic theories of truth
• More on Systems of Truth and Predicative Comprehension
• scientific article; zbMATH DE number 6307931
• Axioms for grounded truth

Cites work

• scientific article; zbMATH DE number 5959536 (Why is no real title available?)
• scientific article; zbMATH DE number 5510998 (Why is no real title available?)
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 2149370 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• A mathematical introduction to logic.
• A system of complete and consistent truth
• Arithmetization of metamathematics in a general setting
• Axiomatic theories of truth
• Axiomatic truth, syntax and metatheoretic reasoning
• Axiomatizability by a schema
• Axiomatizing semantic theories of truth?
• Can we make the second incompleteness theorem coordinate free?
• Classes and truths in set theory
• Cuts, consistency statements and interpretations
• Deflationary truth and the ontology of expressions
• Finite Axiomatizability using additional predicates
• Full Satisfaction Classes and Recursive Saturation
• Handbook of proof theory
• How innocent is deflationism?
• Minimal truth and interpretability
• Notes on Formal Theories of Truth
• On formalization of model-theoretic proofs of Gödel's theorems
• On the scheme of induction for bounded arithmetic formulas
• Reflecting on incompleteness
• Subsystems of second order arithmetic
• The formalization of interpretability
• The predicative Frege hierarchy
• Truth and reduction

Cited in

(16)

• Relative Truth Definability of Axiomatic Truth Theories
• Deflationary truth and the ontology of expressions
• More on Systems of Truth and Predicative Comprehension
• Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth
• Axiomatic theories of truth
• Disquotational truth and analyticity
• scientific article; zbMATH DE number 7307078 (Why is no real title available?)
• Conservativity for theories of compositional truth via cut elimination
• Equivalences for truth predicates
• scientific article; zbMATH DE number 683355 (Why is no real title available?)
• The implicit commitment of arithmetical theories and its semantic core
• Remarks on compositionality and weak axiomatic theories of truth
• scientific article; zbMATH DE number 1779443 (Why is no real title available?)
• Truth in applicative theories
• Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
• Consistency and the theory of truth

This page was built for publication: A note on typed truth and consistency assertions

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