Abstract: This paper presents and defends a way to add a transparent truth predicate to classical logic, such that 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.
Publication Year: 2013
Publication Date: 2013-10-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 153
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot