Among the various conceptions of truth is one according to which "is true" is a transparent, entirely see-through device introduced for only practical (expressive) reasons. This device, when introduced into the language, brings about truth-theoretic paradoxes (particularly, the notorious Liar and Curry paradoxes). The options for dealing with the paradoxes while preserving the full transparency of "true" are limited. In Spandrels of Truth, Beall concisely presents and defends a modest, so-called dialetheic theory of transparent truth.
1 The Basic Picture |
|
1 | |
|
1.1 Ttruth qua constructed device |
|
|
1 | |
|
|
3 | |
|
|
5 | |
|
|
6 | |
|
1.5 Basic picture: merely 'semantic' gluts |
|
|
14 | |
|
Appendix: LPTT non-triviality |
|
|
18 | |
2 Suitable Conditional |
|
25 | |
|
|
25 | |
|
2.2 Curry and a suitable conditional |
|
|
26 | |
|
|
33 | |
|
2.4 Truth preservation and validity |
|
|
34 | |
|
|
37 | |
|
Appendix: BXTT non-triviality |
|
|
42 | |
3 Just True |
|
48 | |
|
|
48 | |
|
3.2 What just true is not |
|
|
49 | |
|
3.3 What just true is: just ttruth |
|
|
51 | |
|
|
52 | |
|
3.5 Limited notions of 'just true' |
|
|
57 | |
|
Appendix: a note on 'just true' in BX |
|
|
63 | |
4 A Look at the Field |
|
65 | |
|
4.1 Broad background projects |
|
|
65 | |
|
4.2 Kripke: basic paracomplete |
|
|
67 | |
|
4.3 Field: advanced paracomplete |
|
|
79 | |
|
4.4 Choosing among rivals? |
|
|
94 | |
|
4.5 Summary and closing remarks |
|
|
97 | |
5 Objections and Replies |
|
98 | |
|
5.1 Dialetheism, in general |
|
|
98 | |
|
5.2 Negation, gaps, and unsettledness |
|
|
101 | |
|
5.3 Truth, mathematics, and metaphysics |
|
|
110 | |
|
|
126 | |
|
5.5 Orthodoxy: Priestly dialetheism |
|
|
130 | |
A Overlap without Inconsistency? |
|
134 | |
|
A.1 Philosophical picture: paranormal |
|
|
134 | |
|
A.2 An alternative picture: merely instrumental gluts |
|
|
137 | |
B List of Common Abbreviations |
|
142 | |
References |
|
143 | |
Index |
|
151 | |
Jc Beall is a Professor of Philosophy at the University of Connecticut, a member of the UConn Group in Logic, and an Associate Fellow of Arché, the AHRC Research Centre for the Philosophy of Logic, Language, Mathematics, and Epistemology. Though having wide philosophical interests, Beall has published mainly in philosophical logic and the philosophy of logic.