65 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. |
| 1708 | In "Callias is just/not just/unjust", which of these are contraries? [Aristotle] |
| Full Idea: Take, for example, "Callias is just", "Callias is not just", and "Callias is unjust"; which of these are contraries? | |
| From: Aristotle (On Interpretation [c.330 BCE], 23a31) |
| 10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
| Full Idea: Impredicative Definitions are definitions of an object by reference to the totality to which the object itself (and perhaps also things definable only in terms of that object) belong. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], n 13) |
| 1703 | It is necessary that either a sea-fight occurs tomorrow or it doesn't, though neither option is in itself necessary [Aristotle] |
| Full Idea: It is not necessary for a sea-battle to take place tomorrow, nor for one not to take place tomorrow - though it is necessary for one to take place OR not take place tomorrow. | |
| From: Aristotle (On Interpretation [c.330 BCE], 19a30) |
| 1704 | Statements are true according to how things actually are [Aristotle] |
| Full Idea: Statements are true according to how things actually are. | |
| From: Aristotle (On Interpretation [c.330 BCE], 19a33) |
| 22272 | Aristotle's later logic had to treat 'Socrates' as 'everything that is Socrates' [Potter on Aristotle] |
| Full Idea: When Aristotle moved from basic name+verb (in 'De Interpretatione') to noun+noun logic...names had to be treated as special cases, so that 'Socrates' is treated as short for 'everything that is Socrates'. | |
| From: comment on Aristotle (On Interpretation [c.330 BCE]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Supp' | |
| A reaction: Just the sort of rewriting that Russell introduced for definite descriptions. 'Twas ever the logicians' fate to shoehorn ordinary speech into awkward containers. |
| 9405 | Square of Opposition: not both true, or not both false; one-way implication; opposite truth-values [Aristotle] |
| Full Idea: Square of Opposition: horizontals - 'contraries' can't both be true, and 'subcontraries' can't both be false; verticals - 'subalternatives' have downwards-only implication; diagonals - 'contradictories' have opposite truth values. | |
| From: Aristotle (On Interpretation [c.330 BCE], Ch.12-13) | |
| A reaction: This is still used in modern discussion (e.g. by Stalnaker against Kripke), and there is a modal version of it (Fitting and Mendelsohn p.7). Corners read: 'All F are G', 'No F are G', 'Some F are G' and 'Some F are not G'. |
| 9728 | Modal Square 1: □P and ¬◊¬P are 'contraries' of □¬P and ¬◊P [Aristotle, by Fitting/Mendelsohn] |
| Full Idea: Modal Square of Opposition 1: 'It is necessary that P' and 'It is not possible that not P' are the contraries (not both true) of 'It is necessary that not P' and 'It is not possible that P'. | |
| From: report of Aristotle (On Interpretation [c.330 BCE], Ch.12a) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4 |
| 9729 | Modal Square 2: ¬□¬P and ◊P are 'subcontraries' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
| Full Idea: Modal Square of Opposition 2: 'It is not necessary that not P' and 'It is possible that P' are the subcontraries (not both false) of 'It is not necessary that P' and 'It is possible that not P'. | |
| From: report of Aristotle (On Interpretation [c.330 BCE], Ch.12b) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4 |
| 9730 | Modal Square 3: □P and ¬◊¬P are 'contradictories' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
| Full Idea: Modal Square of Opposition 3: 'It is necessary that P' and 'It is not possible that not P' are the contradictories (different truth values) of 'It is not necessary that P' and 'It is possible that not P'. | |
| From: report of Aristotle (On Interpretation [c.330 BCE], Ch.12c) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4 |
| 9731 | Modal Square 4: □¬P and ¬◊P are 'contradictories' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn] |
| Full Idea: Modal Square of Opposition 4: 'It is necessary that not P' and 'It is not possible that P' are the contradictories (different truth values) of 'It is not necessary that not P' and 'It is possible that P'. | |
| From: report of Aristotle (On Interpretation [c.330 BCE], Ch.12d) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4 |
| 9732 | Modal Square 5: □P and ¬◊¬P are 'subalternatives' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn] |
| Full Idea: Modal Square of Opposition 5: 'It is necessary that P' and 'It is not possible that not P' are the subalternatives (first implies second) of 'It is not necessary that not P' and 'It is possible that P'. | |
| From: report of Aristotle (On Interpretation [c.330 BCE], Ch.12e) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4 |
| 9733 | Modal Square 6: □¬P and ¬◊P are 'subalternatives' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
| Full Idea: Modal Square of Opposition 6: 'It is necessary that not P' and 'It is not possible that P' are the subalternatives (first implies second) of 'It is not necessary that P' and 'It is possible that not P'. | |
| From: report of Aristotle (On Interpretation [c.330 BCE], Ch.12f) by M Fitting/R Mendelsohn - First-Order Modal Logic 1.4 |
| 21716 | In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B] |
| Full Idea: In the superior realist and simple theory of types, the place of the axiom of reducibility is not taken by the axiom of classes, Zermelo's Aussonderungsaxiom. | |
| From: report of Kurt Gödel (Russell's Mathematical Logic [1944], p.140-1) by Bernard Linsky - Russell's Metaphysical Logic 6.1 n3 | |
| A reaction: This is Zermelo's Axiom of Separation, but that too is not an axiom of standard ZFC. |
| 10035 | Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel] |
| Full Idea: 'Mathematical Logic' is a precise and complete formulation of formal logic, and is both a section of mathematics covering classes, relations, symbols etc, and also a science prior to all others, with ideas and principles underlying all sciences. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.447) | |
| A reaction: He cites Leibniz as the ancestor. In this database it is referred to as 'theory of logic', as 'mathematical' seems to be simply misleading. The principles of the subject are standardly applied to mathematical themes. |
| 21593 | In talking of future sea-fights, Aristotle rejects bivalence [Aristotle, by Williamson] |
| Full Idea: Unlike Aristotle, Stoics did not reject Bivalence for future contingencies; it is true or false that there will be a sea-fight tomorrow. | |
| From: report of Aristotle (On Interpretation [c.330 BCE], 19a31) by Timothy Williamson - Vagueness 1.2 | |
| A reaction: I'd never quite registered this simple account of the sea-fight. As Williamson emphasises, one should not lightly reject the principle of bivalence. Has Aristotle entered a slippery slope? Stoics disagreed with Aristotle. |
| 1701 | A prayer is a sentence which is neither true nor false [Aristotle] |
| Full Idea: A prayer is a sentence which is neither true nor false. | |
| From: Aristotle (On Interpretation [c.330 BCE], 17a01) |
| 10042 | Reference to a totality need not refer to a conjunction of all its elements [Gödel] |
| Full Idea: One may, on good grounds, deny that reference to a totality necessarily implies reference to all single elements of it or, in other words, that 'all' means the same as an infinite logical conjunction. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.455) |
| 10038 | A logical system needs a syntactical survey of all possible expressions [Gödel] |
| Full Idea: In order to be sure that new expression can be translated into expressions not containing them, it is necessary to have a survey of all possible expressions, and this can be furnished only by syntactical considerations. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.448) | |
| A reaction: [compressed] |
| 10046 | The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel] |
| Full Idea: The generalized Continuum Hypothesis says that there exists no cardinal number between the power of any arbitrary set and the power of the set of its subsets. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.464) |
| 10039 | Some arithmetical problems require assumptions which transcend arithmetic [Gödel] |
| Full Idea: It has turned out that the solution of certain arithmetical problems requires the use of assumptions essentially transcending arithmetic. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.449) | |
| A reaction: A nice statement of the famous result, from the great man himself, in the plainest possible English. |
| 10043 | Mathematical objects are as essential as physical objects are for perception [Gödel] |
| Full Idea: Classes and concepts may be conceived of as real objects, ..and are as necessary to obtain a satisfactory system of mathematics as physical bodies are necessary for a satisfactory theory of our sense perceptions, with neither case being about 'data'. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.456) | |
| A reaction: Note that while he thinks real objects are essential for mathematics, be may not be claiming the same thing for our knowledge of logic. If logic contains no objects, then how could mathematics be reduced to it, as in logicism? |
| 10045 | Impredicative definitions are admitted into ordinary mathematics [Gödel] |
| Full Idea: Impredicative definitions are admitted into ordinary mathematics. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.464) | |
| A reaction: The issue is at what point in building an account of the foundations of mathematics (if there be such, see Putnam) these impure definitions should be ruled out. |
| 1706 | Non-existent things aren't made to exist by thought, because their non-existence is part of the thought [Aristotle] |
| Full Idea: It is not true to say that what is not, since it is thought about, is something that is; for what is thought about it is not that it is, but that it is not. | |
| From: Aristotle (On Interpretation [c.330 BCE], 21a31) | |
| A reaction: At least there has been one philosopher who was quite clear about the distinction between a thought and what the thought is about (its content). Often forgotten! |
| 1707 | Maybe necessity and non-necessity are the first principles of ontology [Aristotle] |
| Full Idea: Perhaps the necessary and non-necessary are first principles of everything's either being or not being. | |
| From: Aristotle (On Interpretation [c.330 BCE], 23a18) |
| 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. |
| 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. |
| 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). |
| 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. |
| 2337 | For Aristotle meaning and reference are linked to concepts [Aristotle, by Putnam] |
| Full Idea: In 'De Interpretatione' Aristotle laid out an enduring theory of reference and meaning, in which we understand a word or any other sign by associating that word with a concept. This concept determines what the word refers to. | |
| From: report of Aristotle (On Interpretation [c.330 BCE]) by Hilary Putnam - Representation and Reality 2 p.19 | |
| A reaction: Sounds right to me, despite all this Wittgensteinian stuff about beetles in boxes. When you meet a new technical term in philosophy, you must struggle to fully grasp the concept it proposes. |
| 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. |
| 13763 | Spoken sounds vary between people, but are signs of affections of soul, which are the same for all [Aristotle] |
| Full Idea: Spoken sounds are symbols of affections in the soul, ...and just as written marks are not the same for all men, neither are spoken sounds. But what these are in the first place signs of - affections of the soul - are the same for all. | |
| From: Aristotle (On Interpretation [c.330 BCE], 16a03-08) | |
| A reaction: Loux identifies this passage as the source of the 'conceptualist' view of propositions, which I immediately identify with. The view that these propositions are 'the same for all' is plausible for normal objects, but dubious for complex abstractions. |
| 1705 | It doesn't have to be the case that in opposed views one is true and the other false [Aristotle] |
| Full Idea: It is not necessary that of every affirmation and opposite negation one should be true and the other false. For what holds for things that are does not hold for things that are not but may possibly be or not be. | |
| From: Aristotle (On Interpretation [c.330 BCE], 19a39) | |
| A reaction: Thus even if Bivalence holds, and the only truth-values are T and F, it doesn't follow that Excluded Middle holds, which says that every proposition must have one of those two values. |
| 1702 | Things may be necessary once they occur, but not be unconditionally necessary [Aristotle] |
| Full Idea: To say that everything that is, is of necessity, when it is, is not the same as saying unconditionally that it is of necessity. | |
| From: Aristotle (On Interpretation [c.330 BCE], 19a25) |