more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 13723

[filed under theme 4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula ]

Full Idea

The proof of the Barcan Formula require System B.

Gist of Idea

System B is needed to prove the Barcan Formula

Source

Theodore Sider (Logic for Philosophy [2010], 9.7)

Book Ref

Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.250