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] |
11064 | Classes can be reduced to propositional functions [Russell, by Hanna] |
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] |