.png){kind=icon}
.png){kind=icon}
Return
Well-Behaved Truth
.png){kind=icon}
PRE
AI
DOI：10.1215/00294527-2025-0023.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Common sense reasoning with truth involves both (i) the use of classical logic and (ii) the assumption of the transparency of truth (the equivalence between a sentence and the attribution of truth to it). The semantic paradoxes show that at least one of these must go, and different theorists make different choices. But whatever one's choice, it is valuable to carve out one or more domains where common sense reasoning ((i) and (ii) together) can be safely used; domains where everything is well-behaved. This paper explores adding a predicate of well-behavedness to various truth theories, both classical and nonclassical (including nonclassical theories with special conditionals). With such a predicate, one can reason more easily, and formulate important generalizations that are unavailable without such a predicate. I explore general model-theoretic techniques that can be applied to both classical and nonclassical theories of truth to get corresponding accounts of well-behaved truth, and some of the important generalizations that such model theories validate. There are incidental remarks about axiomatic theories that might be associated with the model theories, and their proof-theoretic strength.
Keywords:
truth paradoxes
Friedman and Sheard
KF
revision theory
Journal
N
IF:
0.5
Papers:
21
Citations:
0