Higher-order free logic and the Prior-Kaplan paradox
Journal article
Bacon, Andrew, Hawthorne, John and Uzquiano, Gabriel. (2016). Higher-order free logic and the Prior-Kaplan paradox. Canadian Journal of Philosophy. 46(4-5), pp. 493 - 541. https://doi.org/10.1080/00455091.2016.1201387
Authors | Bacon, Andrew, Hawthorne, John and Uzquiano, Gabriel |
---|---|
Abstract | The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. |
Keywords | modal logic as metaphysics; Prior’s paradox; Kaplan’s paradox; higher-order modal logic; free logic |
Year | 2016 |
Journal | Canadian Journal of Philosophy |
Journal citation | 46 (4-5), pp. 493 - 541 |
Publisher | Routledge |
ISSN | 0045-5091 |
Digital Object Identifier (DOI) | https://doi.org/10.1080/00455091.2016.1201387 |
Page range | 493 - 541 |
Research Group | Dianoia Institute of Philosophy |
Publisher's version | File Access Level Controlled |
Place of publication | United Kingdom |
https://acuresearchbank.acu.edu.au/item/864y7/higher-order-free-logic-and-the-prior-kaplan-paradox
Restricted files
Publisher's version
139
total views0
total downloads1
views this month0
downloads this month