Reaching transparent truth

• Autores: Pablo Cobreros Bordenave, Paul Égré, David Ripley, Robert van Rooij
• Localización: Mind, ISSN-e 1460-2113, Vol. 122, Nº. 488, 2013, págs. 841-866
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • This paper presents and defends a way to add a transparent truth predicate to classical logic, such that Graphic and A are everywhere intersubstitutable, where all T-biconditionals hold, and where truth can be made compositional. A key feature of our framework, called STTT (for Strict-Tolerant Transparent Truth), is that it supports a non-transitive relation of consequence. At the same time, it can be seen that the only failures of transitivity STTT allows for arise in paradoxical cases.