Combining Philosophers

All the ideas for Diogenes Laertius, Thomas Nagel and Peter Simons

unexpand these ideas     |    start again     |     specify just one area for these philosophers


146 ideas

1. Philosophy / A. Wisdom / 3. Wisdom Deflated
There is more insight in fundamental perplexity about problems than in their supposed solutions [Nagel]
     Full Idea: Certain forms of perplexity (say about freedom, knowledge and the meaning of life) seem to me to embody more insight than any of the supposed solutions to those problems.
     From: Thomas Nagel (The View from Nowhere [1986], Intro)
     A reaction: Obviously false solutions won't embody much insight. This sounds good, but I suspect that the insight is in the recognition of the facts which give rise to the perplexity. I can't think of anything in favour of perplexity for its own sake.
1. Philosophy / D. Nature of Philosophy / 1. Philosophy
If your life is to be meaningful as part of some large thing, the large thing must be meaningful [Nagel]
     Full Idea: Those seeking to give their lives meaning usually envision a role in something larger than themselves, …but such a role can't confer significance unless that enterprise is itself significant.
     From: Thomas Nagel (The Absurd [1971], §3)
     A reaction: Which correctly implies that this way of finding meaning for one's life is doomed.
Philosophy is the childhood of the intellect, and a culture can't skip it [Nagel]
     Full Idea: Philosophy is the childhood of the intellect, and a culture that tries to skip it will never grow up.
     From: Thomas Nagel (The View from Nowhere [1986], Intro)
     A reaction: Can he really mean that a mature culture doesn't need philosophy?
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / b. Philosophy as transcendent
It seems mad, but the aim of philosophy is to climb outside of our own minds [Nagel]
     Full Idea: We are trying to climb outside of our own minds, an effort that some would regard as insane and that I regard as philosophically fundamental.
     From: Thomas Nagel (The View from Nowhere [1986], Intro)
     A reaction: It is not only philosophers who do this. It is an essential feature of the mind, and is inherent in the concept of truth.
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
Metaphysics attempts to give an account of everything, in terms of categories and principles [Simons]
     Full Idea: Metaphysics, the noblest of philosophic enterprises, is an attempt to give an account of everything. ...Its job is to provide a universal framework (of categories and principles) within which anything whatever can take its place.
     From: Peter Simons (Whitehead: process and cosmology [2009], 'Speculative')
     A reaction: Bravo! I take metaphysics to be entirely continuous with science, but operating entirely at the highest level of generality. See Westerhoff on categories, though. The enterprise may not be going too well.
1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
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.
1. Philosophy / G. Scientific Philosophy / 3. Scientism
Modern philosophy tends to be a theory-constructing extension of science, but there is also problem-solving [Nagel]
     Full Idea: Philosophy is now dominated by a spirit of theory construction which sees philosophy as continuous with science, but the other problem-centred style is still in existence and it is important to keep it alive.
     From: Thomas Nagel (The Philosophical Culture [1995], §6)
2. Reason / A. Nature of Reason / 5. Objectivity
Realism invites scepticism because it claims to be objective [Nagel]
     Full Idea: The search for objective knowledge, because of its commitment to realism, cannot refute scepticism and must proceed under its shadow, and scepticism is only a problem because of the realist claims of objectivity.
     From: Thomas Nagel (The View from Nowhere [1986], V.1)
Views are objective if they don't rely on a person's character, social position or species [Nagel]
     Full Idea: A view or form of thought is more objective than another if it relies less on the specifics of the individual's makeup and position in the world, or on the character of the particular type of creature he is.
     From: Thomas Nagel (The View from Nowhere [1986], Intro)
     A reaction: Notice that this defines comparative objectivity, rather than an absolute. I take it that something must be entirely objective to qualify as a 'fact', and so anything about which there is a consensus that it is a fact can be taken as wholly objective.
Things cause perceptions, properties have other effects, hence we reach a 'view from nowhere' [Nagel, by Reiss/Sprenger]
     Full Idea: First we realise that perceptions are caused by things, second we realise that properties have other effects (as well as causing perceptions), and third we conceive of a thing's true nature without perspectives. That is the 'view from nowhere'.
     From: report of Thomas Nagel (The View from Nowhere [1986], p.14) by Reiss,J/Spreger,J - Scientific Objectivity 2.1
     A reaction: [My summary of their summary] This is obviously an optimistic view. I''m not sure how he can justify three precise stages, given than animals probably jump straight to the third stage, and engage with the nature's of things.
2. Reason / C. Styles of Reason / 1. Dialectic
Dialectic involves conversations with short questions and brief answers [Diog. Laertius]
     Full Idea: Dialectic is when men converse by putting short questions and giving brief answers to those who question them.
     From: Diogenes Laertius (Lives of Eminent Philosophers [c.250], 3.1.52)
4. Formal Logic / G. Formal Mereology / 1. Mereology
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.
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.
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.
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.
4. Formal Logic / G. Formal Mereology / 2. Terminology of Mereology
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.
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)
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)
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.
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'.
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.
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.
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.
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.
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.
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.
4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology
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.
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)
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!
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.
4. Formal Logic / G. Formal Mereology / 4. Groups
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.
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?)
'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.
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
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.
5. Theory of Logic / G. Quantification / 6. Plural Quantification
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.
7. Existence / B. Change in Existence / 1. Nature of Change
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'.
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.
7. Existence / B. Change in Existence / 2. Processes
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?
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.
Slow and continuous events (like balding or tree-growth) are called 'processes', not 'events' [Simons]
     Full Idea: Some changes are slow and continuous and are called 'processes' rather than events; the growth of a tree or the greying of John's hair.
     From: Peter Simons (Events [2003], 3.2)
     A reaction: So making a loaf of bread is an event rather than a process, and World War I was a process rather than an event? If you slow down a dramatic event (on film), you see that it is really a process. I take 'process' to be a much more illuminating word.
Maybe processes behave like stuff-nouns, and events like count-nouns [Simons]
     Full Idea: There is arguably a parallel between the mass-count distinction among meanings of nouns and the process-event distinction among meanings of verbs. Processes, like stuff, do not connote criteria for counting, whereas events, like things, do.
     From: Peter Simons (Events [2003], 6.2)
     A reaction: Hm. You can have several processes, and a process can come to an end - but then you can have several ingredients of a cake, and you can run out of one of them. This may be quite a helpful distinction.
7. Existence / B. Change in Existence / 3. Moments
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.
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.
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.
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.
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
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.
Einstein's relativity brought events into ontology, as the terms of a simultaneity relationships [Simons]
     Full Idea: The ontology of events rose in philosophy with the rise of relativity theory in physics. Einstein postulated the relativity of simultaneity to an observer's state of motion. The terms of the relation of simultaneity must be events or their parts.
     From: Peter Simons (Events [2003], 1.1.2)
     A reaction: Intriguing. Philosophers no doubt think they are way ahead of physicists in such a metaphysical area. Personally I regard the parentage of the concept as good grounds for scepticism about it. See Idea 7621 for my reason.
7. Existence / B. Change in Existence / 4. Events / b. Events as primitive
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.
7. Existence / C. Structure of Existence / 4. Ontological Dependence
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.
7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience
Pure supervenience explains nothing, and is a sign of something fundamental we don't know [Nagel]
     Full Idea: Pure, unexplained supervenience is never a solution to a problem but a sign that there is something fundamental we don't know.
     From: Thomas Nagel (The Psychophysical Nexus [2000], §III)
     A reaction: This seems right. It is not a theory or an explanation, merely the observation of a correlation which will require explanation. Why are they correlated?
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
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.
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.
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.
7. Existence / C. Structure of Existence / 8. Stuff / b. Mixtures
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.
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.
8. Modes of Existence / B. Properties / 7. Emergent Properties
Emergent properties appear at high levels of complexity, but aren't explainable by the lower levels [Nagel]
     Full Idea: The supposition that a diamond or organism should truly have emergent properties is that they appear at certain complex levels of organisation, but are not explainable (even in principle) in terms of any more fundamental properties of the system.
     From: Thomas Nagel (Panpsychism [1979], p.186)
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
Internal relations combine some tropes into a nucleus, which bears the non-essential tropes [Simons, by Edwards]
     Full Idea: Simons's 'nuclear' option blends features of the substratum and bundle theories. First we have tropes collected by virtue of their internal relations, forming the essential kernel or nucleus. This nucleus then bears the non-essential tropes.
     From: report of Peter Simons (Particulars in Particular Clothing [1994], p.567) by Douglas Edwards - Properties 3.5
     A reaction: [compression of Edwards's summary] This strikes me as being a remarkably good theory. I am not sure of the ontological status of properties, such that they can (unaided) combine to make part of an object. What binds the non-essentials?
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
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?
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
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.
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
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.
9. Objects / B. Unity of Objects / 3. Unity Problems / b. Cat and its tail
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.
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.
9. Objects / B. Unity of Objects / 3. Unity Problems / d. Coincident objects
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.
9. Objects / C. Structure of Objects / 5. Composition of an Object
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).
9. Objects / C. Structure of Objects / 6. Constitution of an Object
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.
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
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.
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
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.
'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.
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.
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?
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?
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
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.
9. Objects / D. Essence of Objects / 5. Essence as Kind
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?
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
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.
9. Objects / D. Essence of Objects / 11. Essence of Artefacts
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.
9. Objects / D. Essence of Objects / 12. Essential Parts
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?
9. Objects / E. Objects over Time / 4. Four-Dimensionalism
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.
9. Objects / E. Objects over Time / 7. Intermittent Objects
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.
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?
9. Objects / E. Objects over Time / 9. Ship of Theseus
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'.
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.
9. Objects / E. Objects over Time / 12. Origin as Essential
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.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
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.
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / b. Primary/secondary
Modern science depends on the distinction between primary and secondary qualities [Nagel]
     Full Idea: The distinction between primary and secondary qualities is the precondition for the development of modern physics and chemistry.
     From: Thomas Nagel (The View from Nowhere [1986], V.3)
We achieve objectivity by dropping secondary qualities, to focus on structural primary qualities [Nagel]
     Full Idea: At the end [of the three stages of objectivity] the secondary qualities drop out of our picture of the external world, and the underlyiing primary qualities such as shape, size, weight, and motion are thought of structurally.
     From: Thomas Nagel (The View from Nowhere [1986], II)
     A reaction: This is the orthodox view for realists about the external world, and I largely agree. The only problem I see is that secondary qualities contain information, such as the colour of rotting fruit - but then colour is not an essential feature of rot.
12. Knowledge Sources / B. Perception / 4. Sense Data / d. Sense-data problems
Sense-data are a false objectification of what is essentially subjective [Nagel]
     Full Idea: The private object or sense datum view is an instance of the false objectification of what is essentially subjective.
     From: Thomas Nagel (Subjective and Objective [1979], p.207)
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / a. Agrippa's trilemma
Sceptics say demonstration depends on self-demonstrating things, or indemonstrable things [Diog. Laertius]
     Full Idea: Sceptics say that every demonstration depends on things which demonstrates themselves, or on things which can't be demonstrated.
     From: Diogenes Laertius (Lives of Eminent Philosophers [c.250], 9.Py.11)
     A reaction: This refers to two parts of Agrippa's Trilemma (the third being that demonstration could go on forever). He makes the first option sound very rationalist, rather than experiential.
13. Knowledge Criteria / B. Internal Justification / 2. Pragmatic justification
Epistemology is centrally about what we should believe, not the definition of knowledge [Nagel]
     Full Idea: The central problem of epistemology is what to believe and how to justify one's beliefs, not the impersonal problem of whether my beliefs can be said to be knowledge.
     From: Thomas Nagel (The View from Nowhere [1986], V.1)
     A reaction: Wrong. The question of whether what one has is 'knowledge' is not impersonal at all - it is having the social status of a knower or expert.
13. Knowledge Criteria / C. External Justification / 5. Controlling Beliefs
We can't control our own beliefs [Nagel]
     Full Idea: Our beliefs are always due to factors outside of our control.
     From: Thomas Nagel (Moral Luck [1976], p.27)
13. Knowledge Criteria / C. External Justification / 8. Social Justification
Justifications come to an end when we want them to [Nagel]
     Full Idea: Justifications come to an end when we are content to have them end.
     From: Thomas Nagel (The Absurd [1971], §3)
     A reaction: This is the correct account, with the vital proviso that where justification comes to an end is usually a social matter. Robinson Crusoe doesn't care whether he 'knows' - he just acts on his beliefs.
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
Scepticism has two dogmas: that nothing is definable, and every argument has an opposite argument [Diog. Laertius]
     Full Idea: Sceptics actually assert two dogmas: that nothing should be defined, and that every argument has an opposite argument.
     From: Diogenes Laertius (Lives of Eminent Philosophers [c.250], 9.Py.11)
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
When sceptics say that nothing is definable, or all arguments have an opposite, they are being dogmatic [Diog. Laertius]
     Full Idea: When sceptics say that they define nothing, and that every argument has an opposite argument, they here give a positive definition, and assert a positive dogma.
     From: Diogenes Laertius (Lives of Eminent Philosophers [c.250], 9.11.11)
Scepticism is based on ideas which scepticism makes impossible [Nagel]
     Full Idea: The sceptic reaches scepticism through thoughts that scepticism makes unthinkable.
     From: Thomas Nagel (The View from Nowhere [1986], V.6)
13. Knowledge Criteria / E. Relativism / 4. Cultural relativism
You would have to be very morally lazy to ignore criticisms of your own culture [Nagel]
     Full Idea: One would have to be very morally lazy to be unconcerned with the possibility that the prevailing morality of one's culture had something fundamentally wrong with it.
     From: Thomas Nagel (MacIntyre versus the Enlightenment [1988], 203)
14. Science / C. Induction / 4. Reason in Induction
Induction moves from some truths to similar ones, by contraries or consequents [Diog. Laertius]
     Full Idea: Induction is an argument which by means of some admitted truths establishes naturally other truths which resemble them; there are two kinds, one proceeding from contraries, the other from consequents.
     From: Diogenes Laertius (Lives of Eminent Philosophers [c.250], 3.1.23)
Observed regularities are only predictable if we assume hidden necessity [Nagel]
     Full Idea: Observed regularities provide reason to believe that they will be repeated only to the extent that they provide evidence of hidden necessary connections, which hold timelessly.
     From: Thomas Nagel (The View from Nowhere [1986], V.5)
15. Nature of Minds / A. Nature of Mind / 1. Mind / a. Mind
Inner v outer brings astonishment that we are a particular person [Nagel]
     Full Idea: The problem of reconciling the objective and subjective points of view takes its purest form in a sense of incredulity that one should be anyone in particular.
     From: Thomas Nagel (Subjective and Objective [1979], p.206)
     A reaction: Nice observation. This idea has always struck me forcibly, and seems to be one of those basic intuitions which motivates philosophy, and yet the subject has almost nothing to say about it. Of course you are you, or you wouldn't be amazed by it…
15. Nature of Minds / A. Nature of Mind / 5. Unity of Mind
Brain bisection suggests unity of mind isn't all-or-nothing [Nagel, by Lockwood]
     Full Idea: Nagel argues (because of brain bisection experiments) that we should jettison our commonsense assumption that the unity of consciousness is an all-or-nothing affair.
     From: report of Thomas Nagel (Brain Bisection and Unity of Consciousness [1971]) by Michael Lockwood - Mind, Brain and the Quantum p.84
     A reaction: It seems wrong to call it 'commonsense'. It is an assumption that precedes any judgement, but if you rapidly grasp that your mind is in your brain, it becomes common sense that you can cut lumps out of your mind.
15. Nature of Minds / B. Features of Minds / 1. Consciousness / b. Essence of consciousness
An organism is conscious if and only if there is something it is like to be that organism [Nagel]
     Full Idea: An organism only has conscious mental states if and only if there is something that it is like to be that organism.
     From: Thomas Nagel (What is it like to be a bat? [1974], p.166)
     A reaction: It is hard to argue with this, but one should push on and ask what features of its consciousness make it such that there is a 'what it is like'. What is it like to have a subconscious mind, or be deeply asleep, or drive while daydreaming?
16. Persons / B. Nature of the Self / 4. Presupposition of Self
We may be unable to abandon personal identity, even when split-brains have undermined it [Nagel]
     Full Idea: As a result of the evidence of split-brains, it is possible that the ordinary, simple idea of a single person will come to seem quaint some day, …but we may be unable to abandon the idea, no matter what we discover.
     From: Thomas Nagel (Brain Bisection and Unity of Consciousness [1971], p.164)
     A reaction: I'm not sure what grounds you can have for a claim that we can't abandon our current view of selves, even when the new reality will be utterly different. Rather conservative? I would expect future concepts to roughly match future reality.
If you assert that we have an ego, you can still ask if that future ego will be me [Nagel]
     Full Idea: The metaphysical ego, if it is a continuing individual with its identity over time, is just one more thing about which the same problem can be raised - will that ego still be me?
     From: Thomas Nagel (Subjective and Objective [1979], p.200)
     A reaction: You can worry too much about some philosophical questions. If it is me now, and it has continuing individual identity over time, I'm not going to lose sleep over the possibility that it might nevertheless somehow cease to be me. I'm overrated.
Personal identity cannot be fully known a priori [Nagel]
     Full Idea: The full conditions of personal identity cannot be extracted from the concept of a person at all: they cannot be arrived at a priori.
     From: Thomas Nagel (The View from Nowhere [1986], III.2)
     A reaction: However, if you turn to experience to get the hang of what a person is, it is virtually impossible to disentangle the essentials from the accidental features of being a person. How essential are memories or reasoning or hopes or understandings or plans?
The question of whether a future experience will be mine presupposes personal identity [Nagel]
     Full Idea: The identity of the self must have some sort of objectivity, otherwise the subjective question whether a future experience will be mine or not will be contentless.
     From: Thomas Nagel (The View from Nowhere [1986], III.3)
     A reaction: This sounds a bit circular and question-begging. If there is no objective self, then the question of whether a future experience will be mine would be a misconceived question. I sympathise with Nagel's attempt to show how personal identity is a priori.
16. Persons / D. Continuity of the Self / 4. Split Consciousness
I can't even conceive of my brain being split in two [Nagel]
     Full Idea: It is hard to think of myself as being identical with my brain. If my brain is to be split, with one half miserable and the other half euphoric, my expectations can take no form, as my idea of myself doesn't allow for divisibility.
     From: Thomas Nagel (The View from Nowhere [1986], III.4)
     A reaction: Nagel is trying to imply that there is some sort of conceptual impossibility here, but it may just be very difficult. I can think about my lovely lunch while doing my miserable job. Does Nagel want to hang on to a unified thing which doesn't exist?
16. Persons / F. Free Will / 1. Nature of Free Will
The most difficult problem of free will is saying what the problem is [Nagel]
     Full Idea: The most difficult problem of free will is saying what the problem is.
     From: Thomas Nagel (Subjective and Objective [1979], p.198)
17. Mind and Body / A. Mind-Body Dualism / 7. Zombies
Can we describe our experiences to zombies? [Nagel]
     Full Idea: The goal of an objective phenomenology would be to describe, at least in part, the subjective character of experiences in a form comprehensible to beings incapable of having those experiences.
     From: Thomas Nagel (What is it like to be a bat? [1974], p.179)
     A reaction: This seems a bizarre expectation. We can already explain visual experience to the blind up to a point, but no one is dreaming of an "objective phenomenology" which will give blind people total understanding, just by reading about it in braille.
17. Mind and Body / D. Property Dualism / 6. Mysterianism
Nagel's title creates an impenetrable mystery, by ignoring a bat's ways that may not be "like" anything [Dennett on Nagel]
     Full Idea: Nagel's title invites us to ignore all the different ways in which bats might accomplish their cunning feats without its "being like" anything for them. We create an impenetrable mystery for ourselves if we assume that Nagel's title makes sense.
     From: comment on Thomas Nagel (What is it like to be a bat? [1974]) by Daniel C. Dennett - Kinds of Minds Ch.6
     A reaction: This could well be correct about bats, but the question applies to humans as well, and we can't deny that "what it is like" is a feature of some creatures' realities. On the fringes of our own consciousness there are mental events that are "like" nothing.
We can't be objective about experience [Nagel]
     Full Idea: If the subjective character of experience is fully comprehensible only from one point of view, then any shift to greater objectivity does not take us nearer to the real nature of the phenomenon: it takes us further away from it.
     From: Thomas Nagel (What is it like to be a bat? [1974], p.174)
     A reaction: We can, however, talk to one another about our subjectivity, and compare notes, and such 'inter-subjectivity' may be one approach to objectivity. We must concede Nagel's point, but we also miss something about a stone if we must remain outside of it.
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / d. Explanatory gap
Physicalism should explain how subjective experience is possible, but not 'what it is like' [Kirk,R on Nagel]
     Full Idea: A physicalist account of conscious experience must explain how it is possible for a physical system to be a conscious subject, but not 'what it is like' for some organism.
     From: comment on Thomas Nagel (What is it like to be a bat? [1974]) by Robert Kirk - Mind and Body §4.2
     A reaction: You can't entirely evade Nagel's challenge. We are trying to discover the 'neural correlate of consciousness', which will explain why we are conscious, but we also want to know why we experience green for one wavelength, and red for another.
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Any equivalence relation among similar things allows the creation of an abstractum [Simons]
     Full Idea: Whenever we have an equivalence relation among things - such as similarity in a certain respect - we can abstract under the equivalence and consider the abstractum.
     From: Peter Simons (Modes of Extension: comment on Fine [2008], p.19)
     A reaction: This strikes me as dressing up old-fashioned psychological abstractionism in the respectable clothing of Fregean equivalences (such as 'directions'). We can actually do what Simons wants without the precision of partitioned equivalence classes.
Abstraction is usually seen as producing universals and numbers, but it can do more [Simons]
     Full Idea: Abstraction as a cognitive tool has been associated predominantly with the metaphysics of universals and of mathematical objects such as numbers. But it is more widely applicable beyond this standard range. I commend its judicious use.
     From: Peter Simons (Modes of Extension: comment on Fine [2008], p.21)
     A reaction: Personally I think our view of the world is founded on three psychological principles: abstraction, idealisation and generalisation. You can try to give them rigour, as 'equivalence classes', or 'universal quantifications', if it makes you feel better.
19. Language / A. Nature of Meaning / 6. Meaning as Use
The meaning of a word contains all its possible uses as well as its actual ones [Nagel]
     Full Idea: The meaning of a word contains all its possible uses, true and false, not only its actual ones.
     From: Thomas Nagel (What Does It All Mean? [1987], Ch.5)
     A reaction: It has always seemed to me that meaning is not use, because you can't use it if it hasn't already got a meaning. What use is a meaningless word?
20. Action / A. Definition of Action / 2. Duration of an Action
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!
20. Action / C. Motives for Action / 5. Action Dilemmas / c. Omissions
Noninterference requires justification as much as interference does [Nagel]
     Full Idea: Noninterference requires justification as much as interference does.
     From: Thomas Nagel (Equality and Partiality [1991], Ch.10)
     A reaction: I'm not convinced by this, as a simple rule. If I spend my whole life doing just the minimum for my own survival, I don't see why I should have to justify that, and I don't see a state is obliged to justify it either.
21. Aesthetics / B. Nature of Art / 8. The Arts / a. Music
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.
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / a. Preconditions for ethics
Morality must be motivating, and not because of pre-moral motives [Nagel]
     Full Idea: My own view is that moral justification must be capable of motivating, but not in virtue of reliance on pre-moral motives.
     From: Thomas Nagel (Equality and Partiality [1991], Ch.5)
     A reaction: This may well be the core and essence of Kantian moral theory. I'm inclined to think of it as 'Kant's dream', which is of ultra-rational beings who are driven by pure rationality as a motivator. People who fit this bill tend to be academics.
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / d. Ethical theory
There is no one theory of how to act (or what to believe) [Nagel]
     Full Idea: To look for a single general theory of how to decide the right thing to do is like looking for a single theory of how to decide what to believe.
     From: Thomas Nagel (The Fragmentation of Value [1977], p.135)
     A reaction: Depends on your level of generality. Values and virtues are general guides which should be brought to every action, with 'higher' values guiding choice of what is relevant.
22. Metaethics / B. Value / 1. Nature of Value / c. Objective value
Total objectivity can't see value, but it sees many people with values [Nagel]
     Full Idea: A purely objective view has no way of knowing whether anything has any value, but actually its data include the appearance of value to individuals with particular perspectives, including oneself.
     From: Thomas Nagel (The View from Nowhere [1986], VIII.2)
     A reaction: I would have thought that a very objective assessment of someone's health is an obvious revelation of value, irrespective of anyone's particular perspective.
22. Metaethics / B. Value / 2. Values / e. Death
We don't worry about the time before we were born the way we worry about death [Nagel]
     Full Idea: We do not regard the period before we were born in the same way that we regard the prospect of death.
     From: Thomas Nagel (The View from Nowhere [1986], XI.3)
     A reaction: This is a challenge to Epicurus, who said death is no worse than pre-birth. This idea may be true of the situation immediately post-death, but a thousand years from now it is hard to distinguish them.
22. Metaethics / B. Value / 2. Values / f. Altruism
If our own life lacks meaning, devotion to others won't give it meaning [Nagel]
     Full Idea: If no one's life has any meaning in itself, how can it acquire meaning through devotion to the meaningless lives of others?
     From: Thomas Nagel (The View from Nowhere [1986], XI.2)
     A reaction: This is one of the paradoxes of compassion. The other is that the virtue requires other people to be in need of help, which can't be a desirable situation.
22. Metaethics / C. The Good / 1. Goodness / f. Good as pleasure
Pain doesn't have a further property of badness; it gives a reason for its avoidance [Nagel]
     Full Idea: The objective badness of pain is not some mysterious further property that all pains have, but just the fact that there is reason for anyone capable of viewing the world objectively to want it to stop.
     From: Thomas Nagel (The View from Nowhere [1986], VIII.2)
     A reaction: Presumably all pains (e.g. of grief and of toothache) have something in common, to qualify as pains. It must be more than being disliked, because we can dislike a food.
22. Metaethics / C. The Good / 1. Goodness / i. Moral luck
Moral luck can arise in character, preconditions, actual circumstances, and outcome [Nagel]
     Full Idea: Moral luck involves one's character, the antecedent circumstances of the act, the actual circumstances of the act, and the outcome of the act.
     From: Thomas Nagel (Moral Luck [1976], p.28)
     A reaction: Meaning, I take it, that there can be luck in any one of those four. A neat slicing up that doesn't quite fit the real world, where things flow. Helpful, though.
22. Metaethics / C. The Good / 3. Pleasure / b. Types of pleasure
Cyrenaic pleasure is a motion, but Epicurean pleasure is a condition [Diog. Laertius]
     Full Idea: Cyrenaics place pleasure wholly in motion, whereas Epicurus admits it as a condition.
     From: Diogenes Laertius (Lives of Eminent Philosophers [c.250], 10.28)
     A reaction: Not a distinction we meet in modern discussions. Do events within the mind count as 'motion'? If so, these two agree. If not, I'd vote for Epicurus.
23. Ethics / A. Egoism / 1. Ethical Egoism
Cynics believe that when a man wishes for nothing he is like the gods [Diog. Laertius]
     Full Idea: Cynics believe that when a man wishes for nothing he is like the gods.
     From: Diogenes Laertius (Lives of Eminent Philosophers [c.250], 6.Men.3)
23. Ethics / B. Contract Ethics / 6. Game Theory
Game theory misses out the motivation arising from the impersonal standpoint [Nagel]
     Full Idea: I do not favour the route taken by Hobbes's modern descendants, using game theory, since I believe the impersonal standpoint makes an essential contribution to individual motivation which must be addressed by any ethically acceptable theory.
     From: Thomas Nagel (Equality and Partiality [1991], Ch.4)
     A reaction: The assumption of self-seeking at the core of game theory seems very bizarre, and leads to moral approval of free riders. Nagel offers the best response, which is the Kantian impersonal view. Nagel may be optimistic about motivation, though.
23. Ethics / D. Deontological Ethics / 1. Deontology
Something may be 'rational' either because it is required or because it is acceptable [Nagel]
     Full Idea: "Rational" may mean rationally required or rationally acceptable
     From: Thomas Nagel (The View from Nowhere [1986], X.4)
23. Ethics / D. Deontological Ethics / 2. Duty
If cockroaches can't think about their actions, they have no duties [Nagel]
     Full Idea: If cockroaches cannot think about what they should do, there is nothing they should do.
     From: Thomas Nagel (The View from Nowhere [1986], VIII.3)
23. Ethics / D. Deontological Ethics / 3. Universalisability
In ethics we abstract from our identity, but not from our humanity [Nagel]
     Full Idea: In pursuit of the kind of objectivity needed in the physical sciences, we abstract even from our humanity; but nothing further than abstraction from our identity (that is, who we are) enters into ethical theory.
     From: Thomas Nagel (Equality and Partiality [1991], Ch.2)
     A reaction: The 'brief' summary of this boils down to a nice and interesting slogan. It epitomises the modern Kantian approach to ethics. But compare Idea 4122, from Bernard Williams.
The general form of moral reasoning is putting yourself in other people's shoes [Nagel]
     Full Idea: I believe the general form of moral reasoning is to put yourself in other people's shoes.
     From: Thomas Nagel (Equality [1977], §9)
As far as possible we should become instruments to realise what is best from an eternal point of view [Nagel]
     Full Idea: The right thing to do is to turn oneself as far as possible into an instrument for the realisation of what is best 'sub specie aeternitatis'.
     From: Thomas Nagel (Subjective and Objective [1979], p.204)
If we can decide how to live after stepping outside of ourselves, we have the basis of a moral theory [Nagel]
     Full Idea: If we can make judgements about how we should live even after stepping outside of ourselves, they will provide the material for moral theory.
     From: Thomas Nagel (The View from Nowhere [1986], VIII.1)
We should see others' viewpoints, but not lose touch with our own values [Nagel]
     Full Idea: One should occupy a position far enough outside your own life to reduce the importance of the difference between yourself and other people, yet not so far outside that all human values vanish in a nihilistic blackout (i.e.aim for a form of humility).
     From: Thomas Nagel (The View from Nowhere [1986], XI.2)
23. Ethics / D. Deontological Ethics / 4. Categorical Imperative
I can only universalise a maxim if everyone else could also universalise it [Nagel]
     Full Idea: It is implicit in the categorical imperative that I can will that everyone should adopt as a maxim only what everyone else can also will that everyone should adopt as a maxim.
     From: Thomas Nagel (Equality and Partiality [1991], Ch.5)
     A reaction: This is a nice move, because it shifts the theory away from a highly individualistic Cartesian view of morality towards the idea that morality is a community activity.
23. Ethics / D. Deontological Ethics / 6. Motivation for Duty
We find new motives by discovering reasons for action different from our preexisting motives [Nagel]
     Full Idea: There are reasons for action, and we must discover them instead of deriving them from our preexisting motives - and in that way we can acquire new motives superior to the old.
     From: Thomas Nagel (The View from Nowhere [1986], VIII.1)
23. Ethics / E. Utilitarianism / 3. Motivation for Altruism
Utilitarianism is too demanding [Nagel]
     Full Idea: Utilitarianism is too demanding.
     From: Thomas Nagel (The View from Nowhere [1986], X.5)
23. Ethics / F. Existentialism / 2. Nihilism
If a small brief life is absurd, then so is a long and large one [Nagel]
     Full Idea: If life is absurd because it only lasts seventy years, wouldn't it be infinitely absurd if it lasted for eternity? And if we are absurd because we are small, would we be any less absurd if we filled the universe?
     From: Thomas Nagel (The Absurd [1971], §1)
24. Political Theory / A. Basis of a State / 4. Original Position / c. Difference principle
An egalitarian system must give priority to those with the worst prospects in life [Nagel]
     Full Idea: What makes a system egalitarian is the priority it gives to the claims of those whose overall life prospects put them at the bottom.
     From: Thomas Nagel (Equality [1977], §6)
24. Political Theory / D. Ideologies / 6. Liberalism / c. Liberal equality
A legitimate system is one accepted as both impartial and reasonably partial [Nagel]
     Full Idea: A legitimate system is one which reconciles the two universal principles of impartiality and reasonable partiality so that no one can object that his interests are not being accorded sufficient weight or that the demands on him are excessive.
     From: Thomas Nagel (Equality and Partiality [1991], Ch.4)
     A reaction: This seems an appealing principle, and a nice attempt at stating the core of Kantian liberalism. It is obviously influenced by Scanlon's contractualist view, in the idea that 'no one can object', because everyone sees the justification.
25. Social Practice / B. Equalities / 1. Grounds of equality
In judging disputes, should we use one standard, or those of each individual? [Nagel]
     Full Idea: In assessing equality of claims, it must be decided whether to use a single, objective standard, or whether interests should be ranked by the person's own estimation. Also should they balance momentary or long-term needs?
     From: Thomas Nagel (Equality [1977], §6)
Equality was once opposed to aristocracy, but now it opposes public utility and individual rights [Nagel]
     Full Idea: Egalitarianism was once opposed to aristocratic values, but now it is opposed by adherents of two non-aristocratic values: utility (increase benefit, even if unequally) and individual rights (which redistribution violates).
     From: Thomas Nagel (Equality [1977], §2)
The ideal of acceptability to each individual underlies the appeal to equality [Nagel]
     Full Idea: The ideal of acceptability to each individual underlies the appeal to equality.
     From: Thomas Nagel (Equality [1977], §8)
25. Social Practice / B. Equalities / 2. Political equality
Equality nowadays is seen as political, social, legal and economic [Nagel]
     Full Idea: Contemporary political debate recognises four types of equality: political, social, legal and economic.
     From: Thomas Nagel (Equality [1977], §1)
     A reaction: Meaning equality of 1) power and influence, 2) status and respect, 3) rights and justice, 4) wealth.
Equality can either be defended as good for society, or as good for individual rights [Nagel]
     Full Idea: The communitarian defence of equality says it is good for society as a whole, whereas the individualistic defence defends equality as a correct distributive principle.
     From: Thomas Nagel (Equality [1977], §2)
Democracy is opposed to equality, if the poor are not a majority [Nagel]
     Full Idea: As things are, democracy is the enemy of comprehensive equality, once the poor cease to be a majority.
     From: Thomas Nagel (Equality and Partiality [1991], Ch.9)
     A reaction: This is obvious once you think about it, but it is well worth saying, because it is tempting to think that we live in an 'equal' society, merely because we are equal in things such as voting rights and equality before the law.
25. Social Practice / C. Rights / 1. Basis of Rights
A morality of rights is very minimal, leaving a lot of human life without restrictions or duties [Nagel]
     Full Idea: The morality of rights tends to be a limited, even minimal, morality. It leaves a great deal of human life ungoverned by moral restrictions or requirements.
     From: Thomas Nagel (Equality [1977], §5)
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
Given the nature of heat and of water, it is literally impossible for water not to boil at the right heat [Nagel]
     Full Idea: Given what heat is and what water is, it is literally impossible for water to be heated beyond a certain point at normal atmospheric pressure without boiling.
     From: Thomas Nagel (Panpsychism [1979], p.186)