15 ideas
| 15118 | A successful Aristotelian 'definition' is what sciences produces after an investigation [Koslicki] |
| 15116 | Essences cause necessary features, and definitions describe those necessary features [Koslicki] |
| 8784 | Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright] |
| 8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
| 8788 | Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright] |
| 8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
| 15110 | An essence and what merely follow from it are distinct [Koslicki] |
| 15113 | Individuals are perceived, but demonstration and definition require universals [Koslicki] |
| 15112 | If an object exists, then its essential properties are necessary [Koslicki] |
| 15111 | In demonstration, the explanatory order must mirror the causal order of the phenomena [Koslicki] |
| 15115 | In a demonstration the middle term explains, by being part of the definition [Koslicki] |
| 15117 | Greek uses the same word for 'cause' and 'explanation' [Koslicki] |
| 15114 | Discovering the Aristotelian essence of thunder will tell us why thunder occurs [Koslicki] |
| 8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
| 5996 | Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA] |