back to ideas for this text


Single Idea 13723

[from 'Logic for Philosophy' by Theodore Sider, in 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 Reference

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