display all the ideas for this combination of texts
4 ideas
639 | Socrates developed definitions as the basis of syllogisms, and also inductive arguments [Socrates, by Aristotle] |
15023 | The Barcan schema implies if X might have fathered something, there is something X might have fathered [Sider] |
15004 | 'Gunk' is an object in which proper parts all endlessly have further proper parts [Sider] |
14984 | Which should be primitive in mereology - part, or overlap? [Sider] |