Higher-order free logic and the Prior-Kaplan paradox

Canadian Journal of Philosophy 46 (4-5):493-541 (2016)
Download Edit this record How to cite View on PhilPapers
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.
ISBN(s)
PhilPapers/Archive ID
BACHFL
Upload history
Archival date: 2016-05-12
View other versions
Added to PP index
2016-05-12

Total views
631 ( #6,591 of 53,528 )

Recent downloads (6 months)
83 ( #6,527 of 53,528 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.