We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Higher-order free logic and the Prior-Kaplan paradox.
- Authors
Bacon, Andrew; Hawthorne, John; 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.
- Subjects
MODAL logic; PARADOX; PESSIMISM; FREE logic; METAPHYSICS
- Publication
Canadian Journal of Philosophy, 2016, Vol 46, Issue 4/5, p493
- ISSN
0045-5091
- Publication type
Article
- DOI
10.1080/00455091.2016.1201387