84 ideas
| 19693 | There is practical wisdom (for action), and theoretical wisdom (for deep understanding) [Aristotle, by Whitcomb] |
| 11832 | We learn a concept's relations by using it, without reducing it to anything [Wiggins] |
| 22270 | Frege changed philosophy by extending logic's ability to check the grounds of thinking [Potter on Frege] |
| 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] |
| 8939 | We should not describe human laws of thought, but how to correctly track truth [Frege, by Fisher] |
| 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] |
| 4971 | I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege] |
| 17745 | For Frege, 'All A's are B's' means that the concept A implies the concept B [Frege, by Walicki] |
| 13282 | Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki] |
| 7728 | Frege has a judgement stroke (vertical, asserting or judging) and a content stroke (horizontal, expressing) [Frege, by Weiner] |
| 16881 | The laws of logic are boundless, so we want the few whose power contains the others [Frege] |
| 7622 | In 1879 Frege developed second order logic [Frege, by Putnam] |
| 4730 | For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady] |
| 7729 | Frege replaced Aristotle's subject/predicate form with function/argument form [Frege, by Weiner] |
| 11863 | (λx)[Man x] means 'the property x has iff x is a man'. [Wiggins] |
| 9950 | A quantifier is a second-level predicate (which explains how it contributes to truth-conditions) [Frege, by George/Velleman] |
| 9991 | For Frege the variable ranges over all objects [Frege, by Tait] |
| 10536 | Frege's domain for variables is all objects, but modern interpretations first fix the domain [Dummett on Frege] |
| 7730 | Frege introduced quantifiers for generality [Frege, by Weiner] |
| 7742 | Frege reduced most quantifiers to 'everything' combined with 'not' [Frege, by McCullogh] |
| 13824 | Proof theory began with Frege's definition of derivability [Frege, by Prawitz] |
| 13609 | Frege produced axioms for logic, though that does not now seem the natural basis for logic [Frege, by Kaplan] |
| 17855 | It may be possible to define induction in terms of the ancestral relation [Frege, by Wright,C] |
| 10607 | Frege's logic has a hierarchy of object, property, property-of-property etc. [Frege, by Smith,P] |
| 11008 | Existence is not a first-order property, but the instantiation of a property [Frege, by Read] |
| 14746 | What exists can't depend on our conceptual scheme, and using all conceptual schemes is too liberal [Sider on Wiggins] |
| 11900 | We can accept criteria of distinctness and persistence, without making the counterfactual claims [Mackie,P on Wiggins] |
| 11870 | Activity individuates natural things, functions do artefacts, and intentions do artworks [Wiggins] |
| 11866 | The idea of 'thisness' is better expressed with designation/predication and particular/universal [Wiggins] |
| 11896 | A sortal essence is a thing's principle of individuation [Wiggins, by Mackie,P] |
| 15835 | Wiggins's sortal essentialism rests on a thing's principle of individuation [Wiggins, by Mackie,P] |
| 11841 | The evening star is the same planet but not the same star as the morning star, since it is not a star [Wiggins] |
| 10679 | 'Sortalism' says parts only compose a whole if it falls under a sort or kind [Wiggins, by Hossack] |
| 14363 | Identity a=b is only possible with some concept to give persistence and existence conditions [Wiggins, by Strawson,P] |
| 14364 | A thing is necessarily its highest sortal kind, which entails an essential constitution [Wiggins, by Strawson,P] |
| 11851 | Many predicates are purely generic, or pure determiners, rather than sortals [Wiggins] |
| 11865 | The possibility of a property needs an essential sortal concept to conceive it [Wiggins] |
| 14744 | Objects can only coincide if they are of different kinds; trees can't coincide with other trees [Wiggins, by Sider] |
| 11852 | Is the Pope's crown one crown, if it is made of many crowns? [Wiggins] |
| 11875 | Boundaries are not crucial to mountains, so they are determinate without a determinate extent [Wiggins] |
| 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] |
| 14749 | Identity is an atemporal relation, but composition is relative to times [Wiggins, by Sider] |
| 11844 | If I destroy an item, I do not destroy each part of it [Wiggins] |
| 11861 | We can forget about individual or particularized essences [Wiggins] |
| 11871 | Essences are not explanations, but individuations [Wiggins] |
| 11879 | Essentialism is best represented as a predicate-modifier: □(a exists → a is F) [Wiggins, by Mackie,P] |
| 11835 | The nominal essence is the idea behind a name used for sorting [Wiggins] |
| 11876 | It is easier to go from horses to horse-stages than from horse-stages to horses [Wiggins] |
| 11858 | The question is not what gets the title 'Theseus' Ship', but what is identical with the original [Wiggins] |
| 11843 | Identity over a time and at a time aren't different concepts [Wiggins] |
| 11864 | Hesperus=Hesperus, and Phosphorus=Hesperus, so necessarily Phosphorus=Hesperus [Wiggins] |
| 11831 | The formal properties of identity are reflexivity and Leibniz's Law [Wiggins] |
| 14362 | Relative Identity is incompatible with the Indiscernibility of Identicals [Wiggins, by Strawson,P] |
| 11838 | Relativity of Identity makes identity entirely depend on a category [Wiggins] |
| 11847 | To identify two items, we must have a common sort for them [Wiggins] |
| 11839 | Do both 'same f as' and '=' support Leibniz's Law? [Wiggins] |
| 11845 | Substitutivity, and hence most reasoning, needs Leibniz's Law [Wiggins] |
| 11869 | Possible worlds rest on the objects about which we have suppositions [Wiggins] |
| 11850 | Not every story corresponds to a possible world [Wiggins] |
| 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] |
| 12000 | Aristotle regularly says that essential properties explain other significant properties [Aristotle, by Kung] |
| 11848 | Asking 'what is it?' nicely points us to the persistence of a continuing entity [Wiggins] |
| 23300 | Aristotle and the Stoics denied rationality to animals, while Platonists affirmed it [Aristotle, by Sorabji] |
| 11859 | The mind conceptualizes objects; yet objects impinge upon the mind [Wiggins] |
| 11836 | We can use 'concept' for the reference, and 'conception' for sense [Wiggins] |
| 22280 | Frege's account was top-down and decompositional, not bottom-up and compositional [Frege, by Potter] |
| 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] |
| 11860 | Lawlike propensities are enough to individuate natural kinds [Wiggins] |
| 7741 | The predicate 'exists' is actually a natural language expression for a quantifier [Frege, by Weiner] |
| 22729 | The concepts of gods arose from observing the soul, and the cosmos [Aristotle, by Sext.Empiricus] |