97 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] |
| 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] |
| 9672 | Free logic is one of the few first-order non-classical logics [Priest,G] |
| 9697 | X1 x X2 x X3... x Xn indicates the 'cartesian product' of those sets [Priest,G] |
| 9685 | <a,b&62; is a set whose members occur in the order shown [Priest,G] |
| 9675 | a ∈ X says a is an object in set X; a ∉ X says a is not in X [Priest,G] |
| 9674 | {x; A(x)} is a set of objects satisfying the condition A(x) [Priest,G] |
| 9673 | {a1, a2, ...an} indicates that a set comprising just those objects [Priest,G] |
| 9677 | Φ indicates the empty set, which has no members [Priest,G] |
| 9676 | {a} is the 'singleton' set of a (not the object a itself) [Priest,G] |
| 9679 | X⊂Y means set X is a 'proper subset' of set Y [Priest,G] |
| 9678 | X⊆Y means set X is a 'subset' of set Y [Priest,G] |
| 9681 | X = Y means the set X equals the set Y [Priest,G] |
| 9683 | X ∩ Y indicates the 'intersection' of sets X and Y, the objects which are in both sets [Priest,G] |
| 9682 | X∪Y indicates the 'union' of all the things in sets X and Y [Priest,G] |
| 9684 | Y - X is the 'relative complement' of X with respect to Y; the things in Y that are not in X [Priest,G] |
| 9694 | The 'relative complement' is things in the second set not in the first [Priest,G] |
| 9693 | The 'intersection' of two sets is a set of the things that are in both sets [Priest,G] |
| 9692 | The 'union' of two sets is a set containing all the things in either of the sets [Priest,G] |
| 9698 | The 'induction clause' says complex formulas retain the properties of their basic formulas [Priest,G] |
| 9688 | A 'singleton' is a set with only one member [Priest,G] |
| 9687 | A 'member' of a set is one of the objects in the set [Priest,G] |
| 9695 | An 'ordered pair' (or ordered n-tuple) is a set with its members in a particular order [Priest,G] |
| 9696 | A 'cartesian product' of sets is the set of all the n-tuples with one member in each of the sets [Priest,G] |
| 9686 | A 'set' is a collection of objects [Priest,G] |
| 9689 | The 'empty set' or 'null set' has no members [Priest,G] |
| 9690 | A set is a 'subset' of another set if all of its members are in that set [Priest,G] |
| 9691 | A 'proper subset' is smaller than the containing set [Priest,G] |
| 9680 | The empty set Φ is a subset of every set (including itself) [Priest,G] |
| 13282 | Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki] |
| 4730 | For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady] |
| 6653 | Syntactical methods of proof need only structure, where semantic methods (truth-tables) need truth [Lowe] |
| 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] |
| 6618 | A 'substance' is a thing that remains the same when its properties change [Lowe] |
| 5991 | For Aristotle, knowledge is of causes, and is theoretical, practical or productive [Aristotle, by Code] |
| 6635 | Causal theories of belief make all beliefs true, and can't explain belief about the future [Lowe] |
| 6619 | Perhaps 'I' no more refers than the 'it' in 'it is raining' [Lowe] |
| 6643 | 'Ecological' approaches say we don't infer information, but pick it up directly from reality [Lowe] |
| 11239 | The notion of a priori truth is absent in Aristotle [Aristotle, by Politis] |
| 6638 | One must be able to visually recognise a table, as well as knowing its form [Lowe] |
| 6644 | Computationalists object that the 'ecological' approach can't tell us how we get the information [Lowe] |
| 6647 | Comparing shapes is proportional in time to the angle of rotation [Lowe] |
| 6639 | The 'disjunctive' theory of perception says true perceptions and hallucinations need have nothing in common [Lowe] |
| 6640 | A causal theorist can be a direct realist, if all objects of perception are external [Lowe] |
| 6645 | If blindsight shows we don't need perceptual experiences, the causal theory is wrong [Lowe] |
| 6637 | How could one paraphrase very complex sense-data reports adverbially? [Lowe] |
| 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] |
| 6667 | There are memories of facts, memories of practical skills, and autobiographical memory [Lowe] |
| 6642 | Psychologists say illusions only occur in unnatural and passive situations [Lowe] |
| 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] |
| 6641 | Externalists say minds depend on environment for their very existence and identity [Lowe] |
| 6617 | The main questions are: is mind distinct from body, and does it have unique properties? [Lowe] |
| 6626 | 'Phenomenal' consciousness is of qualities; 'apperceptive' consciousness includes beliefs and desires [Lowe] |
| 6646 | The brain may have two systems for vision, with only the older one intact in blindsight [Lowe] |
| 6665 | Persons are selves - subjects of experience, with reflexive self-knowledge [Lowe] |
| 6670 | If my brain could survive on its own, I cannot be identical with my whole body [Lowe] |
| 6671 | It seems impossible to get generally applicable mental concepts from self-observation [Lowe] |
| 6666 | All human languages have an equivalent of the word 'I' [Lowe] |
| 6625 | If qualia are causally inert, how can we even know about them? [Lowe] |
| 6621 | You can only identify behaviour by ascribing belief, so the behaviour can't explain the belief [Lowe] |
| 6654 | A computer program is equivalent to the person AND the manual [Lowe] |
| 6629 | Functionalism commits us to bizarre possibilities, such as 'zombies' [Lowe] |
| 6623 | Functionalism can't distinguish our experiences in spectrum inversion [Lowe] |
| 6628 | Functionalism only discusses relational properties of mental states, not intrinsic properties [Lowe] |
| 6622 | Non-reductive physicalism accepts token-token identity (not type-type) and asserts 'supervenience' of mind and brain [Lowe] |
| 6634 | Physicalists must believe in narrow content (because thoughts are merely the brain states) [Lowe] |
| 6630 | Eliminativism is incoherent if it eliminates reason and truth as well as propositional attitudes [Lowe] |
| 6648 | Some behaviourists believe thought is just suppressed speech [Lowe] |
| 6651 | People are wildly inaccurate in estimating probabilities about an observed event [Lowe] |
| 6652 | 'Base rate neglect' makes people favour the evidence over its background [Lowe] |
| 23300 | Aristotle and the Stoics denied rationality to animals, while Platonists affirmed it [Aristotle, by Sorabji] |
| 6655 | The 'Frame Problem' is how to program the appropriate application of general knowledge [Lowe] |
| 6657 | Computers can't be rational, because they lack motivation and curiosity [Lowe] |
| 6656 | The Turing test is too behaviourist, and too verbal in its methods [Lowe] |
| 6636 | The naturalistic views of how content is created are the causal theory and the teleological theory [Lowe] |
| 6633 | Twin Earth cases imply that even beliefs about kinds of stuff are indexical [Lowe] |
| 6632 | The same proposition provides contents for the that-clause of an utterance and a belief [Lowe] |
| 6631 | If propositions are abstract entities, how can minds depend on their causal powers? [Lowe] |
| 11240 | The notion of analytic truth is absent in Aristotle [Aristotle, by Politis] |
| 6659 | The three main theories of action involve the will, or belief-plus-desire, or an agent [Lowe] |
| 6661 | Libet gives empirical support for the will, as a kind of 'executive' mental operation [Lowe] |
| 6662 | We feel belief and desire as reasons for choice, not causes of choice [Lowe] |
| 6663 | People's actions are explained either by their motives, or their reasons, or the causes [Lowe] |
| 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] |