31 ideas
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
15435 | If you think universals are immanent, you must believe them to be sparse, and not every related predicate [Lewis] |
15451 | I assume there could be natural properties that are not instantiated in our world [Lewis] |
15433 | Tropes are particular properties, which cannot recur, but can be exact duplicates [Lewis] |
15436 | Universals are meant to give an account of resemblance [Lewis] |
15438 | We can add a primitive natural/unnatural distinction to class nominalism [Lewis] |
12132 | Indiscernibility is a necessary and sufficient condition for identity [Brody] |
15834 | Brody bases sortal essentialism on properties required throughout something's existence [Brody, by Mackie,P] |
15448 | The 'magical' view of structural universals says they are atoms, even though they have parts [Lewis] |
15449 | If 'methane' is an atomic structural universal, it has nothing to connect it to its carbon universals [Lewis] |
15439 | The 'pictorial' view of structural universals says they are wholes made of universals as parts [Lewis] |
15441 | The structural universal 'methane' needs the universal 'hydrogen' four times over [Lewis] |
15445 | Butane and Isobutane have the same atoms, but different structures [Lewis] |
15434 | Structural universals have a necessary connection to the universals forming its parts [Lewis] |
15437 | We can't get rid of structural universals if there are no simple universals [Lewis] |
12140 | Modern emphasis is on properties had essentially; traditional emphasis is on sort-defining properties [Brody] |
15446 | Composition is not just making new things from old; there are too many counterexamples [Lewis] |
15440 | A whole is distinct from its parts, but is not a further addition in ontology [Lewis] |
15444 | Different things (a toy house and toy car) can be made of the same parts at different times [Lewis] |
11895 | A sortal essence is a property which once possessed always possessed [Brody, by Mackie,P] |
12141 | Maybe essential properties are those which determine a natural kind? [Brody] |
12137 | De re essentialism standardly says all possible objects identical with a have a's essential properties [Brody] |
12142 | Essentially, a has P, always had P, must have had P, and has never had a future without P [Brody] |
12143 | An object having a property essentially is equivalent to its having it necessarily [Brody] |
12144 | Essentialism is justified if the essential properties of things explain their other properties [Brody] |
12139 | Mereological essentialism says that every part that ensures the existence is essential [Brody] |
12135 | Interrupted objects have two first moments of existence, which could be two beginnings [Brody] |
12130 | a and b share all properties; so they share being-identical-with-a; so a = b [Brody] |
12138 | Identity across possible worlds is prior to rigid designation [Brody] |
15450 | Maybe abstraction is just mereological subtraction [Lewis] |
15443 | Mathematicians abstract by equivalence classes, but that doesn't turn a many into one [Lewis] |