36 ideas
13070 | If definitions must be general, and general terms can't individuate, then Socrates can't be defined [Aquinas, by Cover/O'Leary-Hawthorne] |
11197 | The definitions expressing identity are used to sort things [Aquinas] |
15091 | Restrict 'logical truth' to formal logic, rather than including analytic and metaphysical truths [Shoemaker] |
11195 | If affirmative propositions express being, we affirm about what is absent [Aquinas] |
13076 | Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne] |
15095 | A property's causal features are essential, and only they fix its identity [Shoemaker] |
15097 | I claim that a property has its causal features in all possible worlds [Shoemaker] |
11201 | Properties have an incomplete essence, with definitions referring to their subject [Aquinas] |
15094 | I now deny that properties are cluster of powers, and take causal properties as basic [Shoemaker] |
11205 | If the form of 'human' contains 'many', Socrates isn't human; if it contains 'one', Socrates is Plato [Aquinas] |
13090 | The principle of diversity for corporeal substances is their matter [Aquinas, by Cover/O'Leary-Hawthorne] |
13102 | If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne] |
13103 | Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne] |
13104 | Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne] |
13100 | Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne] |
13068 | We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne] |
13069 | The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne] |
11202 | It is by having essence that things exist [Aquinas] |
11203 | Specific individual essence is defined by material, and generic essence is defined by form [Aquinas] |
11200 | The definition of a physical object must include the material as well as the form [Aquinas] |
11196 | Essence is something in common between the natures which sort things into categories [Aquinas] |
11208 | A simple substance is its own essence [Aquinas] |
13072 | Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne] |
17080 | Modern essentialists express essence as functions from worlds to extensions for predicates [Cover/O'Leary-Hawthorne] |
13101 | Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne] |
15099 | If something is possible, but not nomologically possible, we need metaphysical possibility [Shoemaker] |
15101 | Once you give up necessity as a priori, causal necessity becomes the main type of necessity [Shoemaker] |
15098 | Empirical evidence shows that imagining a phenomenon can show it is possible [Shoemaker] |
15100 | Imagination reveals conceptual possibility, where descriptions avoid contradiction or incoherence [Shoemaker] |
13081 | Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne] |
15096 | 'Grue' only has causal features because of its relation to green [Shoemaker] |
13071 | We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne] |
11198 | Definition of essence makes things understandable [Aquinas] |
11206 | The mind constructs complete attributions, based on the unified elements of the real world [Aquinas] |
11207 | A cause can exist without its effect, but the effect cannot exist without its cause [Aquinas] |
15093 | We might say laws are necessary by combining causal properties with Armstrong-Dretske-Tooley laws [Shoemaker] |