Canadian Journal of Philosophy 46 (4-5):493-541 (2016)

Authors
John Hawthorne
Australian Catholic University
Gabriel Uzquiano
University of Southern California
Andrew Bacon
University of Southern California
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 Kaplan's paradox  Prior's Paradox  Higher-order logic  Ramification  free logic
Categories (categorize this paper)
ISBN(s)
DOI 10.1080/00455091.2016.1201387
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
Through your library

References found in this work BETA

On the Plurality of Worlds.David Lewis - 1986 - Wiley-Blackwell.
Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: Oxford University Press.
Meaning.H. Paul Grice - 1957 - Philosophical Review 66 (3):377-388.
On the Plurality of Worlds.David Lewis - 1986 - Revue Philosophique de la France Et de l'Etranger 178 (3):388-390.

View all 67 references / Add more references

Citations of this work BETA

To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.
Higher‐Order Metaphysics.Lukas Skiba - 2021 - Philosophy Compass 16 (10):1-11.
Logical Combinatorialism.Andrew Bacon - 2020 - Philosophical Review 129 (4):537-589.
Closed Structure.Peter Fritz, Harvey Lederman & Gabriel Uzquiano - 2021 - Journal of Philosophical Logic 50 (6):1249-1291.

View all 21 citations / Add more citations

Similar books and articles

Epistemic Logic and Epistemology.Wesley H. Holliday - forthcoming - In Sven Ove Hansson Vincent F. Hendricks (ed.), Handbook of Formal Philosophy. Springer.
I—Columnar Higher-Order Vagueness, or Vagueness is Higher-Order Vagueness.Susanne Bobzien - 2015 - Aristotelian Society Supplementary Volume 89 (1):61-87.
CERES in Higher-Order Logic.Stefan Hetzl, Alexander Leitsch & Daniel Weller - 2011 - Annals of Pure and Applied Logic 162 (12):1001-1034.
The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
Higher-Order Sorites Paradox.Elia Zardini - 2013 - Journal of Philosophical Logic 42 (1):25-48.
Externalism, Internalism, and Logical Truth.Corine Besson - 2009 - Review of Symbolic Logic 2 (1):1-29.
Self-Knowledge, Rationality and Moore’s Paradox.Jordi Fernández - 2005 - Philosophy and Phenomenological Research 71 (3):533-556.
Can the Classical Logician Avoid the Revenge Paradoxes?Andrew Bacon - 2015 - Philosophical Review 124 (3):299-352.

Analytics

Added to PP index
2016-05-12

Total views
1,031 ( #5,993 of 2,506,037 )

Recent downloads (6 months)
70 ( #11,457 of 2,506,037 )

How can I increase my downloads?

Downloads

My notes