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
The Barcan Formulas express how to combine modal operators with classical quantifiers
The Barcan Formulas are orthodox, but clash with the attractive Actualist view
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