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
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

16189

The variable domain approach to quantified modal logic invalidates the Barcan Formula

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
