1

I have a question about predicate logic and modal logic.

Namely, do any of them overlap with one another? To give an example, does existential quantification apply to counterfactual statements?

A counterfactual statement can be something like "A possible world where I won the lottery." I wouldn't be able to assign an existential quantifier in the same manner that I could to a statement in this world, because that statement simply does not obtain or isn't instantiated in this world contrary to a possible world where I did indeed win the lottery.

  • Give an example of what kind of formula are you talking about. – Bertrand Wittgenstein's Ghost Dec 16 '18 at 4:31
  • Im in the middle of writing an answer to your question but I want to make sure before I finish it, the question that you are asking is whether or not first order modal logic exists, right? As in you are asking whether or not there is an established literature detailing the development and use of these types of systems? And then maybe also, accepting that they exist, are you asking how the existential quantifier is interpreted in those systems? – Not_Here Dec 16 '18 at 15:08
  • Yes, I'm mainly interested in how is the existential quantifier interpreted in those systems. – Wallows Dec 16 '18 at 23:03
0

Such systems are called first-order modal logic. There is no single accepted method how to handle quantifying into modal contexts. In fact, it will depend on your metaphysical standpoint; for more details I refer you to the SEP article intensional and extensional contexts.

I recommend reading Fitting & Mendelsohns Book "First-Order Modal Logic", if you want to dive deeper into these topics.

New contributor
Jishin Noben is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.

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.

Not the answer you're looking for? Browse other questions tagged or ask your own question.