Single Idea 18350

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

Full Idea

There are good reasons for the truth-maker theorist to reject the converse Barcan formula.

Gist of Idea

Truth-maker theorists should probably reject the converse Barcan formula

Source

Adolph Rami (Introduction: Truth and Truth-Making [2009], note 16)

Book Reference

'Truth and Truth-Making', ed/tr. Lowe,E.J./Rami,A. [Acumen 2009], p.15


A Reaction

In the text (p.15) Rami cites the inference from 'necessarily everything exists' to 'everything exists necessarily'. [See Williamson 1999]