Ideas of Ori Simchen, by Theme

[Canadian, fl. 2013, University of British Columbia.]

idea number gives full details    |    back to list of philosophers    |     expand these ideas
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
The Barcan Formulas express how to combine modal operators with classical quantifiers
The Barcan Formulas are orthodox, but clash with the attractive Actualist view
The variable domain approach to quantified modal logic invalidates the Barcan Formula
BF implies that if W possibly had a child, then something is possibly W's child
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
Serious Actualism says there are no facts at all about something which doesn't exist