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
