Some Notes on Truths and Comprehension

@article{Schindler2018SomeNO,
  title={Some Notes on Truths and Comprehension},
  author={T. Schindler},
  journal={Journal of Philosophical Logic},
  year={2018},
  volume={47},
  pages={449-479}
}
  • T. Schindler
  • Published 2018
  • Computer Science
  • Journal of Philosophical Logic
In this paper we study several translations that map models and formulae of the language of second-order arithmetic to models and formulae of the language of truth. These translations are useful because they allow us to exploit results from the extensive literature on arithmetic to study the notion of truth. Our purpose is to present these connections in a systematic way, generalize some well-known results in this area, and to provide a number of new results. Sections 3 and 4 contain some… Expand
1 Citations
Classes, why and how

References

SHOWING 1-10 OF 42 REFERENCES
EQUIVALENCES FOR TRUTH PREDICATES
  • Carlo Nicolai
  • Computer Science, Mathematics
  • The Review of Symbolic Logic
  • 2017
Tarski hierarchies
A GRAPH-THEORETIC ANALYSIS OF THE SEMANTIC PARADOXES
An Overview of Interpretability Logic
  • A. Visser
  • Computer Science, Mathematics
  • Advances in Modal Logic
  • 1996
Pairs, sets and sequences in first-order theories
  • A. Visser
  • Mathematics, Computer Science
  • Arch. Math. Log.
  • 2008
On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set
  • P. Welch
  • Mathematics, Computer Science
  • Bull. Symb. Log.
  • 2001
Notes on the Computational Aspects of Kripke’s Theory of Truth
Deflationism and Tarski's paradise
What Truth Depends on
  • H. Leitgeb
  • Mathematics, Computer Science
  • J. Philos. Log.
  • 2005
REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
  • V. Halbach
  • Philosophy, Computer Science
  • The Review of Symbolic Logic
  • 2009
...
1
2
3
4
5
...