A note on typed truth and consistency assertions
DOI10.1007/S10992-015-9366-6zbMATH Open1436.03304OpenAlexW1977632997MaRDI QIDQ263089FDOQ263089
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
Recommendations
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)
Cites Work
- 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
- A mathematical introduction to logic.
- Axiomatic theories of truth
- Title not available (Why is that?)
- Can we make the second incompleteness theorem coordinate free?
- Finite Axiomatizability using additional predicates
- Arithmetization of metamathematics in a general setting
- Subsystems of second order arithmetic
- Title not available (Why is that?)
- Cuts, consistency statements and interpretations
- Title not available (Why is that?)
- Notes on Formal Theories of Truth
- Full Satisfaction Classes and Recursive Saturation
- Reflecting on incompleteness
- Title not available (Why is that?)
- Classes and truths in set theory
- Title not available (Why is that?)
- Deflationary truth and the ontology of expressions
- Axiomatizing semantic theories of truth?
- Title not available (Why is that?)
- Axiomatic truth, syntax and metatheoretic reasoning
- Axiomatizability by a schema
- Minimal truth and interpretability
- How innocent is deflationism?
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
- Title not available (Why is that?)
- Conservativity for theories of compositional truth via cut elimination
- Equivalences for truth predicates
- Title not available (Why is that?)
- The implicit commitment of arithmetical theories and its semantic core
- Remarks on compositionality and weak axiomatic theories of truth
- Title not available (Why is that?)
- 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)
