The Problem of Cross-world Predication

Journal of Philosophical Logic 45 (6):697-742 (2016)
  Copy   BIBTEX

Abstract

While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts of cross-world predication all leave something to be desired. I then propose an account of cross-world predication based on quantified hybrid logic and show how it overcomes the limitations of these previous accounts. I will conclude by discussing various philosophical consequences and applications of such an account.

Author's Profile

Alexander W. Kocurek
Cornell University

Analytics

Added to PP
2016-02-02

Downloads
546 (#27,123)

6 months
133 (#21,478)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?