117 ideas
9955 | Contextual definitions replace a complete sentence containing the expression [George/Velleman] |
10031 | Impredicative definitions quantify over the thing being defined [George/Velleman] |
3508 | Correspondence to the facts HAS to be the aim of enquiry [Searle] |
10098 | The 'power set' of A is all the subsets of A [George/Velleman] |
10099 | The 'ordered pair' <a, b>, for two sets a and b, is the set {{a, b},{a}} [George/Velleman] |
10101 | Cartesian Product A x B: the set of all ordered pairs in which a∈A and b∈B [George/Velleman] |
10103 | Grouping by property is common in mathematics, usually using equivalence [George/Velleman] |
10104 | 'Equivalence' is a reflexive, symmetric and transitive relation; 'same first letter' partitions English words [George/Velleman] |
10096 | Even the elements of sets in ZFC are sets, resting on the pure empty set [George/Velleman] |
10097 | Axiom of Extensionality: for all sets x and y, if x and y have the same elements then x = y [George/Velleman] |
10100 | Axiom of Pairing: for all sets x and y, there is a set z containing just x and y [George/Velleman] |
17900 | The Axiom of Reducibility made impredicative definitions possible [George/Velleman] |
10109 | ZFC can prove that there is no set corresponding to the concept 'set' [George/Velleman] |
10108 | As a reduction of arithmetic, set theory is not fully general, and so not logical [George/Velleman] |
10111 | Asserting Excluded Middle is a hallmark of realism about the natural world [George/Velleman] |
10129 | A 'model' is a meaning-assignment which makes all the axioms true [George/Velleman] |
10105 | Differences between isomorphic structures seem unimportant [George/Velleman] |
10119 | Consistency is a purely syntactic property, unlike the semantic property of soundness [George/Velleman] |
10126 | A 'consistent' theory cannot contain both a sentence and its negation [George/Velleman] |
10120 | Soundness is a semantic property, unlike the purely syntactic property of consistency [George/Velleman] |
10127 | A 'complete' theory contains either any sentence or its negation [George/Velleman] |
10106 | Rational numbers give answers to division problems with integers [George/Velleman] |
10102 | The integers are answers to subtraction problems involving natural numbers [George/Velleman] |
10107 | Real numbers provide answers to square root problems [George/Velleman] |
17518 | Counting 'coin in this box' may have coin as the unit, with 'in this box' merely as the scope [Ayers] |
17516 | If counting needs a sortal, what of things which fall under two sortals? [Ayers] |
9946 | Logicists say mathematics is applicable because it is totally general [George/Velleman] |
10125 | The classical mathematician believes the real numbers form an actual set [George/Velleman] |
17899 | Second-order induction is stronger as it covers all concepts, not just first-order definable ones [George/Velleman] |
10128 | The Incompleteness proofs use arithmetic to talk about formal arithmetic [George/Velleman] |
17902 | A successor is the union of a set with its singleton [George/Velleman] |
10133 | Frege's Theorem shows the Peano Postulates can be derived from Hume's Principle [George/Velleman] |
10130 | Set theory can prove the Peano Postulates [George/Velleman] |
10089 | Talk of 'abstract entities' is more a label for the problem than a solution to it [George/Velleman] |
10131 | If mathematics is not about particulars, observing particulars must be irrelevant [George/Velleman] |
10092 | In the unramified theory of types, the types are objects, then sets of objects, sets of sets etc. [George/Velleman] |
10094 | The theory of types seems to rule out harmless sets as well as paradoxical ones. [George/Velleman] |
10095 | Type theory has only finitely many items at each level, which is a problem for mathematics [George/Velleman] |
17901 | Type theory prohibits (oddly) a set containing an individual and a set of individuals [George/Velleman] |
10114 | Bounded quantification is originally finitary, as conjunctions and disjunctions [George/Velleman] |
10134 | Much infinite mathematics can still be justified finitely [George/Velleman] |
10123 | The intuitionists are the idealists of mathematics [George/Velleman] |
10124 | Gödel's First Theorem suggests there are truths which are independent of proof [George/Velleman] |
17520 | Events do not have natural boundaries, and we have to set them [Ayers] |
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] |
17519 | To express borderline cases of objects, you need the concept of an 'object' [Ayers] |
17510 | Speakers need the very general category of a thing, if they are to think about it [Ayers] |
17522 | We use sortals to classify physical objects by the nature and origin of their unity [Ayers] |
17515 | Seeing caterpillar and moth as the same needs continuity, not identity of sortal concepts [Ayers] |
17511 | Recognising continuity is separate from sortals, and must precede their use [Ayers] |
17517 | Could the same matter have more than one form or principle of unity? [Ayers] |
17513 | If there are two objects, then 'that marble, man-shaped object' is ambiguous [Ayers] |
17523 | Sortals basically apply to individuals [Ayers] |
17521 | You can't have the concept of a 'stage' if you lack the concept of an object [Ayers] |
17514 | Temporal 'parts' cannot be separated or rearranged [Ayers] |
17509 | Some say a 'covering concept' completes identity; others place the concept in the reference [Ayers] |
17512 | If diachronic identities need covering concepts, why not synchronic identities too? [Ayers] |
3491 | Beliefs are part of a network, and also exist against a background [Searle] |
3490 | Beliefs only make sense as part of a network of other beliefs [Searle] |
3482 | Perception is a function of expectation [Searle] |
3493 | Memory is mainly a guide for current performance [Searle] |
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] |
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] |
10110 | Corresponding to every concept there is a class (some of them sets) [George/Velleman] |
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] |
3495 | Shared Background makes translation possible, though variation makes it hard [Searle] |
3505 | The function of a heart depends on what we want it to do [Searle] |
3504 | Chemistry entirely explains plant behaviour [Searle] |
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] |