128 ideas
| 1597 | Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales] |
| Full Idea: Thales was the first thinker in the west to believe that the arché (the basis of things) was intelligible. | |
| From: comment on Thales (fragments/reports [c.585 BCE]) by David Roochnik - The Tragedy of Reason p.138 |
| 12865 | Analytic philosophers may prefer formal systems because natural language is such mess [Simons] |
| Full Idea: The untidiness of natural language in its use of 'part' is perhaps one of the chief reasons why mereolologists have preferred to investigate formal systems with nice algebraic properties rather than get out and mix it with reality in all its messiness. | |
| From: Peter Simons (Parts [1987], 6.4) | |
| A reaction: [See Idea 12864 for the uses of 'part'] I am in the unhappy (and probably doomed) position of wanting to avoid both approaches. I try to operate as if the English language were transparent and we can just discuss the world. Very naïve. |
| 7001 | If you begin philosophy with language, you find yourself trapped in it [Heil] |
| Full Idea: If you start with language and try to work your way outwards, you will never get outside language. | |
| From: John Heil (From an Ontological Point of View [2003], Pref) | |
| A reaction: This voices my pessimism about the linguistic approach to philosophy (and I don't just mean analysis of ordinary language), though I wonder if the career of (say) John Searle is a counterexample. |
| 7038 | A theory with few fundamental principles might still posit a lot of entities [Heil] |
| Full Idea: It could well turn out that a simpler theory - a theory with fewer fundamental principles - posits more entities than a more complex competitor. | |
| From: John Heil (From an Ontological Point of View [2003], 13.6) | |
| A reaction: See also Idea 4036. The point here is that you can't simply translate Ockham as 'keep it simple', as there are different types of simplicity. The best theory will negotiate a balance between entities and principles. |
| 7037 | Parsimony does not imply the world is simple, but that our theories should try to be [Heil] |
| Full Idea: A commitment to parsimony is not a commitment to a conception of the world as simple. The idea, rather, is that we should not complicate our theories about the world unnecessarily. | |
| From: John Heil (From an Ontological Point of View [2003], 13.6) | |
| A reaction: In other words, Ockham's Razor is about us, not about the world. It would be absurd to make the a priori assumption that the world has to be simple. Are we, though, creating bad theories by insisting that they should be simple? |
| 7004 | The view that truth making is entailment is misguided and misleading [Heil] |
| Full Idea: I argue that the widely held view that truth making is to be understood as entailment is misguided in principle and potentially misleading. | |
| From: John Heil (From an Ontological Point of View [2003], Intro) | |
| A reaction: If reality was just one particle, what would entail the truths about it? Suppose something appears to be self-evident true about reality, but no one can think of any entailments to derive it? Do we assume a priori that they are possible? |
| 7035 | God does not create the world, and then add the classes [Heil] |
| Full Idea: It is hard to see classes as an 'addition of being'; God does not create the world, and then add the classes. | |
| From: John Heil (From an Ontological Point of View [2003], 13.4 n6) | |
| A reaction: This seems right. We may be tempted into believing in the reality of classes when considering maths, but it seems utterly implausible when considering trees or cows. |
| 12832 | Complement: the rest of the Universe apart from some individual, written x-bar [Simons] |
| Full Idea: The 'complement' of each individual in mereology is the rest of the Universe outside it, that is U - x, but written as x-bar [x with a horizontal bar above it]. | |
| From: Peter Simons (Parts [1987], 1.1.10) | |
| A reaction: [Don't have a font for x-bar] See Idea 12831 for the 'Universe'. Simons suggest that the interest of this term is mainly historical and algebraic. |
| 12815 | Classical mereology doesn't apply well to the objects around us [Simons] |
| Full Idea: The most fundamental criticism of classical mereology is that the theory is not applicable to most of the objects around us, and is accordingly of little use as a formal reconstruction of the concepts of part and whole which we actually employ. | |
| From: Peter Simons (Parts [1987], Intro) | |
| A reaction: This sounds splendidly dismissive, but one might compare it with possible worlds semantics for modal logic, which most people take with a pinch of salt as an actual commitment, but find wonderfully clarifying in modal reasoning. |
| 12819 | A 'part' has different meanings for individuals, classes, and masses [Simons] |
| Full Idea: It emerges that 'part', like other formal concepts, is not univocal, but has analogous meanings according to whether we talk of individuals, classes, or masses. | |
| From: Peter Simons (Parts [1987], Intro) | |
| A reaction: He suggests that unrestricted sums are appropriate for the last two, but not for individuals. There must be something univocal about the word - some awareness of a possible whole or larger entity to which the thing could belong. |
| 12834 | Criticisms of mereology: parts? transitivity? sums? identity? four-dimensional? [Simons] |
| Full Idea: Main criticisms of mereology: we don't mean 'part' as improper; transitivity of 'part' is sometimes not transitive; no guarantee that there are 'sums'; the identity criteria for individuals are false; we are forced into materialistic four-dimensionalism. | |
| From: Peter Simons (Parts [1987], 3.2) | |
| A reaction: [Compressed summary; for four-dimensionalism see under 'Identity over Time'] Simons says these are in ascending order of importance. |
| 12824 | Disjoint: two individuals are disjoint iff they do not overlap, written 'x | y' [Simons] |
| Full Idea: Two individuals are 'disjoint' mereologically if and only if they do not overlap, expressed by 'x | y', read as 'x is disjoint from y'. Disjointedness is symmetric. | |
| From: Peter Simons (Parts [1987], 1.1.04) |
| 12822 | Proper or improper part: x < y, 'x is (a) part of y' [Simons] |
| Full Idea: A 'proper or improper part' is expressed by 'x < y', read as 'x is (a) part of y'. The relatively minor deviation from normal usage (of including an improper part, i.e. the whole thing) is warranted by its algebraical convenience. | |
| From: Peter Simons (Parts [1987], 1.1.02) | |
| A reaction: Including an improper part (i.e. the whole thing) is not, Simons points out, uncontroversial, because the part being 'equal' to the whole is read as being 'identical' to the whole, which Simons is unwilling to accept. |
| 12823 | Overlap: two parts overlap iff they have a part in common, expressed as 'x o y' [Simons] |
| Full Idea: Two parts 'overlap' mereologically if and only if they have a part in common, expressed by 'x o y', read as 'x overlaps y'. Overlapping is reflexive and symmetric but not transitive. | |
| From: Peter Simons (Parts [1987], 1.1.03) | |
| A reaction: Simons points out that we are uncomfortable with overlapping (as in overlapping national boundaries), because we seem to like conceptual boundaries. We avoid overlap even in ordering primary colour terms, by having a no-man's-land. |
| 12825 | Product: the product of two individuals is the sum of all of their overlaps, written 'x · y' [Simons] |
| Full Idea: For two overlapping individuals their 'product' is the individual which is part of both and such that any common part of both is part of it, expressed by 'x · y', read as 'the product of x and y'. | |
| From: Peter Simons (Parts [1987], 1.1.05) | |
| A reaction: That is, the 'product' is the sum of any common parts between two individuals. In set theory all sets intersect at the null set, but mereology usually avoids the 'null individual'. |
| 12826 | Sum: the sum of individuals is what is overlapped if either of them are, written 'x + y' [Simons] |
| Full Idea: The 'sum' of two individuals is that individual which something overlaps iff it overlaps at least one of x and y, expressed by 'x + y', read as 'the sum of x and y'. It is central to classical extensional mereologies that any two individuals have a sum. | |
| From: Peter Simons (Parts [1987], 1.1.06) | |
| A reaction: This rather technical definition (defining an individual by the possibility of it being overlapped) does not always coincide with the smallest individual containing them both. |
| 12827 | Difference: the difference of individuals is the remainder of an overlap, written 'x - y' [Simons] |
| Full Idea: The 'difference' of two individuals is the largest individual contained in x which has no part in common with y, expressed by 'x - y', read as 'the difference of x and y'. | |
| From: Peter Simons (Parts [1987], 1.1.07) |
| 12828 | General sum: the sum of objects satisfying some predicate, written σx(Fx) [Simons] |
| Full Idea: The 'general sum' of all objects satisfying a certain predicate is denoted by a variable-binding operator, expressed by 'σx(Fx)', read as 'the sum of objects satisfying F'. | |
| From: Peter Simons (Parts [1987], 1.1.08) | |
| A reaction: This, it seems, is introduced to restrict some infinite classes which aspire to be sums. |
| 12831 | Atom: an individual with no proper parts, written 'At x' [Simons] |
| Full Idea: An 'atom' in mereology is an individual with no proper parts. We shall use the expression 'At x' to mean 'x is an atom'. | |
| From: Peter Simons (Parts [1987], 1.1.11) | |
| A reaction: Note that 'part' in standard mereology includes improper parts, so every object has at least one part, namely itself. |
| 12829 | General product: the nucleus of all objects satisfying a predicate, written πx(Fx) [Simons] |
| Full Idea: The 'general product' or 'nucleus' of all objects satisfying a certain predicate is denoted by a variable-binding operator, expressed by 'πx(Fx)', read as 'the product of objects satisfying F'. | |
| From: Peter Simons (Parts [1987], 1.1.08) | |
| A reaction: See Idea 12825 for 'product'. 'Nucleus' is a helpful word here. Thought: is the general product a candidate for a formal definition of essence? It would be a sortal essence - roughly, what all beetles have in common, just by being beetles. |
| 12830 | Universe: the mereological sum of all objects whatever, written 'U' [Simons] |
| Full Idea: The 'Universe' in mereology is the sum of all objects whatever, a unique individual of which all individuals are part. This is denoted by 'U'. Strictly, there can be no 'empty Universe', since the Universe is not a container, but the whole filling. | |
| From: Peter Simons (Parts [1987], 1.1.09) | |
| A reaction: This, of course, contrasts with set theory, which cannot have a set of all sets. At the lower end, set theory does have a null set, while mereology has no null individual. See David Lewis on combining the two theories. |
| 12844 | Dissective: stuff is dissective if parts of the stuff are always the stuff [Simons] |
| Full Idea: Water is said not to be 'dissective', since there are parts of any quantity of water which are not water. | |
| From: Peter Simons (Parts [1987], 4.2) | |
| A reaction: This won't seem to do for any physical matter, but presumably parts of numbers are always numbers. |
| 12816 | Classical mereology doesn't handle temporal or modal notions very well [Simons] |
| Full Idea: The underlying logic of classical extensional mereology does not have the resources to deal with temporal and modal notions such as temporary part, temporal part, essential part, or essential permanent part. | |
| From: Peter Simons (Parts [1987], Intro) | |
| A reaction: Simons tries to rectify this in the later chapters of his book, with modifications rather than extensions. Since everyone struggles with temporal and modal issues of identity, we shouldn't judge too harshly. |
| 12821 | The part-relation is transitive and asymmetric (and thus irreflexive) [Simons] |
| Full Idea: Formally, the part-relation is transitive and asymmetric (and thus irreflexive). Hence nothing is a proper part of itself, things aren't proper parts of one another, and if one is part of two which is part of three then one is part of three. | |
| From: Peter Simons (Parts [1987], 1.1.1) |
| 18847 | Each wheel is part of a car, but the four wheels are not a further part [Simons] |
| Full Idea: The four wheels of a car are parts of it (each is part of it), but there is not a fifth part consisting of the four wheels. | |
| From: Peter Simons (Parts [1987], 4.6) | |
| A reaction: This raises questions about the transitivity of parthood. If there are parts of parts of wholes, the basic parts are OK, and the whole is OK, but how can there also be an intermediate part? Try counting the parts of this whole! |
| 12813 | Two standard formalisations of part-whole theory are the Calculus of Individuals, and Mereology [Simons] |
| Full Idea: The standardly accepted formal theory of part-whole is classical extensional mereology, which is known in two logical guises, the Calculus of Individuals of Leonard and Goodman, and the Mereology of Lesniewski. | |
| From: Peter Simons (Parts [1987], Intro) | |
| A reaction: Simons catalogues several other modern attempts at axiomatisation in his chapter 2. |
| 12848 | The same members may form two groups [Simons] |
| Full Idea: Groups may coincide in membership without being identical - extensionality goes. | |
| From: Peter Simons (Parts [1987], 4.9) | |
| A reaction: Thus an eleven-person orchestra may also constitute a football team. What if a pile of stones is an impediment to you, and useful to me? Is it then two groups? Suppose they hum while playing football? (Don't you just love philosophy?) |
| 12846 | A 'group' is a collection with a condition which constitutes their being united [Simons] |
| Full Idea: We call a 'collection' of jewels a 'group' term. Several random musicians are unlikely to be an orchestra. If they come together regularly in a room to play, such conditions are constitutive of an orchestra. | |
| From: Peter Simons (Parts [1987], 4.4) | |
| A reaction: Clearly this invites lots of borderline cases. Eleven footballers don't immediately make a team, as followers of the game know well. |
| 12861 | 'The wolves' are the matter of 'the pack'; the latter is a group, with different identity conditions [Simons] |
| Full Idea: 'The wolves' is a plural term referring to just these animals, whereas 'the pack' of wolves refers to a group, and the group and plurality, while they may coincide in membership, have different identity conditions. The wolves are the matter of the pack. | |
| From: Peter Simons (Parts [1987], 6.4) | |
| A reaction: Even a cautious philosopher like Simons is ready to make bold ontological commitment to 'packs', on the basis of something called 'identity conditions'. I think it is just verbal. You can qualify 'the wolves' and 'the pack' to make them identical. |
| 12876 | Philosophy is stuck on the Fregean view that an individual is anything with a proper name [Simons] |
| Full Idea: Modern philosophy is still under the spell of Frege's view that an individual is anything that has a proper name. (Note: But not only are empty names now recognised, but some are aware of the existence of plural reference). | |
| From: Peter Simons (Parts [1987], 8.1) | |
| A reaction: Presumably every electron in the universe is an individual, and every (finite) number which has never been named has a pretty clear identity. Presumably Pegasus, John Doe, and 'the person in the kitchen' have to be accommodated. |
| 12845 | Some natural languages don't distinguish between singular and plural [Simons] |
| Full Idea: The syntactic distinction between singular and plural is not a universal feature of natural languages. Chinese manages nicely without it, and Sanskrit makes a tripartite distinction between singular, dual, and plural (more than two). | |
| From: Peter Simons (Parts [1987], 4.3) | |
| A reaction: Simons is mounting an attack on the way in which modern philosophy and logic has been mesmerised by singular terms and individuated objects. Most people seem now to agree with Simons. There is stuff, as well as plurals. |
| 12838 | Four-dimensional ontology has no change, since that needs an object, and time to pass [Simons] |
| Full Idea: In the four-dimensional ontology there may be timeless variation, but there is no change. Change consists in an object having first one property and then another contrary one. But processes all have their properties timelessly. | |
| From: Peter Simons (Parts [1987], 3.4) | |
| A reaction: Possibly Simons is begging the question here. The phenomena which are traditionally labelled as 'change' are all nicely covered in the four-D account. Change is, we might say, subsumed in the shape of the space-time 'worm'. |
| 12842 | There are real relational changes, as well as bogus 'Cambridge changes' [Simons] |
| Full Idea: It is a mistake to call bogus Cambridge changes 'relational changes', since there are real relational changes, such as the changes in the relative positions and distances of several bodies. | |
| From: Peter Simons (Parts [1987], 4.1) | |
| A reaction: I'm not sure how you distinguish the two. If we swap seats, that is a real change. If everyone moves away from where I am sitting, is that real or Cambridge? If I notice, I might be upset, but suppose I don't notice? Nothing about me changes. |
| 12841 | I don't believe in processes [Simons] |
| Full Idea: I have been unable to see that there are processes. | |
| From: Peter Simons (Parts [1987], 4.1 n4) | |
| A reaction: My problem here is that I am inclined to think of the mind as a process of the brain. The fact that a reductive account can be given of a process doesn't mean that we can deny there existence. Is there no such thing as decay, or erosion? |
| 12836 | Fans of process ontology cheat, since river-stages refer to 'rivers' [Simons] |
| Full Idea: Proponents of process ontology (except perhaps Whitehead, who is obscure) indulge in double-talk with concrete examples. It is cheating to talk of 'cat-processes', or 'bathing in river-stages'. You can't change the subject and leave the predicate alone. | |
| From: Peter Simons (Parts [1987], 3.4) | |
| A reaction: It is one thing to admit processes into one's ontology, and another to have a 'process ontology', which presumably reduces objects to processes. I suppose the interest of continuant objects is precisely the aspect of them that is above any process. |
| 12880 | Moments are things like smiles or skids, which are founded on other things [Simons] |
| Full Idea: A 'moment' is something which is founded on something else. Examples are legion: smiles, headaches, gestures, skids, collisions, fights, thought, all founded on their participants, the continuants involved in them. | |
| From: Peter Simons (Parts [1987], 8.4) | |
| A reaction: The idea of a 'moment' and 'foundation' come from Husserl Log. Inv. 3. Simons says moments 'have a bright future in ontology'. It would be better if fewer of his examples involved human beings and their perceptions. |
| 12881 | A smiling is an event with causes, but the smile is a continuant without causes [Simons] |
| Full Idea: A smiling, being an event, has causes and effects, whereas the smile thereby produced is a continuant, and has itself neither causes nor effects. | |
| From: Peter Simons (Parts [1987], 8.5) | |
| A reaction: This is dogmatic, hopeful and a bit dubious. Simons is very scathing about processes in ontology. There seem to be two descriptions, with distinctive syntax, but it is hard to believe that in reality we have two types of thing present. |
| 12882 | A wave is maintained by a process, but it isn't a process [Simons] |
| Full Idea: A wave is maintained by a process transferring motion from particle to particle of the medium, but it is not identical with this process. | |
| From: Peter Simons (Parts [1987], 8.5) | |
| A reaction: I'm inclined to think of the mind as a process. There are some 'things' which only seem to exist if they have a duration. Bricks can be instantaneous, but minds and waves can't. A wave isn't a continuant. A hill isn't a wave. |
| 12883 | Moving disturbances are are moments which continuously change their basis [Simons] |
| Full Idea: Moving disturbances are a special and interesting kind of continuant: moments which continuously change their fundaments. | |
| From: Peter Simons (Parts [1987], 8.5) | |
| A reaction: [a smile is a moment, and the face its fundament] I'm thinking he's got this wrong. Compare Idea 12882. Disturbances can't be continuants, because the passing of time is essential to them, but not to a continuant. |
| 12840 | I do not think there is a general identity condition for events [Simons] |
| Full Idea: Like Anscombe (1979) I do not think there is such a creature as a general identity condition for events. | |
| From: Peter Simons (Parts [1987], 4.1 n1) | |
| A reaction: My working definition of an event is 'any part of a process which can be individuated'. This leaves you trying to define a process, and define individuate, and then to realise that individuation is not an objective matter. |
| 12839 | Relativity has an ontology of things and events, not on space-time diagrams [Simons] |
| Full Idea: A closer examination of the concepts and principles of relativity shows that they rest squarely on an ontology of things and events (not on convenient 'space-time diagrams'). Acceleration concerns non-zero mass, but only continuants can have a mass. | |
| From: Peter Simons (Parts [1987], 3.4) | |
| A reaction: The point here is that fans of four-dimensionalism like to claim that they are more in touch with modern physics, because 'time is just another dimension, like space, so objects are spread across it'. Simons sounds right about this. |
| 7017 | The reductionist programme dispenses with levels of reality [Heil] |
| Full Idea: The reductionist programme dispenses with levels of reality. | |
| From: John Heil (From an Ontological Point of View [2003], 04.3) | |
| A reaction: Fodor, for example, claims that certain causal laws only operate at high levels of reality. I agree with Heil's idea - the notion that there are different realities around here that don't connect properly to one another is philosopher's madness. |
| 7003 | There are levels of organisation, complexity, description and explanation, but not of reality [Heil] |
| Full Idea: We should accept levels of organisation, levels of complexity, levels of description, and levels of explanation, but not the levels of reality favoured by many anti-reductionists. The world is then ontologically, but not analytically, reductive. | |
| From: John Heil (From an Ontological Point of View [2003], Intro) | |
| A reaction: This sounds right to me. The crunch questions seem to be whether the boundaries at higher levels of organisation exist lower down, and whether the causal laws of the higher levels can be translated without remainder into lower level laws. |
| 12879 | Independent objects can exist apart, and maybe even entirely alone [Simons] |
| Full Idea: An object a is ontologically independent of b if a can exist without b, if there is a possible world in which in which a exists and b does not. In the strongest sense, an object is independent if it could be all there is. | |
| From: Peter Simons (Parts [1987], 8.4) | |
| A reaction: Simons calls the strongest version a 'startling' one which maybe not even God could achieve. |
| 12847 | Mass nouns admit 'much' and 'a little', and resist 'many' and 'few'. [Simons] |
| Full Idea: Syntactic criteria for mass nouns include that they admit 'much' and 'a little', and resist 'many' and 'few'. | |
| From: Peter Simons (Parts [1987], 4.6) | |
| A reaction: That is, they don't seem to be countable. Sortal terms are those which pick out countables. |
| 12863 | Mass terms (unlike plurals) are used with indifference to whether they can exist in units [Simons] |
| Full Idea: Mass terms and plural terms differ principally in the indifference of mass terms to matters of division. A mass term can be used irrespective of how, indeed whether, the denotatum comes parcelled in units. | |
| From: Peter Simons (Parts [1987], 6.4) | |
| A reaction: It seems more to the point to say that mass terms (stuff) don't need units to exist, and you can disperse the units (the cups of water) without affecting the identity of the stuff. You can't pulverise a pile of stones and retain the stones. |
| 12862 | Gold is not its atoms, because the atoms must be all gold, but gold contains neutrons [Simons] |
| Full Idea: The mass of gold cannot be identified with the gold atoms, because whatever is part of the gold atoms is gold, whereas not every part of the gold is gold (for example, the neutrons in it are not gold). | |
| From: Peter Simons (Parts [1987], 6.4) | |
| A reaction: There is something too quick about arguments like this. It comes back to nominal v real essence. We apply 'gold' to the superficial features of the stuff, but deep down we may actually mean the atomic structure. See Idea 12812. |
| 12858 | Mixtures disappear if nearly all of the mixture is one ingredient [Simons] |
| Full Idea: If a cupful of dirty water is mixed evenly with a ton of earth, no dirty water remains, and the same goes if we mix it evenly with a lake of clean water. | |
| From: Peter Simons (Parts [1987], 6.2) | |
| A reaction: This means that a mixture is a vague entity, subject to the sorites paradox. If the dirt was cyanide, we would consider the water to be polluted by it down to a much lower level. |
| 12859 | A mixture can have different qualities from its ingredients. [Simons] |
| Full Idea: The qualities of a mixture need not be those of its ingredients in isolation. | |
| From: Peter Simons (Parts [1987], 6.2) | |
| A reaction: It depends on what you mean by a quality. Presumably we can give a reductive account of the qualities of the mixture, as long as no reaction has taken place. The taste of a salad is just the sum of its parts. |
| 7045 | Realism says some of our concepts 'cut nature at the joints' [Heil] |
| Full Idea: Realism is sometimes said to involve a commitment to the idea that certain of our concepts, those with respect to which we are realists, 'carve reality at the joints'. | |
| From: John Heil (From an Ontological Point of View [2003], 14.11) | |
| A reaction: Clearly not all concepts cut nature at the joints (e.g. we have concepts of things we know to be imaginary). Personally I am committed to this view of realism. I try very hard to use concepts that cut accurately; why shouldn't I sometimes succeed? |
| 7065 | Anti-realists who reduce reality to language must explain the existence of language [Heil] |
| Full Idea: Anti-realist philosophers, and those who hope to reduce metaphysics to (or replace it with) the philosophy of language, owe the rest of us an account of the ontology of language. | |
| From: John Heil (From an Ontological Point of View [2003], 20.6) | |
| A reaction: A nice turning-the-tables question. In all accounts of relativism, x is usually said to be relative to y. You haven't got proper relativism if you haven't relativised both x and y. But relativised them to what? Nietzsche's 'perspectivism' (Idea 4420)? |
| 7020 | Concepts don't carve up the world, which has endless overlooked or ignored divisions [Heil] |
| Full Idea: Concepts do not 'carve up' the world; the world already contains endless divisions, most of which we remain oblivious to or ignore. | |
| From: John Heil (From an Ontological Point of View [2003], 05.3) | |
| A reaction: Concepts could still carve up the world, without ever aspiring to do a complete job. We carve up the aspects that interest us, but the majority of the carving is in response to natural divisions, not whimsical conventions. |
| 7007 | I think of properties as simultaneously dispositional and qualitative [Heil] |
| Full Idea: Some philosophers who accept that properties are intrinsic features of objects regard them as pure powers, pure dispositionalities; I prefer to think of properties as simultaneously dispositional and qualitative. | |
| From: John Heil (From an Ontological Point of View [2003], Intro) | |
| A reaction: I am uneasy about 'qualitative' as a category, and am inclined to reduce it to being a dispositional power to cause primary and secondary qualities in observers. Roughness is only a power, not a quality, if there are no observers. |
| 7015 | A predicate applies truly if it picks out a real property of objects [Heil] |
| Full Idea: When a predicate applies truly to an object, it does so in virtue of designating a property possessed by that object and by every object to which the predicate truly applies (or would apply). | |
| From: John Heil (From an Ontological Point of View [2003], 03.3) | |
| A reaction: I am sympathetic to Heil's aim of shifting our attention from arbitrary predicates to natural properties, but it won't avoid Fodor's problem (Idea 7014) that all kinds of whimsical predicates will apply 'truly', but fail to pick out anything significant. |
| 7042 | A theory of universals says similarity is identity of parts; for modes, similarity is primitive [Heil] |
| Full Idea: The friend of universals has an account of similarity relations as relations of identity and partial identity; the friend of modes must regard similarity relations as primitive and irreducible. | |
| From: John Heil (From an Ontological Point of View [2003], 14.5) | |
| A reaction: We always seem to be able to ask 'in what respect' a similarity occurs. If similarity is 'primitive and irreducible', we should not be able to analyse and explain a similarity, yet we seem able to. I conclude that Heil is wrong. |
| 7023 | Powers or dispositions are usually seen as caused by lower-level qualities [Heil] |
| Full Idea: The modern default position on dispositionality is that powers or dispositions are higher-level properties objects possess by virtue of those objects' possession of lower-level qualitative (categorical) properties. | |
| From: John Heil (From an Ontological Point of View [2003], 09.2) | |
| A reaction: The new idea which is being floated by Heil, and which I prefer, is that dispositions or powers are basic. A 'quality' is a much more dubious entity than a power. |
| 7025 | Are a property's dispositions built in, or contingently added? [Heil] |
| Full Idea: There is a dispute over whether a property's dispositionality is built into the property or whether it is a contingent add-on. | |
| From: John Heil (From an Ontological Point of View [2003], 09.4) | |
| A reaction: Put that way, the idea that it is built in seems much more plausible. If it is an add-on, an explanation of why that disposition is added to that particular property seems required. If it is built in, it seems legitimate to accept it as a brute fact. |
| 7034 | Universals explain one-over-many relations, and similar qualities, and similar behaviour [Heil] |
| Full Idea: Universals can explain the one-over-many problem, and easily explain similarity relations between objects, and explain the similar behaviour of similar objects. | |
| From: John Heil (From an Ontological Point of View [2003], 13.1) | |
| A reaction: A useful summary. If you accept it, you seem to be faced with a choice between Plato (who has universals existing independently of particulars) and Armstrong (who makes them real, but existing only in particulars). |
| 7039 | How could you tell if the universals were missing from a world of instances? [Heil] |
| Full Idea: Imagine a pair of worlds, one in which there are the universals and their instances and one in which there are just the instances (a world of modes). How would the absence of universals make itself felt? | |
| From: John Heil (From an Ontological Point of View [2003], 13.7) | |
| A reaction: A nice question for Plato, very much in the spirit of Aristotle's string of questions. Compare 'suppose the physics remained, but someone removed the laws'. Either chaos ensues, or you realise they were redundant. Same with Forms. |
| 7009 | Similarity among modes will explain everthing universals were for [Heil] |
| Full Idea: My contention is that similarity among modes can do the job universals are conventionally postulated to do. | |
| From: John Heil (From an Ontological Point of View [2003], Intro) | |
| A reaction: See Idea 4441 for Russell's nice objection to this view. The very process by which we observes similarities (as assess their degrees) needs to be explained by any adequate theory of properties or universals. |
| 7041 | Similar objects have similar properties; properties are directly similar [Heil] |
| Full Idea: Objects are similar by virtue of possessing similar properties; properties, in contrast, are not similar in virtue of anything. | |
| From: John Heil (From an Ontological Point of View [2003], 14.2) | |
| A reaction: I am not sure if I can understand the concept of similarity if there is no answer to the question 'In what respect?' I suppose David Hume is happy to take resemblance as given and basic, but it could be defined as 'sharing identical properties'. |
| 7032 | Objects join sets because of properties; the property is not bestowed by set membership [Heil] |
| Full Idea: The set of red objects is the set of objects possessing a property: being red. Objects are members of the set in virtue of possessing this property; they do not possess the property in virtue of belonging to the set. | |
| From: John Heil (From an Ontological Point of View [2003], 12.2) | |
| A reaction: This seems to be a very effective denial of the claim that universals are sets. However, if 'being a Londoner' counts as a property, you can only have it by joining the London set. Being tall is more fundamental than being a Londoner. |
| 7008 | Trope theorists usually see objects as 'bundles' of tropes [Heil] |
| Full Idea: Philosophers identifying themselves as trope theorists have, by and large, accepted some form of the 'bundle theory' of objects: an object is a bundle of compresent tropes. | |
| From: John Heil (From an Ontological Point of View [2003], Intro) | |
| A reaction: This view eliminates anything called 'matter' or 'substance' or a 'bare particular'. I think I agree with Heil that this doesn't give a coherent picture, as properties seem to be 'of' something, and bundles always raise the question of what unites them. |
| 7018 | Objects are substances, which are objects considered as the bearer of properties [Heil] |
| Full Idea: I think of objects as substances, and a substance is an object considered as a bearer of properties. | |
| From: John Heil (From an Ontological Point of View [2003], 04.2) | |
| A reaction: This is an area of philosophy I always find disconcerting, where an account of how we should see objects seems to have no connection at all to what physicists report about objects. 'Considered as' seems to make substances entirely conventional. |
| 12850 | To individuate something we must pick it out, but also know its limits of variation [Simons] |
| Full Idea: We have not finished deciding what Fido is when we can pick him out from his surroundings at any one time. ...Knowing what Fido is depends on knowing roughly within what limits his flux of parts is tolerable. | |
| From: Peter Simons (Parts [1987], 5.2) | |
| A reaction: I like this. We don't know the world until we know its modal characteristics (its powers or dispositions). Have you 'individuated' a hand grenade if you think it is a nice ornament? |
| 12860 | Sortal nouns for continuants tell you their continuance- and cessation-conditions [Simons] |
| Full Idea: A sortal noun for a kind of continuant tells us, among other things, under what conditions the object continues to exist and under what conditions it ceases to exist. | |
| From: Peter Simons (Parts [1987], 6.3) | |
| A reaction: This sounds blatantly false. If you know something is a 'snake', that doesn't tell you how hot it must get before the snakes die. Obviously if you know all about snakes (from studying individual snakes!), then you know a lot about the next snake. |
| 12886 | A whole requires some unique relation which binds together all of the parts [Simons] |
| Full Idea: A whole must at least approximate to this condition: every member of some division of the object stands in a certain relation to every other member, and no member bears this relation to anything other than members of the division. | |
| From: Peter Simons (Parts [1987], 9.2) | |
| A reaction: Simons proceeds to formalise this, and I suspect that he goes for this definition because (unlike looser ones) it can be formalised. See Simons's Idea 12865. We'll need to know whether these are internal or external relations. |
| 7019 | Maybe there is only one substance, space-time or a quantum field [Heil] |
| Full Idea: It would seem distinctly possible that there is but a single substance: space-time or some all-encompassing quantum field. | |
| From: John Heil (From an Ontological Point of View [2003], 05.2) | |
| A reaction: This would at least meet my concern that philosophers' 'substances' don't seem to connect to what physicists talk about. I wonder if anyone knows what a 'quantum field' is? The clash between relativity and quantum theory is being alluded to. |
| 7046 | Rather than 'substance' I use 'objects', which have properties [Heil] |
| Full Idea: I prefer the more colloquial 'object' to the traditional term 'substance'. An object can be regarded as a possessor of properties: as something that is red, spherical and pungent, for instance. | |
| From: John Heil (From an Ontological Point of View [2003], 15.3) | |
| A reaction: A nice move, but it seems to beg the question of 'what is it that has the properties?' Objects and substances do two different jobs in our ontology. Heil is just refusing to discuss what it is that has properties. |
| 12835 | Does Tibbles remain the same cat when it loses its tail? [Simons] |
| Full Idea: The cat is 'Tibbles' with a tail; 'Tib' is Tibbles after the loss of the tail. 1) Tibbles isn't Tib at t; 2) Tibbles is Tib at t'; 3) Tibbles at t is Tibbles at t'; 4) Tib at t is Tib at t'; so 5) Tibbles at t is Tib at t (contradicting 1). What's wrong? | |
| From: Peter Simons (Parts [1987], 3.3) | |
| A reaction: [The example is in Wiggins 1979, from Geach, from William of Sherwood] Simons catalogues nine assumptions which are being made to produce the contradiction. 1) rests on Leibniz's law. Simons says two objects are occupying Tibbles. |
| 12857 | Tibbles isn't Tib-plus-tail, because Tibbles can survive its loss, but the sum can't [Simons] |
| Full Idea: There mere fact that Tibbles can survive the mutilation of losing a tail, whereas the sum of Tib and the tail cannot, is enough to distinguish them, even if no such mutilation ever occurs. | |
| From: Peter Simons (Parts [1987], 6.1) | |
| A reaction: See Idea 12835 for details of the Tibbles example. Either we go for essentialism here, or the whole notion of identity collapses. But the essential features of a person are not just those whose loss would kill them. |
| 7047 | Statues and bronze lumps have discernible differences, so can't be identical [Heil] |
| Full Idea: Applications of the principle of the indiscernibility of identicals apparently obliges us to distinguish the statue and the lump of bronze making it up. | |
| From: John Heil (From an Ontological Point of View [2003], 16.3) | |
| A reaction: In other words, statues and lumps of bronze have different properties. It is a moot point, though, whether there are any discernible differences between that statue at time t and its constituting lump of bronze at time t. |
| 7048 | Do we reduce statues to bronze, or eliminate statues, or allow statues and bronze? [Heil] |
| Full Idea: Must we choose between reductionism (the statue is the lump of bronze), eliminativism (there are no statues, only statue-shaped lumps of bronze), and a commitment to coincident objects? | |
| From: John Heil (From an Ontological Point of View [2003], 16.5) | |
| A reaction: (Heil goes on to offer his own view). Coincident objects sounds the least plausible view. Modern statues are only statues if we see them that way, but a tree is definitely a tree. Trenton Merricks is good on eliminativism. |
| 12820 | Without extensional mereology two objects can occupy the same position [Simons] |
| Full Idea: If we reject extensionality in mereology, it has as a consequence that more than one object may have exactly the same parts at the same time, and hence occupy the same position. | |
| From: Peter Simons (Parts [1987], Intro) | |
| A reaction: Simons defends this claim. I'm unconvinced that we must choose between the two views. The same parts should ensure the same physical essence, which seems to guarantee the same identity. Not any old parts generate an essence. |
| 12866 | Composition is asymmetric and transitive [Simons] |
| Full Idea: Composition is asymmetric and transitive: if a is made up of b, and b of c, then a is made up of c; and if a is made of b, then b is not made up of a. We cannot say the snow is made up of the snowball. | |
| From: Peter Simons (Parts [1987], 6.5) | |
| A reaction: ...And snowballs composed of snow can then compose a snowman (transitivity). |
| 12867 | A hand constitutes a fist (when clenched), but a fist is not composed of an augmented hand [Simons] |
| Full Idea: Composition entails constitution, but does the converse hold? A hand constitutes a fist in virtue of being clenched, but it is not obvious that it composes a fist, and certainly a fist is not composed of a hand plus some additional part. | |
| From: Peter Simons (Parts [1987], 6.5) | |
| A reaction: There are subtleties of ordinary usage in 'compose' and 'constitute' which are worth teasing apart, but that isn't the last word on such relationships. 'Compose' seems to point towards matter, while 'constitute' seems to point towards form. |
| 12864 | We say 'b is part of a', 'b is a part of a', 'b are a part of a', or 'b are parts of a'. [Simons] |
| Full Idea: There are four cases of possible forms of expression when a is made up of b: we say 'b is part of a', or 'b is a part of a', or 'b are a part of a', or 'b are parts of a'. | |
| From: Peter Simons (Parts [1987], 6.4) | |
| A reaction: Personally I don't want to make much of these observations of normal English usage, but they are still interesting, and Simons offers a nice discussion of them. |
| 12817 | 'Mereological extensionality' says objects with the same parts are identical [Simons] |
| Full Idea: Classical extensional mereology won't extend well to temporal and modal facts, because of 'mereological extensionality', which is the thesis that objects with the same parts are identical (by analogy with the extensionality of sets). | |
| From: Peter Simons (Parts [1987], Intro) | |
| A reaction: Simons challenges this view, claiming, for example, that the Ship of Theseus is two objects rather than one. I suppose 'my building bricks' might be 'your sculpture', but this is very ontologically extravagant. This is a mereological Leibniz's Law. |
| 12814 | Classical mereology says there are 'sums', for whose existence there is no other evidence [Simons] |
| Full Idea: Either out of conviction or for reasons of algebraic neatness, classical extensional mereology asserts the existence of certain individuals, mereological sums, for whose existence in general we have no evidence outside the theory itself. | |
| From: Peter Simons (Parts [1987], Intro) | |
| A reaction: Observing that we have no evidence for sums 'outside the theory' is nice. It is a nice ontological test, with interesting implications for Quinean ontological commitment. |
| 12833 | If there are c atoms, this gives 2^c - 1 individuals, so there can't be just 2 or 12 individuals [Simons] |
| Full Idea: In classical mereology, if there are c atoms, where c is any cardinal number, there are 2^c - 1 individuals, so the cardinality of models is restricted. There are no models with cardinality 2, 12 or aleph-0, for example. | |
| From: Peter Simons (Parts [1987], 1.2) | |
| A reaction: The news that there is no possible world containing just 2 or just 12 individuals ought to worry fans of extensional mereology. A nice challenge for God - create a world containing just 12 individuals. |
| 12849 | Sums are more plausible for pluralities and masses than they are for individuals [Simons] |
| Full Idea: We are on stronger grounds in asserting the general existence of sums when considering pluralities and masses than when considering individuals. | |
| From: Peter Simons (Parts [1987], 5.2) | |
| A reaction: I was thinking that the modern emphasis on referring to plurals was precisely to resist the idea that we must 'sum' them into one thing. If so, we wouldn't want to then sum several plurals. If a mass isn't a sum, how can we sum some masses? |
| 12877 | Sums of things in different categories are found within philosophy. [Simons] |
| Full Idea: Cross-categorial sums are not unknown in philosophy. A body and the events which befall it are intimately connected, and the mysterious four-dimensional blocks might be mereological sums of the body and its life. | |
| From: Peter Simons (Parts [1987], 8.1) | |
| A reaction: Simons here ventures into the territory of abstracta, which he said he wouldn't touch. Presumably his first example has 'a biography' as its whole, which is not just a philosophical notion. Why will some categories sum, and others won't? |
| 12888 | The wholeness of a melody seems conventional, but of an explosion it seems natural [Simons] |
| Full Idea: The example of a melody shows that what counts as a temporal individual is partly a matter of human stipulation. But with a natural event like an explosion there is little or no room for decision about what is a part, and whether it is a single event. | |
| From: Peter Simons (Parts [1987], 9.6) | |
| A reaction: You could have a go at giving a natural account of the wholeness of a melody, in terms of the little aesthetic explosion that occurs in the brain of a listener. |
| 12871 | Objects have their essential properties because of the kind of objects they are [Simons] |
| Full Idea: An object has the essential properties it has in virtue of being the kind of object it is. | |
| From: Peter Simons (Parts [1987], 7.1) | |
| A reaction: He attributes this to Husserl and Wiggins. I just don't get it. What makes something the 'kind of object it is'? They've got it the wrong way round. Does God announce that this thing is a tiger, and is then pleasantly surprised to discover its stripes? |
| 12870 | We must distinguish the de dicto 'must' of propositions from the de re 'must' of essence [Simons] |
| Full Idea: We must distinguish the 'must' of necessity as applied to a proposition or state of affairs (de dicto) from the 'must' of essence, concerning the way in which an object has an attribute (de re). | |
| From: Peter Simons (Parts [1987], 7.1) | |
| A reaction: A helfpful distinction, but a possible confusion of necessity and essentiality (Simons knows this). Modern logicians seem to run them together, because they only care about identity. I don't, because I care about explanations. |
| 12873 | Original parts are the best candidates for being essential to artefacts [Simons] |
| Full Idea: Original parts are the best candidates for being essential to artefacts. It is hard to conceive how an object could have as essential a part which was attached at some time after the object had come into being. | |
| From: Peter Simons (Parts [1987], 7.4) | |
| A reaction: Without its big new memory upgrade my computer would be hopelessly out of date. Simons is awesome in some ways, but seems rather confused when it comes to discussing essence. I think Wiggins may have been a bad influence on him. |
| 12874 | An essential part of an essential part is an essential part of the whole [Simons] |
| Full Idea: An essential part of an essential part is an essential part of the whole. | |
| From: Peter Simons (Parts [1987], 7.4) | |
| A reaction: Sounds beyond dispute, but worth pondering. It seems to be only type-parts, not token-parts, which are essential. Simons is thinking of identity rather than function, but he rejects Chisholm's idea that all parts are essential. So which ones are? |
| 12837 | Four dimensional-objects are stranger than most people think [Simons] |
| Full Idea: The strangeness of four-dimensional objects is almost always underestimated in the literature. | |
| From: Peter Simons (Parts [1987], 3.4) | |
| A reaction: See Idea 12836, where he has criticised process ontologists for smuggling in stages and process as being OF conventional objects. |
| 12856 | Intermittent objects would be respectable if they occurred in nature, as well as in artefacts [Simons] |
| Full Idea: If we could show that intermittence could occur not only among artefacts and higher-order objects, but also among natural things, then we should have given it a secure place on the ontological map. | |
| From: Peter Simons (Parts [1987], 5.7) | |
| A reaction: Interesting ontological test. Having identified fairly clear intermittent artefacts (Idea 12851), if we then fail to find any examples in nature, must we revisit the artefacts and say they are not intermittents? He suggests freezing an organ in surgery. |
| 12885 | Objects like chess games, with gaps in them, are thereby less unified [Simons] |
| Full Idea: Temporal objects which are scattered in time - i.e. have temporal gaps in them, like interrupted discussions or chess games - are less unified than those without gaps. | |
| From: Peter Simons (Parts [1987], 9.2) | |
| A reaction: Is he really saying that a discussion or a chess game is less unified if there is even the slightest pause in it? Otherwise, how long must the pause be before it disturbs the unity? Do people play internet chess, as they used to play correspondence chess? |
| 12854 | An entrepreneur and a museum curator would each be happy with their ship at the end [Simons] |
| Full Idea: At the end of the Ship of Theseus story both an entrepreneur and a museum curator can be content, each having his ship all to himself, ..because each was all along claiming a different object from the other. | |
| From: Peter Simons (Parts [1987], 5.5) | |
| A reaction: Simons has the entrepreneur caring about function (for cruises), and the curator caring about matter (as a relic of Theseus). It is bold of Simons to say on that basis that it starts as two objects, one 'matter-constant', the other 'form-constant'. |
| 12855 | The 'best candidate' theories mistakenly assume there is one answer to 'Which is the real ship?' [Simons] |
| Full Idea: The 'best candidate' theories get into difficulty because it is assumed that there is a single uniquely correct answer to the question 'Which is the real ship?' | |
| From: Peter Simons (Parts [1987], 5.5) | |
| A reaction: My own example supports Simons. If Theseus discards the old planks as rubbish, then his smart new ship is the original. But if he steals his own ship (to evade insurance regulations) by substituting a plank at a time, the removed planks are the original. |
| 12872 | The zygote is an essential initial part, for a sexually reproduced organism [Simons] |
| Full Idea: It is essential to an organism arising from sexual reproduction that it has its zygote as initial improper part. | |
| From: Peter Simons (Parts [1987], 7.3) | |
| A reaction: It can't be necessary that an organism which appears to be sexually reproduced actually is so (if you don't believe that, read more science fiction). It may well just be analytic that sexual reproduction involves a zygote. Nothing to do with essence. |
| 3013 | Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius] |
| Full Idea: Necessity is the strongest of things, for it rules everything. | |
| From: report of Thales (fragments/reports [c.585 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 01.2.9 |
| 12889 | The limits of change for an individual depend on the kind of individual [Simons] |
| Full Idea: What determines the limits of admissible change and secures the identity of a continuant is a matter of the kind of object in question. | |
| From: Peter Simons (Parts [1987], 9.6) | |
| A reaction: This gives some motivation for the sortal view of essence, which I find hard to take. However, if my statue were pulverised it would make good compost. |
| 7028 | If properties were qualities without dispositions, they would be undetectable [Heil] |
| Full Idea: A pure quality, a property altogether lacking in dispositionality, would be undetectable and would, in one obvious sense, make no difference to its possessor. | |
| From: John Heil (From an Ontological Point of View [2003], 11.4) | |
| A reaction: This seems to be a very forceful and simple reason why we cannot view properties simply as qualities of things. Heil wants properties to be dispositions and qualities; personally I would vote for them just being dispositions or powers. |
| 7029 | Can we distinguish the way a property is from the property? [Heil] |
| Full Idea: It is not clear to me that we easily distinguish ways a property is from the property itself. | |
| From: John Heil (From an Ontological Point of View [2003], 11.6) | |
| A reaction: To defend properties as qualities, he is confusing ontology and epistemology. Presumably he means by 'ways a property is' what I would prefer to call 'ways a property seems to be'. I don't believe a smell is simply what it seems to be. |
| 7030 | Properties don't possess ways they are, because that just is the property [Heil] |
| Full Idea: Objects possess properties, but I am sceptical of the idea that properties possess properties; just as a property is a way some object is, a property of a property would be a way a property is, but that is just the property itself. | |
| From: John Heil (From an Ontological Point of View [2003], 12.1) | |
| A reaction: This is quite a good defence of the idea that properties are qualities as well as dispositions. However, if we make the qualities of properties into secondary qualities, and the dispositions into primary qualities, the absurdity melts away. |
| 7051 | Objects only have secondary qualities because they have primary qualities [Heil] |
| Full Idea: Secondary qualities are not distinct from primary qualities: an object's possession of a given secondary quality is a matter of its possession of certain complex primary qualities. | |
| From: John Heil (From an Ontological Point of View [2003], 17.3) | |
| A reaction: The bottom line here is that, if essentialism is right, colours are not properties at all (see Idea 5456). Heil wants to subsume secondary properties within primary properties. I think we should sharply distinguish them. |
| 7044 | Secondary qualities are just primary qualities considered in the light of their effect on us [Heil] |
| Full Idea: Secondary qualities are just ordinary properties - roughly, Locke's primary qualities - considered in the light of their effects on us. | |
| From: John Heil (From an Ontological Point of View [2003], 14.10) | |
| A reaction: Unconvincing. If they only acquire their ontological status as primary qualities if they have to be considered in relation to something (us), then that is not a primary quality. |
| 7052 | Colours aren't surface properties, because of radiant sources and the colour of the sky [Heil] |
| Full Idea: Theories that take colours to be properties of the surfaces of objects have difficulty accounting for a host of phenomena including coloured light emitted by radiant sources and so-called film colours (the colour of the sky, for instance). | |
| From: John Heil (From an Ontological Point of View [2003], 17.4) | |
| A reaction: Personally I never thought that colours might be actual properties of surfaces, but it is nice to have spelled out a couple of instances that make it very implausible. Neon and sodium lights I take to be examples of the first case. |
| 7053 | Treating colour as light radiation has the implausible result that tomatoes are not red [Heil] |
| Full Idea: Theories that tie colours to features of light radiation deal with radiant and diffused colours, but yield implausible results for objects; tomatoes are not red, on such a view, but merely reflect red light. | |
| From: John Heil (From an Ontological Point of View [2003], 17.4) | |
| A reaction: I see absolutely no problem with the philosophical denial that tomatoes are actually red, while continuing to use 'red' of tomatoes in the normal way. When we analyse our processes of knowledge acquisition, we must give up 'common sense'. |
| 7066 | If the world is just texts or social constructs, what are texts and social constructs? [Heil] |
| Full Idea: For those who regard the world as text or a social construct, are texts and social constructs real entities? If they are, what are they? | |
| From: John Heil (From an Ontological Point of View [2003], 20.6) | |
| A reaction: A nice turn-the-tables question. The oldest attacks of all on scepticism and relativism consist of showing that the positions themselves rest on knowledge or truth. Nietzsche may be the best model for relativists. E.g. Idea 4420. |
| 7021 | If the world is theory-dependent, the theories themselves can't be theory-dependent [Heil] |
| Full Idea: If the world is somehow theory-dependent, this implies, on pain of a regress, that theories are not theory-dependent. | |
| From: John Heil (From an Ontological Point of View [2003], 06.4) | |
| A reaction: I am not sure where this puts the ontology of theories, but this is a nice question, of a type which never seems to occur to your more simple-minded relativist. |
| 7026 | Science is sometimes said to classify powers, neglecting qualities [Heil] |
| Full Idea: The sciences are sometimes said to be in the business of identifying and classifying powers; the mass of an electron, its spin and charge, could be regarded as powers possessed by the electron; science is silent on an electron's qualities. | |
| From: John Heil (From an Ontological Point of View [2003], 11.2) | |
| A reaction: Heil raises the possibility that qualities are real, despite the silence of science; he wants colour to be a real quality. I like the simpler version of science. Qualities are the mental effects of powers; there exist substances, powers and effects. |
| 7060 | One form of explanation is by decomposition [Heil] |
| Full Idea: One form of explanation is by decomposition. | |
| From: John Heil (From an Ontological Point of View [2003], 19.8) | |
| A reaction: This is a fancy word for taking it apart, presumably to see how it works, which implies a functional explanation, rather than to see what it is made of, which seeks an ontological explanation. Simply 'decomposing' something wouldn't in itself explain. |
| 7010 | Dispositionality provides the grounding for intentionality [Heil] |
| Full Idea: Dispositionality provides the grounding for intentionality. | |
| From: John Heil (From an Ontological Point of View [2003], Intro) | |
| A reaction: This is a view with which I am sympathetic, though I am not sure if it explains anything. It would be necessary to identify a disposition of basic matter that could be built up into the disposition of a brain to think about things. |
| 7054 | Intentionality now has internalist (intrinsic to thinkers) and externalist (environment or community) views [Heil] |
| Full Idea: Nowadays philosophers concerned with intentionality divide into two camps. Internalists epitomise a traditional approach to thought, as intrinsic features of thinkers; externalists say it depends on contextual factors (environment or community). | |
| From: John Heil (From an Ontological Point of View [2003], 18.2) | |
| A reaction: This is basic to understanding modern debates (those that grow out of Putnam's Twin Earth). Externalism is fashionable, but I am reluctant to shake off my quaint internalism. Start by separating strict and literal meaning from speaker's meaning. |
| 7011 | Qualia are not extra appendages, but intrinsic ingredients of material states and processes [Heil] |
| Full Idea: Properties of conscious experience, the so-called qualia, are not dangling appendages to material states and processes but intrinsic ingredients of those states and processes. | |
| From: John Heil (From an Ontological Point of View [2003], Intro) | |
| A reaction: Personally I am inclined to the view that qualia are intrinsic to the processes and NOT to the 'states'. Heil must be right, though. I am sure qualia are not just epiphenomena - they are too useful. |
| 7061 | Philosophers' zombies aim to show consciousness is over and above the physical world [Heil] |
| Full Idea: Philosophers' zombies (invented by Robert Kirk) differ from the zombies of folklore; they are intended to make clear the idea that consciousness is an addition of being, something 'over and above' the physical world. | |
| From: John Heil (From an Ontological Point of View [2003], 20.1 n1) | |
| A reaction: The famous defender of zombies is David Chalmers. You can't believe in zombies if you believe (as I do) that 'the physical entails the mental'. Could there be redness without something that is red? If consciousness is extra, what is conscious? |
| 7063 | Zombies are based on the idea that consciousness relates contingently to the physical [Heil] |
| Full Idea: The possibility of zombies is founded on the idea that consciousness is related contingently to physical states and processes. | |
| From: John Heil (From an Ontological Point of View [2003], 20.3) | |
| A reaction: The question is, how do you decide whether the relationship is contingent or necessary? Hence the interest in whether conceivability entails possibility. Kripke attacks the idea of contingent identity, pointing towards necessity, and away from zombies. |
| 7064 | Functionalists deny zombies, since identity of functional state means identity of mental state [Heil] |
| Full Idea: Functionalists deny that zombies are possible since states of mind (including conscious states) are purely functional states. If two agents are in the same functional state, regardless of qualitative difference, they are in the same mental state. | |
| From: John Heil (From an Ontological Point of View [2003], 20.5) | |
| A reaction: In its 'brief' form this idea begins to smell of tautology. Only the right sort of functional state would entail a mental state, and how else can that functional state be defined, apart from its leading to a mental state? |
| 7027 | Functionalists say objects can be the same in disposition but differ in quality [Heil] |
| Full Idea: A central tenet of functionalism is that objects can be dispositionally indiscernible but differ qualitatively as much as you please. | |
| From: John Heil (From an Ontological Point of View [2003], 11.3) | |
| A reaction: This refers to the multiple realisability of functions. Presumably we reconcile essentialism with the functionalist view by saying that dispositions result from combinations of qualities. A unique combination of qualities will necessitate a disposition. |
| 7062 | Functionalism cannot explain consciousness just by functional organisation [Heil] |
| Full Idea: Functionalism has been widely criticized on the grounds that it is implausible to think that functional organization alone could suffice for conscious experience. | |
| From: John Heil (From an Ontological Point of View [2003], 20.2) | |
| A reaction: He cites Block's 'Chinese Mind' as an example. The obvious reply is that you can't explain consciousness with a lump of meat, or with behaviour, or with an anomalous property, or even with a non-physical substance. |
| 7059 | The 'explanatory gap' is used to say consciousness is inexplicable, at least with current concepts [Heil] |
| Full Idea: The expression 'explanatory gap' was coined by Joseph Levine in 1983. McGinn and Chalmers have invoked it in defence of the view that consciousness is physically inexplicable, and Nagel that it is inexplicable given existing conceptual resources. | |
| From: John Heil (From an Ontological Point of View [2003], 19.8 n14) | |
| A reaction: Coining a few concepts isn't going to help, but discovering more about the brain might. With computer simulations we will 'see' more of the physical end of thought. Psychologists may break thought down into physically more manageable components. |
| 7012 | If a car is a higher-level entity, distinct from its parts, how could it ever do anything? [Heil] |
| Full Idea: If we regard a Volvo car as a higher-level entity with its own independent reality, something distinct from its constituents (arranged in particular ways and variously connected to other things), we render mysterious how Volvos could do anything at all. | |
| From: John Heil (From an Ontological Point of View [2003], 02.3) | |
| A reaction: This seems to me perhaps the key reason why we have to be reductionists. The so-called 'bridge laws' from mind to brain are not just needed to explain the mind, they are also essential to show how a mind would cause behaviour. |
| 7043 | Multiple realisability is actually one predicate applying to a diverse range of properties [Heil] |
| Full Idea: Cases of multiple realisability are typically cases in which some predicate ('is red', 'is in pain') applies to an object in virtue of that object's possession of any of a diverse range of properties. | |
| From: John Heil (From an Ontological Point of View [2003], 14.8) | |
| A reaction: If the properties are diverse, why does one predicate apply to them? I take it that in the case of the pain, the predicate is ambiguous in applying to the behaviour or the phenomenal property. Same behaviour is possible with many qualia. |
| 7058 | Externalism is causal-historical, or social, or biological [Heil] |
| Full Idea: Some externalists focus on causal-historical connections, others emphasise social matters (especially thinkers' linguistic communities), still others focus on biological function. | |
| From: John Heil (From an Ontological Point of View [2003], 18.5 n6) | |
| A reaction: Helpful. The social view strikes me as the one to take most seriously (allowing for contextual views of justification, and for the social role of experts). The problem is to combine the social view with realism and a robust view of truth. |
| 7057 | Intentionality is based in dispositions, which are intrinsic to agents, suggesting internalism [Heil] |
| Full Idea: I suggest that intentionality is grounded in the dispositionalities of agents. Dispositions are intrinsic to agents, so this places me on the side of the internalists and against the externalists. | |
| From: John Heil (From an Ontological Point of View [2003], 18.4) | |
| A reaction: I think this is a key idea, and the right view. The key question is whether we see intentionality as active or passive. The externalist view seems to see the brain as a passive organ which the world manipulates. If the brain is active, what is it doing? |
| 7013 | The Picture Theory claims we can read reality from our ways of speaking about it [Heil] |
| Full Idea: The theory of language which I designate the 'Picture Theory' says that language pictures reality in roughly the sense that we can 'read off' features of reality from our ways of speaking about it. | |
| From: John Heil (From an Ontological Point of View [2003], 03.2) | |
| A reaction: Heil, quite rightly, attacks this view very strongly. I think of it as the great twentieth century philosophical heresy, that leads to shocking views like relativism and anti-realism. |
| 7002 | If propositions are states of affairs or sets of possible worlds, these lack truth values [Heil] |
| Full Idea: When pressed, philosophers will describe propositions as states of affairs or sets of possible worlds. But wait! Neither sets of possible worlds nor states of affairs - electrons being negatively charged, for instance - have truth values. | |
| From: John Heil (From an Ontological Point of View [2003], Intro) | |
| A reaction: I'm not sure that I see a problem. A pure proposition, expressed as, say "there is a giraffe on the roof" only acquires a truth value at the point where you assert it or believe it. There IS a possible world where there is a giraffe on the roof. |
| 12843 | With activities if you are doing it you've done it, with performances you must finish to have done it [Simons] |
| Full Idea: Action theorists distinguish between activity verbs such as 'weep' and 'talk' (where continuous entails perfect - John is weeping so John has now wept), and performance verbs like 'wash', where John is washing doesn't yet mean John has washed. | |
| From: Peter Simons (Parts [1987], 4.2) | |
| A reaction: How to distinguish them, bar examples? In 'has wept' and 'has washed', I'm thinking that it is the 'has' which is ambiguous, rather than the more contentful word. One is 'has participated' and the other is 'has completed'. I've participated in washing! |
| 12875 | One false note doesn't make it a performance of a different work [Simons] |
| Full Idea: A performance of a certain work with a false note is still a performance of that work, albeit a slightly imperfect one, and not (as Goodman has argued) a performance of a different work. | |
| From: Peter Simons (Parts [1987], 7.6) | |
| A reaction: This is clearly right, but invites the question of how many wrong notes are permissable. One loud very wrong note could ruin a very long performance (but of that work, presumably). This is about classical music, but think about jazz. |
| 1494 | Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle] |
| Full Idea: Thales says water is the first principle (which is why he declared the earth is on water); perhaps he concluded this from seeing that all food is moist. | |
| From: report of Thales (fragments/reports [c.585 BCE], A12) by Aristotle - Metaphysics 983b12 |
| 7016 | The standard view is that causal sequences are backed by laws, and between particular events [Heil] |
| Full Idea: The notion that every causal sequence if backed by a law, like the idea that causation is a relation among particular events, forms a part of philosophy's Humean heritage. | |
| From: John Heil (From an Ontological Point of View [2003], 04.3) | |
| A reaction: This nicely pinpoints a view that needs to come under attack. I take the view that there are no 'laws' - other than the regularities in behaviour that result from the interaction of essential dispositional properties. Essences don't need laws. |
| 1713 | Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle] |
| Full Idea: Thales seems, from what is recorded of him, to have supposed that the soul is something productive of movement, if he really said that the magnet has soul because it produces movement in iron. | |
| From: report of Thales (fragments/reports [c.585 BCE]) by Aristotle - De Anima 405a20 |
| 7036 | The real natural properties are sparse, but there are many complex properties [Heil] |
| Full Idea: I am sympathetic to the idea that the real properties are 'sparse'; ...but if, in counting kinds of property, we include complex properties as well as simple properties, the image of sparseness evaporates. | |
| From: John Heil (From an Ontological Point of View [2003], 13.4) | |
| A reaction: This seems right to me, and invites the obvious question of which are the sparse real properties. Presumably we let the physicists tell us that, though Heil wants to include qualities like phenomenal colour, which physicists ignore. |
| 1742 | Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius] |
| Full Idea: When asked whether a man who did wrong could escape the notice of the gods, Thales is said to have replied: 'No, not even if he thinks wrong.' | |
| From: report of Thales (fragments/reports [c.585 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 01.Th.9 |