72 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] |
22317 | Truth does not admit of more and less [Frege] |
13455 | Frege did not think of himself as working with sets [Frege, by Hart,WD] |
16895 | The null set is indefensible, because it collects nothing [Frege, by Burge] |
3328 | Frege proposed a realist concept of a set, as the extension of a predicate or concept or function [Frege, by Benardete,JA] |
9179 | Frege frequently expressed a contempt for language [Frege, by Dummett] |
13473 | Frege thinks there is an independent logical order of the truths, which we must try to discover [Frege, by Hart,WD] |
9148 | I think of variables as objects rather than as signs [Fine,K] |
6076 | For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn] |
3319 | Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA] |
9871 | Frege always, and fatally, neglected the domain of quantification [Dummett on Frege] |
16884 | Basic truths of logic are not proved, but seen as true when they are understood [Frege, by Burge] |
3331 | If '5' is the set of all sets with five members, that may be circular, and you can know a priori if the set has content [Benardete,JA on Frege] |
16880 | Frege aimed to discover the logical foundations which justify arithmetical judgements [Frege, by Burge] |
8689 | Eventually Frege tried to found arithmetic in geometry instead of in logic [Frege, by Friend] |
5657 | Frege's logic showed that there is no concept of being [Frege, by Scruton] |
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] |
3318 | Frege made identity a logical notion, enshrined above all in the formula 'for all x, x=x' [Frege, by Benardete,JA] |
16885 | To understand a thought, understand its inferential connections to other thoughts [Frege, by Burge] |
2502 | How do you count beliefs? [Fodor] |
2501 | Berkeley seems to have mistakenly thought that chairs are the same as after-images [Fodor] |
16887 | Frege's concept of 'self-evident' makes no reference to minds [Frege, by Burge] |
16894 | An apriori truth is grounded in generality, which is universal quantification [Frege, by Burge] |
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] |
16882 | The building blocks contain the whole contents of a discipline [Frege] |
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] |
9152 | If green is abstracted from a thing, it is only seen as a type if it is common to many things [Fine,K] |
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] |
2480 | Language is ambiguous, but thought isn't [Fodor] |
2487 | Mentalese may also incorporate some natural language [Fodor] |
2483 | Mentalese doesn't require a theory of meaning [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] |
9149 | To obtain the number 2 by abstraction, we only want to abstract the distinctness of a pair of objects [Fine,K] |
9150 | We should define abstraction in general, with number abstraction taken as a special case [Fine,K] |
9146 | After abstraction all numbers seem identical, so only 0 and 1 will exist! [Fine,K] |
5816 | Frege said concepts were abstract entities, not mental entities [Frege, by Putnam] |
2482 | It seems unlikely that meaning can be reduced to communicative intentions, or any mental states [Fodor] |
7307 | A thought is not psychological, but a condition of the world that makes a sentence true [Frege, by Miller,A] |
2477 | If to understand "fish" you must know facts about them, where does that end? [Fodor] |
7309 | Frege's 'sense' is the strict and literal meaning, stripped of tone [Frege, by Miller,A] |
7312 | 'Sense' solves the problems of bearerless names, substitution in beliefs, and informativeness [Frege, by Miller,A] |
7725 | 'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate [Frege, by Weiner] |
7316 | Analytic truths are those that can be demonstrated using only logic and definitions [Frege, by Miller,A] |
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] |
3307 | Frege put forward an ontological argument for the existence of numbers [Frege, by Benardete,JA] |