108 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] |
| 6052 | Definitions identify two concepts, so they presuppose identity [McGinn] |
| 9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
| 2470 | Transcendental arguments move from knowing Q to knowing P because it depends on Q [Fodor] |
| 6064 | Regresses are only vicious in the context of an explanation [McGinn] |
| 6088 | Truth is a method of deducing facts from propositions [McGinn] |
| 6084 | 'Snow does not fall' corresponds to snow does fall [McGinn] |
| 6085 | The idea of truth is built into the idea of correspondence [McGinn] |
| 6083 | The coherence theory of truth implies idealism, because facts are just coherent beliefs [McGinn] |
| 6086 | Truth is the property of propositions that makes it possible to deduce facts [McGinn] |
| 6087 | Without the disquotation device for truth, you could never form beliefs from others' testimony [McGinn] |
| 9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
| 6051 | In 'x is F and x is G' we must assume the identity of x in the two statements [McGinn] |
| 6055 | Both non-contradiction and excluded middle need identity in their formulation [McGinn] |
| 6059 | Identity is unitary, indefinable, fundamental and a genuine relation [McGinn] |
| 6042 | The quantifier is overrated as an analytical tool [McGinn] |
| 6067 | Existential quantifiers just express the quantity of things, leaving existence to the predicate 'exists' [McGinn] |
| 6069 | 'Partial quantifier' would be a better name than 'existential quantifier', as no existence would be implied [McGinn] |
| 6068 | We need an Intentional Quantifier ("some of the things we talk about.."), so existence goes into the proposition [McGinn] |
| 9896 | A prime number is one which is measured by a unit alone [Dummett] |
| 18255 | Addition of quantities is prior to ordering, as shown in cyclic domains like angles [Dummett] |
| 9895 | A number is a multitude composed of units [Dummett] |
| 9852 | We understand 'there are as many nuts as apples' as easily by pairing them as by counting them [Dummett] |
| 9829 | The identity of a number may be fixed by something outside structure - by counting [Dummett] |
| 9828 | Numbers aren't fixed by position in a structure; it won't tell you whether to start with 0 or 1 [Dummett] |
| 9876 | Set theory isn't part of logic, and why reduce to something more complex? [Dummett] |
| 6070 | Existence is a primary quality, non-existence a secondary quality [McGinn] |
| 6062 | Existence can't be analysed as instantiating a property, as instantiation requires existence [McGinn] |
| 6065 | We can't analyse the sentence 'something exists' in terms of instantiated properties [McGinn] |
| 9884 | The distinction of concrete/abstract, or actual/non-actual, is a scale, not a dichotomy [Dummett] |
| 9869 | Realism is just the application of two-valued semantics to sentences [Dummett] |
| 6082 | If causal power is the test for reality, that will exclude necessities and possibilities [McGinn] |
| 6075 | Facts are object-plus-extension, or property-plus-set-of-properties, or object-plus-property [McGinn] |
| 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] |
| 9880 | Nominalism assumes unmediated mental contact with objects [Dummett] |
| 9885 | The existence of abstract objects is a pseudo-problem [Dummett] |
| 9858 | Abstract objects nowadays are those which are objective but not actual [Dummett] |
| 9859 | It is absurd to deny the Equator, on the grounds that it lacks causal powers [Dummett] |
| 9860 | 'We've crossed the Equator' has truth-conditions, so accept the Equator - and it's an object [Dummett] |
| 9872 | Abstract objects need the context principle, since they can't be encountered directly [Dummett] |
| 6058 | Identity propositions are not always tautological, and have a key epistemic role [McGinn] |
| 9848 | Content is replaceable if identical, so replaceability can't define identity [Dummett, by Dummett] |
| 9842 | Frege introduced criteria for identity, but thought defining identity was circular [Dummett] |
| 6053 | Identity is as basic as any concept could ever be [McGinn] |
| 6043 | Type-identity is close similarity in qualities [McGinn] |
| 6044 | Qualitative identity is really numerical identity of properties [McGinn] |
| 6046 | Qualitative identity can be analysed into numerical identity of the type involved [McGinn] |
| 6045 | It is best to drop types of identity, and speak of 'identity' or 'resemblance' [McGinn] |
| 6066 | Existence is a property of all objects, but less universal than self-identity, which covers even conceivable objects [McGinn] |
| 6054 | Sherlock Holmes does not exist, but he is self-identical [McGinn] |
| 6047 | All identity is necessary, though identity statements can be contingently true [McGinn] |
| 6049 | Leibniz's Law says 'x = y iff for all P, Px iff Py' [McGinn] |
| 6048 | Leibniz's Law is so fundamental that it almost defines the concept of identity [McGinn] |
| 6050 | Leibniz's Law presupposes the notion of property identity [McGinn] |
| 6080 | Modality is not objects or properties, but the type of binding of objects to properties [McGinn] |
| 6079 | If 'possible' is explained as quantification across worlds, there must be possible worlds [McGinn] |
| 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] |
| 6081 | Necessity and possibility are big threats to the empiricist view of knowledge [McGinn] |
| 6071 | Scepticism about reality is possible because existence isn't part of appearances [McGinn] |
| 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] |
| 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] |
| 9849 | Maybe a concept is 'prior' to another if it can be defined without the second concept [Dummett] |
| 9850 | An argument for conceptual priority is greater simplicity in explanation [Dummett] |
| 9873 | Abstract terms are acceptable as long as we know how they function linguistically [Dummett] |
| 9993 | There is no reason why abstraction by equivalence classes should be called 'logical' [Dummett, by Tait] |
| 9857 | We arrive at the concept 'suicide' by comparing 'Cato killed Cato' with 'Brutus killed Brutus' [Dummett] |
| 9833 | To abstract from spoons (to get the same number as the forks), the spoons must be indistinguishable too [Dummett] |
| 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] |
| 9836 | Fregean semantics assumes a domain articulated into individual objects [Dummett] |
| 6077 | Semantics should not be based on set-membership, but on instantiation of properties in objects [McGinn] |
| 6074 | Clearly predicates have extensions (applicable objects), but are the extensions part of their meaning? [McGinn] |
| 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] |
| 18257 | Why should the limit of measurement be points, not intervals? [Dummett] |
| 6072 | If Satan is the most imperfect conceivable being, he must have non-existence [McGinn] |
| 6073 | I think the fault of the Ontological Argument is taking the original idea to be well-defined [McGinn] |