back to ideas for this text


Single Idea 16189

[from 'A Completeness Theorem in Modal Logic' by Saul A. Kripke, in 4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula ]

Full Idea

Kripke's variable domain approach to quantified modal logic famously invalidates the Barcan Formula.

Gist of Idea

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

Source

report of Saul A. Kripke (A Completeness Theorem in Modal Logic [1959]) by Ori Simchen - The Barcan Formula and Metaphysics §3

Book Reference

-: 'Theoria' [-], p.9


A Reaction

[p.9 and p.16] In a single combined domain all the possibilia must be present, but with variable domains objects in remote domains may not exist in your local domain. BF is committed to those possible objects.