Higher-order free logic and the Prior-Kaplan paradox

Gabriel Uzquiano Cruz, Andrew Bacon, John Hawthorne

Research output: Chapter in Book/Report/Conference proceedingChapter


The principle of Universal Instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior's paradox or 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 derivation at face value.
Original languageEnglish
Title of host publicationWilliamson on Modality
EditorsJuhani Yli-Vakkuri, Mark McCullagh
Place of PublicationAbingdon
PublisherRoutledge Taylor & Francis Group
ISBN (Electronic)9781315184074
ISBN (Print)9781138739499, 9780367229887
Publication statusPublished - 18 Jul 2017


Dive into the research topics of 'Higher-order free logic and the Prior-Kaplan paradox'. Together they form a unique fingerprint.

Cite this