62 ideas
| 4588 | There is no such thing as 'science'; there are just many different sciences [Heil] |
| Full Idea: There is no such thing as science; there are only sciences: physics, chemistry, meteorology, geology, biology, psychology, sociology. | |
| From: John Heil (Philosophy of Mind [1998], Intro) | |
| A reaction: A simple but nice point. It suggests that maybe each science has an entirely different method, and style of reasoning, experiment and explanation. Some have strict laws, others have 'ceteris paribus' laws. |
| 21752 | Prior to Gödel we thought truth in mathematics consisted in provability [Gödel, by Quine] |
| Full Idea: Gödel's proof wrought an abrupt turn in the philosophy of mathematics. We had supposed that truth, in mathematics, consisted in provability. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Willard Quine - Forward to Gödel's Unpublished | |
| A reaction: This explains the crisis in the early 1930s, which Tarski's theory appeared to solve. |
| 17835 | Gödel show that the incompleteness of set theory was a necessity [Gödel, by Hallett,M] |
| Full Idea: Gödel's incompleteness results of 1931 show that all axiom systems precise enough to satisfy Hilbert's conception are necessarily incomplete. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Michael Hallett - Introduction to Zermelo's 1930 paper p.1215 | |
| A reaction: [Hallett italicises 'necessarily'] Hilbert axioms have to be recursive - that is, everything in the system must track back to them. |
| 17886 | The limitations of axiomatisation were revealed by the incompleteness theorems [Gödel, by Koellner] |
| Full Idea: The inherent limitations of the axiomatic method were first brought to light by the incompleteness theorems. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Peter Koellner - On the Question of Absolute Undecidability 1.1 |
| 10071 | Second Incompleteness: nice theories can't prove their own consistency [Gödel, by Smith,P] |
| Full Idea: Second Incompleteness Theorem: roughly, nice theories that include enough basic arithmetic can't prove their own consistency. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Peter Smith - Intro to Gödel's Theorems 1.5 | |
| A reaction: On the face of it, this sounds less surprising than the First Theorem. Philosophers have often noticed that it seems unlikely that you could use reason to prove reason, as when Descartes just relies on 'clear and distinct ideas'. |
| 19123 | If soundness can't be proved internally, 'reflection principles' can be added to assert soundness [Gödel, by Halbach/Leigh] |
| Full Idea: Gödel showed PA cannot be proved consistent from with PA. But 'reflection principles' can be added, which are axioms partially expressing the soundness of PA, by asserting what is provable. A Global Reflection Principle asserts full soundness. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Halbach,V/Leigh,G.E. - Axiomatic Theories of Truth (2013 ver) 1.2 | |
| A reaction: The authors point out that this needs a truth predicate within the language, so disquotational truth won't do, and there is a motivation for an axiomatic theory of truth. |
| 17888 | The undecidable sentence can be decided at a 'higher' level in the system [Gödel] |
| Full Idea: My undecidable arithmetical sentence ...is not at all absolutely undecidable; rather, one can always pass to 'higher' systems in which the sentence in question is decidable. | |
| From: Kurt Gödel (On Formally Undecidable Propositions [1931]), quoted by Peter Koellner - On the Question of Absolute Undecidability 1.1 | |
| A reaction: [a 1931 MS] He says the reals are 'higher' than the naturals, and the axioms of set theory are higher still. The addition of a truth predicate is part of what makes the sentence become decidable. |
| 10621 | Gödel's First Theorem sabotages logicism, and the Second sabotages Hilbert's Programme [Smith,P on Gödel] |
| Full Idea: Where Gödel's First Theorem sabotages logicist ambitions, the Second Theorem sabotages Hilbert's Programme. | |
| From: comment on Kurt Gödel (On Formally Undecidable Propositions [1931]) by Peter Smith - Intro to Gödel's Theorems 36 | |
| A reaction: Neo-logicism (Crispin Wright etc.) has a strategy for evading the First Theorem. |
| 10132 | There can be no single consistent theory from which all mathematical truths can be derived [Gödel, by George/Velleman] |
| Full Idea: Gödel's far-reaching work on the nature of logic and formal systems reveals that there can be no single consistent theory from which all mathematical truths can be derived. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.8 |
| 10072 | First Incompleteness: arithmetic must always be incomplete [Gödel, by Smith,P] |
| Full Idea: First Incompleteness Theorem: any properly axiomatised and consistent theory of basic arithmetic must remain incomplete, whatever our efforts to complete it by throwing further axioms into the mix. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Peter Smith - Intro to Gödel's Theorems 1.2 | |
| A reaction: This is because it is always possible to formulate a well-formed sentence which is not provable within the theory. |
| 3198 | Gödel showed that arithmetic is either incomplete or inconsistent [Gödel, by Rey] |
| Full Idea: Gödel's theorem states that either arithmetic is incomplete, or it is inconsistent. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Georges Rey - Contemporary Philosophy of Mind 8.7 |
| 9590 | Arithmetical truth cannot be fully and formally derived from axioms and inference rules [Gödel, by Nagel/Newman] |
| Full Idea: The vast continent of arithmetical truth cannot be brought into systematic order by laying down a fixed set of axioms and rules of inference from which every true mathematical statement can be formally derived. For some this was a shocking revelation. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by E Nagel / JR Newman - Gödel's Proof VII.C | |
| A reaction: Good news for philosophy, I'd say. The truth cannot be worked out by mechanical procedures, so it needs the subtle and intuitive intelligence of your proper philosopher (Parmenides is the role model) to actually understand reality. |
| 11069 | Gödel's Second says that semantic consequence outruns provability [Gödel, by Hanna] |
| Full Idea: Gödel's Second Incompleteness Theorem says that true unprovable sentences are clearly semantic consequences of the axioms in the sense that they are necessarily true if the axioms are true. So semantic consequence outruns provability. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Robert Hanna - Rationality and Logic 5.3 |
| 10118 | First Incompleteness: a decent consistent system is syntactically incomplete [Gödel, by George/Velleman] |
| Full Idea: First Incompleteness Theorem: If S is a sufficiently powerful formal system, then if S is consistent then S is syntactically incomplete. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: Gödel found a single sentence, effectively saying 'I am unprovable in S', which is neither provable nor refutable in S. |
| 10122 | Second Incompleteness: a decent consistent system can't prove its own consistency [Gödel, by George/Velleman] |
| Full Idea: Second Incompleteness Theorem: If S is a sufficiently powerful formal system, then if S is consistent then S cannot prove its own consistency | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: This seems much less surprising than the First Theorem (though it derives from it). It was always kind of obvious that you couldn't use reason to prove that reason works (see, for example, the Cartesian Circle). |
| 10611 | There is a sentence which a theory can show is true iff it is unprovable [Gödel, by Smith,P] |
| Full Idea: The original Gödel construction gives us a sentence that a theory shows is true if and only if it satisfies the condition of being unprovable-in-that-theory. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Peter Smith - Intro to Gödel's Theorems 20.5 |
| 10867 | 'This system can't prove this statement' makes it unprovable either way [Gödel, by Clegg] |
| Full Idea: An approximation of Gödel's Theorem imagines a statement 'This system of mathematics can't prove this statement true'. If the system proves the statement, then it can't prove it. If the statement can't prove the statement, clearly it still can't prove it. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Brian Clegg - Infinity: Quest to Think the Unthinkable Ch.15 | |
| A reaction: Gödel's contribution to this simple idea seems to be a demonstration that formal arithmetic is capable of expressing such a statement. |
| 8747 | Realists are happy with impredicative definitions, which describe entities in terms of other existing entities [Gödel, by Shapiro] |
| Full Idea: Gödel defended impredicative definitions on grounds of ontological realism. From that perspective, an impredicative definition is a description of an existing entity with reference to other existing entities. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Stewart Shapiro - Thinking About Mathematics 5.3 | |
| A reaction: This is why constructivists must be absolutely precise about definition, where realists only have to do their best. Compare building a car with painting a landscape. |
| 4616 | A higher level is 'supervenient' if it is determined by lower levels, but has its own natural laws [Heil] |
| Full Idea: 'Supervenience' means lower-level objects and properties suffice for the higher level ones, but the higher level is distinct from its ground, which is reflected in the higher level being governed by distinct laws of nature. | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: A nice summary of Davidson's idea. It feels wrong to me. Can I create some 'new laws of nature' by combining things novelly in a laboratory so that a supervenient state emerges. Sounds silly to me. Must we invoke God to achieve this? |
| 4603 | Functionalists in Fodor's camp usually say that a genuine property is one that figures in some causal laws [Heil] |
| Full Idea: Functionalists in Fodor's camp usually say that a genuine property is one that figures in some causal laws. | |
| From: John Heil (Philosophy of Mind [1998], Ch.4) | |
| A reaction: The problem is that anything which can't figure in a causal law will therefore be undetectable, so we could only speculate about the existence of such properties, never know them. |
| 4617 | A stone does not possess the property of being a stone; its other properties make it a stone [Heil] |
| Full Idea: A predicate that does not designate a property could nevertheless hold true of an object in virtue of that object's properties. An object is a stone not in virtue of holding the property of being a stone, but because it possesses certain other properties. | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: Sounds simple but important, especially in relation to the mind. We are left with the problem of how to individuate a property, and the possibility of 'basic' properties. |
| 4612 | Complex properties are just arrangements of simple properties; they do not "emerge" as separate [Heil] |
| Full Idea: Complex properties do not "emerge"; they are nothing "over and above" the properties of the simple constituents duly arranged. | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: I am glad to see someone challenging the concept of 'emergence', which strikes me as incoherent. Small properties add up to macro-properties (like 'steep', or 'square'). |
| 4615 | Complex properties are not new properties, they are merely new combinations of properties [Heil] |
| Full Idea: New combinations of properties are just that: new combinations, not new properties. (This is not to reject complex properties, but only to reaffirm that complex properties are nothing over and above their constituents suitably arranged). | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: I wish I could be so confidence, but no one seems quite sure what a property is. Are they defined causally, or as 'qualities'? If the latter, what is a quality? Are there basic properties? Can properties merge to form a new one? |
| 4587 | From the property predicates P and Q, we can get 'P or Q', but it doesn't have to designate another property [Heil] |
| Full Idea: If P and Q are predicates denoting properties, we can construct a disjunctive predicate ('P or Q'). But it is not clear that this gives us any right whatever to suppose that 'P or Q' designates a property. | |
| From: John Heil (Philosophy of Mind [1998], Pref) | |
| A reaction: An important idea, needed to disentangle our ontology from our language, and realise that they are separate. Properties are natural; predicates are conventional. |
| 4611 | The supporters of 'tropes' treat objects as bundles of tropes, when I think objects 'possess' properties [Heil] |
| Full Idea: I resist the term 'trope' as it has become common for the proponents of tropes to regard objects as "bundles" of tropes. This turns tropes into something too much resembling parts of objects for my taste. .I think an object is a possessor of properties. | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: This seems to imply a belief in 'substance', which is an intrinsically dodgy concept, but something has to exist. Keep ontology and epistemology separate! We can only know bundles of properties. |
| 7720 | Two things can only resemble one another in some respect, and that may reintroduce a universal [Lowe] |
| Full Idea: A problem for resemblance nominalism is that in saying that two particulars 'resemble' one another, it is necessary to specify in what respect they do so (e.g. colour, shape, size), and this threatens to reintroduce what appears to be talk of universals. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.7) | |
| A reaction: We see resemblance between faces instantly, long before we can specify the 'respects' of the resemblance. This supports the Humean hard-wired view of resemblance, rather than some appeal to Platonic universals. |
| 7712 | On substances, Leibniz emphasises unity, Spinoza independence, Locke relations to qualities [Lowe] |
| Full Idea: Later philosophers emphasised different strands of Aristotle's concept of substances: Leibniz (in his theory of monads) emphasised their unity; Spinoza emphasised their ontological independence; Locke emphasised their role in relation to qualities. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.4) | |
| A reaction: Note that this Aristotelian idea had not been jettisoned in the late seventeenth century, unlike other Aristotelianisms. I think it is only with the success of atomism in chemistry that the idea of substance is forced to recede. |
| 4592 | If you can have the boat without its current planks, and the planks with no boat, the planks aren't the boat [Heil] |
| Full Idea: If a boat can continue to exist after the planks that currently make it up have ceased to exist, and if the planks could continue to exist when the boat does not, then a boat cannot be identified with the planks that make it up at a given time. | |
| From: John Heil (Philosophy of Mind [1998], Ch.2) | |
| A reaction: This seems obvious, but it opposes Locke's claim that the particles of an object are its identity. Does this mean identities are entirely in our heads, and not a feature of nature? I want to resist that. |
| 4586 | You can't embrace the formal apparatus of possible worlds, but reject the ontology [Heil] |
| Full Idea: We should be suspicious of anyone who embraces the formal apparatus of possible worlds while rejecting the ontology. | |
| From: John Heil (Philosophy of Mind [1998], Pref) | |
| A reaction: What matters is that good philosophy should not duck the ontological implications of any apparatus. If only embracing the 'ontology of possible worlds' were a simple matter. What makes one world 'close' to another? |
| 4591 | Idealism explains appearances by identifying appearances with reality [Heil] |
| Full Idea: Idealism explains appearances by identifying appearances with reality. | |
| From: John Heil (Philosophy of Mind [1998], Ch.2) | |
| A reaction: Nicely put. There is a certain intellectual integrity about idealism, but it is still mad. The overall picture seems to me incoherent if we don't assume that appearances are bringing us close to reality (without ever quite getting there). |
| 7710 | Perception is a mode of belief-acquisition, and does not involve sensation [Lowe] |
| Full Idea: According to one school of thought, perception is simply a mode of belief-acquisition,and there is no reason to suppose that any element of sensation is literally involved in perception. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.3) | |
| A reaction: Blindsight would be an obvious supporting case for this view. I think this point is crucial in understanding what is wrong with Jackson's 'knowledge argument' (involving Mary, see Idea 7377). Sensation gives knowledge, so it can't be knowledge. |
| 7711 | Science requires a causal theory - perception of an object must be an experience caused by the object [Lowe] |
| Full Idea: Only a causal theory of perception will respect the facts of physiology and physics ...meaning a theory which maintains that for a subject to perceive a physical object the subject should enjoy some appropriate perceptual experience caused by the object. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.3) | |
| A reaction: If I hallucinate an object, then presumably I am not allowed to say that I 'perceive' it, but that seems to make the causal theory an idle tautology. If we are in virtual reality then there aren't any objects. |
| 4610 | Different generations focus on either the quality of mind, or its scientific standing, or the content of thought [Heil] |
| Full Idea: One generation addresses the qualitative aspect of mentality, the next focuses on its scientific standing, its successor takes up the problem of mental content, then the cycle starts all over again… | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: This pinpoints the three interlinked questions. We seem to be currently obsessed with the quality of experience (the 'Hard Question'), but the biggest questions is how the three aspects fit together. If there are three necessities here, they must coexist. |
| 4618 | If minds are realised materially, it looks as if the material laws will pre-empt any causal role for mind [Heil] |
| Full Idea: If a mental property is realised by a material property, then it looks as though its material realiser pre-empts any causal contribution on the part of the realised mental property. | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: This has a beautiful simplicity about it. I can see how some very odd phenomena might suddenly appear out of a physical combination, but not how entirely new causal laws can be created. |
| 4621 | Whatever exists has qualities, so it is no surprise that states of minds have qualities [Heil] |
| Full Idea: Whatever exists has qualities, so it is no surprise that states of minds have qualities. | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: If only I knew what a 'quality' was. Do combinations have qualities in addition to the qualities of the components? A pair of trees, a pile of sand, a mass of neurons. |
| 4623 | Propositional attitudes are not the only intentional states; there is also mental imagery [Heil] |
| Full Idea: Some philosophers have thought that intentional states are exhausted by propositional attitudes, but what about mental imagery? You may have propositional attitudes to food, but I would wager that most of your thoughts about it are imagistic. | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: Seems right. If I encounter an object by which I am bewildered, I may form no propositions at all about it, but I can still contemplate the object. |
| 4626 | The widespread externalist view says intentionality has content because of causal links of agent to world [Heil] |
| Full Idea: The prevailing 'externalist' line on intentionality regards intentional states of mind as owing their content (what they are of, or about) to causal relations agents bear to the world. | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: This goes back to Putnam's Twin Earth. 'Meanings aren't in the head'. I may defer to experts about what 'elm' means, but I may also be arrogantly wrong about what 'juniper' means. |
| 4622 | Error must be possible in introspection, because error is possible in all judgements [Heil] |
| Full Idea: Error, like truth, presupposes judgement. Judgements you make about your conscious states are distinct from those states. This leaves room for error. | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: This sounds very neat. The reply would have to be that a lot of introspection is not judgement, but direct perception of self-evident facts and truths. I agree with Heil. |
| 7714 | Personal identity is a problem across time (diachronic) and at an instant (synchronic) [Lowe] |
| Full Idea: There is the question of the identity of a person over or across time ('diachronic' personal identity), and there is also the question of what makes for personal identity at a time ('synchronic' personal identity). | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.5) | |
| A reaction: This seems to me to be the first and most important distinction in the philosophy of personal identity, and they regularly get run together. Locke, for example, has an account of synchronic identity, which is often ignored. It applies to objects too. |
| 4590 | If causation is just regularities in events, the interaction of mind and body is not a special problem [Heil] |
| Full Idea: If causal relations boil down to nothing more than regularities (as Hume suggests), then it is a mistake to regard the absence of a mechanism or causal link between mental events and material events as a special problem. | |
| From: John Heil (Philosophy of Mind [1998], Ch.2) | |
| A reaction: So critics of Descartes who were baffled by interaction, were actually sniffing Hume's wholesale scepticism about necessary causation. Even so, physical conjunction is more tangible than spiritual conjunction. |
| 4614 | Disposition is a fundamental feature of reality, since basic particles are capable of endless possible interactions [Heil] |
| Full Idea: If there are elementary particles, then they are certainly capable of endless interactions beyond those in which they actually engage. Everything points to dispositionality being a fundamental feature of our world. | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: I'm not convinced that my ontology has to include something called a 'disposition'. Dispositions are the consequence of how things are. Are there passive dispositions? |
| 4595 | No mental state entails inevitable behaviour, because other beliefs or desires may intervene [Heil] |
| Full Idea: Any attempt to say what behaviour follows from a given state of mind can be shown to be false by producing an example in which the state of mind is present but, owing to the addition of new beliefs and desires, the behaviour does not follow. | |
| From: John Heil (Philosophy of Mind [1998], Ch.3) | |
| A reaction: The objection seems misplaced against eliminative behaviourism, because there are held to be no mental states to correlate with the behavior. There is just behaviour, some times the same, sometimes different. |
| 3192 | Basic logic can be done by syntax, with no semantics [Gödel, by Rey] |
| Full Idea: Gödel in his completeness theorem for first-order logic showed that a certain set of syntactically specifiable rules was adequate to capture all first-order valid arguments. No semantics (e.g. reference, truth, validity) was necessary. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Georges Rey - Contemporary Philosophy of Mind 8.2 | |
| A reaction: This implies that a logic machine is possible, but we shouldn't raise our hopes for proper rationality. Validity can be shown for purely algebraic arguments, but rationality requires truth as well as validity, and that needs propositions and semantics. |
| 4599 | Hearts are material, but functionalism says the property of being a heart is not a material property [Heil] |
| Full Idea: Although your heart is a material object, the property of being a heart is, if we accept the functionalist picture, not a material property. | |
| From: John Heil (Philosophy of Mind [1998], Ch.4) | |
| A reaction: Presumably functional properties are not physical because they are multiply realisable. The property of being a heart is more like a theoretical flow diagram than it is like a muscle. That word 'property' again… |
| 4624 | If you are a functionalist, there appears to be no room for qualia [Heil] |
| Full Idea: If you are a functionalist, there appears to be no room for qualia. | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: The problem is not that qualia must be denied, but that there is strong pressure to class them as epiphenomena. However, a raw colour can have a causal role (e.g. in an art gallery). Best to say (with Chalmers?) that functions cause qualia? |
| 4601 | Higher-level sciences cannot be reduced, because their concepts mark boundaries invisible at lower levels [Heil] |
| Full Idea: The categories definitive of a given science mark off boundaries that are largely invisible within science at lower levels. That is why there is, in general, no prospect of reducing a higher-level science to a science at some lower level. | |
| From: John Heil (Philosophy of Mind [1998], Ch.4) | |
| A reaction: This sounds slick, but I am unconvinced. Molecules only exist at the level of chemistry, but they are built up out of physics, and the 'boundaries' could be explained in physics, if you had the knowledge and patience. |
| 4602 | Higher-level sciences designate real properties of objects, which are not reducible to lower levels [Heil] |
| Full Idea: The categories embedded in a higher-level science (psychology, for instance) designate genuine properties of objects, which are not reducible to properties found in sciences at lower levels. | |
| From: John Heil (Philosophy of Mind [1998], Ch.4) | |
| A reaction: This isn't an argument against reductionism. It is obviously true that someone with a physics degree won't make a good doctor. It's these wretched 'property' things again. Is 'found repulsive by me' a property terrorists? |
| 4593 | 'Property dualism' says mind and body are not substances, but distinct families of properties [Heil] |
| Full Idea: 'Property dualism' is the view according to which the mental and the physical are not distinguishable kinds of substance, but distinct families of properties. | |
| From: John Heil (Philosophy of Mind [1998], Ch.2 n) | |
| A reaction: I am struggling to make sense of properties being in distinct families. If it is like smells and colours, it doesn't say much, and if the difference is more profound then it begins to look like old-fashioned dualism in disguise. |
| 4597 | Early identity theory talked of mind and brain 'processes', but now the focus is properties [Heil] |
| Full Idea: The early identity theorists talked of identifying mental processes with brain processes, but I am now proposing it as a theory about properties. | |
| From: John Heil (Philosophy of Mind [1998], Ch.3) | |
| A reaction: Since a process is presumably composed of more basic ontological ingredients, this is presumably a good move, but there is still a vagueness about the whole concept of a 'property'. |
| 4609 | It seems contradictory to be asked to believe that we can be eliminativist about beliefs [Heil] |
| Full Idea: Some have argued that eliminativism about propositional attitudes is self-refuting. If no one believes anything, then how could we believe the eliminativist thesis? | |
| From: John Heil (Philosophy of Mind [1998], Ch.5) | |
| A reaction: Sounds slick, but it doesn't strike me as a big problem. Presumably you don't 'believe' eliminativism. You treat some of your brain processes as if they fell into the fictional category of 'belief'. |
| 4596 | The appeal of the identity theory is its simplicity, and its solution to the mental causation problem [Heil] |
| Full Idea: The identity theory is preferable to dualism since 1) if mental events are neurological, it is easy to explain causal relations between them, and 2) if we can account for mental phenomena by reference to brains and their properties, we don't need minds. | |
| From: John Heil (Philosophy of Mind [1998], Ch.3) | |
| A reaction: One might add that it fits into the overall scientific world, and permits the possible closure of physics. The challenge is that identity theory must 'save the phenomena'. |
| 4598 | Functionalists emphasise that mental processes are not to be reduced to what realises them [Heil] |
| Full Idea: The functionalists' point is that higher-level properties like being in pain or computing the sum of 7 and 5 are not to be identified with ("reduced to") or mistaken for their realisers. | |
| From: John Heil (Philosophy of Mind [1998], Ch.4) | |
| A reaction: I take it that functionalist minds can't be reduced because they are abstractions rather than physical entities. Nevertheless, the implied ontology seems to be entirely physical, and hence in some sense reductionist. |
| 4619 | 'Multiple realisability' needs to clearly distinguish low-level realisers from what is realised [Heil] |
| Full Idea: Proponents of multiple realisability regard it as vital to distinguish realised, higher-level properties from their lower-level realisers. | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: So that the very idea of 'multiple realisability' begs the question. Minds are private, so it is never clear what has been realised, especially in non-linguistic brains. |
| 4620 | Multiple realisability is not a relation among properties, but an application of predicates to resembling things [Heil] |
| Full Idea: Multiple realisability is not a relation among properties; it is the phenomenon of predicates applying to objects in virtue of distinct, though pertinently similar, properties possessed by those objects. | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: The analogies for multiple realisability usually involve functions rather than properties or predicates (different types of corkscrew). Pain or belief in danger are not just 'predicates'. |
| 4594 | A scientist could know everything about the physiology of headaches, but never have had one [Heil] |
| Full Idea: Imagine a neuroscientist who is intimately familiar with the physiology of headaches, but who has never actually experienced a headache. | |
| From: John Heil (Philosophy of Mind [1998], Ch.3) | |
| A reaction: A more realistic version of Frank Jackson's 'Mary'. Doctors need to know that headaches are unpleasant; what they actually feel like seems irrelevant (epiphenomenal). What's it like to only have two pairs of shoes? |
| 4625 | Is mental imagery pictorial, or is it propositional? [Heil] |
| Full Idea: A fierce debate has raged between proponents of 'pictorial' conceptions of imagery (Kosslyn) and those who take imagery to be propositional (Pylyshyn). | |
| From: John Heil (Philosophy of Mind [1998], Ch.6) | |
| A reaction: This may not be a simple dilemma. Pure pictorial imagery seem possible (abstract patterns) and pure propositions are okay (maths), but in most thought they are inextricable. The image is the proposition (a nuclear cloud). |
| 4607 | Folk psychology and neuroscience are no more competitors than cartography and geology are [Heil] |
| Full Idea: Folk psychology and neuroscience are not competitors, any more than cartography and geology are competitors. | |
| From: John Heil (Philosophy of Mind [1998], Ch.5) | |
| A reaction: This seems true enough, unless someone like Fodor claims that the correct way to do neuroscience is to try to explicate folk psychology categories in terms of brain function. Folk psychology is fine for folk. |
| 7715 | Mentalese isn't a language, because it isn't conventional, or a means of public communication [Lowe] |
| Full Idea: 'Mentalese' would be neither conventional nor a means of public communication so that even to call it a language is seriously misleading. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.7) | |
| A reaction: It is, however, supposed to contain symbolic representations which are then used as tokens for computation, so it seems close to a language, if (for example) symbolic logic or mathematics were accepted as languages. But who understands it? |
| 7722 | If meaning is mental pictures, explain "the cat (or dog!) is NOT on the mat" [Lowe] |
| Full Idea: If meaning is a private mental picture, what does 'the cat is NOT on the mat' mean, and how does it differ from 'the dog is not on the mat?'. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.7) | |
| A reaction: Not insurmountable. We picture an empty mat, combined with a cat (or whatever) located somewhere else. A mental 'picture' of something shouldn't be contrued as a single image in a neat black frame. |
| 4605 | Truth-conditions correspond to the idea of 'literal meaning' [Heil] |
| Full Idea: I intend the notion of truth-conditions to correspond to what I have called 'literal meaning'. | |
| From: John Heil (Philosophy of Mind [1998], Ch.5) | |
| A reaction: Yes. If I identify myself to you by saying "the spam is in the fridge", that always has a literal meaning (which we assemble from the words), as well as connotation in this particular context. |
| 4606 | To understand 'birds warble' and 'tigers growl', you must also understand 'tigers warble' [Heil] |
| Full Idea: There is something puzzling about the notion that someone could understand the sentences "birds warble" and "tigers growl", yet have no idea what the sentence "tigers warble" meant. | |
| From: John Heil (Philosophy of Mind [1998], Ch.5) | |
| A reaction: True enough, but this need not imply the full thesis of linguistic holism. Words are assembled like bricks. I know tigers might warble, but stones don't. Might fish warble? Or volcanoes? I must know that 'birds warble' is not a tautology. |
| 4604 | If propositions are abstract entities, how do human beings interact with them? [Heil] |
| Full Idea: Anyone who takes propositions to be abstract entities owes the rest of us an account of how human beings could interact with such things. | |
| From: John Heil (Philosophy of Mind [1998], Ch.5) | |
| A reaction: He makes this sound impossible, but that would mean that all abstraction is impossible, and there are no such things as ideas and concepts. In the end something has to be miraculous, so let it be our ability to think about abstractions. |