57 ideas
| 19693 | There is practical wisdom (for action), and theoretical wisdom (for deep understanding) [Aristotle, by Whitcomb] |
| 1575 | For Aristotle logos is essentially the ability to talk rationally about questions of value [Roochnik on Aristotle] |
| 1589 | Aristotle is the supreme optimist about the ability of logos to explain nature [Roochnik on Aristotle] |
| 16877 | A 'constructive' (as opposed to 'analytic') definition creates a new sign [Frege] |
| 8200 | Aristotelian definitions aim to give the essential properties of the thing defined [Aristotle, by Quine] |
| 4385 | Aristotelian definition involves first stating the genus, then the differentia of the thing [Aristotle, by Urmson] |
| 11219 | Frege suggested that mathematics should only accept stipulative definitions [Frege, by Gupta] |
| 16878 | We must be clear about every premise and every law used in a proof [Frege] |
| 13282 | Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki] |
| 16867 | Logic not only proves things, but also reveals logical relations between them [Frege] |
| 16863 | Does some mathematical reasoning (such as mathematical induction) not belong to logic? [Frege] |
| 16862 | The closest subject to logic is mathematics, which does little apart from drawing inferences [Frege] |
| 4730 | For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady] |
| 16865 | 'Theorems' are both proved, and used in proofs [Frege] |
| 16866 | Tracing inference backwards closes in on a small set of axioms and postulates [Frege] |
| 16868 | The essence of mathematics is the kernel of primitive truths on which it rests [Frege] |
| 16870 | Axioms are truths which cannot be doubted, and for which no proof is needed [Frege] |
| 16871 | A truth can be an axiom in one system and not in another [Frege] |
| 16869 | To create order in mathematics we need a full system, guided by patterns of inference [Frege] |
| 16864 | If principles are provable, they are theorems; if not, they are axioms [Frege] |
| 13076 | Scholastics treat relations as two separate predicates of the relata [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] |
| 9388 | Every concept must have a sharp boundary; we cannot allow an indeterminate third case [Frege] |
| 13276 | The unmoved mover and the soul show Aristotelian form as the ultimate mereological atom [Aristotle, by Koslicki] |
| 13277 | The 'form' is the recipe for building wholes of a particular kind [Aristotle, by Koslicki] |
| 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] |
| 13081 | Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne] |
| 5991 | For Aristotle, knowledge is of causes, and is theoretical, practical or productive [Aristotle, by Code] |
| 11239 | The notion of a priori truth is absent in Aristotle [Aristotle, by Politis] |
| 23312 | Aristotle is a rationalist, but reason is slowly acquired through perception and experience [Aristotle, by Frede,M] |
| 16111 | Aristotle wants to fit common intuitions, and therefore uses language as a guide [Aristotle, by Gill,ML] |
| 16971 | Plato says sciences are unified around Forms; Aristotle says they're unified around substance [Aristotle, by Moravcsik] |
| 11243 | Aristotelian explanations are facts, while modern explanations depend on human conceptions [Aristotle, by Politis] |
| 3320 | Aristotle's standard analysis of species and genus involves specifying things in terms of something more general [Aristotle, by Benardete,JA] |
| 13071 | We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne] |
| 12000 | Aristotle regularly says that essential properties explain other significant properties [Aristotle, by Kung] |
| 23300 | Aristotle and the Stoics denied rationality to animals, while Platonists affirmed it [Aristotle, by Sorabji] |
| 16876 | We need definitions to cram retrievable sense into a signed receptacle [Frege] |
| 16875 | We use signs to mark receptacles for complex senses [Frege] |
| 16879 | A sign won't gain sense just from being used in sentences with familiar components [Frege] |
| 16873 | Thoughts are not subjective or psychological, because some thoughts are the same for us all [Frege] |
| 16872 | A thought is the sense expressed by a sentence, and is what we prove [Frege] |
| 16874 | The parts of a thought map onto the parts of a sentence [Frege] |
| 11240 | The notion of analytic truth is absent in Aristotle [Aristotle, by Politis] |
| 6559 | Aristotle never actually says that man is a rational animal [Aristotle, by Fogelin] |
| 11150 | It is the mark of an educated mind to be able to entertain an idea without accepting it [Aristotle] |
| 3037 | Aristotle said the educated were superior to the uneducated as the living are to the dead [Aristotle, by Diog. Laertius] |
| 8660 | There are potential infinities (never running out), but actual infinity is incoherent [Aristotle, by Friend] |
| 12058 | Aristotle's matter can become any other kind of matter [Aristotle, by Wiggins] |
| 22729 | The concepts of gods arose from observing the soul, and the cosmos [Aristotle, by Sext.Empiricus] |