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
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.
PhilPapers/Archive ID
Revision history
Archival date: 2016-05-12
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.
Paradoxical Desires.Ethan Jerzak - forthcoming - Proceedings of the Aristotelian Society.
Some Results on the Limits of Thought.Bacon, Andrew & Uzquiano, Gabriel

Add more citations

Added to PP index

Total views
336 ( #8,020 of 38,887 )

Recent downloads (6 months)
60 ( #6,787 of 38,887 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.