Reaching transparent truth

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

doi:10.1093/mind/fzt110

Reaching transparent truth

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

Research output: Contribution to journal › Article › Research › peer-review

148 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 language	English
Pages (from-to)	841-866
Number of pages	26
Journal	Mind
Volume	122
Issue number	488
DOIs	https://doi.org/10.1093/mind/fzt110
Publication status	Published - 1 Jan 2013
Externally published	Yes

Access to Document

10.1093/mind/fzt110

Cite this

@article{cae362530c1b4394b37a7781f219ee84,

title = "Reaching transparent truth",

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.",

author = "Pablo Cobreros and Paul {\'E}gr{\'e} and David Ripley and {Van Rooij}, Robert",

year = "2013",

month = jan,

day = "1",

doi = "10.1093/mind/fzt110",

language = "English",

volume = "122",

pages = "841--866",

journal = "Mind",

issn = "0026-4423",

publisher = "Oxford University Press",

number = "488",

}

TY - JOUR

T1 - Reaching transparent truth

AU - Cobreros, Pablo

AU - Égré, Paul

AU - Ripley, David

AU - Van Rooij, Robert

PY - 2013/1/1

Y1 - 2013/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84900804785&partnerID=8YFLogxK

U2 - 10.1093/mind/fzt110

DO - 10.1093/mind/fzt110

M3 - Article

AN - SCOPUS:84900804785

SN - 0026-4423

VL - 122

SP - 841

EP - 866

JO - Mind

JF - Mind

IS - 488

ER -

Reaching transparent truth

Abstract

Access to Document

Other files and links

Cite this