A note on typed truth and consistency assertions
From MaRDI portal
Publication:263089
DOI10.1007/s10992-015-9366-6zbMath1436.03304OpenAlexW1977632997MaRDI QIDQ263089
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
axiomatic theories of truthconsistency statementsubsystems of first-order arithmetictruth-theoretic deflationismtyped compositional axiomatization
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