Mind 130 (518):439-473 (2021)
| Authors |
|
| Abstract |
Recent work on formal theories of truth has revived an approach, due originally to Tarski, on which syntax and truth theories are sharply distinguished—‘disentangled’—from mathematical base theories. In this paper, we defend a novel philosophical constraint on disentangled theories. We argue that these theories must be epistemically stable: they must possess an intrinsic motivation justifying no strictly stronger theory. In a disentangled setting, even if the base and the syntax theory are individually stable, they may be jointly unstable. We contend that this flaw afflicts many proposals discussed in the literature; we defend a new, stable disentangled theory, double second-order arithmetic.
|
| Keywords | syntax truth formal theories of truth disentangled truth |
| Categories | (categorize this paper) |
| DOI | 10.1093/mind/fzaa034 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.
View all 42 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
Stable Types in Rosy Theories.Assaf Hasson & Alf Onshuus - 2010 - Journal of Symbolic Logic 75 (4):1211-1230.
Axiomatic Truth, Syntax and Metatheoretic Reasoning.Graham E. Leigh & Carlo Nicolai - 2013 - Review of Symbolic Logic 6 (4):613-636.
A Note on Stable Sets, Groups, and Theories with NIP.Alf Onshuus & Ya'acov Peterzil - 2007 - Mathematical Logic Quarterly 53 (3):295-300.
Notes on Ω-Inconsistent Theories of Truth in Second-Order Languages.Eduardo Barrio & Lavinia Picollo - 2013 - Review of Symbolic Logic 6 (4):733-741.
Typed and Untyped Disquotational Truth.Cezary Cieśliński - 2015 - In Kentaro Fujimoto, José Martínez Fernández, Henri Galinon & Theodora Achourioti (eds.), Unifying the Philosophy of Truth. Springer Verlag.
Stable Theories and Representation Over Sets.Saharon Shelah & Moran Cohen - 2016 - Mathematical Logic Quarterly 62 (3):140-154.
Kueker's Conjecture for Stable Theories.Ehud Hrushovski - 1989 - Journal of Symbolic Logic 54 (1):207-220.
An Old Friend Revisited: Countable Models of Ω-Stable Theories.Michael C. Laskowski - 2007 - Notre Dame Journal of Formal Logic 48 (1):133-141.
From One to Many: Recent Work on Truth.Jeremy Wyatt & Michael Lynch - 2016 - American Philosophical Quarterly 53 (4):323-340.
Analytics
Added to PP index
2021-02-09
Total views
19 ( #551,298 of 60,983 )
Recent downloads (6 months)
19 ( #37,926 of 60,983 )
2021-02-09
Total views
19 ( #551,298 of 60,983 )
Recent downloads (6 months)
19 ( #37,926 of 60,983 )
How can I increase my downloads?
Downloads
