Single Idea 19301

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

Full Idea

I reject both Barcan and Converse Barcan by adopting a negative free logic.

Gist of Idea

With a negative free logic, we can dispense with the Barcan formulae

Source

Bob Hale (Necessary Beings [2013], 11.3)

Book Reference

Hale,Bob: 'Necessary Beings' [OUP 2013], p.259


A Reaction

See section 9.2 of Hale's book, where he makes his case. I can't evaluate this bold move, though I don't like the Barcan Formulae. We can anticipate objections to Hale: are you prepared to embrace the unexpected consequences of your new logic?