The Problem of Cross-world Predication

Journal of Philosophical Logic 45 (6):697-742 (2016)
Download Edit this record How to cite View on PhilPapers
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.
ISBN(s)
PhilPapers/Archive ID
KOCTPO-7
Upload history
Archival date: 2020-05-17
View other versions
Added to PP index
2016-02-02

Total views
109 ( #33,722 of 52,895 )

Recent downloads (6 months)
43 ( #14,504 of 52,895 )

How can I increase my downloads?

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