57 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] |
| 15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
| 2470 | Transcendental arguments move from knowing Q to knowing P because it depends on Q [Fodor] |
| 17608 | We take set theory as given, and retain everything valuable, while avoiding contradictions [Zermelo] |
| 17607 | Set theory investigates number, order and function, showing logical foundations for mathematics [Zermelo] |
| 10870 | ZFC: Existence, Extension, Specification, Pairing, Unions, Powers, Infinity, Choice [Zermelo, by Clegg] |
| 13012 | Zermelo published his axioms in 1908, to secure a controversial proof [Zermelo, by Maddy] |
| 17609 | Set theory can be reduced to a few definitions and seven independent axioms [Zermelo] |
| 13017 | Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy] |
| 13015 | Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy] |
| 13486 | Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD] |
| 13020 | The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy] |
| 13487 | In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD] |
| 18178 | For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy] |
| 13027 | Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy] |
| 9627 | Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR] |
| 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] |
| 2508 | The function of a mind is obvious [Fodor] |
| 2503 | Empirical approaches see mind connections as mirrors/maps of reality [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] |
| 2500 | Babies talk in consistent patterns [Fodor] |
| 2507 | Rationality rises above modules [Fodor] |
| 2491 | Modules have encapsulation, inaccessibility, private concepts, innateness [Fodor] |
| 2497 | Something must take an overview of the modules [Fodor] |
| 2495 | Obvious modules are language and commonsense explanation [Fodor] |
| 2499 | Modules analyse stimuli, they don't tell you what to do [Fodor] |
| 2498 | Modules make the world manageable [Fodor] |
| 2496 | Blindness doesn't destroy spatial concepts [Fodor] |
| 2509 | Modules have in-built specialist information [Fodor] |
| 2480 | Language is ambiguous, but thought isn't [Fodor] |
| 2483 | Mentalese doesn't require a theory of meaning [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] |
| 2484 | The theory of the content of thought as 'Mentalese' explains why the Private Language Argument doesn't work [Fodor] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |