A note on typed truth and consistency assertions

DOI10.1007/s10992-015-9366-6zbMath1436.03304OpenAlexW1977632997MaRDI QIDQ263089

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)

Related Items (4)

More on Systems of Truth and Predicative Comprehension ⋮ Deflationary truth and the ontology of expressions ⋮ The implicit commitment of arithmetical theories and its semantic core ⋮ EQUIVALENCES FOR TRUTH PREDICATES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classes and truths in set theory
• Deflationary truth and the ontology of expressions
• On the scheme of induction for bounded arithmetic formulas
• The formalization of interpretability
• Handbook of proof theory
• Truth and reduction
• A system of complete and consistent truth
• On formalization of model-theoretic proofs of Gödel's theorems
• The predicative Frege hierarchy
• Can We Make the Second Incompleteness Theorem Coordinate Free?
• Finite Axiomatizability using additional predicates
• Arithmetization of metamathematics in a general setting
• Cuts, consistency statements and interpretations
• Notes on Formal Theories of Truth
• Full Satisfaction Classes and Recursive Saturation
• Reflecting on incompleteness
• AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
• AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING
• Axiomatizability by a schema
• MINIMAL TRUTH AND INTERPRETABILITY
• How innocent is deflationism?

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