idea number gives full details.     |    back to list of philosophers     |     expand these ideas

Ideas of Ori Simchen, by Text

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

2013 The Barcan Formula and Metaphysics
1 p.1 The Barcan Formulas are orthodox, but clash with the attractive Actualist view
1 p.1 The Barcan Formulas express how to combine modal operators with classical quantifiers
1 n4 p.4 Serious Actualism says there are no facts at all about something which doesn't exist
3 p.9 The variable domain approach to quantified modal logic invalidates the Barcan Formula
5 p.20 BF implies that if W possibly had a child, then something is possibly W's child