Acta Analytica 35 (2):165-179 (2020)

Cheng-Chih Tsai
Mackay Medical College
If to be is to be the value of a bound variable, then the acknowledgment and denial of the existence of chairs amounts to a serious disagreement about the range of a quantifier. However, by resorting to the intrinsic hierarchical structure of hi-world semantics, we find that the varying of domains from worlds to worlds can actually be accommodated within a unified framework. With the introduction of a universal domain D of hi-individuals and an existence predicate E that serves as a realization operator, a new semantics for quantified modal logic is proposed. It allows individual variables to range over individuals in different levels of a hi-world, and is indifferent to the ontological debate about the existence of chairs.
Keywords hi-world semantics  hi-individuals  existence
Categories (categorize this paper)
DOI 10.1007/s12136-019-00401-4
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,385
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 as Metaphysics.Timothy Williamson - 2013 - Oxford University Press.
On What Grounds What.Jonathan Schaffer - 2009 - In David Manley, David J. Chalmers & Ryan Wasserman (eds.), Metametaphysics: New Essays on the Foundations of Ontology. Oxford University Press. pp. 347-383.
Bare Possibilia.Timothy Williamson - 1998 - Erkenntnis 48 (2-3):257--73.
In Defense of the Contingently Nonconcrete.Bernard Linsky & Edward N. Zalta - 1996 - Philosophical Studies 84 (2-3):283-294.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Partial Semantics for Quantified Modal Logic.Eric Johannesson - 2018 - Journal of Philosophical Logic 47 (6):1049-1060.
Quantified Modal Logic with Neighborhood Semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.
Modal Intensionalism.Craig Warmke - 2015 - Journal of Philosophy 112 (6):309-334.
Actualism and Quantified Modal Logic.Reina Hayaki - 2002 - Dissertation, Princeton University
The True Modal Logic.Christopher Menzel - 1991 - Journal of Philosophical Logic 20 (4):331 - 374.
Natural Deduction for Modal Logic with a Backtracking Operator.Jonathan Payne - 2015 - Journal of Philosophical Logic 44 (3):237-258.


Added to PP index

Total views
15 ( #633,397 of 2,362,030 )

Recent downloads (6 months)
4 ( #201,604 of 2,362,030 )

How can I increase my downloads?


My notes