Detalle Publicación


Reaching transparent truth

Autores: Cobreros Bordenave, Pablo; Egré, P.; Ripley, D.; van Rooij, R.
Título de la revista: MIND
ISSN: 0026-4423
Volumen: 122
Número: 488
Páginas: 841 - 866
Fecha de publicación: 2013
This paper presents and defends a way to add a transparent truth predicate to classical logic, such that T<A> 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.