Combining Texts

Ideas for 'Writing the Book of the World', 'Posterior Analytics' and 'Review of Parsons (1983)'

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

display all the ideas for this combination of texts

---

4 ideas

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL

1668	An axiom is a principle which must be understood if one is to learn anything [Aristotle]

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]

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

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]