Modeling Unicorns and Dead Cats: Applying Bressan’s ML ν to the Necessary Properties of Non-existent Objects

Journal of Philosophical Logic 47 (1):95–121 (2018)
Download Edit this record How to cite View on PhilPapers
Should objects count as necessarily having certain properties, despite their not having those properties when they do not exist? For example, should a cat that passes out of existence, and so no longer is a cat, nonetheless count as necessarily being a cat? In this essay I examine different ways of adapting Aldo Bressan’s MLν so that it can accommodate an affirmative answer to these questions. Anil Gupta, in The Logic of Common Nouns, creates a number of languages that have a kinship with Bressan’s MLν , three of which are also tailored to affirmatively answering these questions. After comparing their languages, I argue that metaphysicians and philosophers of language should prefer MLν to Gupta’s languages in most applications because it can accommodate essential properties, like being a cat, while being more uniform and less cumbersome.
Reprint years
PhilPapers/Archive ID
Revision history
Archival date: 2018-03-20
View upload history
References found in this work BETA
A New Introduction to Modal Logic.Crivelli, Paolo; Williamson, Timothy; Hughes, G. E. & Cresswell, M. J.
CIFOL: Case-Intensional First Order Logic.Belnap, Nuel & Müller, Thomas
BH-CIFOL: Case-Intensional First Order Logic.Belnap, Nuel & Müller, Thomas
Hyperintensional Logic.Cresswell, M. J.

View all 13 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
67 ( #30,061 of 41,636 )

Recent downloads (6 months)
17 ( #28,462 of 41,636 )

How can I increase my downloads?

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