30 ideas
| 13886 | Later Frege held that definitions must fix a function's value for every possible argument [Frege, by Wright,C] |
| 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] |
| 9845 | We can't define a word by defining an expression containing it, as the remaining parts are a problem [Frege] |
| 10019 | Only what is logically complex can be defined; what is simple must be pointed to [Frege] |
| 9886 | Cardinals say how many, and reals give measurements compared to a unit quantity [Frege] |
| 9889 | Real numbers are ratios of quantities [Frege, by Dummett] |
| 10553 | A number is a class of classes of the same cardinality [Frege, by Dummett] |
| 10020 | Frege's biggest error is in not accounting for the senses of number terms [Hodes on Frege] |
| 9887 | Formalism misunderstands applications, metatheory, and infinity [Frege, by Dummett] |
| 8751 | Only applicability raises arithmetic from a game to a science [Frege] |
| 11195 | If affirmative propositions express being, we affirm about what is absent [Aquinas] |
| 11201 | Properties have an incomplete essence, with definitions referring to their subject [Aquinas] |
| 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] |
| 9891 | The first demand of logic is of a sharp boundary [Frege] |
| 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] |
| 15642 | If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle] |
| 15645 | Nominal essence are the observable properties of things [Eagle] |
| 15643 | Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle] |
| 11198 | Definition of essence makes things understandable [Aquinas] |
| 9890 | The modern account of real numbers detaches a ratio from its geometrical origins [Frege] |
| 11846 | If we abstract the difference between two houses, they don't become the same house [Frege] |
| 11206 | The mind constructs complete attributions, based on the unified elements of the real world [Aquinas] |
| 15641 | Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle] |
| 11207 | A cause can exist without its effect, but the effect cannot exist without its cause [Aquinas] |