The existential quantification can, it seems, be used with modal logic. Now excuse my naivety, but:

  • if so, what is the difference between being actual and existential quantification?

I'm just asking cos I wondered if it makes sense to talk about worlds which aren't this one being real.

  • 1
    Do you mean like in first order modal logic? – Eliran H Apr 16 '16 at 20:19
  • i don't know, i will google it – user6917 Apr 16 '16 at 20:22
  • @EliranH thanks, will eidt – user6917 Apr 16 '16 at 20:23
  • 1
    Yes, in what is called quantified modal logic plato.stanford.edu/entries/logic-modal/#QuaModLog That is the one that Quine had misgivings about, which were formally resolved by Kripke. Interpretational issues with quantification into modal contexts remain controversial however, Kripke's approach requires undesirable ontological commitments (essentialism). – Conifold Apr 16 '16 at 20:30
  • @Conifold, thanks :) – user6917 Apr 16 '16 at 20:31
up vote 4 down vote accepted

The actuality operator is usually not interpreted as a quantifier, it indicates that what follows belongs to the privileged word, the actual world. The existential quantifier, on the other hand, quantifies, and over things in whatever possible world. So ☐(∃x Px) for example says that there exist objects with property P in every possible world, i.e. they exist necessarily. In some theories ∃x is even used unrestrictedly, i.e. quantifies over all possible worlds, as in Lewis's counterpart theory. Then one can combine the two as in ∃x Ax, which says that the actual world has things. In some non-modal theories there is a similar distinction between the existence predicate and the existential quantifier, when people (Meinongians) want to quantify over non-existent things but without committing themselves to their existence. So ∃x(¬Ex) says that some things do not exists like ∃x(¬Ax) says that some things are not actual.

However, Hazen in Actuality and Quantification does introduce actuality quantifiers:"Ordinary, world-restricted, quantifiers are interpreted as ranging over existents; their logic is formalized by putting existence premisses/hypotheses into the familiar rules. Actuality quantifiers are interpreted as ranging over things that actually exist (actual existents)". This is to satisfy actualists, who would only allow quantification over actual objects, not modal abstractions.

  • a good dense answer, thanks – user6917 Apr 17 '16 at 15:33
  • Conifold so it seems i can say that something can possibly exist. my follow up comment / question, and please excuse my clumsiness etc., is whether i can say that it is physically possible for something to exist but in reality it actually does exist? i think that's what i mean... – user6917 Apr 17 '16 at 18:23
  • i may ask on another question... thanks – user6917 Apr 17 '16 at 18:28
  • @MATHEMETICIAN Well, your setup of possible worlds reflects what kind of possibility you have in mind, physical, metaphysical, epistemic, etc. If it is physical then ◊(∃x Px) says that something with property P is physically possible. If you want to say that it exists in actuality then you write something like ∃x (Px ∧ Ax). – Conifold Apr 17 '16 at 19:35

Your Answer

 

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.