Reaching transparant truth

Authors	P. Cobreros P. Égré D. Ripley R. van Rooij
Publication date	10-2013
Journal	Mind
Volume | Issue number	122 | 488
Pages (from-to)	841-866
Organisations	Faculty of Science (FNWI) Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract	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.
Document type	Article
Language	English
Published at	https://doi.org/10.1093/mind/fzt110
Permalink to this page