57 ideas
| 12644 | Who cares what 'philosophy' is? Most pre-1950 thought doesn't now count as philosophy [Fodor] |
| Full Idea: Who cares what gets called 'philosophy'? It's my impression that most of what happened in philosophy before 1950 wouldn't qualify according to the present usage. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3.5) | |
| A reaction: A rather breath-taking remark. Fodor is, of course, a devotee of David Hume, and of Descartes, but he never seems to refer to Greeks at all. Personally I presume that if you aren't doing what Plato and Aristotle were interested in, it ain't philosophy. |
| 12633 | Definitions often give necessary but not sufficient conditions for an extension [Fodor] |
| Full Idea: Attempts to define a term frequently elicit necessary but not sufficient conditions for membership of its extension. This is called the 'X problem', as in 'kill' means 'cause to die' plus X. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.2.1 n3) | |
| A reaction: Fodor is one of the great sceptics about definition. I just don't see why we have to have totally successful definitions before we can accept the process as a worthwhile endeavour. |
| 8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
| Full Idea: Intuitionists in mathematics deny excluded middle, because it is symptomatic of faith in the transcendent existence of mathematical objects and/or the truth of mathematical statements. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 1.2) | |
| A reaction: There are other problems with excluded middle, such as vagueness, but on the whole I, as a card-carrying 'realist', am committed to the law of excluded middle. |
| 12664 | A truth-table, not inferential role, defines 'and' [Fodor] |
| Full Idea: I'm inclined to think that 'and' is defined by its truth-table (and not, for example, by its 'inferential-role'). | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.7) | |
| A reaction: Sounds right, on my general principle that something can only have a function if it has an intrinsic nature. The truth-table just formalises normal understanding of 'and', according to what it makes true. |
| 12648 | Names in thought afford a primitive way to bring John before the mind [Fodor] |
| Full Idea: Names in thought (in contrast to, say, descriptions in thought) afford a primitive way of bringing John before the mind. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3 App) | |
| A reaction: I think the 'file' account of concepts which Fodor has now latched onto gives a wonderful account of names. They are simple if you haven't opened the file yet (like 'Louis', in Evans's example). |
| 12650 | 'Paderewski' has two names in mentalese, for his pianist file and his politician file [Fodor] |
| Full Idea: Paderewski (as pianist and as politician) has two names in Mentalese. If you think there are two Paderewskis, it's important that what you get when you retrieve the pianist file differs from the politician file. You can then merge the two files. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3 App) | |
| A reaction: The same will apply to 'Hespherus' and 'Phosphorus'. We can re-separate the 'morning star' and 'evening star' files if we wish to discuss ancient Egyptian attitudes to such things. I love this idea of Fodor's. Explanations flow from it. |
| 12656 | P-and-Q gets its truth from the truth of P and truth of Q, but consistency isn't like that [Fodor] |
| Full Idea: The truth of P-and-Q is (roughly) a function of the truth of P and the truth of Q; but the consistency of P&Q isn't a function of the consistency of P and the consistency of Q. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.4.5 n33) | |
| A reaction: This is a nice deep issue. Fodor is interested in artificial intelligence at this point, but I am interested in the notion of coherence, as found in good justifications. Even consistency isn't elementary logic, never mind coherence. |
| 8763 | The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro] |
| Full Idea: It is surely wise to identify the positions in the natural numbers structure with their counterparts in the integer, rational, real and complex number structures. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 10.2) | |
| A reaction: The point is that this might be denied, since 3, 3/1, 3.00.., and -3*i^2 are all arrived at by different methods of construction. Natural 3 has a predecessor, but real 3 doesn't. I agree, intuitively, with Shapiro. Russell (1919) disagreed. |
| 18249 | Cauchy gave a formal definition of a converging sequence. [Shapiro] |
| Full Idea: A sequence a1,a2,... of rational numbers is 'Cauchy' if for each rational number ε>0 there is a natural number N such that for all natural numbers m, n, if m>N and n>N then -ε < am - an < ε. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 7.2 n4) | |
| A reaction: The sequence is 'Cauchy' if N exists. |
| 8764 | Categories are the best foundation for mathematics [Shapiro] |
| Full Idea: There is a dedicated contingent who hold that the category of 'categories' is the proper foundation for mathematics. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 10.3 n7) | |
| A reaction: He cites Lawvere (1966) and McLarty (1993), the latter presenting the view as a form of structuralism. I would say that the concept of a category will need further explication, and probably reduce to either sets or relations or properties. |
| 8762 | Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro] |
| Full Idea: Zermelo said that for each number n, its successor is the singleton of n, so 3 is {{{null}}}, and 1 is not a member of 3. Von Neumann said each number n is the set of numbers less than n, so 3 is {null,{null},{null,{null}}}, and 1 is a member of 3. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 10.2) | |
| A reaction: See Idea 645 - Zermelo could save Plato from the criticisms of Aristotle! These two accounts are cited by opponents of the set-theoretical account of numbers, because it seems impossible to arbitrate between them. |
| 8760 | Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro] |
| Full Idea: The structuralist vigorously rejects any sort of ontological independence among the natural numbers; the essence of a natural number is its relations to other natural numbers. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 10.1) | |
| A reaction: This seems to place the emphasis on ordinals (what order?) rather than on cardinality (how many?). I am strongly inclined to think that this is the correct view, though you can't really have relations if there is nothing to relate. |
| 8761 | A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro] |
| Full Idea: A 'system' is a collection of objects with certain relations among them; a 'pattern' or 'structure' is the abstract form of a system, highlighting the interrelationships and ignoring any features they do not affect how they relate to other objects. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 10.1) | |
| A reaction: Note that 'ignoring' features is a psychological account of abstraction, which (thanks to Frege and Geach) is supposed to be taboo - but which I suspect is actually indispensable in any proper account of thought and concepts. |
| 8744 | Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro] |
| Full Idea: The thesis that principles of arithmetic are derivable from the laws of logic runs against a now common view that logic itself has no ontology. There are no particular logical objects. From this perspective logicism is a non-starter. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 5.1) | |
| A reaction: This criticism strikes me as utterly devastating. There are two routes to go: prove that logic does have an ontology of objects (what would they be?), or - better - deny that arithmetic contains any 'objects'. Or give up logicism. |
| 8749 | Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro] |
| Full Idea: Term Formalism is the view that mathematics is just about characters or symbols - the systems of numerals and other linguistic forms. ...This will cover integers and rational numbers, but what are real numbers supposed to be, if they lack names? | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 6.1.1) | |
| A reaction: Real numbers (such as pi and root-2) have infinite decimal expansions, so we can start naming those. We could also start giving names like 'Harry' to other reals, though it might take a while. OK, I give up. |
| 8750 | Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro] |
| Full Idea: Game Formalism likens mathematics to chess, where the 'content' of mathematics is exhausted by the rules of operating with its language. ...This, however, leaves the problem of why the mathematical games are so useful to the sciences. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 6.1.2) | |
| A reaction: This thought pushes us towards structuralism. It could still be a game, but one we learned from observing nature, which plays its own games. Chess is, after all, modelled on warfare. |
| 8752 | Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro] |
| Full Idea: The Deductivist version of formalism (sometimes called 'if-thenism') says that the practice of mathematics consists of determining logical consequences of otherwise uninterpreted axioms. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 6.2) | |
| A reaction: [Hilbert is the source] More plausible than Term or Game Formalism (qv). It still leaves the question of why it seems applicable to nature, and why those particular axioms might be chosen. In some sense, though, it is obviously right. |
| 8753 | Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro] |
| Full Idea: Critics commonly complain that the intuitionist restrictions cripple the mathematician. On the other hand, intuitionist mathematics allows for many potentially important distinctions not available in classical mathematics, and is often more subtle. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 7.1) | |
| A reaction: The main way in which it cripples is its restriction on talk of infinity ('Cantor's heaven'), which was resented by Hilbert. Since high-level infinities are interesting, it would be odd if we were not allowed to discuss them. |
| 8731 | Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro] |
| Full Idea: I classify conceptualists according to what they say about properties or concepts. If someone classified properties as existing independent of language I would classify her as a realist in ontology of mathematics. Or they may be idealists or nominalists. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 2.2.1) | |
| A reaction: In other words, Shapiro wants to eliminate 'conceptualist' as a useful label in philosophy of mathematics. He's probably right. All thought involves concepts, but that doesn't produce a conceptualist theory of, say, football. |
| 8730 | 'Impredicative' definitions refer to the thing being described [Shapiro] |
| Full Idea: A definition of a mathematical entity is 'impredicative' if it refers to a collection that contains the defined entity. The definition of 'least upper bound' is impredicative as it refers to upper bounds and characterizes a member of this set. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 1.2) | |
| A reaction: The big question is whether mathematics can live with impredicative definitions, or whether they threaten to be viciously circular, and undermine the whole enterprise. |
| 12653 | There's statistical, logical, nomological, conceptual and metaphysical possibility [Fodor] |
| Full Idea: Statistically, logically, nomologically, conceptually, and metaphysically possible. That's all the kinds of possibility there are this week, but feel free to add others. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.4.3) | |
| A reaction: There's also epistemic possibility (possibility 'for all I know'), but I suppose that isn't the real thing. How about 'imaginative possibility' (possibility 'as far as I can imagine')? |
| 12651 | Some beliefs are only inferred when needed, like 'Shakespeare had not telephone' [Fodor] |
| Full Idea: Maybe some of your beliefs are inferred 'online' from what you have in your files, along with your inferential rules. 'Shakespeare didn't have a telephone' is a classic example, which we infer if the occasion arises. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3 App) | |
| A reaction: A highly persuasive example. There seem to be a huge swathe of blatantly obvious beliefs (especially negative ones) which may never cross our minds during an entire lifetime, but to which we certainly subscribe. |
| 12628 | Knowing that must come before knowing how [Fodor] |
| Full Idea: Thought about the world is prior to thought about how to change the world. Accordingly, knowing that is prior to knowing how. Descartes was right, and Ryle was wrong. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.1) | |
| A reaction: The classical example is knowing how to ride a bicycle, when few people can explain what is involved. Clearly you need quite a bit of propositional knowledge before you step on a bike. How does Fodor's claim work for animals? |
| 8725 | Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro] |
| Full Idea: Rationalism is a long-standing school that can be characterized as an attempt to extend the perceived methodology of mathematics to all of knowledge. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 1.1) | |
| A reaction: Sometimes called 'Descartes's Dream', or the 'Enlightenment Project', the dream of proving everything. Within maths, Hilbert's Programme aimed for the same certainty. Idea 22 is the motto for the opposition to this approach. |
| 12625 | Pragmatism is the worst idea ever [Fodor] |
| Full Idea: Pragmatism is perhaps the worst idea that philosophy ever had. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.1) | |
| A reaction: Not an argument, but an interesting sign of the times. Most major modern American philosophers, such as Quine, seem to fit some loose label of 'pragmatist'. I always smell a feeble relativism, and a refusal to face the interesting questions. |
| 12636 | Mental states have causal powers [Fodor] |
| Full Idea: Mental states have causal powers. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.2.3) | |
| A reaction: I quote this because it gives you the link between a general account of causal powers as basic to reality, and an active account of what the mind is. It has to be a key link in a decent modern unified account of the world. See Idea 12638. |
| 12661 | The different types of resemblance don't resemble one another [Fodor] |
| Full Idea: The ways in which different kinds of thing are similar to one another aren't, in general, similar to one another. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.5.4) | |
| A reaction: Nice, but I think one would say that they lack similarity at the level of primary thought, but have obvious similarity (as concept-connectors) at the level of meta-thought. |
| 12632 | In the Representational view, concepts play the key linking role [Fodor] |
| Full Idea: If the Representational Theory of Mind is true, then concepts are constituents of beliefs, the units of semantic evaluation, a locus of causal interactions among mental representations, and formulas in Mentalese. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.2.1) | |
| A reaction: I like this aspect of the theory, but then I can't really think of a theory about how the mind works that doesn't make concepts central to it. |
| 12624 | Only the labels of nodes have semantic content in connectionism, and they play no role [Fodor] |
| Full Idea: Connectionism has no truck with mental representations; on the one hand, only the node labels in 'neural networks' have semantic content, and, on the other, the node labels play no role in mental processes, in standard formulations. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.1) | |
| A reaction: Connectionism must have some truth in it, yet mere connections can't do the full job. The difficulty is that nothing else seems to do the 'full job' either. Fodor cites productivity, systematicity, compositionality, logical form as the problems. |
| 12640 | Associative thinking avoids syntax, but can't preserve sense, reference or truth [Fodor] |
| Full Idea: The virtue of associative theories of thinking is that they don't require thoughts to have syntactic structure. But they can't be right, since association doesn't preserve either sense or reference (to say nothing of truth). | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3.3 n28) | |
| A reaction: This is using the empiricist idea that knowledge is built from mechanical associations to give a complete account of what thinking is. Fodor resolutely opposes it. |
| 12641 | Connectionism gives no account of how constituents make complex concepts [Fodor] |
| Full Idea: Connectionist architectures provide no counterpart to the relation between a complex concept and its constituents. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3.3 n29) | |
| A reaction: This is the compositionality of thought, upon which Fodor is so insistent. Not that a theory of how the mind is built up from the body is quite likely to give you a theory about what thinking is. I try to keep them separate, which may be wrong. |
| 12643 | Ambiguities in English are the classic reason for claiming that we don't think in English [Fodor] |
| Full Idea: That there are ambiguities in English is the classic reason for claiming that we don't think in English. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3.5) | |
| A reaction: I have always been impressed by this simple observation, which is my main reason for believing in propositions (as brain events). 'Propositions' may just be useful chunks of mentalese. |
| 12647 | Mental representations name things in the world, but also files in our memory [Fodor] |
| Full Idea: Mental representations can serve both as names for things in the world and as names of files in the memory. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3 App) | |
| A reaction: I am laughed at for liking this idea (given the present files of ideas before you), but I think this it is very powerful. Chicken before egg. I was drawn to databases precisely because they seemed to map how the mind worked. |
| 12649 | We think in file names [Fodor] |
| Full Idea: We think in file names. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3 App) | |
| A reaction: This is Fodor's new view. He cites Treisman and Schmidt (1982) for raising it, and Pylyshyn (2003) for discussing it. I love it. It exactly fits my introspective view of how I think, and I think it would fit animals. It might not fit some other people! |
| 12655 | Frame Problem: how to eliminate most beliefs as irrelevant, without searching them? [Fodor] |
| Full Idea: The frame problem is, precisely: How does one know that none of one's beliefs about Jupiter are germane to the current question, without having to recall and search one's beliefs about Jupiter? | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.4.4) | |
| A reaction: Presumably good chess-playing computers have made some progress with this problem. The only answer, as far as I can see, is that brains have a lot in common with relational databases. The mind is structured around a relevance-pattern. |
| 12630 | If concept content is reference, then my Twin and I are referring to the same stuff [Fodor] |
| Full Idea: If the content of a concept is its reference, we can stop worrying about Twin Earth. If there are no senses, there is no question of whether my twin and I have the same WATER concept. Our WATER concepts aren't even coextensive. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.1) | |
| A reaction: This seems like a neat solution. So do 'tap water' and 'holy water' have the same content to a Christian and non-Christian, when they co-refer to the contents of the font? |
| 12658 | Nobody knows how concepts are acquired [Fodor] |
| Full Idea: I don't know how concepts are acquired. Nor do you. Nor does anybody else. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.5.4) | |
| A reaction: This comes in the context of quietly modifying his earlier claim that concepts weren't acquired, because they were largely innate. Presumably we are allowed to have theories of concept acquisition? I quite like abstractionism. |
| 12662 | We have an innate capacity to form a concept, once we have grasped the stereotype [Fodor] |
| Full Idea: What's learned are stereotypes. What's innate is the disposition to grasp such and such a concept (to lock to such a property) in consequence of having learned such and such a stereotype. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.5.4) | |
| A reaction: This is the late Fodor much ameliorated view, after a lot of scoffing about the idea of the tin-opener being innate in all of us. There may be a suspicion of circularity here, if we ask what mental abilities are needed to form a stereotype. |
| 12635 | Having a concept isn't a pragmatic matter, but being able to think about the concept [Fodor] |
| Full Idea: Pragmatism about concepts really is dead, and the only alternative about concept possession is Cartesianism. That is, it's the thesis that having concept C is being able to think about Cs (as such). | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.2.2) | |
| A reaction: I like this. It is very hard to pick out from Fodor the bits where he is clearly right, but this seems to be one of them. I don't like the pragmatic or Wittgensteinian line that having concepts is all about abilities and uses (like sorting or inferring). |
| 12652 | Concepts have two sides; they are files that face thought, and also face subject-matter [Fodor] |
| Full Idea: We think in file names, and file names are Janus-faced: one face turned towards thinking and the other face turned towards what is thought about. I do think that is rather satisfactory. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3 App) | |
| A reaction: So do I. I do hope the philosophical community take up this idea (which they probably won't, simply because Fodor is in the late stages of his career!). |
| 12626 | Cartesians put concept individuation before concept possession [Fodor] |
| Full Idea: Cartesians think that concept individuation is prior, in order of analysis, to concept possession. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.12) | |
| A reaction: Peacocke is someone who seems to put possession first, to the point where individuation is thereby achieved. The background influence there is Wittgenstein. I think I am more with Fodor, that concepts are entities, which need to be understood. |
| 12637 | Frege's puzzles suggest to many that concepts have sense as well as reference [Fodor] |
| Full Idea: Philosophers in droves have held that Frege cases are convincing arguments that concepts have not just referents but also senses. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3.2) | |
| A reaction: [Frege cases are puzzles where simple reference seems to lead to confusion] I take the Fregean approach to concepts (of Dummett, Peacocke) to attempt to give an account of the sense, once the reference is decided. Idea 12629 gives Fodor's view. |
| 12638 | If concepts have sense, we can't see the connection to their causal powers [Fodor] |
| Full Idea: How are we to understand the connection between the identity of a concept and its causal powers if concepts are (or have) senses? Answer: I haven't a clue. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3.3) | |
| A reaction: This seems to be the key to Fodor's attack on Peacocke and other Fregeans - that while they pay lip-service to the project of naturalising thought, they are actually committing us to some sort of neo-platonism, by losing the causal links. See Idea 12636. |
| 12639 | Belief in 'senses' may explain intentionality, but not mental processes [Fodor] |
| Full Idea: Supposing the mind to be conversant with senses can, maybe, provide for a theory of the intentionality of mental states; but it seems to shed no light at all on the nature of mental processes (i.e. of mental state transitions). | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3.3) | |
| A reaction: I would track this back to Frege's hostility to 'psychologism'. That is, Fregeans don't care about Fodor's problem, because all their accounts (of mathematics, of logic, and of concepts) treat the subject-matter as self-contained sui generis. |
| 12654 | You can't think 'brown dog' without thinking 'brown' and 'dog' [Fodor] |
| Full Idea: You can think 'brown dog' without thinking 'cat', but you can't think 'brown dog' without thinking 'brown' and 'dog'. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.4.3) | |
| A reaction: Fodor is talking about concepts in thought, not about words. The claim is that such concepts have to be compositional, and it is hard to disagree. |
| 12659 | Maybe stereotypes are a stage in concept acquisition (rather than a by-product) [Fodor] |
| Full Idea: We needn't say that learning a stereotype is just a by-product of acquiring the concept; it could rather be a stage in concept acquisition. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.5.4) | |
| A reaction: He rejects stereotypes because they don't give concepts the necessary compositionality in thought. But this idea would mean that children were incapable of compositionality until they had transcended the primitive stereotype stage. |
| 12660 | One stereotype might be a paradigm for two difference concepts [Fodor] |
| Full Idea: The same stereotype can give difference concepts; chickens are paradigmatic instances both of FOOD and of BARNYARD FOWL. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.5.4) | |
| A reaction: And I'm guessing that lots of concepts could have two equally plausible stereotypes, even within a single mind. Stereotypes are interesting, but they don't seem to be the key to our understanding of concepts. |
| 12629 | For the referential view of thought, the content of a concept is just its reference [Fodor] |
| Full Idea: Pure referentialism is the kind of semantics RTM requires (reference is the only primitive mind-world semantic property). ...So the content of a concept is its reference. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.1) | |
| A reaction: This seems to say that the meaning of a concept is (typically) a physical object, which seems to be the 'Fido'-Fido view of meaning. It seems to me to be a category mistake to say that a meaning can be a cat. |
| 12631 | Compositionality requires that concepts be atomic [Fodor] |
| Full Idea: Atomism must be right about the individuation of concepts because compositionality demands it. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch1) | |
| A reaction: I suppose this seems right, though Fodor's own example of 'pet fish' is interesting. What is supposed to happen when you take a concept like 'pet' and put it with 'fish', given that both components shift their atomic (?) meaning in the process? |
| 12657 | Abstractionism claims that instances provide criteria for what is shared [Fodor] |
| Full Idea: In the idea of learning concepts by 'abstraction', experiences of the instances provide evidence about which of the shared properties of things in a concept's extension are 'criterial' for being in the concept's extension. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.5.2 n6) | |
| A reaction: Fodor is fairly sceptical of this approach, and his doubts are seen in the scare-quotes around 'criterial'. He is defending the idea that only a certain degree of innateness in the concepts can get such a procedure off the ground. |
| 12634 | 'Inferential-role semantics' says meaning is determined by role in inference [Fodor] |
| Full Idea: 'Inferential-role semantics' claims that the meaning of a word (/the content of a concept) is determined by its role in inference. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.2.1.2 n14) | |
| A reaction: Fodor is deeply opposed to this view. At first blush it sounds wrong to me, since there seems to be plenty of thought that can go on before inference takes place. Daydreamy speculation, for example. |
| 12642 | Co-referring terms differ if they have different causal powers [Fodor] |
| Full Idea: The representation of 'morning star' must be different from 'evening star' because their tokens differ in their causal powers. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3.3) | |
| A reaction: This is Fodor trying to avoid the standard Fregean move of proposing that there are 'senses' as well as references. See Idea 12629. If these two terms have the same extension, they are the same concept? They 'seem' to have two referents. |
| 12663 | We refer to individuals and to properties, and we use singular terms and predicates [Fodor] |
| Full Idea: I assume that there are two kinds of reference: reference to individuals and to properties. This means, from the syntactic point of view, that the vehicles of reference are exhaustively singular terms and predicates. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.7) | |
| A reaction: The immediate possibility that comes to mind is plural quantification. See George Boolos, who confidently says that he can refer to 'some Cheerios' in his breakfast bowl, and communicate very well. He then looks to formalise such talk. |
| 12645 | Semantics (esp. referential semantics) allows inferences from utterances to the world [Fodor] |
| Full Idea: All you need for inferring from John's utterance to the world is the sort of thing that a semantics (i.e. referential semantics) provides. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3.5) | |
| A reaction: Fodor is very good at saying nice simple things like that. But it is not enough to infer what objects are being discussed. All the hard cases must be covered (denials of existence, reference to non-existence, intentional contexts, modal claims). |
| 12646 | Semantics relates to the world, so it is never just psychological [Fodor] |
| Full Idea: Semantics is about constitutive relations between representations and the world. There is, as a matter of principle, no such thing as a psychological theory of meaning. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.3.5) | |
| A reaction: The second sentence is in capital letters, but I am still not convinced. The classic difficulty seems to be that you have to use language to pick out the things in the world that are being referred to. Of course, at some point you just see the objects. |
| 12627 | Before you can plan action, you must decide on the truth of your estimate of success [Fodor] |
| Full Idea: You can't think a plan of action unless you can think how the world would be if the action were to succeed; and thinking the world will be such and such if all goes well is thinking the kind of thing that can be true or false. | |
| From: Jerry A. Fodor (LOT 2 [2008], Ch.1) | |
| A reaction: This is part of Fodor's attack on the pragmatic view of concepts (that they should be fully understood in terms of action, rather than of thought). I take Fodor to be blatantly correct. This is counterfactual thinking. |
| 9284 | Reasons are 'internal' if they give a person a motive to act, but 'external' otherwise [Williams,B] |
| Full Idea: Someone has 'internal reasons' to act when the person has some motive which will be served or furthered by the action; if this turns out not to be so, the reason is false. Reasons are 'external' when there is no such condition. | |
| From: Bernard Williams (Internal and External Reasons [1980], p.101) | |
| A reaction: [compressed] An external example given is a family tradition of joining the army, if the person doesn't want to. Williams says (p.111) external reason statements are actually false, and a misapplication of the concept of a 'reason to act'. See Idea 8815. |