display all the ideas for this combination of texts
4 ideas
15023 | The Barcan schema implies if X might have fathered something, there is something X might have fathered [Sider] |
18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |
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] |