Reaching transparent truth

Pablo Cobreros, Paul Égré, David Ripley, Robert Van Rooij

Research output: Contribution to journalArticleResearchpeer-review

79 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)841-866
Number of pages26
JournalMind
Volume122
Issue number488
DOIs
Publication statusPublished - 1 Jan 2013
Externally publishedYes

Cite this