22 ideas
| 12619 | We have no successful definitions, because they all use indefinable words [Fodor] |
| Full Idea: There are practically no defensible examples of definitions; for all the examples we've got, practically all the words (/concepts) are undefinable. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.3) | |
| A reaction: I don't think a definition has to be defined all the way down. Aristotle is perfectly happy if you can get a concept you don't understand down to concepts you do. Understanding is the test, not further definitions. |
| 13733 | Frege considered definite descriptions to be genuine singular terms [Frege, by Fitting/Mendelsohn] |
| Full Idea: Frege (1893) considered a definite description to be a genuine singular term (as we do), so that a sentence like 'The present King of France is bald' would have the same logical form as 'Harry Truman is bald'. | |
| From: report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by M Fitting/R Mendelsohn - First-Order Modal Logic | |
| A reaction: The difficulty is what the term refers to, and they embrace a degree of Meinongianism - that is that non-existent objects can still have properties attributed to them, and so can be allowed some sort of 'existence'. |
| 9874 | Contradiction arises from Frege's substitutional account of second-order quantification [Dummett on Frege] |
| Full Idea: The contradiction in Frege's system is due to the presence of second-order quantification, ..and Frege's explanation of the second-order quantifier, unlike that which he provides for the first-order one, appears to be substitutional rather than objectual. | |
| From: comment on Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893], §25) by Michael Dummett - Frege philosophy of mathematics Ch.17 | |
| A reaction: In Idea 9871 Dummett adds the further point that Frege lacks a clear notion of the domain of quantification. At this stage I don't fully understand this idea, but it is clearly of significance, so I will return to it. |
| 18252 | Real numbers are ratios of quantities, such as lengths or masses [Frege] |
| Full Idea: If 'number' is the referent of a numerical symbol, a real number is the same as a ratio of quantities. ...A length can have to another length the same ratio as a mass to another mass. | |
| From: Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893], III.1.73), quoted by Michael Dummett - Frege philosophy of mathematics 21 'Frege's' | |
| A reaction: This is part of a critique of Cantor and the Cauchy series approach. Interesting that Frege, who is in the platonist camp, is keen to connect the real numbers with natural phenomena. He is always keen to keep touch with the application of mathematics. |
| 18271 | We can't prove everything, but we can spell out the unproved, so that foundations are clear [Frege] |
| Full Idea: It cannot be demanded that everything be proved, because that is impossible; but we can require that all propositions used without proof be expressly declared as such, so that we can see distinctly what the whole structure rests upon. | |
| From: Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893], p.2), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 7 'What' |
| 10623 | Frege defined number in terms of extensions of concepts, but needed Basic Law V to explain extensions [Frege, by Hale/Wright] |
| Full Idea: Frege opts for his famous definition of numbers in terms of extensions of the concept 'equal to the concept F', but he then (in 'Grundgesetze') needs a theory of extensions or classes, which he provided by means of Basic Law V. | |
| From: report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by B Hale / C Wright - Intro to 'The Reason's Proper Study' §1 |
| 9975 | Frege ignored Cantor's warning that a cardinal set is not just a concept-extension [Tait on Frege] |
| Full Idea: Cantor pointed out explicitly to Frege that it is a mistake to take the notion of a set (i.e. of that which has a cardinal number) to simply mean the extension of a concept. ...Frege's later assumption of this was an act of recklessness. | |
| From: comment on Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by William W. Tait - Frege versus Cantor and Dedekind III | |
| A reaction: ['recklessness' is on p.61] Tait has no sympathy with the image of Frege as an intellectual martyr. Frege had insufficient respect for a great genius. Cantor, crucially, understood infinity much better than Frege. |
| 18165 | My Basic Law V is a law of pure logic [Frege] |
| Full Idea: I hold that my Basic Law V is a law of pure logic. | |
| From: Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893], p.4), quoted by Penelope Maddy - Naturalism in Mathematics I.1 | |
| A reaction: This is, of course, the notorious law which fell foul of Russell's Paradox. It is said to be pure logic, even though it refers to things that are F and things that are G. |
| 12620 | If 'exist' is ambiguous in 'chairs and numbers exist', that mirrors the difference between chairs and numbers [Fodor] |
| Full Idea: People say 'exist' is ambiguous, because of the difference between 'chairs exist' and 'numbers exist'. A reply goes: the difference between the existence of chairs and the existence of numbers is strikingly like the difference between chairs and numbers. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.3) | |
| A reaction: To say 'numbers are objects which exist' is, to me, either a funny use of 'exist' or a funny use of 'object'. I think I will now vote for the latter. Just as 'real number' was a funny use of 'number', but we seem to have got used to it. |
| 12613 | Empiricists use dispositions reductively, as 'possibility of sensation' or 'possibility of experimental result' [Fodor] |
| Full Idea: Using dispositional analyses in aid of ontological reductions is what empiricism taught us. If you are down on cats, reduce them to permanent possibilities of sensation; if you are down on electrons, reduce them to possibilities of experimental outcome. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.1) | |
| A reaction: The cats line is phenomenalism; the electrons line is instrumentalism. I like this as a serious warning about dispositions, even where they seem most plausible, as in the disposition of glass to break when struck. Why is it thus disposed? |
| 12617 | Associationism can't explain how truth is preserved [Fodor] |
| Full Idea: The essential problem is to explain how thinking manages reliably to preserve truth; and Associationism, as Kant rightly pointed out to Hume, hasn't the resources to do so. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.1) | |
| A reaction: One might be able to give an associationist account of truth-preservation if one became a bit more externalist about it, so that the normal association patterns track their connections with the external world. |
| 12615 | Mental representations are the old 'Ideas', but without images [Fodor] |
| Full Idea: The idea that there are mental representations is the idea that there are Ideas minus the idea that Ideas are images. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.1) | |
| A reaction: Good for you, Fodor. I've always thought that the vociferous contempt with which modern philosphers refer to the old notion of 'Ideas' was grossly exaggerated. At last someone puts a clear finger on what seems to be the difficulty. |
| 6650 | Fodor is now less keen on the innateness of concepts [Fodor, by Lowe] |
| Full Idea: Fodor has recently changed his mind about the innateness of concepts, which he formerly championed. | |
| From: report of Jerry A. Fodor (Concepts:where cogn.science went wrong [1998]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.7 n25 | |
| A reaction: There is some sensible middle road to be charted here. We presumably do not have an innate idea of a screwdriver, but there are plenty of basic concepts in logic and perception that are plausibly thought of as innate. |
| 12618 | It is essential to the concept CAT that it be satisfied by cats [Fodor] |
| Full Idea: Nothing in any mental life could be the concept CAT unless it is satisfied by cats. If you haven't got a concept that applies to cats, that entails that you haven't got the CAT concept. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.2) | |
| A reaction: Of course, having a concept that applies to cats doesn't entail that you have the CAT concept. Quine's 'gavagai', for example. I think Fodor is right in this idea. |
| 12614 | I prefer psychological atomism - that concepts are independent of epistemic capacities [Fodor] |
| Full Idea: I argue for a very strong version of psychological atomism; one according to which what concepts you have is conceptually and metaphysically independent of what epistemic capacities you have. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.1) | |
| A reaction: This is a frontal assault on the tradition of Frege, Dummett and Peacocke. I immediately find Fodor's approach more congenial, because he wants to say what a concept IS, rather than just place it within some larger scheme of things. |
| 9190 | A concept is a function mapping objects onto truth-values, if they fall under the concept [Frege, by Dummett] |
| Full Idea: In later Frege, a concept could be taken as a particular case of a function, mapping every object on to one of the truth-values (T or F), according as to whether, as we should ordinarily say, that object fell under the concept or not. | |
| From: report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by Michael Dummett - The Philosophy of Mathematics 3.5 | |
| A reaction: As so often in these attempts at explanation, this sounds circular. You can't decide whether an object truly falls under a concept, if you haven't already got the concept. His troubles all arise (I say) because he scorns abstractionist accounts. |
| 13665 | Frege took the study of concepts to be part of logic [Frege, by Shapiro] |
| Full Idea: Frege took the study of concepts and their extensions to be within logic. | |
| From: report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by Stewart Shapiro - Foundations without Foundationalism 7.1 | |
| A reaction: This is part of the plan to make logic a universal language (see Idea 13664). I disagree with this, and with the general logicist view of the position of logic. The logical approach thins concepts out. See Deleuze/Guattari's horror at this. |
| 12621 | Definable concepts have constituents, which are necessary, individuate them, and demonstrate possession [Fodor] |
| Full Idea: The definition theory says that concepts are complex structures which entail their constituents. By saying this, it guarantees both the connection between content and necessity, and the connection between concept individuation and concept possession. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.5) | |
| A reaction: He cites Pinker as a spokesman for the definitional view. This is the view Fodor attacks, in favour of his atomistic account. He adds in a note that his view also offered to reduce conceptual truth to logical truth. |
| 12622 | Many concepts lack prototypes, and complex prototypes aren't built from simple ones [Fodor] |
| Full Idea: Many concepts have no prototypes; and there are many complex concepts whose prototypes aren't related to the prototypes of their constituents in the way compositional explanation of productivity and systematicity requires. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.5) | |
| A reaction: His favourite example of the latter is 'pet fish', where the prototype of 'pet' is hardly ever a fish, and the prototype of 'fish' is usually much bigger than goldfish. Fodor is arguing that concepts are atomic. |
| 12623 | The theory theory can't actually tell us what concepts are [Fodor] |
| Full Idea: If the theory theory has a distinctive and coherent answer to the 'What's a concept?' question on offer, it's a well-kept secret. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.5) | |
| A reaction: Not an argument, but worth recording as an attitude. I certainly agree that accounts which offer some sort of answer to 'What is a concept?' have an immediate head's start on those which don't. |
| 12616 | English has no semantic theory, just associations between sentences and thoughts [Fodor] |
| Full Idea: English has no semantics. Learning English isn't learning a theory about what its sentences mean, it's learning how to associate its sentences with the corresponding thoughts. | |
| From: Jerry A. Fodor (Concepts:where cogn.science went wrong [1998], Ch.1) | |
| A reaction: This sounds remarkably close to John Locke's account of language (which I always thought was seriously underrated). Presumably we can then say that the 'thought' (or Locke's 'idea') is the meaning, which is old-fashioned real meanings. |
| 5994 | Is the cosmos open or closed, mechanical or teleological, alive or inanimate, and created or eternal? [Robinson,TM, by PG] |
| Full Idea: The four major disputes in classical cosmology were whether the cosmos is 'open' or 'closed', whether it is explained mechanistically or teleologically, whether it is alive or mere matter, and whether or not it has a beginning. | |
| From: report of T.M. Robinson (Classical Cosmology (frags) [1997]) by PG - Db (ideas) | |
| A reaction: A nice summary. The standard modern view is closed, mechanistic, inanimate and non-eternal. But philosophers can ask deeper questions than physicists, and I say we are entitled to speculate when the evidence runs out. |