A Note on Typed Truth and Consistency Assertions

@article{Nicolai2016ANO,
  title={A Note on Typed Truth and Consistency Assertions},
  author={Carlo Nicolai},
  journal={Journal of Philosophical Logic},
  year={2016},
  volume={45},
  pages={89-119}
}
  • Carlo Nicolai
  • Published 2016
  • Computer Science
  • Journal of Philosophical Logic
In the paper we investigate typed (mainly compositional) axiomatizations of the truth predicate in which the axioms of truth come with a built-in, minimal and self-sufficient machinery to talk about syntactic aspects of an arbitrary base theory. Expanding previous works of the author and building on recent works of Albert Visser and Richard Heck, we give a precise characterization of these systems by investigating the strict relationships occurring between them, arithmetized model constructions… Expand

Tables and Topics from this paper

EQUIVALENCES FOR TRUTH PREDICATES
  • Carlo Nicolai
  • Computer Science, Mathematics
  • The Review of Symbolic Logic
  • 2017
On Expressive Power Over Arithmetic
Deflationary truth and the ontology of expressions
CONSISTENCY AND THE THEORY OF TRUTH

References

SHOWING 1-10 OF 64 REFERENCES
MINIMAL TRUTH AND INTERPRETABILITY
  • Martin Fischer
  • Computer Science, Mathematics
  • The Review of Symbolic Logic
  • 2009
AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING
A System of Complete and Consistent Truth
  • V. Halbach
  • Mathematics, Computer Science
  • Notre Dame J. Formal Log.
  • 1994
Deflationism and the Gödel Phenomena
Finite Axiomatizability Using Additional Predicates
Classes and truths in set theory
  • K. Fujimoto
  • Computer Science, Mathematics
  • Ann. Pure Appl. Log.
  • 2012
Deflationary truth and the ontology of expressions
AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
CONSISTENCY AND THE THEORY OF TRUTH
The Tarskian Turn: Deflationism and Axiomatic Truth
...
1
2
3
4
5
...