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