more on this theme | more from this text
Full Idea
The Barcan Formulas are a threat to 'actualism' in modal metaphysics, which seems regrettable since the Formulas are validated by standard modal logics, but clash with the plausible and attractive actualist view (that there are no merely possible things).
Gist of Idea
The Barcan Formulas are orthodox, but clash with the attractive Actualist view
Source
Ori Simchen (The Barcan Formula and Metaphysics [2013], §1)
Book Ref
-: 'Theoria' [-], p.1
A Reaction
He notes that the Barcan Formulas 'appear to require quantification over possibilia'. So are you prepared to accept the 'possible elephant in your kitchen'? Conceptually yes, but actually no, I would have thought. So possibilia are conceptual.
16186 | The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen] |
16187 | The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen] |
16188 | Serious Actualism says there are no facts at all about something which doesn't exist [Simchen] |
16190 | BF implies that if W possibly had a child, then something is possibly W's child [Simchen] |