100 ideas
| 6118 | Philosophy is logical analysis, followed by synthesis [Russell] |
| Full Idea: The business of philosophy, as I conceive it, is essentially that of logical analysis, followed by logical synthesis. | |
| From: Bertrand Russell (Logical Atomism [1924], p.162) | |
| A reaction: I am uneasy about Russell's hopes for the contribution that logic could make, but I totally agree that analysis is the route to wisdom, and I take Aristotle as my role model of an analytical philosopher, rather than the modern philosophers of logic. |
| 6116 | A logical language would show up the fallacy of inferring reality from ordinary language [Russell] |
| Full Idea: We are trying to create a perfectly logical language to prevent inferences from the nature of language to the nature of the world, which are fallacious because they depend upon the logical defects of language. | |
| From: Bertrand Russell (Logical Atomism [1924], p.159) | |
| A reaction: Wittgenstein seems to have rebelled against this idea, so that one strand of his later philosophy leads to 'ordinary language' philosophy, which is exactly what Russell is criticising. Wittgenstein seems to have seen 'logical language' as an oxymoron. |
| 6117 | Philosophy should be built on science, to reduce error [Russell] |
| Full Idea: We would be wise to build our philosophy upon science, because the risk of error in philosophy is pretty sure to be greater than in science. | |
| From: Bertrand Russell (Logical Atomism [1924], p.160) | |
| A reaction: If you do very little, it reduces the 'risk of error'. I agree that philosophers should start from the facts, and be responsive to new facts, and that science is excellent at discovering facts. But I don't think cognitive science is the new epistemology. |
| 22317 | Truth does not admit of more and less [Frege] |
| Full Idea: What is only half true is untrue. Truth does not admit of more and less. | |
| From: Gottlob Frege (works [1890], CP 353), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 48 'Truth' | |
| A reaction: What about a measurement which is accurate to three decimal places? Maybe being 'close to' the truth is not the same as being 'more' true. The truth about a distance between two points is unknowable? |
| 13455 | Frege did not think of himself as working with sets [Frege, by Hart,WD] |
| Full Idea: Frege did not think of himself as working with sets. | |
| From: report of Gottlob Frege (works [1890]) by William D. Hart - The Evolution of Logic 1 | |
| A reaction: One can hardly blame him, given that set theory was only just being invented. |
| 16895 | The null set is indefensible, because it collects nothing [Frege, by Burge] |
| Full Idea: Frege regarded the null set as an indefensible entity from the point of view of iterative set theory. It collects nothing. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Apriority (with ps) 2 | |
| A reaction: The null set defines the possibility that something could be collected. At the very least, it introduces curly brackets into the language. |
| 3328 | Frege proposed a realist concept of a set, as the extension of a predicate or concept or function [Frege, by Benardete,JA] |
| Full Idea: Contrary to Dedekind's anti-realism, Frege proposed a realist definition of a set as the extension of a predicate (or concept, or function). | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.13 |
| 6110 | Subject-predicate logic (and substance-attribute metaphysics) arise from Aryan languages [Russell] |
| Full Idea: It is doubtful whether the subject-predicate logic, with the substance-attribute metaphysic, would have been invented by people speaking a non-Aryan language. | |
| From: Bertrand Russell (Logical Atomism [1924], p.151) | |
| A reaction: This is not far off the Sapir-Whorf Hypothesis (e.g. Idea 3917), which Russell would never accept. I presume that Russell would see true logic as running deeper, and the 'Aryan' approach as just one possible way to describe it. |
| 9179 | Frege frequently expressed a contempt for language [Frege, by Dummett] |
| Full Idea: Frege frequently expressed a contempt for language. | |
| From: report of Gottlob Frege (works [1890], p.228) by Michael Dummett - Frege's Distinction of Sense and Reference p.228 | |
| A reaction: This strikes me as exactly the right attitude for a logician to have. Russell seems to have agreed. Attitudes to vagueness are the test case. Over-ambitious modern logicians dream of dealing with vagueness. Forget it. Stick to your last. |
| 6107 | It is logic, not metaphysics, that is fundamental to philosophy [Russell] |
| Full Idea: I hold that logic is what is fundamental in philosophy, and that schools should be characterised rather by their logic than by their metaphysics. | |
| From: Bertrand Russell (Logical Atomism [1924], p.143) | |
| A reaction: Personally I disagree. Russell seems to have been most interested in the logical form underlying language, but that seems to be because he was interested in the ontological implications of what we say, which is metaphysics. |
| 13473 | Frege thinks there is an independent logical order of the truths, which we must try to discover [Frege, by Hart,WD] |
| Full Idea: Frege thinks there is a single right deductive order of the truths. This is not an epistemic order, but a logical order, and it is our job to arrange our beliefs in this order if we can make it out. | |
| From: report of Gottlob Frege (works [1890]) by William D. Hart - The Evolution of Logic 2 | |
| A reaction: Frege's dream rests on the belief that there exists a huge set of logical truths. Pluralism, conventionalism, constructivism etc. about logic would challenge this dream. I think the defence of Frege must rest on Russellian rooting of logic in nature. |
| 6115 | Vagueness, and simples being beyond experience, are obstacles to a logical language [Russell] |
| Full Idea: The fact that we do not experience simples is one obstacle to the actual creation of a correct logical language, and vagueness is another. | |
| From: Bertrand Russell (Logical Atomism [1924], p.159) | |
| A reaction: The dream of creating a perfect logical language looks doomed from the start, but it is a very interesting project to try to pinpoint why it is unlikely to be possible. I say a perfect language cuts nature exactly at the joints, so find the joints. |
| 6076 | For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn] |
| Full Idea: For Frege, a predicate does not refer to the objects of which it is true, but to the function that maps these objects onto the True and False; ..a predicate is a name for this function. | |
| From: report of Gottlob Frege (works [1890]) by Colin McGinn - Logical Properties Ch.3 | |
| A reaction: McGinn says this is close to the intuitive sense of a property. Perhaps 'predicates are what make objects the things they are?' |
| 3319 | Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA] |
| Full Idea: The whole point of Frege's functional account of predication lies in its allowing us to dispense with all properties across the board. | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.9 |
| 3137 | Varieties of singular terms are used to designate token particulars [Rey] |
| Full Idea: We designate token particulars with singular terms, such as: proper names, numerals, definite descriptions, demonstratives, pronouns or variables. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 1.1.1) |
| 9871 | Frege always, and fatally, neglected the domain of quantification [Dummett on Frege] |
| Full Idea: Frege persistently neglected the question of the domain of quantification, which proved in the end to be fatal. | |
| From: comment on Gottlob Frege (works [1890]) by Michael Dummett - Frege philosophy of mathematics Ch.16 | |
| A reaction: The 'fatality' refers to Russell's paradox, and the fact that not all concepts have extensions. Common sense now says that this is catastrophic. A domain of quantification is a topic of conversation, which is basic to all language. Cf. Idea 9874. |
| 16884 | Basic truths of logic are not proved, but seen as true when they are understood [Frege, by Burge] |
| Full Idea: In Frege's view axioms are basic truth, and basic truths do not need proof. Basic truths can be (justifiably) recognised as true by understanding their content. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 1 | |
| A reaction: This is the underpinning of the rationalism in Frege's philosophy. |
| 6109 | Some axioms may only become accepted when they lead to obvious conclusions [Russell] |
| Full Idea: Some of the premisses (of my logicist theory) are much less obvious than some of their consequences, and are believed chiefly because of their consequences. This will be found to be always the case when a science is arranged as a deductive system. | |
| From: Bertrand Russell (Logical Atomism [1924], p.145) | |
| A reaction: We shouldn't assume the model of self-evident axioms leading to surprising conclusions, which is something like the standard model for rationalist foundationalists. Russell nicely points out that the situation could be just the opposite |
| 3331 | If '5' is the set of all sets with five members, that may be circular, and you can know a priori if the set has content [Benardete,JA on Frege] |
| Full Idea: There is a suspicion that Frege's definition of 5 (as the set of all sets with 5 members) may be infected with circularity, …and how can we be sure on a priori grounds that 4 and 5 are not both empty sets, and hence identical? | |
| From: comment on Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.14 |
| 3143 | Physics requires the existence of properties, and also the abstract objects of arithmetic [Rey] |
| Full Idea: Physics is committed to arithmetic, which seems committed to abstract objects such as numbers, and its causal explanations seem to appeal to properties, such as mass and charge. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.3) |
| 16880 | Frege aimed to discover the logical foundations which justify arithmetical judgements [Frege, by Burge] |
| Full Idea: Frege saw arithmetical judgements as resting on a foundation of logical principles, and the discovery of this foundation as a discovery of the nature and structure of the justification of arithmetical truths and judgments. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations Intro | |
| A reaction: Burge's point is that the logic justifies the arithmetic, as well as underpinning it. |
| 8689 | Eventually Frege tried to found arithmetic in geometry instead of in logic [Frege, by Friend] |
| Full Idea: After the problem with Russell's paradox, Frege did not publish for fourteen years, and he then tried to re-found arithmetic in Euclidean geometry, rather than in logic. | |
| From: report of Gottlob Frege (works [1890], 3.4) by Michčle Friend - Introducing the Philosophy of Mathematics 3.4 | |
| A reaction: I take it that his new road would have led him to modern Structuralism, so I think he was probably on the right lines. Unfortunately Frege had already done enough for one good lifetime. |
| 6108 | Maths can be deduced from logical axioms and the logic of relations [Russell] |
| Full Idea: I think that no one will dispute that from certain ideas and axioms of formal logic, but with the help of the logic of relations, all pure mathematics can be deduced. | |
| From: Bertrand Russell (Logical Atomism [1924], p.145) | |
| A reaction: It has been said for a long time that Gödel's Incompleteness Theorems of 1930 disproved this claim, though recently there have been defenders of logicism. Beginning with 'certain ideas' sounds like begging the question. |
| 5657 | Frege's logic showed that there is no concept of being [Frege, by Scruton] |
| Full Idea: Frege's quantificational logic vindicates Kant's insight that existence is not a predicate and leads to fallacies when treated as one; and we might also say, despite Hegel, that there is no concept of being. | |
| From: report of Gottlob Frege (works [1890]) by Roger Scruton - Short History of Modern Philosophy Ch.17 | |
| A reaction: I notice that Colin McGinn has questioned the value of quantificational logic. It is difficult to assert that 'there is no concept of x', if several people have written large books about it. |
| 10968 | Russell gave up logical atomism because of negative, general and belief propositions [Russell, by Read] |
| Full Idea: Russell preceded Wittgenstein in deciding that the reduction of all propositions to atomic propositions could not be achieved. The problem cases were negative propositions, general propositions, and belief propositions. | |
| From: report of Bertrand Russell (Logical Atomism [1924]) by Stephen Read - Thinking About Logic Ch.1 |
| 6113 | To mean facts we assert them; to mean simples we name them [Russell] |
| Full Idea: The way to mean a fact is to assert it; the way to mean a simple is to name it. | |
| From: Bertrand Russell (Logical Atomism [1924], p.156) | |
| A reaction: Thus logical atomism is a linguistic programme, of reducing our language to a foundation of pure names. The recent thought of McDowell and others is aimed at undermining any possibility of a 'simple' in perception. The myth of 'The Given'. |
| 6114 | 'Simples' are not experienced, but are inferred at the limits of analysis [Russell] |
| Full Idea: When I speak of 'simples' I am speaking of something not experienced as such, but known only inferentially as the limits of analysis. | |
| From: Bertrand Russell (Logical Atomism [1924], p.158) | |
| A reaction: He claims that the simples are 'known', so he does not mean purely theoretical entities. They have something like the status of quarks in physics, whose existence is inferred from experience. |
| 21722 | Better to construct from what is known, than to infer what is unknown [Russell] |
| Full Idea: Whenever possible, substitute constructions out of known entities for inferences to unknown entities. | |
| From: Bertrand Russell (Logical Atomism [1924], p.161), quoted by Bernard Linsky - Russell's Metaphysical Logic 7 | |
| A reaction: In 1919 he said that the alternative, of 'postulating' new entities, has 'all the advantages of theft over honest toil' [IMP p.71]. This is Russell's commitment to 'constructing' everything, even his concept of matter. Arithmetic as PA is postulation. |
| 6111 | As propositions can be put in subject-predicate form, we wrongly infer that facts have substance-quality form [Russell] |
| Full Idea: Since any proposition can be put into a form with a subject and a predicate, united by a copula, it is natural to infer that every fact consists in the possession of a quality by a substance, which seems to me a mistake. | |
| From: Bertrand Russell (Logical Atomism [1924], p.152) | |
| A reaction: This disagrees with McGinn on facts (Idea 6075). I approve of this warning from Russell, which is a recognition that we can't just infer our metaphysics from our language. I think of this as the 'Frege Fallacy', which ensnared Quine and others. |
| 3318 | Frege made identity a logical notion, enshrined above all in the formula 'for all x, x=x' [Frege, by Benardete,JA] |
| Full Idea: It was Frege who first made identity a logical notion, enshrining it above all in the formula (x) x=x. | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.9 |
| 3145 | The Indiscernibility of Identicals is a truism; but the Identity of Indiscernibles depends on possible identical worlds [Rey] |
| Full Idea: Leibniz's Law, the indiscernibility of identicals, is a truism which should not be confused with the more controversial identity of indiscernibles, which depends on the possibility of perfectly replicated universes. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.4) |
| 16885 | To understand a thought, understand its inferential connections to other thoughts [Frege, by Burge] |
| Full Idea: Frege famously realised that understanding a thought requires understanding its inferential connections to other thoughts. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 1 | |
| A reaction: If true, this is probably our greatest advance in grasping the concept of 'understanding' since Aristotle - but is it true? It is a striking and interesting idea, and central to the importance of Frege in modern analytic philosophy. |
| 16887 | Frege's concept of 'self-evident' makes no reference to minds [Frege, by Burge] |
| Full Idea: Frege's terms that translate 'self-evident' usually make no explicit reference to actual minds. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 4 | |
| A reaction: This follows the distinction in Aquinas, between things that are intrinsically self-evident, and things that are self-evident to particular people. God, presumably, knows all of the former. |
| 16894 | An apriori truth is grounded in generality, which is universal quantification [Frege, by Burge] |
| Full Idea: Generality for Frege is simply universal quantification; what makes a truth apriori is that its ultimate grounds are universally quantified. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Apriority (with ps) 2 |
| 3172 | Empiricism says experience is both origin and justification of all knowledge [Rey] |
| Full Idea: Two of the key claims of empiricism are that all knowledge must be justified on the basis of experience, and that all knowledge in fact originates in experience. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.3) |
| 3166 | Animal learning is separate from their behaviour [Rey] |
| Full Idea: Rats and monkeys exhibit 'latent learning' (learning just for fun) which is later beneficial. They learn with no consequences, and then can't learn when the good consequences are available. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.1.1) | |
| A reaction: This looks like a bit of a setback for naturalised epistemology and cognitive science, if learning can't be brought within a stimulus-response framework. |
| 16882 | The building blocks contain the whole contents of a discipline [Frege] |
| Full Idea: The ultimate building blocks of a discipline contain, as it were in a nutshell, its whole contents. | |
| From: Gottlob Frege (works [1890]), quoted by Tyler Burge - Frege on Knowing the Foundations 1 | |
| A reaction: [Burge gives a reference] I would describe this nutshell as the 'essence' of the subject, and it fits Aristotle's concept of an essence perfectly. Does it fit biology or sociology, in the way it might fit maths or logic? Think of DNA or cells in biology. |
| 3232 | Abduction could have true data and a false conclusion, and may include data not originally mentioned [Rey] |
| Full Idea: Abduction moves from some data to a 'best explanation'. It is not deduction because the data could be true but the conclusion false, and it is not induction because the conclusion may involve data not mentioned in the premises. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], p.322) |
| 3128 | It's not at all clear that explanation needs to stop anywhere [Rey] |
| Full Idea: It's not at all clear that explanation needs to stop anywhere. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], Int.2) |
| 3136 | The three theories are reduction, dualism, eliminativism [Rey] |
| Full Idea: There are three main views regarding the ontology of mental phenomena: reductionism, dualism and eliminativism. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 1.1) | |
| A reaction: It is precisely this picture which is rejected by Davidson and co, who want something called 'property dualism', with a unique relationship which is labelled 'supervenient'. Unfortunately there is no analogy for it. Not even beauty and a statue. |
| 3141 | Is consciousness 40Hz oscillations in layers 5 and 6 of the visual cortex? [Rey] |
| Full Idea: Crick and Koch claim that visual consciousness is correlated with a 40Hz oscillation in layers five and six of the primary visual cortex. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.1) | |
| A reaction: Not many people seem to have been enthused by their proposal. The target is the NCC (Neural Correlate of Consciousness), but we would only accept that location if the 'oscillations' seemed in some way special. |
| 3148 | Dualist privacy is seen as too deep for even telepathy to reach [Rey] |
| Full Idea: The privacy that is a serious issue for the dualist is a peculiarly epistemic privacy that not even telepathy or brain fusions would seem to overcome. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.5.4) | |
| A reaction: This is a key idea in the traditional defence of dualism. I'm inclined to think that we are faced with deep privacy not because the mind is so hidden, but because the observer is trapped in NOT being the thing observed. In that sense, rocks are private. |
| 3164 | Intentional explanations are always circular [Rey] |
| Full Idea: There can seem to be no escape from the "intentional circle" - the use of one intentional idiom always seems to presuppose the use of another. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 3.3) | |
| A reaction: The best explanation of this is Conceptual Dualism (Papineau: Thinking about Consciousness). We are locked into dualist concepts because of our long-term ignorance about the brain. |
| 3138 | Arithmetic and unconscious attitudes have no qualia [Rey] |
| Full Idea: The contents of thoughts, beliefs and desires seem quite distinct from qualia. Arithmetic has no particular feeling attached to it, and Freud showed that many propositional attitudes have no feeling at all, as they are unconscious. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 1.1.2) | |
| A reaction: I don't think we should rule out 'pre-conscious' qualia. The fact that advanced human mental capacities like arithmetic have thinned out their qualia doesn't count against qualia being essential to normal mental life. |
| 3142 | Why qualia, and why this particular quale? [Rey] |
| Full Idea: If we allow as a brute fact that certain mental states possess conscious qualitative content, there is still the problem of explaining why they possess one content rather than another (why does this stimulus look RED?). | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.1) | |
| A reaction: This strikes me as the Really Hard Question. The Hard Question is merely 'why are creatures aware of their thoughts?' Personally I don't rule out finding a physical answer to the RHQ, and it is certainly not grounds for drifting into neo-dualism. |
| 3224 | If qualia have no function, their attachment to thoughts is accidental [Rey] |
| Full Idea: If qualia are non-functionally defined objects, then their attachment to their role in my thought would seem to be metaphysically accidental. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 11.4.2) | |
| A reaction: A rock at sea can cause a shipwreck without being defined as 'a shipwrecker'. It is, of course, tautological that if qualia have a 'role' in my thoughts, they must have causal powers, but 'function' is a much trickier concept. |
| 3227 | Are qualia a type of propositional attitude? [Rey] |
| Full Idea: Qualitative experience is just a particular species of propositional attitude. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 11.6.1) | |
| A reaction: This sounds very implausible. If I hear a loud and baffling noise, is a proposition instantly involved? When a subtle change of colour occurs in the sky at sunset, is that 'propositional'? Do slugs formulate propositions when they taste garlic? |
| 3226 | Are qualia irrelevant to explaining the mind? [Rey] |
| Full Idea: Phenomenal objects and properties are no more needed to explain the workings of our mind than are angels needed to explain the motion of the planets. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 11.6.1) | |
| A reaction: The question would be whether 'phenomenal properties' contained unique information, which could therefore influence behaviour. It is also a matter of exactly what you are trying to explain. |
| 3229 | If colour fits a cone mapping hue, brightness and saturation, rotating the cone could give spectrum inversion [Rey] |
| Full Idea: If colour can be modelled as a cone, with points mapped by hue, brightness and saturation, then a rotation could be isomorphic with the hues switched, so we may all experience different hues. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 11.7.1) | |
| A reaction: from Levine |
| 3223 | Self-consciousness may just be nested intentionality [Rey] |
| Full Idea: It is tempting to think that if a system has concepts for nested intentionality and first-person reflection, it has all that's needed for self-consciousness. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 11.2.2) | |
| A reaction: If there nothing more than nested intentionality in complex minds like ours, the top level of the nesting would still have a special status. And if the top level always seemed to stay the same while the lower levels changed, I'd probably call it the Self |
| 3162 | Experiments prove that people are often unaware of their motives [Rey] |
| Full Idea: Experiments have shown (Nisbett and Wilson 1977) that people's introspective knowledge is a lot less reliable than they suppose. People are sensitive to but entirely unaware of many factors that influence their social behaviour. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 3.2.2) | |
| A reaction: This type of observation rests on an overemphasis on the conscious mind. We are not conscious of liver events, or of deep buried brain events, both of which motivate us. We should only expect introspection to reveal what is fully conscious. |
| 3163 | Brain damage makes the unreliability of introspection obvious [Rey] |
| Full Idea: The most dramatic phenomena undermining the absolute reliability of introspection are those of blindsight and "anosognosia" (unawareness of one's own brain damage). | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 3.2.2) | |
| A reaction: It might depend on what you expected introspection to reveal. If you only expected it to tell you about your consciousness, it would be unreasonable to expect knowledge of blindsight information by introspection. |
| 3195 | If reason could be explained in computational terms, there would be no need for the concept of 'free will' [Rey] |
| Full Idea: If a computational account of reasoning processes could be given, then there is no need to settle the issue of "free will", as reason could get along without it. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 8.6) |
| 3196 | Free will isn't evidence against a theory of thought if there is no evidence for free will [Rey] |
| Full Idea: We don't need arguments to show that if there were free will then computational accounts of the mind would be inadequate; what is needed is good evidence that there actually exists such free will in the first place. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 8.6) |
| 3180 | Maybe behaviourists should define mental states as a group [Rey] |
| Full Idea: Defining most mental states seems to requiring citing other mental states - but perhaps behaviourists can define them all simultaneously | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 5.3) | |
| A reaction: This is an interesting strategy for trying to avoid the well known circularity of attempting to define mental states in behavioural terms. Behaviourism won't go away. |
| 3165 | Behaviourism is eliminative, or reductionist, or methodological [Rey] |
| Full Idea: There are three different views concerning behaviourism - the 'radical' view, which aims at eliminativism, the 'analytical' view, which is a reductionist enterprise, and the 'methodological' view, somewhere between the two. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4) | |
| A reaction: The first appears to be ontological, the second about relationships between areas of our language, and the third epistemological. You could attempt language reduction because we can only know behaviour, because that's all there is. |
| 3167 | Animals don't just respond to stimuli, they experiment [Rey] |
| Full Idea: Animals exhibit 'spontaneous alteration' in their behaviour (e.g. varying the route to the food), or improvisation (finding short cuts instead of following training). They use mental maps, or dead reckoning, not just conditioned responses. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.1.4) | |
| A reaction: If we can't even get a decent behaviourist account of animal behaviour, presumably the chances for humans look even less good. 'Black box' behaviourism, rather than the eliminativist version, might allow internal mechanisms to modify responses. |
| 3173 | How are stimuli and responses 'similar'? [Rey] |
| Full Idea: Radical behaviourists say animals emit "similar" responses to "similar" reinforcements, but that is empty without specifying in what respect there is a similarity. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.3) | |
| A reaction: The point is that when you try to specify the similarity you are (supposedly) forced to use mental language to make the distinctions, thus contradicting behaviourism. It is not, though, self-evidently impossible to give a behaviourist specification. |
| 3179 | Behaviour is too contingent and irrelevant to be the mind [Rey] |
| Full Idea: The two main anti-behaviourist intuitions are that mind and behaviour only relate contingently, and that for much mental life (thinking, emotion) the resulting behaviour seems unimportant. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 5.3) | |
| A reaction: Attractive intuitions, but not unquestionable. Since no two states of mind are ever fully identical, we can never test whether the resulting behaviour arises contingently or necessarily. The second point underestimates the physicality of mental life. |
| 3186 | If a normal person lacked a brain, would you say they had no mind? [Rey] |
| Full Idea: If many otherwise ordinary people turned out to have skulls which were empty or filled with oatmeal, would that mean that they didn't have minds? | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 7.1.4) | |
| A reaction: That's a John Locke sort of question, implying that 'persons' are logically independent of their implementation. Personally I would search for a radio receiver, because oatmeal is implausible as a thinker. |
| 3127 | Dualism and physicalism explain nothing, and don't suggest any research [Rey] |
| Full Idea: Neither dualism nor physicalism provides much serious explanation of any mental phenomena, or even much in the way of a program of research. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], Int.2) | |
| A reaction: I'm not sure if people who demand an "explanation of mental phenomena" are quite clear about what it is they want. God might just say "Mental phenomena are just brain events from the brain's point of view". |
| 3188 | Homuncular functionalism (e.g. Freud) could be based on simpler mechanical processes [Rey] |
| Full Idea: So-called 'homuncular functionalism' (such as Freud's or Plato's internal struggles of the soul) needn't lead to an infinite regress if eventually the homunculi become so stupid they could be replaced by a machine. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 7.2.2) | |
| A reaction: from Fodor |
| 3216 | Is the room functionally the same as a Chinese speaker? [Rey] |
| Full Idea: The question for a computational-representation theory about the Chinese Room is: is what is happening inside the room functionally equivalent to what is happening inside a normal Chinese speaker? | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 10.2.1) | |
| A reaction: Certainly the Room lacks morality ('how can I torture my sister?'). It won't spot connections between recent questions. It won't ask itself questions. It will take years to spot absurd questions. |
| 3220 | Searle is guilty of the fallacy of division - attributing a property of the whole to a part [Rey] |
| Full Idea: You should no more attribute understanding of Chinese to this one part of the system than you should ascribe the properties of the entire British Empire to Queen Victoria. This is the fallacy of division. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 10.2.3) | |
| A reaction: This very nicely pinpoints what is wrong with the Chinese Room argument (nice analogy, too). If you carefully introspect what is involved when you 'understand' something, it is immensely complex, though it feels instant and simple. |
| 3206 | One computer program could either play chess or fight a war [Rey] |
| Full Idea: It is always possible to provide incompatible interpretations of formal theories, so that a computer could use the same program one day to play chess, the next to fight a war. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 9.1.3) | |
| A reaction: This seems to present a huge gulf between human chess players (who 'understand' what they are doing) and machines, but I don't accept it. Giving the machine cameras and multi-level software would fix it. |
| 3140 | If you explain water as H2O, you have reduced water, but not eliminated it [Rey] |
| Full Idea: Reduction is not the same as elimination; if chemists reduce water to H2O, or biologists reduce life to a complex chemical process, they have not shown that they don't exist. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 1.2.1) | |
| A reaction: Depends what you mean by 'elimination'. It is important to be clear whether you are eliminating something from life, or from strict philosophical ontology. Ontologists never mention mountains. |
| 3134 | Human behaviour can show law-like regularity, which eliminativism can't explain [Rey] |
| Full Idea: There is clear evidence against eliminative materialism in the law-like correlations found among millions of answers in standardised school tests, for which it can give no explanation. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], Int.3) | |
| A reaction: Not very persuasive. If neural networks got involved in complex competitions with one another, you would expect them to evolve similar tactics. |
| 3200 | Pattern recognition is puzzling for computation, but makes sense for connectionism [Rey] |
| Full Idea: Connectionism is a way of capturing the holism of pattern recognition, as stressed by many critics of computational theories of mind. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 8.8) | |
| A reaction: I am drawn to the idea that arithmetic derives from pattern recognition, and the latter is basic to all minds (a kind of instant unthinking induction), so this seems to me a win for connectionism. |
| 3201 | Connectionism explains well speed of perception and 'graceful degradation' [Rey] |
| Full Idea: Connectionism is better than other AI strategies at capturing the extraordinary swiftness of perception, and of degrading in a 'graceful' way. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 8.8) | |
| A reaction: A good theory had better capture the extraordinary swiftness of perception. Also the swiftness of recognition. Compare seeing a surprising old friend in a crowd, and recognising the person you are looking for. |
| 3202 | Connectionism explains irrationality (such as the Gamblers' Fallacy) quite well [Rey] |
| Full Idea: Connectionism offers promising accounts of irrational behaviour, such as people's bias towards positive instances, and their tendency to fall for the gamblers' fallacy. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 8.8) | |
| A reaction: That is strong support, because the chances of a computational robot having such tendencies is virtually nil, but all humans have the biases referred to (even philosophers). |
| 3199 | Connectionism assigns numbers to nodes and branches, and plots the outcomes [Rey] |
| Full Idea: In connectionism, each node is given an activation level, and each branch a weight, according to possible degree of effect. This results in 'excitatory' and 'inhibitory' connections. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 8.8) | |
| A reaction: Whether such a system could ever be 'conscious' is not the only interesting question. What could such a system do? Could it ever be good at philosophy? |
| 3150 | Can identity explain reason, free will, non-extension, intentionality, subjectivity, experience? [Rey] |
| Full Idea: Eight properties of mind are problems for the identity theory: rationality, free will, spatiality, privacy, intentionality, essential mentality, subjective content, and the explanatory gap. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.7) | |
| A reaction: The list could go on: poetry, creativity, love, normativity... Actually, these are problems for every theory. |
| 3129 | Physicalism offers something called "complexity" instead of mental substance [Rey] |
| Full Idea: In physicalism the "ghost in the machine" is merely replaced by the "complexity" in it. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], Int.2) | |
| A reaction: This is nonsense. No one thinks that mere complexity generates consciousness. The assumption is that we would begin to understand the mind only if we could somehow map the connections of the brain. |
| 3139 | Some attitudes are information (belief), others motivate (hatred) [Rey] |
| Full Idea: Propositional attitudes divide into two broad types: neutral informational ones (belief, suspicion, imagining), and directional ones which motivate an agent (preference, desire, hate). | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 1.1.2) | |
| A reaction: Since suspicions are motivating, and preferences are informational, this is not a very sharp distinction. An alternative would be to say that there is one type, and sometimes the will gets involved. |
| 3171 | Children speak 90% good grammar [Rey] |
| Full Idea: Ninety percent of most young children's utterances are grammatical. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.2.4) | |
| A reaction: This is good evidence for some sort of innate element in the grammar of language. But the accurate grammar is not in a particular language. Good communication must be the driving force in all this. |
| 3174 | Good grammar can't come simply from stimuli [Rey] |
| Full Idea: Grammatical sensitivity is in no way a physical property of the stimulus, and we can't imagine how to build a device which would produce grammatical structures in response to the environment. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.3) | |
| A reaction: You could try to program it with a set of (say) Aristotelian categories, and mechanisms to sort the environment accordingly. It then has to query its database, in response to practical needs. A doddle. |
| 3213 | Animals may also use a language of thought [Rey] |
| Full Idea: The language of thought need not only be confined to creatures which speak a natural language. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 10.1.1) | |
| A reaction: I take it as axiomatic that our brains are no different in principles and fundamental mechanics from the lowliest of creatures. See Idea 7509. |
| 3170 | We train children in truth, not in grammar [Rey] |
| Full Idea: Very young children have been shown (Brown and Halon 1970) to be 'reinforced' not for their grammar but for the informational content of what they say. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.2.1) | |
| A reaction: This is what you would expect. It doesn't follow that the grammar comes from innate mechanisms, because the pressure to get the information right could impose increasing accuracy in grammar. |
| 3215 | Images can't replace computation, as they need it [Rey] |
| Full Idea: Processing of images and mental models seems to require, and therefore is unlikely to replace, computation and representation. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 10.1.2) | |
| A reaction: A good point. If you are a fan of mental imagery, you still have to explain how we can hold an image, or recall it, or manipulate it. I always, I don't know why, wince at the thought of 'computations' among neurons. |
| 3194 | CRTT is good on deduction, but not so hot on induction, abduction and practical reason [Rey] |
| Full Idea: The computational/representational theory of thought has given a good account of deduction, but mechanical theories of induction, abduction and practical reason are needed in order to make a machine which could reason. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 8.5) | |
| A reaction: This is the best analysis of rationality that I have found (four components: deduction, induction, abduction, practical reason). I can think of nothing to add, and certainly none of these should be omitted. |
| 3147 | Problem-solving clearly involves manipulating images [Rey] |
| Full Idea: Recent experiments (Shepard 1982) suggest people have imagistic representations they inspect when solving problems. In comparing two rotated images, the time for comparison varies with the angle of rotation. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.5.3) | |
| A reaction: This doesn't prove that they are slowly rotating something. It may just be harder to make the leap to the new shape, when it is 'further away'. Picturing a 20-sided figure, we don't add sides one-by-one. |
| 3175 | Animals map things over time as well as over space [Rey] |
| Full Idea: To map things like food over time, animals must somehow represent events as having temporal properties, and somehow store those representations ready for later use. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.3) | |
| A reaction: If the mechanisms for doing this are basic, then so is the ontology. Objects must be categorised, properties spotted, time-spans correlated etc. 'Represent' needs to be sharp to be useful. |
| 3207 | Simple externalism is that the meaning just is the object [Rey] |
| Full Idea: The oldest version of the externalist theory of meaning is the Fido/Fido theory, according to which the meaning of a representation is the object for which it stands. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 9.2) | |
| A reaction: Modern baptismal theories of reference seem to have taken us back to this, for distinct individuals such as Aristotle, or natural kinds like gold. What, though, does 'Fido' mean to me? Asthma! |
| 3176 | Anything bears a family resemblance to a game, but obviously not anything counts as one [Rey] |
| Full Idea: Anything bears a family resemblance to a game, but obviously not anything counts as one. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.3) |
| 5816 | Frege said concepts were abstract entities, not mental entities [Frege, by Putnam] |
| Full Idea: Frege, rebelling against 'psychologism', identified concepts (and hence 'intensions' or meanings) with abstract entities rather than mental entities. | |
| From: report of Gottlob Frege (works [1890]) by Hilary Putnam - Meaning and Reference p.119 | |
| A reaction: This, of course, assumes that 'abstract' entities and 'mental' entities are quite distinct things. A concept is presumably a mental item which has content, and the word 'concept' is simply ambiguous, between the container and the contents. |
| 6112 | Meaning takes many different forms, depending on different logical types [Russell] |
| Full Idea: There is not one relation of meaning between words and what they stand for, but as many relations of meaning, each of a different logical type, as there are logical types among the objects for which there are words. | |
| From: Bertrand Russell (Logical Atomism [1924], p.153) | |
| A reaction: This might be a good warning for those engaged in the externalist/internalist debate over the meaning of concepts such as natural kind terms like 'water'. I could have an external meaning for 'elms', but an internal meaning for 'ferns'. |
| 7307 | A thought is not psychological, but a condition of the world that makes a sentence true [Frege, by Miller,A] |
| Full Idea: For Frege, a thought is not something psychological or subjective; rather, it is objective in the sense that it specifies some condition in the world the obtaining of which is necessary and sufficient for the truth of the sentence that expresses it. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.2 | |
| A reaction: It is worth emphasising Russell's anti-Berkeley point about 'ideas', that the idea is in the mind, but its contents are in the world. Since the contents are what matter, this endorses Frege, and also points towards modern externalism. |
| 3181 | A one hour gap in time might be indirectly verified, but then almost anything could be [Rey] |
| Full Idea: You couldn't directly verify that the whole universe had stopped for one hour, but you might indirectly verify it (by prediction) - but then almost anything could be very indirectly verified. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 5.4) | |
| A reaction: Does indirect verification include time travel? Or perfect knowledge of quantum theory, and total knowledge of quantum states. Laplace's Hypothesis. |
| 3204 | The meaning of "and" may be its use, but not of "animal" [Rey] |
| Full Idea: The view that the meaning of language of thought expressions is based on their conceptual role (derived from Wittgenstein's idea of meaning as use), is most plausible for the logical connectives like "and", but implausible for, say, "animal". | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 9.1.2) | |
| A reaction: It was the logical connectives that got LW started on this track. If it doesn't work for 'animal' then does that mean we need two different theories? |
| 3205 | Semantic holism means new evidence for a belief changes the belief, and we can't agree on concepts [Rey] |
| Full Idea: Semantic holism is a desperate measure. Belief content would be continually changed by new beliefs, evidence for a belief would change the target belief, and no two people would ever agree on concepts. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 9.1.2) | |
| A reaction: It is far more plausible to say language is a bit on the holistic side. Total holism is mad. |
| 3209 | Causal theories of reference (by 'dubbing') don't eliminate meanings in the heads of dubbers [Rey] |
| Full Idea: Causal histories may have some role to play in a theory of reference, but the chain of causation requires internal characterisations at each stage, and the original dubber had one thing rather than another in mind when dubbing. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 9.2.1) | |
| A reaction: The modern view of direct reference seems to prefer social context rather than a complete causal chain. |
| 3210 | If meaning and reference are based on causation, then virtually everything has meaning [Rey] |
| Full Idea: What is special about meaning? If meaning and reference are just the result of causal chains, almost everything will mean something, since almost everything is reliably caused by something. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 9.2.2) | |
| A reaction: It would be insane to think that all causal events produced meanings. It is probably better not to mention causation at all when discussing meaning. |
| 3149 | Referential Opacity says truth is lost when you substitute one referring term ('mother') for another ('Jocasta') [Rey] |
| Full Idea: Referential Opacity says you cannot preserve truth if you substitute one referring term for another ('Oedipus desires Jocasta', 'Oedipus desires his mother'). | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.5.6) | |
| A reaction: ….That is, in the context of expressing a propositional attitude. 'Oedipus desired his mother' was true. This idea requires some ignorance on the part of the person expressing the thought. |
| 7309 | Frege's 'sense' is the strict and literal meaning, stripped of tone [Frege, by Miller,A] |
| Full Idea: Frege held that "and" and "but" have the same 'sense' but different 'tones' (note: they have the same truth tables); the sense of an expression is what a sentence strictly and literally means, stripped of its tone. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.6 | |
| A reaction: It seems important when studying Frege to remember what has been stripped out. In "he is a genius and he plays football", if you substitute 'but' for 'and', the new version says (literally?) something very distinctive about football. |
| 7312 | 'Sense' solves the problems of bearerless names, substitution in beliefs, and informativeness [Frege, by Miller,A] |
| Full Idea: Frege's introduction of 'sense' was motivated by the desire to solve three problems: the problem of bearerless names, the problem of substitution in belief contexts, and the problem of informativeness. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.9 | |
| A reaction: A proposal which solves three problems sounds pretty good! These three problems can be used to test the counter-proposals of Russell and Kripke. |
| 7725 | 'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate [Frege, by Weiner] |
| Full Idea: 'It is raining or it is not raining' appears to true because of the general principle 'p or not-p', so it is analytic; but this does not fit Kant's idea of an analytic truth, because it is not obvious that it has a subject concept or a predicate concept. | |
| From: report of Gottlob Frege (works [1890]) by Joan Weiner - Frege Ch.2 | |
| A reaction: The general progress of logic seems to be a widening out to embrace problem sentences. However, see Idea 7315 for the next problem that arises with analyticity. All this culminates in Quine's attack (e.g. Idea 1624). |
| 7316 | Analytic truths are those that can be demonstrated using only logic and definitions [Frege, by Miller,A] |
| Full Idea: Frege (according to Quine) characterises analytic truths as those that can be demonstrated or proved using only logical laws and definitions as premises. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 4.2 | |
| A reaction: This is the big shift away from the Kantian version (predicate contained in the subject) towards a modern version, perhaps fixed by a truth table giving true for all values. |
| 3169 | A simple chaining device can't build sentences containing 'either..or', or 'if..then' [Rey] |
| Full Idea: Bifurcated logical particles (either/or, if/then) are in principle beyond the power of any local chaining device to build sentences. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.2.1) | |
| A reaction: True in natural languages, but not in formal ones? If P then either if-Q-then-R or if-S-then-T. Is that chaining? If rain, then if light then puddles, or if heavy then floods. Hm. |
| 3221 | Our desires become important when we have desires about desires [Rey] |
| Full Idea: What gives people's desires certain moral importance is the fact that they have desires about those desires. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 11.1) | |
| A reaction: from Frankfurt |
| 3307 | Frege put forward an ontological argument for the existence of numbers [Frege, by Benardete,JA] |
| Full Idea: Frege put forward an ontological argument for the existence of numbers. | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.4 |