65 ideas
| 2474 | It seems likely that analysis of concepts is impossible, but justification can survive without it [Fodor] |
| 2481 | Despite all the efforts of philosophers, nothing can ever be reduced to anything [Fodor] |
| 2505 | Turing invented the idea of mechanical rationality (just based on syntax) [Fodor] |
| 2470 | Transcendental arguments move from knowing Q to knowing P because it depends on Q [Fodor] |
| 10859 | A set is 'well-ordered' if every subset has a first element [Clegg] |
| 10857 | Set theory made a closer study of infinity possible [Clegg] |
| 10864 | Any set can always generate a larger set - its powerset, of subsets [Clegg] |
| 10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
| 10875 | Pairing: For any two sets there exists a set to which they both belong [Clegg] |
| 10876 | Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg] |
| 10878 | Infinity: There exists a set of the empty set and the successor of each element [Clegg] |
| 10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
| 10879 | Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg] |
| 10871 | Axiom of Existence: there exists at least one set [Clegg] |
| 10874 | Specification: a condition applied to a set will always produce a new set [Clegg] |
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| 10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
| 10861 | Beyond infinity cardinals and ordinals can come apart [Clegg] |
| 10860 | An ordinal number is defined by the set that comes before it [Clegg] |
| 10854 | Transcendental numbers can't be fitted to finite equations [Clegg] |
| 10858 | By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg] |
| 10853 | Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg] |
| 10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
| 10869 | The Continuum Hypothesis is independent of the axioms of set theory [Clegg] |
| 10862 | The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg] |
| 2469 | The world is full of messy small things producing stable large-scale properties (e.g. mountains) [Fodor] |
| 2475 | Don't define something by a good instance of it; a good example is a special case of the ordinary example [Fodor] |
| 2502 | How do you count beliefs? [Fodor] |
| 2501 | Berkeley seems to have mistakenly thought that chairs are the same as after-images [Fodor] |
| 2465 | Maybe explaining the mechanics of perception will explain the concepts involved [Fodor] |
| 2504 | Rationalism can be based on an evolved computational brain with innate structure [Fodor] |
| 2493 | According to empiricists abstraction is the fundamental mental process [Fodor] |
| 2494 | Rationalists say there is more to a concept than the experience that prompts it [Fodor] |
| 2503 | Empirical approaches see mind connections as mirrors/maps of reality [Fodor] |
| 2508 | The function of a mind is obvious [Fodor] |
| 2485 | Do intentional states explain our behaviour? [Fodor] |
| 2506 | If I have a set of mental modules, someone had better be in charge of them! [Fodor] |
| 2467 | Functionalists see pains as properties involving relations and causation [Fodor] |
| 2489 | Why bother with neurons? You don't explain bird flight by examining feathers [Fodor] |
| 2468 | Type physicalism is a stronger claim than token physicalism [Fodor] |
| 2490 | Modern connectionism is just Hume's theory of the 'association' of 'ideas' [Fodor] |
| 2476 | The goal of thought is to understand the world, not instantly sort it into conceptual categories [Fodor] |
| 2499 | Modules analyse stimuli, they don't tell you what to do [Fodor] |
| 2496 | Blindness doesn't destroy spatial concepts [Fodor] |
| 2497 | Something must take an overview of the modules [Fodor] |
| 2509 | Modules have in-built specialist information [Fodor] |
| 2491 | Modules have encapsulation, inaccessibility, private concepts, innateness [Fodor] |
| 2495 | Obvious modules are language and commonsense explanation [Fodor] |
| 2498 | Modules make the world manageable [Fodor] |
| 2500 | Babies talk in consistent patterns [Fodor] |
| 2507 | Rationality rises above modules [Fodor] |
| 2483 | Mentalese doesn't require a theory of meaning [Fodor] |
| 2480 | Language is ambiguous, but thought isn't [Fodor] |
| 2487 | Mentalese may also incorporate some natural language [Fodor] |
| 2486 | Content can't be causal role, because causal role is decided by content [Fodor] |
| 2492 | Experience can't explain itself; the concepts needed must originate outside experience [Fodor] |
| 2471 | Are concepts best seen as capacities? [Fodor] |
| 2472 | For Pragmatists having a concept means being able to do something [Fodor] |
| 2482 | It seems unlikely that meaning can be reduced to communicative intentions, or any mental states [Fodor] |
| 2477 | If to understand "fish" you must know facts about them, where does that end? [Fodor] |
| 2473 | Analysis is impossible without the analytic/synthetic distinction [Fodor] |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
| 2484 | The theory of the content of thought as 'Mentalese' explains why the Private Language Argument doesn't work [Fodor] |