85 ideas
17925 | Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan] |
Full Idea: In intuitionist logic double negation elimination fails. After all, proving that there is no proof that there can't be a proof of S is not the same thing as having a proof of S. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3) | |
A reaction: I do like people like Colyvan who explain things clearly. All of this difficult stuff is understandable, if only someone makes the effort to explain it properly. |
17926 | Rejecting double negation elimination undermines reductio proofs [Colyvan] |
Full Idea: The intuitionist rejection of double negation elimination undermines the important reductio ad absurdum proof in classical mathematics. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3) |
17924 | Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan] |
Full Idea: The law of excluded middle (for every proposition P, either P or not-P) must be carefully distinguished from its semantic counterpart bivalence, that every proposition is either true or false. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3) | |
A reaction: So excluded middle makes no reference to the actual truth or falsity of P. It merely says P excludes not-P, and vice versa. |
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) |
17929 | Löwenheim proved his result for a first-order sentence, and Skolem generalised it [Colyvan] |
Full Idea: Löwenheim proved that if a first-order sentence has a model at all, it has a countable model. ...Skolem generalised this result to systems of first-order sentences. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 2.1.2) |
17930 | Axioms are 'categorical' if all of their models are isomorphic [Colyvan] |
Full Idea: A set of axioms is said to be 'categorical' if all models of the axioms in question are isomorphic. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 2.1.2) | |
A reaction: The best example is the Peano Axioms, which are 'true up to isomorphism'. Set theory axioms are only 'quasi-isomorphic'. |
17928 | Ordinal numbers represent order relations [Colyvan] |
Full Idea: Ordinal numbers represent order relations. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.2.3 n17) |
17923 | Intuitionists only accept a few safe infinities [Colyvan] |
Full Idea: For intuitionists, all but the smallest, most well-behaved infinities are rejected. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3) | |
A reaction: The intuitionist idea is to only accept what can be clearly constructed or proved. |
17941 | Infinitesimals were sometimes zero, and sometimes close to zero [Colyvan] |
Full Idea: The problem with infinitesimals is that in some places they behaved like real numbers close to zero but in other places they behaved like zero. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 7.1.2) | |
A reaction: Colyvan gives an example, of differentiating a polynomial. |
17922 | Reducing real numbers to rationals suggested arithmetic as the foundation of maths [Colyvan] |
Full Idea: Given Dedekind's reduction of real numbers to sequences of rational numbers, and other known reductions in mathematics, it was tempting to see basic arithmetic as the foundation of mathematics. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.1) | |
A reaction: The reduction is the famous Dedekind 'cut'. Nowadays theorists seem to be more abstract (Category Theory, for example) instead of reductionist. |
17936 | Transfinite induction moves from all cases, up to the limit ordinal [Colyvan] |
Full Idea: Transfinite inductions are inductive proofs that include an extra step to show that if the statement holds for all cases less than some limit ordinal, the statement also holds for the limit ordinal. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.1 n11) |
17940 | Most mathematical proofs are using set theory, but without saying so [Colyvan] |
Full Idea: Most mathematical proofs, outside of set theory, do not explicitly state the set theory being employed. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 7.1.1) |
17931 | Structuralism say only 'up to isomorphism' matters because that is all there is to it [Colyvan] |
Full Idea: Structuralism is able to explain why mathematicians are typically only interested in describing the objects they study up to isomorphism - for that is all there is to describe. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 3.1.2) |
17932 | If 'in re' structures relies on the world, does the world contain rich enough structures? [Colyvan] |
Full Idea: In re structuralism does not posit anything other than the kinds of structures that are in fact found in the world. ...The problem is that the world may not provide rich enough structures for the mathematics. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 3.1.2) | |
A reaction: You can perceive a repeating pattern in the world, without any interest in how far the repetitions extend. |
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) |
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) |
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. |
17943 | Probability supports Bayesianism better as degrees of belief than as ratios of frequencies [Colyvan] |
Full Idea: Those who see probabilities as ratios of frequencies can't use Bayes's Theorem if there is no objective prior probability. Those who accept prior probabilities tend to opt for a subjectivist account, where probabilities are degrees of belief. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 9.1.8) | |
A reaction: [compressed] |
17939 | Mathematics can reveal structural similarities in diverse systems [Colyvan] |
Full Idea: Mathematics can demonstrate structural similarities between systems (e.g. missing population periods and the gaps in the rings of Saturn). | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 6.3.2) | |
A reaction: [Colyvan expounds the details of his two examples] It is these sorts of results that get people enthusiastic about the mathematics embedded in nature. A misunderstanding, I think. |
17938 | Mathematics can show why some surprising events have to occur [Colyvan] |
Full Idea: Mathematics can show that under a broad range of conditions, something initially surprising must occur (e.g. the hexagonal structure of honeycomb). | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 6.3.2) |
17934 | Proof by cases (by 'exhaustion') is said to be unexplanatory [Colyvan] |
Full Idea: Another style of proof often cited as unexplanatory are brute-force methods such as proof by cases (or proof by exhaustion). | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.1) |
17933 | Reductio proofs do not seem to be very explanatory [Colyvan] |
Full Idea: One kind of proof that is thought to be unexplanatory is the 'reductio' proof. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.1) | |
A reaction: Presumably you generate a contradiction, but are given no indication of why the contradiction has arisen? Tracking back might reveal the source of the problem? Colyvan thinks reductio can be explanatory. |
17935 | If inductive proofs hold because of the structure of natural numbers, they may explain theorems [Colyvan] |
Full Idea: It might be argued that any proof by induction is revealing the explanation of the theorem, namely, that it holds by virtue of the structure of the natural numbers. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.1) | |
A reaction: This is because induction characterises the natural numbers, in the Peano Axioms. |
17942 | Can a proof that no one understands (of the four-colour theorem) really be a proof? [Colyvan] |
Full Idea: The proof of the four-colour theorem raises questions about whether a 'proof' that no one understands is a proof. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 9.1.6) | |
A reaction: The point is that the theorem (that you can colour countries on a map with just four colours) was proved with the help of a computer. |
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. |
3488 | Freud treats the unconscious as intentional and hence mental [Freud, by Searle] |
Full Idea: Freud thinks that our unconscious mental states exist as occurrent intrinsic intentional states even when unconscious. Their ontology is that of the mental, even when they are unconscious. | |
From: report of Sigmund Freud (works [1900]) by John Searle - The Rediscovery of the Mind Ch. 7.V | |
A reaction: Searle states this view in order to attack it. Whether such states are labelled as 'mental' seems uninteresting. Whether unconscious states can be intentional is crucial, and modern scientific understanding of the brain strongly suggest they can. |
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 |
17937 | Mathematical generalisation is by extending a system, or by abstracting away from it [Colyvan] |
Full Idea: One type of generalisation in mathematics extends a system to go beyond what is was originally set up for; another kind involves abstracting away from some details in order to capture similarities between different systems. | |
From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 5.2.2) |
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 |
5689 | Freud and others have shown that we don't know our own beliefs, feelings, motive and attitudes [Freud, by Shoemaker] |
Full Idea: Freud persuaded many that beliefs, wishes and feelings are sometimes unconscious, and even sceptics about Freud acknowledge that there is self-deception about motive and attitudes. | |
From: report of Sigmund Freud (works [1900]) by Sydney Shoemaker - Introspection p.396 | |
A reaction: This seems to me obviously correct. The traditional notion is that the consciousness is the mind, but now it seems obvious that consciousness is only one part of the mind, and maybe even a peripheral (epiphenomenal) part of it. |
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. |
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) |
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) |
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. |
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. |
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. |
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. |
23950 | Freud said passions are pressures of some flowing hydraulic quantity [Freud, by Solomon] |
Full Idea: Freud argued that the passions in general …were the pressures of a yet unknown 'quantity' (which he simply designated 'Q'). He first thought this flowed through neurones, …and always couched the idea in the language of hydraulics. | |
From: report of Sigmund Freud (works [1900]) by Robert C. Solomon - The Passions 3.4 | |
A reaction: This is the main target of Solomon's criticism, because its imagery has become so widespread. It leads to talk of suppressing emotions, or sublimating them. However, it is not too different from Nietzsche's 'drives' or 'will to power'. |
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. |
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. |
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) |
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. |
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. |
22344 | Freud is pessimistic about human nature; it is ambivalent motive and fantasy, rather than reason [Freud, by Murdoch] |
Full Idea: Freud takes a thoroughly pessimistic view of human nature. ...Introspection reveals only the deep tissue of ambivalent motive, and fantasy is a stronger force than reason. Objectivity and unselfishness are not natural to human beings. | |
From: report of Sigmund Freud (works [1900], II) by Iris Murdoch - The Sovereignty of Good II | |
A reaction: Interesting. His view seems to have coloured the whole of modern culture, reinforced by the hideous irrationality of the Nazis. Adorno and Horkheimer attacking the Enlightenment was the last step in that process. |
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 |