Combining Texts

Ideas for 'works', 'Truthmakers and Converse Barcan Formula' and 'Writing the Book of the World'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

7 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5

15131

If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson]

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula

15023

The Barcan schema implies if X might have fathered something, there is something X might have fathered [Sider]

15135

If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson]

15139

Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson]

4. Formal Logic / G. Formal Mereology / 1. Mereology

13282

Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki]

15004

'Gunk' is an object in which proper parts all endlessly have further proper parts [Sider]

4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology

14984

Which should be primitive in mereology - part, or overlap? [Sider]