88 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. |
| 224 | When questions are doubtful we should concentrate not on objects but on ideas of the intellect [Plato] |
| Full Idea: Doubtful questions should not be discussed in terms of visible objects or in relation to them, but only with reference to ideas conceived by the intellect. | |
| From: Plato (Parmenides [c.364 BCE], 135e) |
| 232 | Opposites are as unlike as possible [Plato] |
| Full Idea: Opposites are as unlike as possible. | |
| From: Plato (Parmenides [c.364 BCE], 159a) |
| 8937 | Plato's 'Parmenides' is the greatest artistic achievement of the ancient dialectic [Hegel on Plato] |
| Full Idea: Plato's 'Parmenides' is the greatest artistic achievement of the ancient dialectic. | |
| From: comment on Plato (Parmenides [c.364 BCE]) by Georg W.F.Hegel - Phenomenology of Spirit Pref 71 | |
| A reaction: It is a long way from the analytic tradition of philosophy to be singling out a classic text for its 'artistic' achievement. Eventually we may even look back on, say, Kripke's 'Naming and Necessity' and see it in that light. |
| 18851 | Pairing (with Extensionality) guarantees an infinity of sets, just from a single element [Rosen] |
| Full Idea: In conjunction with Extensionality, Pairing entails that given a single non-set, infinitely many sets exist. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 04) |
| 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. |
| 13986 | Plato found antinomies in ideas, Kant in space and time, and Bradley in relations [Plato, by Ryle] |
| Full Idea: Plato (in 'Parmenides') shows that the theory that 'Eide' are substances, and Kant that space and time are substances, and Bradley that relations are substances, all lead to aninomies. | |
| From: report of Plato (Parmenides [c.364 BCE]) by Gilbert Ryle - Are there propositions? 'Objections' |
| 14150 | Plato's 'Parmenides' is perhaps the best collection of antinomies ever made [Russell on Plato] |
| Full Idea: Plato's 'Parmenides' is perhaps the best collection of antinomies ever made. | |
| From: comment on Plato (Parmenides [c.364 BCE]) by Bertrand Russell - The Principles of Mathematics §337 |
| 16150 | One is, so numbers exist, so endless numbers exist, and each one must partake of being [Plato] |
| Full Idea: If one is, there must also necessarily be number - Necessarily - But if there is number, there would be many, and an unlimited multitude of beings. ..So if all partakes of being, each part of number would also partake of it. | |
| From: Plato (Parmenides [c.364 BCE], 144a) | |
| A reaction: This seems to commit to numbers having being, then to too many numbers, and hence to too much being - but without backing down and wondering whether numbers had being after all. Aristotle disagreed. |
| 229 | The one was and is and will be and was becoming and is becoming and will become [Plato] |
| Full Idea: The one was and is and will be and was becoming and is becoming and will become. | |
| From: Plato (Parmenides [c.364 BCE], 155d) |
| 21821 | Plato's Parmenides has a three-part theory, of Primal One, a One-Many, and a One-and-Many [Plato, by Plotinus] |
| Full Idea: The Platonic Parmenides is more exact [than Parmenides himself]; the distinction is made between the Primal One, a strictly pure Unity, and a secondary One which is a One-Many, and a third which is a One-and-Many. | |
| From: report of Plato (Parmenides [c.364 BCE]) by Plotinus - The Enneads 5.1.08 | |
| A reaction: Plotinus approves of this three-part theory. Parmenides has the problem that the highest Being contains no movement. By placing the One outside Being you can give it powers which an existent thing cannot have. Cf the concept of God. |
| 221 | Absolute ideas, such as the Good and the Beautiful, cannot be known by us [Plato] |
| Full Idea: The absolute good and the beautiful and all which we conceive to be absolute ideas are unknown to us. | |
| From: Plato (Parmenides [c.364 BCE], 134c) |
| 227 | You must always mean the same thing when you utter the same name [Plato] |
| Full Idea: You must always mean the same thing when you utter the same name. | |
| From: Plato (Parmenides [c.364 BCE], 147d) |
| 223 | If you deny that each thing always stays the same, you destroy the possibility of discussion [Plato] |
| Full Idea: If a person denies that the idea of each thing is always the same, he will utterly destroy the power of carrying on discussion. | |
| From: Plato (Parmenides [c.364 BCE], 135c) |
| 211 | If admirable things have Forms, maybe everything else does as well [Plato] |
| Full Idea: It is troubling that if admirable things have abstract ideas, then perhaps everything else must have ideas as well. | |
| From: Plato (Parmenides [c.364 BCE], 130d) |
| 219 | If absolute ideas existed in us, they would cease to be absolute [Plato] |
| Full Idea: None of the absolute ideas exists in us, because then it would no longer be absolute. | |
| From: Plato (Parmenides [c.364 BCE], 133c) |
| 228 | Greatness and smallness must exist, to be opposed to one another, and come into being in things [Plato] |
| Full Idea: These two ideas, greatness and smallness, exist, do they not? For if they did not exist, they could not be opposites of one another, and could not come into being in things. | |
| From: Plato (Parmenides [c.364 BCE], 149e) |
| 16151 | Plato moves from Forms to a theory of genera and principles in his later work [Plato, by Frede,M] |
| Full Idea: It seems to me that Plato in the later dialogues, beginning with the second half of 'Parmenides', wants to substitute a theory of genera and theory of principles that constitute these genera for the earlier theory of forms. | |
| From: report of Plato (Parmenides [c.364 BCE]) by Michael Frede - Title, Unity, Authenticity of the 'Categories' V | |
| A reaction: My theory is that the later Plato came under the influence of the brilliant young Aristotle, and this idea is a symptom of it. The theory of 'principles' sounds like hylomorphism to me. |
| 210 | It would be absurd to think there were abstract Forms for vile things like hair, mud and dirt [Plato] |
| Full Idea: Are there abstract ideas for such things as hair, mud and dirt, which are particularly vile and worthless? That would be quite absurd. | |
| From: Plato (Parmenides [c.364 BCE], 130d) |
| 220 | The concept of a master includes the concept of a slave [Plato] |
| Full Idea: Mastership in the abstract is mastership of slavery in the abstract. | |
| From: Plato (Parmenides [c.364 BCE], 133e) |
| 218 | Participation is not by means of similarity, so we are looking for some other method of participation [Plato] |
| Full Idea: Participation is not by means of likeness, so we must seek some other method of participation. | |
| From: Plato (Parmenides [c.364 BCE], 133a) |
| 213 | Each idea is in all its participants at once, just as daytime is a unity but in many separate places at once [Plato] |
| Full Idea: Just as day is in many places at once, but not separated from itself, so each idea might be in all its participants at once. | |
| From: Plato (Parmenides [c.364 BCE], 131b) |
| 216 | If things are made alike by participating in something, that thing will be the absolute idea [Plato] |
| Full Idea: That by participation in which like things are made like, will be the absolute idea, will it not? | |
| From: Plato (Parmenides [c.364 BCE], 132e) |
| 215 | If things partake of ideas, this implies either that everything thinks, or that everything actually is thought [Plato] |
| Full Idea: If all things partake of ideas, must either everything be made of thoughts and everything thinks, or everything is thought, and so can't think? | |
| From: Plato (Parmenides [c.364 BCE], 132c) |
| 212 | The whole idea of each Form must be found in each thing which participates in it [Plato] |
| Full Idea: The whole idea of each form (of beauty, justice etc) must be found in each thing which participates in it. | |
| From: Plato (Parmenides [c.364 BCE], 131a) |
| 214 | If absolute greatness and great things are seen as the same, another thing appears which makes them seem great [Plato] |
| Full Idea: If you regard the absolute great and the many great things in the same way, will not another appear beyond, by which all these must appear to be great? | |
| From: Plato (Parmenides [c.364 BCE], 132a) |
| 217 | Nothing can be like an absolute idea, because a third idea intervenes to make them alike (leading to a regress) [Plato] |
| Full Idea: It is impossible for anything to be like an absolute idea, because a third idea will appear to make them alike, and if that is like anything, it will lead to another idea, and so on. | |
| From: Plato (Parmenides [c.364 BCE], 133a) |
| 18852 | A Meinongian principle might say that there is an object for any modest class of properties [Rosen] |
| Full Idea: Meinongian abstraction principles say that for any (suitably restricted) class of properties, there exists an abstract entity (arbitrary object, subsistent entity) that possesses just those properties. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 04) | |
| A reaction: This is 'Meinongian' because there will be an object which is circular and square. The nub of the idea presumably resides in what is meant by 'restricted'. An object possessing every conceivable property is, I guess, a step too far. |
| 15851 | Parts must belong to a created thing with a distinct form [Plato] |
| Full Idea: The part would not be the part of many things or all, but of some one character ['ideas'] and of some one thing, which we call a 'whole', since it has come to be one complete [perfected] thing composed [created] of all. | |
| From: Plato (Parmenides [c.364 BCE], 157d) | |
| A reaction: A serious shot by Plato at what identity is. Harte quotes it (125) and shows that 'character' is Gk 'idea', and 'composed' will translate as 'created'. 'Form' links this Platonic passage to Aristotle's hylomorphism. |
| 15846 | In Parmenides, if composition is identity, a whole is nothing more than its parts [Plato, by Harte,V] |
| Full Idea: At the heart of the 'Parmenides' puzzles about composition is the thesis that composition is identity. Considered thus, a whole adds nothing to an ontology that already includes its parts | |
| From: report of Plato (Parmenides [c.364 BCE]) by Verity Harte - Plato on Parts and Wholes 2.5 | |
| A reaction: There has to be more to a unified identity that mere proximity of the parts. When do parts come together, and when do they actually 'compose' something? |
| 15849 | Plato says only a one has parts, and a many does not [Plato, by Harte,V] |
| Full Idea: In 'Parmenides' it is argued that a part cannot be part of a many, but must be part of something one. | |
| From: report of Plato (Parmenides [c.364 BCE], 157c) by Verity Harte - Plato on Parts and Wholes 3.2 | |
| A reaction: This looks like the right way to go with the term 'part'. We presuppose a unity before we even talk of its parts, so we can't get into contradictions and paradoxes about their relationships. |
| 15850 | Anything which has parts must be one thing, and parts are of a one, not of a many [Plato] |
| Full Idea: The whole of which the parts are parts must be one thing composed of many; for each of the parts must be part, not of a many, but of a whole. | |
| From: Plato (Parmenides [c.364 BCE], 157c) | |
| A reaction: This is a key move of metaphysics, and we should hang on to it. The other way madness lies. |
| 13259 | It seems that the One must be composed of parts, which contradicts its being one [Plato] |
| Full Idea: The One must be composed of parts, both being a whole and having parts. So on both grounds the One would thus be many and not one. But it must be not many, but one. So if the One will be one, it will neither be a whole, nor have parts. | |
| From: Plato (Parmenides [c.364 BCE], 137c09), quoted by Kathrin Koslicki - The Structure of Objects 5.2 | |
| A reaction: This is the starting point for Plato's metaphysical discussion of objects. It seems to begin a line of thought which is completed by Aristotle, surmising that only an essential structure can bestow identity on a bunch of parts. |
| 15847 | Two things relate either as same or different, or part of a whole, or the whole of the part [Plato] |
| Full Idea: Everything is surely related to everything as follows: either it is the same or different; or, if it is not the same or different, it would be related as part to whole or as whole to part. | |
| From: Plato (Parmenides [c.364 BCE], 146b) | |
| A reaction: This strikes me as a really helpful first step in trying to analyse the nature of identity. Two things are either two or (actually) one, or related mereologically. |
| 18849 | Metaphysical necessity is absolute and universal; metaphysical possibility is very tolerant [Rosen] |
| Full Idea: If P is metaphysically necessary, then it is absolutely necessary, and necessary in every real (non-epistemic) sense; and if P is possible in any sense, then it's possible in the metaphysical sense. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 02) | |
| A reaction: Rosen's shot at defining metaphysical necessity and possibility, and it looks pretty good to me. In my terms (drawing from Kit Fine) it is what is necessitated or permitted 'by everything'. So if it is necessitated by logic or nature, that's included. |
| 18850 | 'Metaphysical' modality is the one that makes the necessity or contingency of laws of nature interesting [Rosen] |
| Full Idea: 'Metaphysical' modality is the sort of modality relative to which it is an interesting question whether the laws of nature are necessary or contingent. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 02) | |
| A reaction: Being an essentialist here, I take it that the stuff of the universe necessitates the so-called 'laws'. The metaphysically interesting question is whether the stuff might have been different. Search me! A nice test of metaphysical modality though. |
| 18858 | Sets, universals and aggregates may be metaphysically necessary in one sense, but not another [Rosen] |
| Full Idea: It may be metaphysically necessary in one sense that sets or universals or mereological aggregates exist, while in another sense existence is always a contingent matter. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 10) | |
| A reaction: This idea depends on Idea 18856 and 18857. Personally I only think mereological aggregates and sets exist when people decide that they exist, so I don't see how they could ever be necessary. I'm unconvinced about his two concepts. |
| 18857 | Standard Metaphysical Necessity: P holds wherever the actual form of the world holds [Rosen] |
| Full Idea: According to the Standard Conception of Metaphysical Necessity, P is metaphysically necessary when it holds in every possible world in which the laws of metaphysics (about the form or structure of the actual world) hold | |
| From: Gideon Rosen (The Limits of Contingency [2006], 10) | |
| A reaction: Rosen has a second meaning, in Idea 18856. He thinks it is crucial to see that there are two senses, because many things come out as metaphysically necessary on one concept, but contingent on the other. Interesting.... |
| 18856 | Non-Standard Metaphysical Necessity: when ¬P is incompatible with the nature of things [Rosen] |
| Full Idea: According to the Non-Standard conception of Metaphysical Necessity, P is metaphysically necessary when its negation is logically incompatible with the nature of things. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 10) | |
| A reaction: Rosen's new second meaning of the term. My immediate problem is with it resting on being 'logically' incompatible. Are squares 'logically' incompatible with circles? I like the idea that it rests on 'the nature of things'. (Psst! natures = essences) |
| 18848 | Something may be necessary because of logic, but is that therefore a special sort of necessity? [Rosen] |
| Full Idea: It is one thing to say that P is necessary in some generic sense because it is a truth of logic (true in all models of a language, perhaps). It is something else to say that P therefore enjoys a special sort of necessity. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 02) | |
| A reaction: This encourages my thought that there is only one sort of necessity (what must be), and the variety comes from the different types of necessity makers (everything there could be, nature, duties, promises, logics, concepts...). |
| 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')? |
| 18855 | Combinatorial theories of possibility assume the principles of combination don't change across worlds [Rosen] |
| Full Idea: Combinatorial theories of possibility take it for granted ....that possible worlds in general share a syntax, as it were, differing only in the constituents from which they are generated, or in the particular manner of their arrangements. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 08) | |
| A reaction: For instance, it might assume that every world has 'objects', to which 'properties' and 'relations' can be attached, or to which 'functions' can apply. |
| 18853 | A proposition is 'correctly' conceivable if an ominiscient being could conceive it [Rosen] |
| Full Idea: To a first approximation, P is correctly conceivable iff it would be conceivable for a logically ominiscient being who was fully informed about the nature of things. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 05) | |
| A reaction: Isn't the last bit covered by 'ominiscient'? Ah, I think the 'logically' only means they have a perfect grasp of what is consistent. This is to meet the standard problem, of ill-informed people 'conceiving' of things which are actually impossible. |
| 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? |
| 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. |
| 222 | Only a great person can understand the essence of things, and an even greater person can teach it [Plato] |
| Full Idea: Only a man of very great natural gifts will be able to understand that everything has a class and absolute essence, and an even more wonderful man can teach this. | |
| From: Plato (Parmenides [c.364 BCE], 135a) |
| 225 | The unlimited has no shape and is endless [Plato] |
| Full Idea: The unlimited partakes neither of the round nor of the straight, because it has no ends nor edges. | |
| From: Plato (Parmenides [c.364 BCE], 137e) |
| 233 | Some things do not partake of the One [Plato] |
| Full Idea: The others cannot partake of the one in any way; they can neither partake of it nor of the whole. | |
| From: Plato (Parmenides [c.364 BCE], 159d) | |
| A reaction: Compare Idea 231 |
| 2062 | The only movement possible for the One is in space or in alteration [Plato] |
| Full Idea: If the One moves it either moves spatially or it is altered, since these are the only motions. | |
| From: Plato (Parmenides [c.364 BCE], 138b) |
| 231 | Everything partakes of the One in some way [Plato] |
| Full Idea: The others are not altogether deprived of the one, for they partake of it in some way. | |
| From: Plato (Parmenides [c.364 BCE], 157c) | |
| A reaction: Compare Idea 233. |
| 18854 | The MRL view says laws are the theorems of the simplest and strongest account of the world [Rosen] |
| Full Idea: According to the Mill-Ramsey-Lewis account of the laws of nature, a generalisation is a law just in case it is a theorem of every true account of the actual world that achieves the best overall balance of simplicity and strength. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 08) | |
| A reaction: The obvious objection is that many of the theorems will be utterly trivial, and that is one thing that the laws of nature are not. Unless you are including 'metaphysical laws' about very very fundamental things, like objects, properties, relations. |
| 234 | We couldn't discuss the non-existence of the One without knowledge of it [Plato] |
| Full Idea: There must be knowledge of the one, or else not even the meaning of the words 'if the one does not exist' would be known. | |
| From: Plato (Parmenides [c.364 BCE], 160d) |