Ideas from 'The Barcan Formula and Metaphysics' by Ori Simchen [2013], by Theme Structure

[found in 'Theoria' (ed/tr -) [- ,]].

Click on the Idea Number for the full details    |     back to texts     |     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 variable domain approach to quantified modal logic invalidates the Barcan Formula
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