Ideas of Ori Simchen, by Theme

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

green numbers give full details    |    back to list of philosophers    |     expand these ideas

---

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula

16186

The Barcan Formulas express how to combine modal operators with classical quantifiers

16187

The Barcan Formulas are orthodox, but clash with the attractive Actualist view

16190

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

16188

Serious Actualism says there are no facts at all about something which doesn't exist