116 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] |
| 3508 | Correspondence to the facts HAS to be the aim of enquiry [Searle] |
| 9724 | Until the 1960s the only semantics was truth-tables [Enderton] |
| 9703 | 'dom R' indicates the 'domain' of objects having a relation [Enderton] |
| 9705 | 'fld R' indicates the 'field' of all objects in the relation [Enderton] |
| 9704 | 'ran R' indicates the 'range' of objects being related to [Enderton] |
| 9710 | We write F:A→B to indicate that A maps into B (the output of F on A is in B) [Enderton] |
| 9707 | 'F(x)' is the unique value which F assumes for a value of x [Enderton] |
| 9712 | A relation is 'symmetric' on a set if every ordered pair has the relation in both directions [Enderton] |
| 9713 | A relation is 'transitive' if it can be carried over from two ordered pairs to a third [Enderton] |
| 9699 | The 'powerset' of a set is all the subsets of a given set [Enderton] |
| 9700 | Two sets are 'disjoint' iff their intersection is empty [Enderton] |
| 9702 | A 'domain' of a relation is the set of members of ordered pairs in the relation [Enderton] |
| 9701 | A 'relation' is a set of ordered pairs [Enderton] |
| 9706 | A 'function' is a relation in which each object is related to just one other object [Enderton] |
| 9708 | A function 'maps A into B' if the relating things are set A, and the things related to are all in B [Enderton] |
| 9709 | A function 'maps A onto B' if the relating things are set A, and the things related to are set B [Enderton] |
| 9711 | A relation is 'reflexive' on a set if every member bears the relation to itself [Enderton] |
| 9714 | A relation satisfies 'trichotomy' if all pairs are either relations, or contain identical objects [Enderton] |
| 9717 | A set is 'dominated' by another if a one-to-one function maps the first set into a subset of the second [Enderton] |
| 9715 | An 'equivalence relation' is a reflexive, symmetric and transitive binary relation [Enderton] |
| 9716 | We 'partition' a set into distinct subsets, according to each relation on its objects [Enderton] |
| 13282 | Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki] |
| 9722 | Inference not from content, but from the fact that it was said, is 'conversational implicature' [Enderton] |
| 9718 | Validity is either semantic (what preserves truth), or proof-theoretic (following procedures) [Enderton] |
| 4730 | For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady] |
| 9721 | A logical truth or tautology is a logical consequence of the empty set [Enderton] |
| 9994 | A truth assignment to the components of a wff 'satisfy' it if the wff is then True [Enderton] |
| 9719 | A proof theory is 'sound' if its valid inferences entail semantic validity [Enderton] |
| 9720 | A proof theory is 'complete' if semantically valid inferences entail proof-theoretic validity [Enderton] |
| 9995 | Proof in finite subsets is sufficient for proof in an infinite set [Enderton] |
| 9996 | Expressions are 'decidable' if inclusion in them (or not) can be proved [Enderton] |
| 9997 | For a reasonable language, the set of valid wff's can always be enumerated [Enderton] |
| 3473 | Reduction can be of things, properties, ideas or causes [Searle] |
| 3532 | Solidity in a piston is integral to its structure, not supervenient [Maslin on Searle] |
| 3533 | Is supervenience just causality? [Searle, by Maslin] |
| 3454 | Reality is entirely particles in force fields [Searle] |
| 3471 | Some properties depend on components, others on their relations [Searle] |
| 3472 | Fully 'emergent' properties contradict our whole theory of causation [Searle] |
| 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] |
| 9723 | Sentences with 'if' are only conditionals if they can read as A-implies-B [Enderton] |
| 5991 | For Aristotle, knowledge is of causes, and is theoretical, practical or productive [Aristotle, by Code] |
| 3490 | Beliefs only make sense as part of a network of other beliefs [Searle] |
| 3491 | Beliefs are part of a network, and also exist against a background [Searle] |
| 11239 | The notion of a priori truth is absent in Aristotle [Aristotle, by Politis] |
| 3482 | Perception is a function of expectation [Searle] |
| 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] |
| 3493 | Memory is mainly a guide for current performance [Searle] |
| 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] |
| 3463 | We don't have a "theory" that other people have minds [Searle] |
| 3457 | Other minds are not inferred by analogy, but are our best explanation [Searle] |
| 3480 | We experience unity at an instant and across time [Searle] |
| 3479 | The mind experiences space, but it is not experienced as spatial [Searle] |
| 3470 | Conscious creatures seem able to discriminate better [Searle] |
| 3486 | Unconscious thoughts are those capable of causing conscious ones [Searle] |
| 3503 | Consciousness results directly from brain processes, not from some intermediary like information [Searle] |
| 3465 | Either there is intrinsic intentionality, or everything has it [Searle] |
| 3484 | Water flowing downhill can be described as if it had intentionality [Searle] |
| 3489 | Intentional phenomena only make sense within a background [Searle] |
| 3494 | Intentionality is defined in terms of representation [Searle] |
| 3481 | Consciousness is essential and basic to intentionality [Searle] |
| 4088 | Pain is not intentional, because it does not represent anything beyond itself [Searle] |
| 3467 | Neither introspection nor privileged access makes sense [Searle] |
| 3483 | Introspection is just thinking about mental states, not a special sort of vision [Searle] |
| 3468 | I cannot observe my own subjectivity [Searle] |
| 3469 | Mind and brain don't interact if they are the same [Searle] |
| 3487 | Without internal content, a zombie's full behaviour couldn't be explained [Searle] |
| 3458 | Mental states only relate to behaviour contingently, not necessarily [Searle] |
| 3485 | Wanting H2O only differs from wanting water in its mental component [Searle] |
| 3461 | Functionalists like the externalist causal theory of reference [Searle] |
| 3496 | A program for Chinese translation doesn't need to understand Chinese [Searle] |
| 3499 | Computation presupposes consciousness [Searle] |
| 3501 | If we are computers, who is the user? [Searle] |
| 3456 | Consciousness is a brain property as liquidity is a water property [Searle] |
| 3453 | Property dualism is the reappearance of Cartesianism [Searle] |
| 3455 | Property dualists tend to find the mind-body problem baffling [Searle] |
| 3475 | Property dualism denies reductionism [Searle] |
| 3476 | Mind and brain are supervenient in respect of cause and effect [Searle] |
| 3477 | If mind-brain supervenience isn't causal, this implies epiphenomenalism [Searle] |
| 3531 | Mental events can cause even though supervenient, like the solidity of a piston [Searle] |
| 3478 | Upwards mental causation makes 'supervenience' irrelevant [Searle] |
| 3466 | Consciousness seems indefinable by conditions or categories [Searle] |
| 3500 | Can the homunculus fallacy be beaten by recursive decomposition? [Searle] |
| 9317 | Searle argues that biology explains consciousness, but physics won't explain biology [Searle, by Kriegel/Williford] |
| 3474 | If mind is caused by brain, does this mean mind IS brain? [Searle] |
| 3497 | If mind is multiply realisable, it is possible that anything could realise it [Searle] |
| 3462 | We don't postulate folk psychology, we experience it [Searle] |
| 23300 | Aristotle and the Stoics denied rationality to animals, while Platonists affirmed it [Aristotle, by Sorabji] |
| 3498 | Computation isn't a natural phenomenon, it is a way of seeing phenomena [Searle] |
| 3492 | Content is much more than just sentence meaning [Searle] |
| 3464 | There is no such thing as 'wide content' [Searle] |
| 3506 | We explain behaviour in terms of actual internal representations in the agent [Searle] |
| 3451 | Meaning is derived intentionality [Searle] |
| 3450 | Philosophy of language is a branch of philosophy of mind [Searle] |
| 3507 | Universal grammar doesn't help us explain anything [Searle] |
| 11240 | The notion of analytic truth is absent in Aristotle [Aristotle, by Politis] |
| 3495 | Shared Background makes translation possible, though variation makes it hard [Searle] |
| 6559 | Aristotle never actually says that man is a rational animal [Aristotle, by Fogelin] |
| 3505 | The function of a heart depends on what we want it to do [Searle] |
| 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] |
| 3504 | Chemistry entirely explains plant behaviour [Searle] |
| 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] |
| 3502 | Mind involves fighting, fleeing, feeding and fornicating [Searle] |
| 3459 | You can only know the limits of knowledge if you know the other side of the limit [Searle] |
| 22729 | The concepts of gods arose from observing the soul, and the cosmos [Aristotle, by Sext.Empiricus] |