68 ideas
| 17651 | Without words or other symbols, we have no world [Goodman] |
| Full Idea: We can have words without a world but no world without words or other symbols. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.3) | |
| A reaction: Goodman seems to have a particularly extreme version of the commitment to philosophy as linguistic. Non-human animals have no world, it seems. |
| 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. |
| 17652 | Truth is irrelevant if no statements are involved [Goodman] |
| Full Idea: Truth pertains solely to what is said ...For nonverbal versions and even for verbal versions without statements, truth is irrelevant. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.5) | |
| A reaction: Goodman is a philosopher of language (like Dummett), but I am a philosopher of thought (like Evans). The test, for me, is whether truth is applicable to the thought of non-human animals. I take it to be obvious that it is applicable. |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| Full Idea: While truth can be defined in a relative way, as truth in one particular model, a non-relative notion of truth is implied, as truth in all models. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: [The article is actually discussing arithmetic] This idea strikes me as extremely important. True-in-all-models is usually taken to be tautological, but it does seem to give a more universal notion of truth. See semantic truth, Tarski, Davidson etc etc. |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| Full Idea: In standard ZFC ('Zermelo-Fraenkel with Choice') set theory we deal merely with pure sets, not with additional urelements. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: The 'urelements' would the actual objects that are members of the sets, be they physical or abstract. This idea is crucial to understanding philosophy of mathematics, and especially logicism. Must the sets exist, just as the urelements do? |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| Full Idea: In second-order logic there are three kinds of variables, for objects, for functions, and for predicates or sets. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: It is interesting that a predicate seems to be the same as a set, which begs rather a lot of questions. For those who dislike second-order logic, there seems nothing instrinsically wicked in having variables ranging over innumerable multi-order types. |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| Full Idea: 'Analysis' is the theory of the real numbers. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: 'Analysis' began with the infinitesimal calculus, which later built on the concept of 'limit'. A continuum of numbers seems to be required to make that work. |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| Full Idea: The difficulties for a nominalistic mereological approach to arithmetic is that an infinity of physical objects are needed (space-time points? strokes?), and it must define functions, such as 'successor'. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: Many ontologically austere accounts of arithmetic are faced with the problem of infinity. The obvious non-platonist response seems to be a modal or if-then approach. To postulate infinite abstract or physical entities so that we can add 3 and 2 is mad. |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| Full Idea: A common formulation of Peano Arithmetic uses 2nd-order logic, the constant '1', and a one-place function 's' ('successor'). Three axioms then give '1 is not a successor', 'different numbers have different successors', and induction. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: This is 'second-order' Peano Arithmetic, though it is at least as common to formulate in first-order terms (only quantifying over objects, not over properties - as is done here in the induction axiom). I like the use of '1' as basic instead of '0'! |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| Full Idea: The merits of basing an account of mathematics on set theory are that it allows for a comprehensive unified treatment of many otherwise separate branches of mathematics, and that all assumption, including existence, are explicit in the axioms. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: I am forming the impression that set-theory provides one rather good model (maybe the best available) for mathematics, but that doesn't mean that mathematics is set-theory. The best map of a landscape isn't a landscape. |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| Full Idea: Structuralism has emerged from the development of abstract algebra (such as group theory), the creation of axiom systems, the introduction of set theory, and Bourbaki's encyclopaedic survey of set theoretic structures. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: In other words, mathematics has gradually risen from one level of abstraction to the next, so that mathematical entities like points and numbers receive less and less attention, with relationships becoming more prominent. |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| Full Idea: Relativist Structuralism simply picks one particular model of axiomatised arithmetic (i.e. one particular interpretation that satisfies the axioms), and then stipulates what the elements, functions and quantifiers refer to. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: The point is that a successful model can be offered, and it doesn't matter which one, like having any sort of aeroplane, as long as it flies. I don't find this approach congenial, though having a model is good. What is the essence of flight? |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| Full Idea: The term 'structure' has two uses in the literature, what can be called 'particular structures' (which are particular relational systems), but also what can be called 'universal structures' - what particular systems share, or what they instantiate. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §6) | |
| A reaction: This is a very helpful distinction, because it clarifies why (rather to my surprise) some structuralists turn out to be platonists in a new guise. Personal my interest in structuralism has been anti-platonist from the start. |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| Full Idea: According to 'pattern' structuralism, what we study are not the various particular isomorphic models of arithmetic, but something in addition to them: a corresponding pattern. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §7) | |
| A reaction: Put like that, we have to feel a temptation to wield Ockham's Razor. It's bad enough trying to give the structure of all the isomorphic models, without seeking an even more abstract account of underlying patterns. But patterns connect to minds.. |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| Full Idea: There are four main variants of structuralism in the philosophy of mathematics - formalist structuralism, relativist structuralism, universalist structuralism (with modal variants), and pattern structuralism. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §9) | |
| A reaction: I'm not sure where Chihara's later book fits into this, though it is at the nominalist end of the spectrum. Shapiro and Resnik do patterns (the latter more loosely); Hellman does modal universalism; Quine does the relativist version. Dedekind? |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| Full Idea: Formalist Structuralism endorses structural methodology in mathematics, but rejects semantic and metaphysical problems as either meaningless, or purely formal, or as inference relations. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §3) | |
| A reaction: [very compressed] I find the third option fairly congenial, certainly in preference to rather platonist accounts of structuralism. One still needs to distinguish the mathematical from the non-mathematical in the inference relations. |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| Full Idea: It is tempting to take a modal turn, and quantify over all possible objects, because if there are only a finite number of actual objects, then there are no models (of the right sort) for Peano Arithmetic, and arithmetic is vacuously true. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: [compressed; Geoffrey Hellman is the chief champion of this view] The article asks whether we are not still left with the puzzle of whether infinitely many objects are possible, instead of existent. |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| Full Idea: Universalist Structuralism is a semantic thesis, that an arithmetical statement asserts a universal if-then statement. We build an if-then statement (using quantifiers) into the structure, and we generalise away from any one particular model. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: There remains the question of what is distinctively mathematical about the highly generalised network of inferences that is being described. Presumable the axioms capture that, but why those particular axioms? Russell is cited as an originator. |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| Full Idea: Universalist Structuralism is eliminativist about abstract objects, in a distinctive form. Instead of treating the base element (say '1') as an ambiguous referring expression (the Relativist approach), it is a variable which is quantified out. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: I am a temperamental eliminativist on this front (and most others) so this is tempting. I am also in love with the concept of a 'variable', which I take to be utterly fundamental to all conceptual thought, even in animals, and not just a trick of algebra. |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| Full Idea: Relativist Structuralism must first assume the existence of an infinite set, otherwise there would be no model to pick, and arithmetical terms would have no reference. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: See Idea 10169 for Relativist Structuralism. They point out that ZFC has an Axiom of Infinity. |
| 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? |
| 17656 | Being primitive or prior always depends on a constructional system [Goodman] |
| Full Idea: Nothing is primitive or derivationally prior to anything apart from a constructional system. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.4c) | |
| A reaction: Something may be primitive not just because we can't be bothered to analyse it any further, but because even God couldn't analyse it. Maybe. |
| 17661 | We don't recognise patterns - we invent them [Goodman] |
| Full Idea: Recognising patterns is very much a matter of inventing or imposing them. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.7) | |
| A reaction: I take this to be false. |
| 17659 | Reality is largely a matter of habit [Goodman] |
| Full Idea: Reality in a world, like realism in a picture, is largely a matter of habit. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.6) | |
| A reaction: I'm a robust realist, me, but I sort of see what he means. We become steeped in unspoken conventions about how we take our world to be, and filter out anything that conflicts with it. |
| 17657 | We build our world, and ignore anything that won't fit [Goodman] |
| Full Idea: We dismiss as illusory or negligible what cannot be fitted into the architecture of the world we are building. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.4d) | |
| A reaction: I'm trying to think of an example of this, but can't. Maybe poor people are invisible to the rich? |
| 17654 | A world can be full of variety or not, depending on how we sort it [Goodman] |
| Full Idea: A world may be unmanageably heterogeneous or unbearably monotonous according to how events are sorted into kinds. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.4a) | |
| A reaction: We might expect this from the man who invented 'grue', which allows you to classify things that change colour with things that don't. Could you describe a bird as 'might have been a fish', and classify it with fish? ('Projectible'?) |
| 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. |
| 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? |
| 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'). |
| 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. |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| Full Idea: One way for a nominalist to reject appeal to all abstract objects, including sets, is to only appeal to nominalistically acceptable objects, including mereological sums. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: I'm suddenly thinking that this looks very interesting and might be the way to go. The issue seems to be whether mereological sums should be seen as constrained by nature, or whether they are unrestricted. See Mereology in Ontology...|Intrinsic Identity. |
| 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. |
| 17653 | Things can only be judged the 'same' by citing some respect of sameness [Goodman] |
| Full Idea: Identification rests upon organization into entities and kinds. The response to the question 'Same or not the same?' must always be 'Same what?'. ...Identity or constancy in a world is identity with respect to what is within that world as organised. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.4a) | |
| A reaction: And the gist of his book is that 'organised' is done by us, not by the world. He seems to be committed to the full Geachean relative identity, rather than the mere Wigginsian relative individuation. An unfashionable view! |
| 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). |
| 17660 | Discovery is often just finding a fit, like a jigsaw puzzle [Goodman] |
| Full Idea: Discovery often amounts, as when I place a piece in a jigsaw puzzle, not to arrival at a proposition for declaration or defense, but to finding a fit. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.7) | |
| A reaction: I find Goodman's views here pretty alien, but I like this bit. Coherence really rocks. |
| 17658 | Users of digital thermometers recognise no temperatures in the gaps [Goodman] |
| Full Idea: To use a digital thermometer with readings in tenths of a degree is to recognise no temperature as lying between 90 and 90.1 degrees. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.4d) | |
| A reaction: This appears to be nonsense, treating users of digital thermometers as if they were stupid. No one thinks temperatures go up and down in quantum leaps. We all know there is a gap between instrument and world. (Very American, I'm thinking!) |
| 17650 | We lack frames of reference to transform physics, biology and psychology into one another [Goodman] |
| Full Idea: We have no neat frames of reference, no ready rules for transforming physics, biology and psychology into one another. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.2) |
| 17655 | Grue and green won't be in the same world, as that would block induction entirely [Goodman] |
| Full Idea: Grue cannot be a relevant kind for induction in the same world as green, for that would preclude some of the decisions, right or wrong, that constitute inductive inference. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.4b) | |
| A reaction: This may make 'grue' less mad than I thought it was. I always assume we are slicing the world as 'green, blue and grue'. I still say 'green' is a basic predicate of experience, but 'grue' is amenable to analysis. |
| 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. |
| 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. |
| 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. |
| 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. |
| 17649 | If the world is one it has many aspects, and if there are many worlds they will collect into one [Goodman] |
| Full Idea: If there is but one world, it embraces a multiplicity of contrasting aspects; if there are many worlds, the collection of them all is one. One world may be taken as many, or many worlds taken as one; whether one or many depends on the way of taking. | |
| From: Nelson Goodman (Ways of Worldmaking [1978], 1.2) | |
| A reaction: He cites 'The Pluralistic Universe' by William James for this idea. The idea is that the distinction 'evaporates under analysis'. Parmenides seems to have thought that no features could be distinguished in the true One. |