Combining Texts

All the ideas for 'Material Beings', 'System of Logic' and 'The Logic of Scientific Discovery'

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


103 ideas

2. Reason / A. Nature of Reason / 5. Objectivity
Scientific objectivity lies in inter-subjective testing [Popper]
     Full Idea: The objectivity of scientific statements lies in the fact that they can be inter-subjectively tested.
     From: Karl Popper (The Logic of Scientific Discovery [1934], p.22), quoted by Reiss,J/Spreger,J - Scientific Objectivity 2.4
     A reaction: Does this mean that objectivity is the same as consensus? A bunch of subjective prejudiced fools can reach a consensus. And in the middle of that bunch there can be one person who is objecfive. Sounds wrong.
2. Reason / D. Definition / 12. Paraphrase
We could refer to tables as 'xs that are arranged tablewise' [Inwagen]
     Full Idea: We could paraphrase 'some chairs are heavier than some tables' as 'there are xs that are arranged chairwise and there are ys that are arranged tablewise and the xs are heavier than the ys'.
     From: Peter van Inwagen (Material Beings [1990], 11)
     A reaction: Liggins notes that this involves plural quantification. Being 'arranged tablewise' has become a rather notorious locution in modern ontology. We still have to retain identity, to pick out the xs.
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
What physical facts could underlie 0 or 1, or very large numbers? [Frege on Mill]
     Full Idea: What in the world can be the observed fact, or the physical fact, which is asserted in the definition of the number 777864? ...What a pity that Mill did not also illustrate the physical facts underlying the numbers 0 and 1!
     From: comment on John Stuart Mill (System of Logic [1843]) by Gottlob Frege - Grundlagen der Arithmetik (Foundations) §7
     A reaction: I still think patterns could be an empirical foundation for arithmetic, though you still have to grasp the abstract concept of the pattern. An innate capacity to spot resemblance gets you a long way.
4. Formal Logic / G. Formal Mereology / 1. Mereology
Mereology is 'nihilistic' (just atoms) or 'universal' (no restrictions on what is 'whole') [Inwagen, by Varzi]
     Full Idea: Van Ingwagen writes of 'mereological nihilism' (that only mereological atoms exist) and of 'mereological universalism' (adhering to the principle of Unrestricted Composition).
     From: report of Peter van Inwagen (Material Beings [1990], p.72-) by Achille Varzi - Mereology 4.3
     A reaction: They both look mereologically nihilistic to me, in comparison with an account that builds on 'natural' wholes and their parts. You can only be 'unrestricted' if you view the 'wholes' in your vast ontology as pretty meaningless (as Lewis does, Idea 10660).
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
The 'Law' of Excluded Middle needs all propositions to be definitely true or definitely false [Inwagen]
     Full Idea: I think the validity of the 'Law' of Excluded Middle depends on the assumption that every proposition is definitely true or definitely false.
     From: Peter van Inwagen (Material Beings [1990], 18)
     A reaction: I think this is confused. He cites vagueness as the problem, but that is a problem for Bivalence. If excluded middle is read as 'true or not-true', that leaves the meaning of 'not-true' open, and never mentions the bivalent 'false'.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / d. and
Combining two distinct assertions does not necessarily lead to a single 'complex proposition' [Mill]
     Full Idea: In 'Caesar is dead, and Brutus is alive' ...there are here two distinct assertions; and we might as well call a street a complex house, as these two propositions a complex proposition.
     From: John Stuart Mill (System of Logic [1843], 1.04.3)
     A reaction: Arthur Prior, in his article on 'tonk', cites this to claim that the mere account of the and-introduction rule does not guarantee the existence of any conjunctive proposition that can result from it. Mill says you are adding a third proposition.
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
Variables are just like pronouns; syntactic explanations get muddled over dummy letters [Inwagen]
     Full Idea: Explanations in terms of syntax do not satisfactorily distinguish true variables from dummy or schematic letters. Identifying variables with pronouns, however, provides a genuine explanation of what variables are.
     From: Peter van Inwagen (Material Beings [1990], 02)
     A reaction: I like this because it shows that our ordinary thought and speech use variables all the time ('I've forgotten something - what was it?'). He says syntax is fine for maths, but not for ordinary understanding.
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
All names are names of something, real or imaginary [Mill]
     Full Idea: All names are names of something, real or imaginary.
     From: John Stuart Mill (System of Logic [1843], p.32), quoted by Mark Sainsbury - The Essence of Reference 18.2
     A reaction: Mill's example of of being like a chalk mark on a door, but Sainsbury points out that names can be detached from bearers in a way that chalk marks can't.
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Mill says names have denotation but not connotation [Mill, by Kripke]
     Full Idea: It is a well known doctrine of Mill that names have denotation but not connotation.
     From: report of John Stuart Mill (System of Logic [1843]) by Saul A. Kripke - Naming and Necessity lectures Lecture 1
     A reaction: A nice starting point for any discussion of the topic. The obvious response is that a name like 'Attila the Hun' seems to have a very vague denotation for most of us, but a rather powerful connotation.
Proper names are just labels for persons or objects, and the meaning is the object [Mill, by Lycan]
     Full Idea: Mill seemed to defend the view that proper names are merely labels for individual persons or objects, and contribute no more than those individuals themselves to the meanings of sentences in which they occur.
     From: report of John Stuart Mill (System of Logic [1843]) by William Lycan - Philosophy of Language
     A reaction: Identity statements can become trivial on this view ('Twain is Clemens'). Modern views have become more sympathetic to Mill, since externalism places meanings outside the head of the speaker.
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / b. The Heap paradox ('Sorites')
There are no heaps [Inwagen]
     Full Idea: Fortunately ....there are no heaps.
     From: Peter van Inwagen (Material Beings [1990], 18)
     A reaction: This is the nihilist view of (inorganic) physical objects. If a wild view solves all sorts of problems, one should take it serious. It is why I take reductive physicalism about the mind seriously. (Well, it's true, actually)
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
Numbers must be assumed to have identical units, as horses are equalised in 'horse-power' [Mill]
     Full Idea: There is one hypothetical element in the basis of arithmetic, without which none of it would be true: all the numbers are numbers of the same or of equal units. When we talk of forty horse-power, we assume all horses are of equal strength.
     From: John Stuart Mill (System of Logic [1843], 2.6.3)
     A reaction: Of course, horses are not all of equal strength, so there is a problem here for your hard-line empiricist. Mill needs processes of idealisation and abstraction before his empirical arithmetic can get off the ground.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
The only axioms needed are for equality, addition, and successive numbers [Mill, by Shapiro]
     Full Idea: Mill says arithmetic has two axioms, that 'things which are equal to the same thing are equal to each other', and 'equals added to equals make equal sums', plus a definition for each numeral as 'formed by the addition of a unit to the previous number'.
     From: report of John Stuart Mill (System of Logic [1843], p.610?) by Stewart Shapiro - Thinking About Mathematics 4.3
     A reaction: The difficulty here seems to be the definition of 1, and (even worse for an empiricist), of 0. Then he may have a little trouble when he reaches infinity.
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
Arithmetic is based on definitions, and Sums of equals are equal, and Differences of equals are equal [Mill]
     Full Idea: The inductions of arithmetic are based on so-called definitions (such as '2 and 1 are three'), and on two axioms: The sums of equals are equal, The differences of equals are equal.
     From: John Stuart Mill (System of Logic [1843], 2.6.3)
     A reaction: These are axioms for arithmetical operations, rather than for numbers themselves (which, for Mill, do not require axioms as they are empirically derived).
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Mill says logic and maths is induction based on a very large number of instances [Mill, by Ayer]
     Full Idea: Mill maintained that the truths of logic and mathematics are not necessary or certain, by saying these propositions are inductive generalisations based on an extremely large number of instances.
     From: report of John Stuart Mill (System of Logic [1843]) by A.J. Ayer - Language,Truth and Logic Ch.4
     A reaction: Ayer asserts that they are necessary (but only because they are tautological). I like the idea that maths is the 'science of patterns', but that might lead from an empirical start to a rationalist belief in a priori synthetic truths.
If two black and two white objects in practice produced five, what colour is the fifth one? [Lewis,CI on Mill]
     Full Idea: If Mill has a demon who, every time two things are brought together with two other things, always introduces a fifth, then if two black marbles and two white ones are put in an urn, the demon could choose his color, but there would be more of one colour.
     From: comment on John Stuart Mill (System of Logic [1843]) by C.I. Lewis - A Pragmatic Conception of the A Priori p.367
     A reaction: Nice to see philosophers fighting back against demons. This is a lovely argument against the absurdity of thinking that experience could ever controvert a priori knowledge (though Lewis is no great fan of the latter).
Mill mistakes particular applications as integral to arithmetic, instead of general patterns [Dummett on Mill]
     Full Idea: Mill's mistake is taking particular applications as integral to the sense of arithmetical propositions. But what is integral to arithmetic is the general principle that explains its applicability, and determines the pattern of particular applications.
     From: comment on John Stuart Mill (System of Logic [1843], 2.6) by Michael Dummett - Frege philosophy of mathematics Ch.20
     A reaction: [Dummett is summarising Frege's view] Sounds like a tidy objection, but you still have to connect the general principles and patterns to the physical world. 'Structure' could be the magic word to achieve this.
There are no such things as numbers in the abstract [Mill]
     Full Idea: There are no such things as numbers in the abstract.
     From: John Stuart Mill (System of Logic [1843], 2.6.2)
     A reaction: Depends. Would we want to say that 'horses don't exist' (although each individual horse does exist)? It sounds odd to say of an idea that it doesn't exist, when you are currently thinking about it. I am, however, sympathetic to Mill.
Things possess the properties of numbers, as quantity, and as countable parts [Mill]
     Full Idea: All things possess quantity; consist of parts which can be numbered; and in that character possess all the properties which are called properties of numbers.
     From: John Stuart Mill (System of Logic [1843], 2.6.2)
     A reaction: Here Mill is skating on the very thinnest of ice, and I find myself reluctantly siding with Frege. It is a very optimistic empiricist who hopes to find the numbers actually occurring as properties of experienced objects. A pack of cards, for example.
Numbers have generalised application to entities (such as bodies or sounds) [Mill]
     Full Idea: 'Ten' must mean ten bodies, or ten sounds, or ten beatings of the pulse. But though numbers must be numbers of something, they may be numbers of anything.
     From: John Stuart Mill (System of Logic [1843], 2.6.2)
     A reaction: Mill always prefers things in close proximity, in space or time. 'I've had ten headaches in the last year'. 'There are ten reasons for doubting p'. His second point puts him very close to Aristotle in his view.
Different parcels made from three pebbles produce different actual sensations [Mill]
     Full Idea: Three pebbles make different sense impressions in one parcel or in two. That the same pebbles by an alteration of place and arrangement may be made to produce either sensation is not the identical proposition.
     From: John Stuart Mill (System of Logic [1843], 2.6.2)
     A reaction: [compressed] Not quite clear, but Mill seems to be adamant that we really must experience the separation, and not just think what 'may' happen, so Frege is right that Mill is lucky that everything is not 'nailed down'.
'2 pebbles and 1 pebble' and '3 pebbles' name the same aggregation, but different facts [Mill]
     Full Idea: The expressions '2 pebbles and 1 pebble' and '3 pebbles' stand for the same aggregation of objects, but do not stand for the same physical fact. They name the same objects in different states, 'denoting' the same things, with different 'connotations'.
     From: John Stuart Mill (System of Logic [1843], 2.6.2)
     A reaction: Nothing in this would convert me from the analytic view to the empirical view of simple arithmetic, if I were that way inclined. Personally I think of three pebbles as 4 minus 1, because I am haunted by the thought of a missing stone.
3=2+1 presupposes collections of objects ('Threes'), which may be divided thus [Mill]
     Full Idea: 'Three is two and one' presupposes that collections of objects exist, which while they impress the senses thus, ¶¶¶, may be separated into two parts, thus, ¶¶ ¶. This being granted, we term all such parcels Threes.
     From: John Stuart Mill (System of Logic [1843], 2.6.2)
     A reaction: Mill is clearly in trouble here because he sticks to simple arithmetic. He must deal with parcels too big for humans to count, and parcels so big that they could not naturally exist, and that is before you even reach infinite parcels.
Numbers denote physical properties of physical phenomena [Mill]
     Full Idea: The fact asserted in the definition of a number is a physical fact. Each of the numbers two, three, four denotes physical phenomena, and connotes a physical property of those phenomena. Two denotes all pairs of things, and twelve all dozens.
     From: John Stuart Mill (System of Logic [1843], 3.24.5)
     A reaction: The least plausible part of Mill's thesis. Is the fact that a pair of things is fewer than five things also a property? You see two boots, or you see a pair of boots, depending partly on you. Is pure two a visible property? Courage and an onion?
We can't easily distinguish 102 horses from 103, but we could arrange them to make it obvious [Mill]
     Full Idea: 102 horses are not as easily distinguished from 103 as two are from three, yet the horses may be so placed that a difference will be perceptible.
     From: John Stuart Mill (System of Logic [1843], 3.24.5)
     A reaction: More trouble for Mill. We are now moving from the claim that we actually perceive numbers to the claim that we could if we arranged things right. But we would still only see which group of horses was bigger by one, not how many horses there were.
Arithmetical results give a mode of formation of a given number [Mill]
     Full Idea: Every statement of the result of an arithmetical operation is a statement of one of the modes of formation of a given number.
     From: John Stuart Mill (System of Logic [1843], 3.24.5)
     A reaction: Although Mill sticks cautiously to very simple arithmetic, inviting empirical accounts of much higher mathematics, I think the phrase 'modes of formation' of numbers is very helpful. It could take us either into structuralism, or into constructivism.
12 is the cube of 1728 means pebbles can be aggregated a certain way [Mill]
     Full Idea: When we say 12 is the cube of 1728, we affirm that if we had sufficient pebbles, we put them into parcels or aggregates called twelves, and put those twelves into similar collections, and make twelve of these largests parcels, we have the aggregate 1728.
     From: John Stuart Mill (System of Logic [1843], 3.24.5)
     A reaction: There is always hidden modal thinking in Mill's proposals, despite his longing to stick to actual experience. Imagination actually plays a much bigger role in his theory than sense experience does.
Numbers must be of something; they don't exist as abstractions [Mill]
     Full Idea: All numbers must be numbers of something: there are no such things as numbers in the abstract.
     From: John Stuart Mill (System of Logic [1843], p.245?), quoted by Stewart Shapiro - Thinking About Mathematics 4.3
     A reaction: This shows why the concept of 'abstraction' is such a deep problem. Numbers can't be properties of objects, because two boots can become one boot without changing the surviving boot. But why should abstractions have to 'exist'?
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
Mill is too imprecise, and is restricted to simple arithmetic [Kitcher on Mill]
     Full Idea: The problem with Mill is that many of his formulations are imprecise, and he only considers the most rudimentary parts of arithmetic.
     From: comment on John Stuart Mill (System of Logic [1843]) by Philip Kitcher - The Nature of Mathematical Knowledge Intro
     A reaction: This is from a fan of Mill, trying to restore his approach in the face of the authoritative and crushing criticisms offered by Frege. I too am a fan of Mill's approach. Patterns can be discerned in arrangements of pebbles. Infinities are a problem.
Empirical theories of arithmetic ignore zero, limit our maths, and need probability to get started [Frege on Mill]
     Full Idea: Mill does not give us a clue as to how to understand the number zero, he limits our mathematical knowledge to the limits of our experience, ..and induction can only give you probability, but that presupposes arithmetical laws.
     From: comment on John Stuart Mill (System of Logic [1843]) by Gottlob Frege - Grundlagen der Arithmetik (Foundations)
     A reaction: This summarises Frege's criticisms of Mill's empirical account of maths. I like 'maths is the science of patterns', in which case zero is just a late-introduced trick (it is hardly a Platonic Form!), and induction is the wrong account to give.
6. Mathematics / C. Sources of Mathematics / 5. Numbers as Adjectival
Numbers are a very general property of objects [Mill, by Brown,JR]
     Full Idea: Mill held that numbers are a kind of very general property that objects possess.
     From: report of John Stuart Mill (System of Logic [1843], Ch.4) by James Robert Brown - Philosophy of Mathematics
     A reaction: Intuitively this sounds hopeless, because if you place one apple next to another you introduce 'two', but which apple has changed its property? Both? It seems to be a Cambridge change. It isn't a change that would bother the apples. Kitcher pursues this.
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
I reject talk of 'stuff', and treat it in terms of particles [Inwagen]
     Full Idea: I have a great deal of difficulty with an ontology that includes 'stuffs' in addition to things. ...I prefer to replace talk of sameness of matter with talk of sameness of particles.
     From: Peter van Inwagen (Material Beings [1990], 14)
     A reaction: Van Inwagen is wedded to the idea that reality is composed of 'simples' - even if physicists seem now to talk of 'fields' as much as they do about objects in the fields. Has philosophy yet caught up with Maxwell?
7. Existence / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic
Singular terms can be vague, because they can contain predicates, which can be vague [Inwagen]
     Full Idea: Since singular terms can contain predicates, and since vague predicates are common, vague singular terms are common. For 'the tallest man that Sally knows' there are lots of men for whom it is unclear whether Sally knows them.
     From: Peter van Inwagen (Material Beings [1990], 17)
9. Objects / A. Existence of Objects / 1. Physical Objects
Material objects are in space and time, move, have a surface and mass, and are made of some stuff [Inwagen]
     Full Idea: A thing is a material object if it occupies space and endures through time and can move about in space (literally move, unlike a shadow or wave or reflection) and has a surface and has a mass and is made of a certain stuff or stuffs.
     From: Peter van Inwagen (Material Beings [1990], 01)
     A reaction: It is not at all clear what electrons (which must count for him as 'simples') are made of.
Maybe table-shaped particles exist, but not tables [Inwagen, by Lowe]
     Full Idea: Van Ingwagen holds that although table-shaped collections of particles exist, tables do not.
     From: report of Peter van Inwagen (Material Beings [1990], Ch.13) by E.J. Lowe - The Possibility of Metaphysics 2.3
     A reaction: I find this idea appealing. See the ideas of Trenton Merricks. When you get down to micro-level, it is hard to individuate a table among the force fields, and hard to distinguish a table from a smashed or burnt table. An ontology without objects?
9. Objects / A. Existence of Objects / 6. Nihilism about Objects
Nihilism says composition between single things is impossible [Inwagen]
     Full Idea: Nihilism about objects says there is a Y such that the Xs compose it if and only if there is only one of the Xs.
     From: Peter van Inwagen (Material Beings [1990], 08)
     A reaction: He says that Unger, the best known 'nihilist' about objects, believes a different version - claiming there are composites, but they never make up the ordinary objects we talk about.
If there are no tables, but tables are things arranged tablewise, the denial of tables is a contradiction [Liggins on Inwagen]
     Full Idea: Van Inwagen says 'there are no tables', and 'there are tables' means 'there are some things arranged tablewise'. Presumably 'there are no tables' negates the latter claim, saying no things are arranged tablewise. But he should think that is false.
     From: comment on Peter van Inwagen (Material Beings [1990], 10) by David Liggins - Nihilism without Self-Contradiction 3
     A reaction: Liggins's nice paper shows that Van Inwagen is in a potential state of contradiction when he starts saying that there are no tables, but that there are things arranged tablewise, and that they amount to tables. Liggins offers him an escape.
Actions by artefacts and natural bodies are disguised cooperations, so we don't need them [Inwagen]
     Full Idea: All the activities apparently carried out by shelves and stars and other artefacts and natural bodies can be understood as disguised cooperative activities. And, therefore, we are not forced to grant existence to any artefacts or natural bodies.
     From: Peter van Inwagen (Material Beings [1990], 12)
     A reaction: In 'the crowd tore her to pieces' are we forced to accept the existence of a crowd? We can't say 'Jack tore her to pieces' and 'Jill tore her to pieces'. If a plural quantification is unavoidable, we have to accept the plurality. Perhaps.
9. Objects / B. Unity of Objects / 1. Unifying an Object / b. Unifying aggregates
Every physical thing is either a living organism or a simple [Inwagen]
     Full Idea: The thesis about composition and parthood that I am advocating has far-reaching ontological consequences: that every physical thing is either a living organism or a simple.
     From: Peter van Inwagen (Material Beings [1990], 10)
     A reaction: A 'simple' is a placeholder for anything considered to be a fundamental unit of existence (such as an electron or a quark). This amazingly sharp distinction strikes me as utterly implausible. There is too much in the middle ground.
9. Objects / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
The statue and lump seem to share parts, but the statue is not part of the lump [Inwagen]
     Full Idea: Those who believe that the statue is distinct from the lump should concede that whatever shares a part with the statue shares a part with the lump but deny that the statue is a part of the lump.
     From: Peter van Inwagen (Material Beings [1990], 05)
     A reaction: Standard mereology says if they share all their parts then they are the same thing, so it is hard to explain how they are 'distinct'. The distinction is only modal - that they could be separated (by squashing, or by part substitution).
If you knead clay you make an infinite series of objects, but they are rearrangements, not creations [Inwagen]
     Full Idea: If you can make a (random) gollyswoggle by accident by kneading clay, then you must be causing the generation and corruption of a series of objects of infinitesimal duration. ...We have not augmented the furniture of the world but only rearranged it.
     From: Peter van Inwagen (Material Beings [1990], 13)
     A reaction: Van Inwagen's final conclusion is a bit crazy, but I am in sympathy with his general scepticism about what sorts of things definitively constitute 'objects'. He overrates simples, and he overrates lives.
9. Objects / C. Structure of Objects / 3. Matter of an Object
I assume matter is particulate, made up of 'simples' [Inwagen]
     Full Idea: I assume in this book that matter is ultimately particulate. Every material being is composed of things that have no proper parts: 'elementary particles' or 'mereological atoms' or 'metaphysical simples'.
     From: Peter van Inwagen (Material Beings [1990], Pref)
     A reaction: It may be that modern physics doesn't support this, if 'fields' is the best term for what is fundamental. Best to treat his book as hypothetical - IF there are just simples, proceed as follows.
9. Objects / C. Structure of Objects / 5. Composition of an Object
If contact causes composition, do two colliding balls briefly make one object? [Inwagen]
     Full Idea: If composition just requires contact, if I cause the cue ball to rebound from the eight ball, do I thereby create a short-lived object shaped like two slightly flattened spheres in contact?
     From: Peter van Inwagen (Material Beings [1990], 03)
     A reaction: [compressed]
If bricks compose a house, that is at least one thing, but it might be many things [Inwagen]
     Full Idea: If composition just requires contact, that tells us that the bricks of a house compose at least one thing; it does not tell us that they also compose at most one thing.
     From: Peter van Inwagen (Material Beings [1990], 04)
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
Whatever is made up of parts is made up of parts of those parts [Mill]
     Full Idea: Whatever is made up of parts is made up of parts of those parts.
     From: John Stuart Mill (System of Logic [1843], 3.24.5)
     A reaction: Mill considers this principle to be fundamental to the possibilities of arithmetic. Presumably he thought of it as an inductive inference from our dealings with physical objects.
I think parthood involves causation, and not just a reasonably stable spatial relationship [Inwagen]
     Full Idea: I propose that parthood essentially involves causation. Too many philosophers have supposed that objects compose something when and only when they stand in some (more or less stable) spatial relationship to one another.
     From: Peter van Inwagen (Material Beings [1990], 09)
     A reaction: I have to say that I like this, even though it comes from a thinker who is close to nihilism about ordinary non-living objects. He goes on to say that only a 'life' provides the right sort of causal relationship.
We can deny whole objects but accept parts, by referring to them as plurals within things [Inwagen, by Liggins]
     Full Idea: Van Inwagen's claim that nothing has parts causes incredulity. ..But the problem is not with endorsing the sentence 'Some things have parts'; it is with interpreting this sentence by means of singular resources rather than plural ones.
     From: report of Peter van Inwagen (Material Beings [1990], 7) by David Liggins - Nihilism without Self-Contradiction
     A reaction: Van Inwagen notoriously denies the existence of normal physical objects. Liggins shows that modern formal plural quantification gives a better way of presenting his theory, by accepting tables and parts of tables as plurals of basic entities.
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Special Composition Question: when is a thing part of something? [Inwagen]
     Full Idea: The Special Composition Question asks, In what circumstances is a thing a (proper) part of something?
     From: Peter van Inwagen (Material Beings [1990], 02)
     A reaction: [He qualifies this formulation as 'misleading'] It's a really nice basic question for the metaphysics of objects.
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
The essence is that without which a thing can neither be, nor be conceived to be [Mill]
     Full Idea: The essence of a thing was said to be that without which the thing could neither be, nor be conceived to be.
     From: John Stuart Mill (System of Logic [1843], 1.6.2)
     A reaction: Fine cites this as the 'modal' account of essence, as opposed to the 'definitional' account.
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
The essence of a star includes the released binding energy which keeps it from collapse [Inwagen]
     Full Idea: I think it is part of the essence of a star that the radiation pressures that oppose the star's tendency to gravitational collapse has its source in the release of no-longer-needed nuclear binding energy when colliding nuclei fuse in the star's hot core.
     From: Peter van Inwagen (Material Beings [1990], 07)
     A reaction: A perfect example of giving the essence of something as the bottom level of its explanation. This even comes from someone who doesn't really believe in stars!
9. Objects / D. Essence of Objects / 11. Essence of Artefacts
The persistence of artifacts always covertly involves intelligent beings [Inwagen]
     Full Idea: Statements that are apparently about the persistence of artifacts make covert reference to the dispositions of intelligent beings to maintain certain arrangements of matter.
     From: Peter van Inwagen (Material Beings [1990], 13)
     A reaction: If you build a self-sustaining windmill that pumps water, that seems to have an identity of its own, apart from the intentions of whoever makes it and repairs it. The function of an artefact is not just the function we want it to have.
9. Objects / E. Objects over Time / 7. Intermittent Objects
When an electron 'leaps' to another orbit, is the new one the same electron? [Inwagen]
     Full Idea: Is the 'new' electron in the lower orbit the one that was in the higher orbit? Physics, as far as I can tell, has nothing to say about this.
     From: Peter van Inwagen (Material Beings [1990], 14)
     A reaction: I suspect that physicists would say that philosophers are worrying about such questions because they haven't grasped the new conceptual scheme that emerged in 1926. The poor mutts insist on hanging on to 'objects'.
9. Objects / E. Objects over Time / 9. Ship of Theseus
If you reject transitivity of vague identity, there is no Ship of Theseus problem [Inwagen]
     Full Idea: If you have rejected the Principle of the Transitivity of (vague) Identity, it is hard to see how the problem of the Ship of Theseus could arise.
     From: Peter van Inwagen (Material Beings [1990], 18)
     A reaction: I think this may well be the best solution to the whole problem
9. Objects / F. Identity among Objects / 1. Concept of Identity
We should talk of the transitivity of 'identity', and of 'definite identity' [Inwagen]
     Full Idea: In some contexts, the principle of 'the transitivity of identity' should be called 'the transitivity of definite identity'.
     From: Peter van Inwagen (Material Beings [1990], 18)
     A reaction: He is making room for a person to retain identity despite having changed. Applause from me.
10. Modality / A. Necessity / 2. Nature of Necessity
Necessity is what will be, despite any alternative suppositions whatever [Mill]
     Full Idea: That which is necessary, that which must be, means that which will be, whatever suppositions we may make in regard to all other things.
     From: John Stuart Mill (System of Logic [1843], 3.06.6)
     A reaction: [Mill discusses causal necessity] This is quoted by McFetridge. This slightly firms up the definition as 'what has to be true', though it makes it dependent on our 'suppositions'. Presumably nothing beyond our powers of supposition could matter either.
Necessity can only mean what must be, without conditions of any kind [Mill]
     Full Idea: If there be any meaning which confessedly belongs to the term necessity, it is unconditionalness. That which is necessary, that which must be, means that which will be whatever supposition we make with regard to other things.
     From: John Stuart Mill (System of Logic [1843], p.339 [1974 ed]), quoted by R.D. Ingthorsson - A Powerful Particulars View of Causation 5.3
     A reaction: 'It is necessary to leave now, if you want to catch the train' is a genuine type of necessity. Mill's type is probably Absolute necessity, to which nothing could make any difference. Or Metaphysical necessity, determined by all things.
10. Modality / C. Sources of Modality / 5. Modality from Actuality
Actuality proves possibility, but that doesn't explain how it is possible [Inwagen]
     Full Idea: A proof of actuality is a proof of possibility, but that does not invariably explain the possibility whose existence it demonstrates, for we may know that a certain thing is actual (and hence possible) but have no explanation of how it could be possible.
     From: Peter van Inwagen (Material Beings [1990], 12)
     A reaction: I like this, because my project is to see all of philosophy in terms of explanation rather than of description.
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Counterparts reduce counterfactual identity to problems about similarity relations [Inwagen]
     Full Idea: Counterpart Theory essentially reduces all problems about counterfactual identity to problems about choosing appropriate similarity relations. That is, Counterpart Theory essentially eliminates problems of counterfactual identity as such.
     From: Peter van Inwagen (Material Beings [1990], 14)
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
A merely possible object clearly isn't there, so that is a defective notion [Inwagen]
     Full Idea: The notion of a merely possible object is an even more defective notion than the notion of a borderline object; after all, a merely possible object is an object that definitely isn't there.
     From: Peter van Inwagen (Material Beings [1990], 19)
Merely possible objects must be consistent properties, or haecceities [Inwagen]
     Full Idea: Talk of merely possible objects may be redeemed in either maximally consistent sets of properties or in haecceities.
     From: Peter van Inwagen (Material Beings [1990], 19)
12. Knowledge Sources / B. Perception / 6. Inference in Perception
Most perception is one-tenth observation and nine-tenths inference [Mill]
     Full Idea: In almost every act of our perceiving faculties, observation and inference are intimately blended. What we are said to observe is usually a compound result, of which one-tenth may be observation, and the remaining nine-tenths inference.
     From: John Stuart Mill (System of Logic [1843], 4.1.2), quoted by Peter Lipton - Inference to the Best Explanation (2nd) 11 'The scientific'
     A reaction: We seem to think that his kind of observation is a great realisation of twentieth century thought, but thoughtful empiricists spotted it much earlier.
12. Knowledge Sources / D. Empiricism / 4. Pro-Empiricism
Clear concepts result from good observation, extensive experience, and accurate memory [Mill]
     Full Idea: The principle requisites of clear conceptions, are habits of attentive observation, an extensive experience, and a memory which receives and retains an exact image of what is observed.
     From: John Stuart Mill (System of Logic [1843], 4.2.5)
     A reaction: Empiricists are always crying out for people to 'attend to the evidence', and this is the deeper reason why. Not only will one know the world better in a direct way, but one will actually think more clearly. Darwin is the perfect model for this.
14. Science / A. Basis of Science / 5. Anomalies
Inductive generalisation is more reliable than one of its instances; they can't all be wrong [Mill]
     Full Idea: A general proposition collected from particulars is often more certainly true than any one of the particular propositions from which, by an act of induction, it was inferred. It might be erroneous in any instance, but cannot be erroneous in all of them.
     From: John Stuart Mill (System of Logic [1843], 4.1.2), quoted by Peter Lipton - Inference to the Best Explanation (2nd) 11 'The scientific'
     A reaction: One anomaly can be ignored, but several can't, especially if the anomalies agree.
14. Science / A. Basis of Science / 6. Falsification
Give Nobel Prizes for really good refutations? [Gorham on Popper]
     Full Idea: Popper implies that we should be giving Nobel Prizes to scientists who use severe tests to show us what the world is not like!
     From: comment on Karl Popper (The Logic of Scientific Discovery [1934]) by Geoffrey Gorham - Philosophy of Science 2
     A reaction: A lovely simple point. The refuters are important members of the scientific team, but not the leaders.
Falsification is the criterion of demarcation between science and non-science [Popper, by Magee]
     Full Idea: According to Popper, falsification is the criterion of demarcation between science and non-science.
     From: report of Karl Popper (The Logic of Scientific Discovery [1934]) by Bryan Magee - Popper Ch.3
     A reaction: If I propose something which might be falsified in a hundred years, is it science NOW? Suppose my theory appeared to be falsifiable, but (after much effort) it turned out not to be? Suppose I just see a pattern (like quark theory) in a set of facts?
We don't only reject hypotheses because we have falsified them [Lipton on Popper]
     Full Idea: Popper's mistake is to hold that disconfirmation and elimination work exclusively through refutation.
     From: comment on Karl Popper (The Logic of Scientific Discovery [1934]) by Peter Lipton - Inference to the Best Explanation (2nd) 05 'Explanation'
     A reaction: The point is that we reject hypotheses even if they have not actually been refuted, on the grounds that they don't give a good explanation. I agree entirely with Lipton.
If falsification requires logical inconsistency, then probabilistic statements can't be falsified [Bird on Popper]
     Full Idea: In Popper's sense of the word 'falsify', whereby an observation statement falsifies a hypothesis only by being logically inconsistent with it, nothing can ever falsify a probabilistic or statistical hypothesis, which is therefore unscientific.
     From: comment on Karl Popper (The Logic of Scientific Discovery [1934]) by Alexander Bird - Philosophy of Science Ch.5
     A reaction: In general, no prediction can be falsified until the events occur. This seems to be Aristotle's 'sea fight' problem (Idea 1703).
When Popper gets in difficulties, he quietly uses induction to help out [Bird on Popper]
     Full Idea: It is a feature of Popper's philosophy that when the going gets tough, induction is quietly called upon to help out.
     From: comment on Karl Popper (The Logic of Scientific Discovery [1934]) by Alexander Bird - Philosophy of Science Ch.5
     A reaction: This appears to be the central reason for the decline in Popper's reputation as the saviour of science. It would certainly seem absurd to say that you know nothing when you have lots of verification but not a glimmer of falsification.
14. Science / B. Scientific Theories / 2. Aim of Science
Good theories have empirical content, explain a lot, and are not falsified [Popper, by Newton-Smith]
     Full Idea: Popper's principles are roughly that one theory is superior to another if it has greater empirical content, if it can account for the successes of the first theory, and if it has not been falsified (unlike the first theory).
     From: report of Karl Popper (The Logic of Scientific Discovery [1934]) by W.H. Newton-Smith - The Rationality of Science I.6
14. Science / C. Induction / 1. Induction
The whole theory of induction rests on causes [Mill]
     Full Idea: The notion of cause is the root of the whole theory of induction.
     From: John Stuart Mill (System of Logic [1843], 3.05.2), quoted by Peter Lipton - Inference to the Best Explanation (2nd) 08 'From cause'
     A reaction: This sounds much better to me than the Humean view that it rests on the psychology of regularity and habit. However, maybe Hume describes induction, and Mill is adding abduction (inference to the best explanation).
Mill's methods (Difference,Agreement,Residues,Concomitance,Hypothesis) don't nail induction [Mill, by Lipton]
     Full Idea: The Method of Difference, and even the full four 'experimental methods' (Difference, Agreement, Residues and Concomitant Variations) are agreed on all sides to be incomplete accounts of inductive inference. Mill himself added the Method of Hypothesis.
     From: report of John Stuart Mill (System of Logic [1843], 3.14.4-5) by Peter Lipton - Inference to the Best Explanation (2nd) 08 'Improved'
     A reaction: If induction is just 'learning from experience' (my preferred definition) then there is unlikely to be a precise account of its methods. Mill seems to have done a lovely job.
14. Science / C. Induction / 3. Limits of Induction
There is no such thing as induction [Popper, by Magee]
     Full Idea: According to Popper, induction is a dispensable concept, a myth. It does not exist. There is no such thing.
     From: report of Karl Popper (The Logic of Scientific Discovery [1934]) by Bryan Magee - Popper Ch.2
     A reaction: This is a nice bold summary of the Popper view - that falsification is the underlying rational activity which we mistakenly think is verification by repeated observations. Put like this, Popper seems to be wrong. We obviously learn from experiences.
14. Science / C. Induction / 4. Reason in Induction
Science cannot be shown to be rational if induction is rejected [Newton-Smith on Popper]
     Full Idea: If Popper follows Hume in abandoning induction, there is no way in which he can justify the claims that there is growth of scientific knowledge and that science is a rational activity.
     From: comment on Karl Popper (The Logic of Scientific Discovery [1934]) by W.H. Newton-Smith - The Rationality of Science III.3
14. Science / D. Explanation / 1. Explanation / a. Explanation
Surprisingly, empiricists before Mill ignore explanation, which seems to transcend experience [Mill, by Ruben]
     Full Idea: It is surprising that no empiricist philosopher before Mill turned in an explicit way to the scrutiny of the concept of explanation, which had …every appearance of being experience-transcendent.
     From: report of John Stuart Mill (System of Logic [1843]) by David-Hillel Ruben - Explaining Explanation Ch 4
     A reaction: Yes indeed! This is why explanation is absolutely basic, to philosophy and to human understanding. The whole of philosophy is a quest for explanations, so to be strictly empirical about it strikes me as crazy.
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
Explanation is fitting of facts into ever more general patterns of regularity [Mill, by Ruben]
     Full Idea: For Mill, explanation was always the fitting of facts into ever more general patterns of regularity.
     From: report of John Stuart Mill (System of Logic [1843]) by David-Hillel Ruben - Explaining Explanation Ch 6
     A reaction: This seems to nicely capture the standard empirical approach to explanation. If you say that this fitting in doesn't explain much, the answer (I think) is that this is the best we can do.
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
Causal inference is by spotting either Agreements or Differences [Mill, by Lipton]
     Full Idea: The best known account of causal inference is Mill's Method of Agreement (only one antecedent is shared by the effects), and the Method of Difference (there is only one difference prior to the effect occurring or not occurring).
     From: report of John Stuart Mill (System of Logic [1843], 3.07) by Peter Lipton - Inference to the Best Explanation (2nd) 01 'Descr'
     A reaction: [my summary of Lipton's summary of Mill]
14. Science / D. Explanation / 3. Best Explanation / a. Best explanation
The Methods of Difference and of Agreement are forms of inference to the best explanation [Mill, by Lipton]
     Full Idea: Like Mill's Method of Difference, applications of the Method of Agreement are naturally construed as inferences to the best explanation.
     From: report of John Stuart Mill (System of Logic [1843], 3.07/8) by Peter Lipton - Inference to the Best Explanation (2nd) 06 'The Method'
     A reaction: This sort of thoroughly sensible approach to understanding modes of investigation has been absurdly sidelined by the desire to 'deduce' observations from 'laws'. Scientific investigation is no different from enquiry in daily life. Where are my glasses?
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
We can focus our minds on what is common to a whole class, neglecting other aspects [Mill]
     Full Idea: The voluntary power which the mind has, of attending to one part of what is present at any moment, and neglecting another part, enables us to be unaffected by anything in the idea which is not really common to the whole class.
     From: John Stuart Mill (System of Logic [1843], 4.2.1)
     A reaction: There is a question for empiricists of whether abstraction is a 'voluntary' power or a mechanical one. Associationism presents it as more mechanical. I would say, with Mill, that it is a least partly voluntary, and even rational.
15. Nature of Minds / C. Capacities of Minds / 7. Seeing Resemblance
We don't recognise comparisons by something in our minds; the concepts result from the comparisons [Mill]
     Full Idea: It is not a law of our intellect that in comparing things and noting their agreements we recognise as realized in the outward world something we already had in our minds. The conception found its way to us as the result of such a comparison.
     From: John Stuart Mill (System of Logic [1843], 4.2.2)
     A reaction: He recognises, of course, that this gradually becomes a two-way process. In the physicalist view of things, it is not really of great importance which concepts are hard-wired, and which constructed culturally or through perception.
18. Thought / E. Abstraction / 1. Abstract Thought
General conceptions are a necessary preliminary to Induction [Mill]
     Full Idea: Forming general conceptions is a necessary preliminary to Induction.
     From: John Stuart Mill (System of Logic [1843], 4.2.1)
     A reaction: A key link in the framework of empirical philosophies, which gets us from experience to science. Induction is the very process of generalisation. We can't bring a concept like 'evolution' to preliminary observations, so it must be formulated inductively.
The study of the nature of Abstract Ideas does not belong to logic, but to a different science [Mill]
     Full Idea: The metaphysical inquiry into the nature and composition of what have been called Abstract Ideas, or in other words, of the notions which answer in the mind to classes and to general names, belongs not to Logic, but to a different science.
     From: John Stuart Mill (System of Logic [1843], 4.2.1)
     A reaction: He doesn't name the science, but the point here seems to be precisely what Frege so vigorously disagreed with. I would say that the state of being 'abstract' has logical aspects, and can be partly described by logic, but that Mill is basically right.
26. Natural Theory / C. Causation / 8. Particular Causation / c. Conditions of causation
A cause is the total of all the conditions which inevitably produce the result [Mill]
     Full Idea: A cause is the sum total of the conditions positive and negative taken together ...which being realized, the consequent invariably follows.
     From: John Stuart Mill (System of Logic [1843]), quoted by Donald Davidson - Causal Relations §1
     A reaction: This has obvious problems. The absence of Napoleon was a cause of the English Civil War. The Big Bang was a cause of, well, every event. As Davidson notes, some narrowing down is needed.
26. Natural Theory / C. Causation / 8. Particular Causation / d. Selecting the cause
Causes and conditions are not distinct, because we select capriciously from among them [Mill]
     Full Idea: Nothing can better show the absence of any scientific ground for the distinction between the cause of a phenomena and its conditions, than the capricious manner in which we select from among the conditions that which we choose to denominate the cause.
     From: John Stuart Mill (System of Logic [1843]), quoted by Jonathan Schaffer - The Metaphysics of Causation 2.2
     A reaction: [ref Mill p.196, 1846 edn] Schaffer gives this as the main argument for the 'no-basis' view of the selection of what causes an event. The usual thought is that it is entirely our immediate interests which make us select THE cause. Not convinced.
The strict cause is the total positive and negative conditions which ensure the consequent [Mill]
     Full Idea: The cause, philosophically speaking, is the sum total of the conditions, positive and negative taken together; the whole of the contigencies of every description, which being realized, the consequent invariably follows.
     From: John Stuart Mill (System of Logic [1843], 3.05.3)
     A reaction: This somewhat notorious remark is not going to be much help in a law court or a laboratory. It is that view which says that the Big Bang must be included in every causal list ever compiled. Well, yes...
26. Natural Theory / C. Causation / 9. General Causation / a. Constant conjunction
Causation is just invariability of succession between every natural fact and a preceding fact [Mill]
     Full Idea: The Law of Causation, the recognition of which is the main pillar of inductive science, is but the familiar truth, that invariability of succession is found by observation between every fact in nature and some other fact which has preceded it.
     From: John Stuart Mill (System of Logic [1843], 3.5.2), quoted by Bertrand Russell - On the Notion of Cause p.178
     A reaction: Note that Mill rests causation on 'facts'. In the empiricist Mill endorsing the views of Hume. Russell attacks the bogus claim that science rests on causation. Personally I think Mill's view is incorrect.
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
A cause is an antecedent which invariably and unconditionally leads to a phenomenon [Mill]
     Full Idea: We may define the cause of a phenomenon to be the antecedent, or the concurrence of the antecedents, on which it is invariably and unconditionally consequent.
     From: John Stuart Mill (System of Logic [1843], 3.05.6)
     A reaction: This ignores the possibility of the world ending just before the effect occurs, the 'ceteris paribus' clause. If it only counts as a cause if the effect has actually occurred, we begin to suspect tautology.
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
Mill's regularity theory of causation is based on an effect preceded by a conjunction of causes [Mill, by Psillos]
     Full Idea: Millian causation is a version of the Regularity Theory, but with the addition that when claiming that an effect invariably follows from the cause, the cause is not a single factor, but a whole conjunction of necessary and sufficient conditions.
     From: report of John Stuart Mill (System of Logic [1843], p.217) by Stathis Psillos - Causation and Explanation §2.2
     A reaction: Psillos endorses this as an improvement on Hume. But while we may replicate one event preceding another to get regularity, groups of events are hardly ever identical, so no precise pattern will ever be seen.
In Mill's 'Method of Agreement' cause is the common factor in a range of different cases [Mill, by Psillos]
     Full Idea: In Mill's 'Method of Agreement' the cause is the common factor in a number of otherwise different cases in which the effect occurs.
     From: report of John Stuart Mill (System of Logic [1843], p.255) by Stathis Psillos - Causation and Explanation §2.3
     A reaction: This looks more likely to be good evidence for the cause of an event, rather than a definition of what a cause actually is. Suppose a footballer only scores if and only if I go to watch him?
In Mill's 'Method of Difference' the cause is what stops the effect when it is removed [Mill, by Psillos]
     Full Idea: In Mill's 'Method of Difference' the cause is the factor which is different in two cases which are similar, except that in one the effect occurs, and in the other it doesn't.
     From: report of John Stuart Mill (System of Logic [1843], p.256) by Stathis Psillos - Causation and Explanation §2.3
     A reaction: Like the Method of Agreement, this is a good test, but is unlikely to be a conclusive hallmark of causation. A footballer may never score unless I go to watch him. I become his lucky mascot…
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
What are the fewest propositions from which all natural uniformities could be inferred? [Mill]
     Full Idea: What are the fewest general propositions from which all the uniformities which exist in the universe might be deductively inferred?
     From: John Stuart Mill (System of Logic [1843], 3.4.1)
     A reaction: This is the germ of the Mill-Ramsey-Lewis view.
27. Natural Reality / B. Modern Physics / 3. Chromodynamics / a. Chromodynamics
The strong force pulls, but also pushes apart if nucleons get too close together [Inwagen]
     Full Idea: The strong force doesn't always pull nucleons together, but pushes them apart if they get too close.
     From: Peter van Inwagen (Material Beings [1990], 07)
     A reaction: Philosophers tend to learn their physics from other philosophers. But that's because philosophers are brilliant at picking out the interesting parts of physics, and skipping the boring stuff.
27. Natural Reality / F. Chemistry / 2. Modern Elements
Is one atom a piece of gold, or is a sizable group of atoms required? [Inwagen]
     Full Idea: A physicist once told me that of course a gold atom was a piece of gold, and a physical chemist has assured me that the smallest possible piece of gold would have to be composed of sixteen or seventeen atoms.
     From: Peter van Inwagen (Material Beings [1990], 01)
     A reaction: The issue is at what point all the properties that we normally begin to associate with gold begin to appear. One water molecule can hardly have a degree of viscosity or liquidity.
27. Natural Reality / G. Biology / 2. Life
At the lower level, life trails off into mere molecular interaction [Inwagen]
     Full Idea: The lives of the lower links of the Great Chain of Being trail off into vague, temporary episodes of molecular interaction.
     From: Peter van Inwagen (Material Beings [1990], 18)
     A reaction: His case involves conceding all sorts of vagueness to life, but asserting the utter distinctness of the full blown cases of more elaborate life. I don't really concede the distinction.
A tumour may spread a sort of life, but it is not a life, or an organism [Inwagen]
     Full Idea: A tumour is not an organism (or a parasite) and there is no self-regulating event that is its life. It does not fill one space, but is a locus within which a certain sort of thing is happening: the spreading of a certain sort of (mass-term) life.
     From: Peter van Inwagen (Material Beings [1990], 09)
Being part of an organism's life is a matter of degree, and vague [Inwagen]
     Full Idea: Being caught up in the life of an organism is, like being rich or being tall, a matter of degree, and is in that sense a vague condition.
     From: Peter van Inwagen (Material Beings [1990], 17)
     A reaction: Van Inwagen is trying to cover himself, given that he makes a sharp distinction between living organisms, which are unified objects, and everything else, which isn't. There may be a vague centre to a 'life', as well as vague boundaries.
Some events are only borderline cases of lives [Inwagen]
     Full Idea: There are events of which it is neither definitely true nor definitely false that those events are lives. I do not see how we can deny this.
     From: Peter van Inwagen (Material Beings [1990], 18)
     A reaction: Very frustrating, since this is my main objection to Van Inwagen's distinction between unified lives and mere collections of simples. Some boundaries are real enough, despite their vagueness, and others indicate that there is no real distinction.
Unlike waves, lives are 'jealous'; it is almost impossible for them to overlap [Inwagen]
     Full Idea: A wave is not a 'jealous' event. Lives, however, are jealous. It cannot be that the activities of the Xs constitute at one and the same time two lives. Only in certain special cases can two lives overlap.
     From: Peter van Inwagen (Material Beings [1990], 09)
One's mental and other life is centred on the brain, unlike any other part of the body [Inwagen]
     Full Idea: One's life - not simply one's mental life - is centered in the activity of the simples that virtually compose one's brain in a way in which it is not centered in the activity of any of the other simples that compose one.
     From: Peter van Inwagen (Material Beings [1990], 15)
     A reaction: This justifies the common view that 'one follows one's brain'. I take that to mean that my brain embodies my essence. I would read 'centered on' as 'explains'.
The chemical reactions in a human life involve about sixteen elements [Inwagen]
     Full Idea: There are sixteen or so chemical elements involved in those chemical reactions that collectively constitute the life of a human being.
     From: Peter van Inwagen (Material Beings [1990], 09)
Life is vague at both ends, but could it be totally vague? [Inwagen]
     Full Idea: Individual human lives are infected with vagueness at both ends. ...But could there be a 'borderline life'?
     From: Peter van Inwagen (Material Beings [1990], 18)
     A reaction: Van Inwagen says (p.239) that there may be wholly vague lives, though it would suit his case better if there were not.
A flame is like a life, but not nearly so well individuated [Inwagen]
     Full Idea: A flame, though it is a self-maintaining event, does not seem to be nearly so well individuated as a life.
     From: Peter van Inwagen (Material Beings [1990], 09)
     A reaction: This is to counter the standard problem that if you attempt to define 'life', fire turns out to tick nearly all the same boxes. The concept of 'individuated' often strikes me as unsatisfactory. How does a bonfire fail to be individuated?
If God were to 'reassemble' my atoms of ten years ago, the result would certainly not be me [Inwagen]
     Full Idea: If God were to 'reassemble' the atoms that composed me ten years ago, the resulting organism would certainly not be me.
     From: Peter van Inwagen (Material Beings [1990], 13)
     A reaction: What is obvious to Van Inwagen is not obvious to me. He thinks lives are special. Such examples just leave us bewildered about what counts as 'the same', because our concept of sameness wasn't designed to deal with such cases.
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
There is no reason to think that mere existence is a valuable thing [Inwagen]
     Full Idea: There is no reason to suppose - whatever Saint Anselm and Descartes may have thought - that mere existence is a valuable thing.
     From: Peter van Inwagen (Material Beings [1990], 12)
     A reaction: This is one of the simplest and most powerful objections to the Ontological Argument. God's existence may be of great value, but the existence of Hitler wasn't.