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

Authors
Alexander W. Kocurek
Cornell University
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.
Keywords Cross-world predication  Cross-world quantification  Expressive power  First-order modal logic  Hybrid logic
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-015-9389-z
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Four-Dimensionalism.Theodore Sider - 1997 - Philosophical Review 106 (2):197-231.
Towards Non-Being: The Logic and Metaphysics of Intentionality.Graham Priest - 2005 - Bulletin of Symbolic Logic 14 (1):116-118.

View all 44 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Subjunctivity and Cross-World Predication.Kai F. Wehmeier - 2012 - Philosophical Studies 159 (1):107-122.
XV—Cross‐Modal Experiences.Fiona Macpherson - 2011 - Proceedings of the Aristotelian Society 111 (3pt3):429-468.
First-Order Modal Logic with an 'Actually' Operator.Yannis Stephanou - 2005 - Notre Dame Journal of Formal Logic 46 (4):381-405.
Crossroads of Logic and Ontology: A Modal-Combinatorial Analysis of Why There is Something Rather Than Nothing.Dale Jacquette - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):17-46.
A Scholastic-Realist Modal-Structuralism.Ahti-Veikko Pietarinen - 2014 - Philosophia Scientiæ 18:127-138.
A Note on Plural Logic.Gustavo Fernández Díez - 2010 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (2):150-162.
Expressive Power of “Now” and “Then” Operators.Igor Yanovich - 2015 - Journal of Logic, Language and Information 24 (1):65-93.
The Translation of First Order Logic Into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.

Analytics

Added to PP index
2016-02-02

Total views
90 ( #101,262 of 2,324,595 )

Recent downloads (6 months)
25 ( #26,765 of 2,324,595 )

How can I increase my downloads?

Downloads

My notes