Truth and reflection
Yablo argues that we make three requirements of truth. First, truth should be strong (i.e., if p is true, then Tp should also be true, but if p is not true, for whatever reason, then Tp should be false; contrast the weak view, that Tp should have the same values as p, even in cases of truth gaps of gluts). Second, truth should be grounded (i.e., nothing is true unless something makes it true, that this something obtains prior to its doing so, and that the chain of priority thus generated should eventually terminate in the non-semantic). Third, the semantic paradoxes like the liar should be genuine paradoxes. These three are inconsistent. Yablo compares the fixed point semantics of Kripke with the stability semantics of Herzberger, Gupta, and Belnap. Their strengths and weaknesses are largely complementary. Yablo's own proposal, stage semantics, endeavors to combine the strengths of both. The stages are like Kripke's points but converging from two sides, so that even stages are consistent and odd stages are complete. The final footnote contains a too-brief sketch of the notion of inherently true (capable of being true; not to be confused with Kripke's intrinsic truth). A possibly puzzling misprint: p. 327 line n, Not should surely read Now.
- A theory of truth that prefers falsehood
- Boolean paradoxes and revision periods
- A Yabloesque paradox in epistemic game theory
- Deflationary truth and the Liar
- Parametrized semantics of logic programs -- a unifying framework
- Inclosure and intolerance
- Ungroundedness in Tarskian languages
- What paradoxes depend on
- Reflection algebras and conservation results for theories of iterated truth
- Designing paradoxes: a revision-theoretic approach
- Equiparadoxicality of Yablo's paradox and the liar
- Yablo's paradox in second-order languages: consistency and unsatisfiability
- A negation-free proof of Cantor's theorem
- The final cut
- Syntactic proofs for Yablo's paradoxes in temporal logic
- Dangerous reference graphs and semantic paradoxes
- Reference in arithmetic
- Content Implication and the Yablo’s Sequent of Sentences
- A UNIFIED THEORY OF TRUTH AND PARADOX
- Special issue in honour of Landon Rabern
- The Primacy of the Classical? Saul Kripke Meets Niels Bohr
- Procedural semantics and its relevance to paradox
- Wittgenstein and the liar
- Assessing relational quantum mechanics
- Reference digraphs of non-self-referential paradoxes
- Modal, fuzzy,\dots, vanilla fixpoint theories of truth: a uniform approach
- From paradoxicality to paradox
- Kripke's fixed points and Leitgeb's semantic dependence
- Alethic reference
- Reference and truth
- Unwinding modal paradoxes on digraphs
This page was built for publication: Truth and reflection
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1073006)