In defence of the Simplicity Argument E. J. Lowe a a

Similar documents
Lawrence Brian Lombard a a Wayne State University. To link to this article:

To link to this article:

Could i conceive being a brain in a vat? John D. Collier a a

PLEASE SCROLL DOWN FOR ARTICLE

Contradicting Realities, déjà vu in Tehran

To link to this article:

SMITH ON TRUTHMAKERS 1. Dominic Gregory. I. Introduction

STILL NO REDUNDANT PROPERTIES: REPLY TO WIELENBERG

Against the Vagueness Argument TUOMAS E. TAHKO ABSTRACT

Rosetta E. Ross a a Spelman College, Atlanta, Georgia, USA. To link to this article:

THINKING ANIMALS AND EPISTEMOLOGY

Semantic Entailment and Natural Deduction

Aquinas' Third Way Modalized

Externalism and a priori knowledge of the world: Why privileged access is not the issue Maria Lasonen-Aarnio

THE FORM OF REDUCTIO AD ABSURDUM J. M. LEE. A recent discussion of this topic by Donald Scherer in [6], pp , begins thus:

PLEASE SCROLL DOWN FOR ARTICLE

Klein on the Unity of Cartesian and Contemporary Skepticism

Who or what is God?, asks John Hick (Hick 2009). A theist might answer: God is an infinite person, or at least an

Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion

In Part I of the ETHICS, Spinoza presents his central

Necessity and Truth Makers

Alastair Norcross a a Department of Philosophy, University of Colorado at Boulder,

PLEASE SCROLL DOWN FOR ARTICLE

Published in Analysis 61:1, January Rea on Universalism. Matthew McGrath

How Gödelian Ontological Arguments Fail

Searle vs. Chalmers Debate, 8/2005 with Death Monkey (Kevin Dolan)

In Search of the Ontological Argument. Richard Oxenberg

Is the Existence of the Best Possible World Logically Impossible?

INTUITION AND CONSCIOUS REASONING

Resemblance Nominalism and counterparts

TWO VERSIONS OF HUME S LAW

Foreknowledge, evil, and compatibility arguments

Quantificational logic and empty names

NON-COGNITIVISM AND THE PROBLEM OF MORAL-BASED EPISTEMIC REASONS: A SYMPATHETIC REPLY TO CIAN DORR

Ayer on the criterion of verifiability

A Liar Paradox. Richard G. Heck, Jr. Brown University

Informalizing Formal Logic

The Mind Argument and Libertarianism

From Necessary Truth to Necessary Existence

Williams on Supervaluationism and Logical Revisionism

Logic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:

Could have done otherwise, action sentences and anaphora

PLEASE SCROLL DOWN FOR ARTICLE. Full terms and conditions of use:

Online publication date: 17 December 2010 PLEASE SCROLL DOWN FOR ARTICLE

Philosophical Perspectives, 14, Action and Freedom, 2000 TRANSFER PRINCIPLES AND MORAL RESPONSIBILITY. Eleonore Stump Saint Louis University

Verificationism. PHIL September 27, 2011

2.1 Review. 2.2 Inference and justifications

Shieva Kleinschmidt [This is a draft I completed while at Rutgers. Please do not cite without permission.] Conditional Desires.

On A New Cosmological Argument

On Some Alleged Consequences Of The Hartle-Hawking Cosmology. In [3], Quentin Smith claims that the Hartle-Hawking cosmology is inconsistent with

KANT S EXPLANATION OF THE NECESSITY OF GEOMETRICAL TRUTHS. John Watling

What we want to know is: why might one adopt this fatalistic attitude in response to reflection on the existence of truths about the future?

Does Deduction really rest on a more secure epistemological footing than Induction?

2. Refutations can be stronger or weaker.

Sider, Hawley, Sider and the Vagueness Argument

6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 3

Right-Making, Reference, and Reduction

Boghossian & Harman on the analytic theory of the a priori

HAVE WE REASON TO DO AS RATIONALITY REQUIRES? A COMMENT ON RAZ

Merricks on the existence of human organisms

Direct Realism and the Brain-in-a-Vat Argument by Michael Huemer (2000)

Qualitative and quantitative inference to the best theory. reply to iikka Niiniluoto Kuipers, Theodorus

Semantic Foundations for Deductive Methods

Between the Actual and the Trivial World

INTERMEDIATE LOGIC Glossary of key terms

E. J. Coffman a a The University of Tennessee, To link to this article:

KNOWLEDGE ON AFFECTIVE TRUST. Arnon Keren

Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999):

DISCUSSION PRACTICAL POLITICS AND PHILOSOPHICAL INQUIRY: A NOTE

Conditionals II: no truth conditions?

The Philosophical Review, Vol. 88, No. 2. (Apr., 1979), pp

'W.B. Gallie and Essentially Contested Concepts' David-Hillel Ruben a a

Truth At a World for Modal Propositions

FOUNDATIONALISM AND ARBITRARINESS

Empty Names and Two-Valued Positive Free Logic

On Possibly Nonexistent Propositions

Compositional Pluralism and Composition as Identity

Intersubstitutivity Principles and the Generalization Function of Truth. Anil Gupta University of Pittsburgh. Shawn Standefer University of Melbourne

A Generalization of Hume s Thesis

A Solution to the Gettier Problem Keota Fields. the three traditional conditions for knowledge, have been discussed extensively in the

MULTI-PEER DISAGREEMENT AND THE PREFACE PARADOX. Kenneth Boyce and Allan Hazlett

TRUTH-MAKERS AND CONVENTION T

Encyclopedia of Animal Rights and Animal Welfare Andrew Johnson Published online: 04 Jun 2010.

Higher-Order Approaches to Consciousness and the Regress Problem

Comments on Truth at A World for Modal Propositions

Compositional Pluralism and Composition as Identity 1. Kris McDaniel. Syracuse University

Zimmerman, Michael J. Subsidiary Obligation, Philosophical Studies, 50 (1986):

Is the law of excluded middle a law of logic?

Epistemicism, Parasites and Vague Names * vagueness is based on an untenable metaphysics of content are unsuccessful. Burgess s arguments are

Mohammed Rustom a a Carleton University. Available online: 28 Feb 2012

IA Metaphysics & Mind S. Siriwardena (ss2032) 1 Personal Identity. Lecture 4 Animalism

PLEASE SCROLL DOWN FOR ARTICLE

On the alleged perversity of the evidential view of testimony

In this paper I will critically discuss a theory known as conventionalism

Logic is the study of the quality of arguments. An argument consists of a set of

What would count as Ibn Sīnā (11th century Persia) having first order logic?

OSSA Conference Archive OSSA 8

C. Exam #1 comments on difficult spots; if you have questions about this, please let me know. D. Discussion of extra credit opportunities

II RESEMBLANCE NOMINALISM, CONJUNCTIONS

Can Gödel s Incompleteness Theorem be a Ground for Dialetheism? *

Transcription:

This article was downloaded by: [University of Notre Dame] On: 11 July 2010 Access details: Access Details: [subscription number 917395010] Publisher Routledge Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered office: Mortimer House, 37-41 Mortimer Street, London W1T 3JH, UK Australasian Journal of Philosophy Publication details, including instructions for authors and subscription information: http://www.informaworld.com/smpp/title~content=t713659165 In defence of the Simplicity Argument E. J. Lowe a a University of Durham, To cite this Article Lowe, E. J.(2000) 'In defence of the Simplicity Argument', Australasian Journal of Philosophy, 78: 1, 105 112 To link to this Article: DOI: 10.1080/00048400012349381 URL: http://dx.doi.org/10.1080/00048400012349381 PLEASE SCROLL DOWN FOR ARTICLE Full terms and conditions of use: http://www.informaworld.com/terms-and-conditions-of-access.pdf This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, re-distribution, re-selling, loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to date. The accuracy of any instructions, formulae and drug doses should be independently verified with primary sources. The publisher shall not be liable for any loss, actions, claims, proceedings, demand or costs or damages whatsoever or howsoever caused arising directly or indirectly in connection with or arising out of the use of this material.

Australasian Journal of Philosophy Vol. 78, No. 1, pp. 105-112; March 2000 IN DEFENCE OF THE SIMPLICITY ARGUMENT E.J. Lowe Eric Olson [2] correctly attributes to me an argument, which he dubs the Simplicity Argument, the conclusion of which is that I am a simple entity, altogether lacking parts (see my [1], pp. 39f). However, he also asserts that the argument is 'formally invalid' (p. 401): and this is what I want to dispute here, leaving aside for present purposes the question of whether its premises are true. (I shall, however, discuss an objection to one of the premises after the primary business of the paper has been concluded.) I. Olson's Objection Olson says that the Simplicity Argument has three main premises, as follows. (1) I am not identical with my body. (2) I am not identical with any part of my body. (3) No two things can have exactly the same proper parts at once. Olson calls premise (3) the Weak Principle ofmereological Extensionality. (As I shall explain later, this principle is in fact unacceptable as it stands and would need to be modified in a wholly satisfactory version of the Simplicity Argument, but for the time being this minor complication can safely be ignored.) In describing (1), (2) and (3) as being the 'main' premises of the Simplicity Argument, Olson is implicitly acknowledging that I do not claim that its conclusion is entailed by those premises alone. Other assumptions are also in play, as Olson recognises----one of these being that I do not have any parts which are not parts of my body. Why, however, does Olson think that the Simplicity Argument is invalid? This is what he says: It does not follow from the Weak Principle, together with the claim that I am not nay body, that I must either have no parts at all, be identical with a part of my body, or have a part that is not a part of my body. Imagine that both my body and I are made up entirely of atoms--the very same atoms. Suppose, however, that my heart is a part of my body but not a part of me (though of course the atoms that make it up are parts of me). In that case I should be neither identical with my body nor identical with anypart of my body [emphasis added]. The Weak Principle allows this, for my body and I should not have exactly the same parts. Thus, it is consistent with the premises of the Simplicity Argument that I have as many parts as you like. ([2], p. 401) But although the Weak Principle does indeed imply that, in the circumstances imagined by Olson, I am not identical with my body (because I and it have different parts), why does Olson think that it is also implied that I am not identical with any part of my body? He does not explain. Indeed, it seems pretty clear to me that in these circumstances I would be identical with a part of my body. For the atoms of which, on Olson's 105

106 In Defence of the Simplicity Argument supposition, I am entirely made up are evidently parts of my body, and consequently the mereological sum of those atoms is a part of my body. Hence, unless I have some part which is not a part of that sum, I have exactly the same parts as that sum of atoms and so, by the Weak Principle, I am identical with it and thus with a part of my body, contrary to premise (2) of the Simplicity Argument. But what other part might I have, which is not a part of that sum of atoms? If it is just some further part of my body, such as my brain, then we can simply add it to the sum of atoms to make another part of my body with which, by the Weak Principle, I would have to be identical. So, to avoid that consequence, I would have to have, in addition to the atoms as parts, some further part which was not a part of my body--and, as I pointed out in my original presentation of the argument, no such further part appears to be available. So long as all of my supposed parts are also parts of my body, they have a mereological sum which is itself a part of my body, and one with exactly the same parts as I supposedly have. Hence, by the Weak Principle of Mereological Extensionality, I am identical with that part of my body, contrary to premise (2) of the Simplicity Argument. The only further assumptions that I am appealing to here are familiar principles of classical extensional mereology--in particular, the principles that any finite number of individuals has a unique mereological sum and that if each of a finite number of individuals is a part of a given individual, then the sum of those individuals is likewise a part of that individual (see Simons [3], p. 14, pp. 37ff). (As we shall see when I come to present a formal version of the Simplicity Argument at the end of the paper, there is in fact one other mereological principle that I am implicitly relying on--the Weak Supplementation Principle--though it, too, is a familiar enough one.) These principles of classical extensional mereology imply, for instance, that if each of the atoms making up my body is a part of my body (which is hardly contestable), then the sum of those atoms exists and is a part of my body. Similarly, they imply that for any finite number of cells each of which is a part of my body, the sum of those cells exists and is a part of my body. Now, I do not want to commit myself here to absolutely every principle of classical extensional mereology. But I see no reason to challenge its implication that the sum of atoms making up my body exists and is a part of my body. Even if one questions (though I myself do not) whether any finite number of individuals whatever has a sum--perhaps on the grounds that things like the Eiffel Tower and my left big toe are too dissimilar and too unrelated to one another to have a sum--no such objection could be raised against the supposition that the atoms making up my body have a sum, because the atoms are very similar individuals which are closely related to one another, both spatiotemporally and causally. Of course, such a sum of atoms is not very much like such a body-part as a heart or a brain (a bodily organ), but that is no reason to deny that it is indeed a part of a body. And, certainly, I have never suggested that, for the purposes of the Simplicity Argument, the only parts of my body that need to be taken into account are those that are like the heart and the brain, together with the atoms of which such organic body-parts are composed. Perhaps Olson is making some such assumption as this, but I most assuredly am not. I conclude that the Simplicity Argument emerges unscathed from his charge that it is 'formally invalid'. In point of fact, I myself have never hitherto even attempted to present the argument in a formal guise, in which all of its premises are made fully explicit. This I shall do shortly, when I shall naturally include as premises the further mereological assumptions which I have identified in this paper and which seem to me to be relatively

E. J. Lowe 107 uncontentious--much less contentious, certainly, than any of the three premises of the Simplicity Argument which Olson himself explicitly identifies. With those further assumptions in place, I think there can be no doubt that the Simplicity Argument is valid. The only remaining question is whether it is sound. II. The Weak Principle of Mereological Extensionality Before I conclude this paper with a formal presentation of the Simplicity Argument, I should like to address an interesting objection to premise (3), the Weak Principle of Mereological Extensionality, which has been raised by an anonymous referee for this journal. I should emphasise that, to the extent that this objection questions the soundness rather than the validity of the Simplicity Argument, it is tangential to the main concern of the paper. However, the objection is sufficiently important in itself to warrant some discussion here. After I have dealt with the objection, I shall explain why the Weak Principle of Mereological Extensionality, as formulated by Olson, does in fact require modification in any case, although only in a way which does not affect the validity of the Simplicity Argument. The objection takes off from the observation that I assume that my body is not identical with the sum of the atoms composing it and that Olson makes the same assumption in arguing against me. My own primary reason for thinking that this assumption is correct is that I consider my body and the sum of the atoms composing it to have different persistence-conditions--for instance, my body could survive the destruction of some of those atoms, but the sum of those atoms could not. One way of articulating the intuitive distinction between the two entities in question is to say that my body is an organic whole, whereas the sum of the atoms composing it is not. Now, one reason why, on my view, my body and the sum of the atoms composing it do not provide a counterexample to the Weak Principle of Mereological Extensionality is that my body's various organic parts--such as its heart and its brain--are not parts of the sum of atoms composing my body. Each such organic part of my body is itself a (lesser) organic whole, which is likewise distinct from the sum of the atoms composing it. However, in view of the fact that my body, and thus any organic part of it, is composed of finitely many atoms, it seems that my body must have certain organic parts of least size, these being organic wholes which do not have any organic parts of their own. We could call such least organic wholes organic molecules. And, indeed, in the case of a human body, its least organic parts are perhaps precisely that, in the ordinary chemical sense of the expression--that is, they may be such things as individual DNA molecules. The problem is, however, that since an organic molecule has no organic parts of its own, it might appear to have exactly the same parts as the sum of the atoms composing it, in contravention of the Weak Principle of Mereological Extensionality. My response to this apparent problem is to insist that organic wholes always have, in addition to any organic parts they may have, structural and/or functional parts, which something like a sum of atoms does not have. In the case of a human body, the neck and the elbows are examples of structural parts, while the nervous and digestive systems are examples of functional parts. These are quite unlike organic body-parts, for the latter are entities which can, in principle, exist independently of the bodies of which they are parts and even be transplanted from one body to another, as happens in a heart-transplant

108 In Defence of the Simplicity Argument operation. Structural and functional parts do not have this kind of independence. We may be misled about this by the fact that some of our terms for body-parts are ambiguous. Thus, the terms 'heart' and 'brain', although normally used to denote certain kinds of organic body-parts, can also be used to denote certain kinds of functional bodyparts--'brain', for instance, being used to denote the central control unit of a body's central nervous system. Again, 'elbow' can sometimes be used to refer to an elbow joint, an organic body-part which can certainly be transplanted from one body to another, unlike the elbows which are structural parts of a human body. An elbow joint could, conceivably, be used to replace a defective knee joint, but this wouldn't mean that the body receiving the transplant had acquired a third elbow in the structural sense of 'elbow'. Now, even organic molecules (in my technical sense of the expression) must have structural and/or functional parts. This requirement can be illustrated by the actual case of DNA molecules, which in addition to the atoms composing them, have as structural parts the various valence bonds between those atoms. These bonds are clearly parts of a DNA molecule, and have to be represented as such in any adequate model or diagram of a DNA molecule. But they are not composed of the atoms (nor are they literally composed of the electrons within those atoms whose interrelationships are responsible for the existence of the bonds). Thus, a DNA molecule is not only an organic whole which is distinct from the sum of the atoms composing it, it is also something which has certain non-organic parts--the valence bonds--which are not parts of that sum of atoms. And that, in my view, is why it constitutes no counterexample to the Weak Principle of Mereological Extensionality. This is a convenient point for me to explain why the Weak Principle of Mereological Extensionality, as formulated by Olson, does in fact require amendment, although only in a way which does not affect the validity of the Simplicity Argument. As formulated by Olson, the principle states that no two things can have exactly the same proper parts at once. However, this implies, unacceptably, that there cannot be more than one thing which altogether lacks proper parts--because, trivially, things which have no proper parts have exactly the same proper parts (cf. Simons [3], p. 28). Since [ maintain that both you and I are simple things, altogether lacking proper parts, this would commit me to saying, absurdly, that you and I are identical. The right way to formulate the principle, clearly, is to say that no two things which have proper parts can have exactly the same proper parts at once. But if the Simplicity Argument is valid using Olson's version of the principle, then it is clearly also valid using this modified version of the principle, even though the modified version is weaker. This will be evident from the formal presentation of the Simplicity Argument provided below, where it is formulated as a reductio ad absurdum of the hypothesis that I have proper parts--for the modified version of the principle clearly applies to me under that hypothesis. In view of this fact, and in order not to deviate from the Simplicity Argument asstated by Olson, I shall continue to employ his version of the principle in what follows. HI. A Formal Version of the Simplicity Argument To conclude the paper, I shall now present, as promised, a formal version of the Simplicity Argument in which all of its premises are made explicit. Let 'I' denote me and

E. J. Lowe 109 'B' denote my body. And let '<' express the relation of proper parthood. Then the first three premises of the Simplicity Argument are as follows: (1) 7(i = B) (2) (Vx)(x < B --> ~(I = x)) (3) (Vx) (Vy) (x : y +-> (Vz)(z < x +-> z < y)) (1) and (2) state, respectively, that I am not identical with my body and that I am not identical with any proper part of my body. Note that I have made a minor amendment to Olson's version of premise (2), because if 'part' in his version is understood as meaning 'proper or improper part', premise (1) becomes redundant. (3), of course, is the Weak Principle of Mereological Extensionality, as stated by Olson--the principle that things which have exactly the same proper parts are identical. (At the appropriate point in the proof, however, I shall say how the modified version of the principle mentioned earlier can be used instead of Olson's version.) The next premise we need is the proposition that I have no proper parts which are not proper parts of my body: (4) (Vx)(x < I --> x < B) Note that we could, in fact, have appealed to a slightly weaker proposition instead of (4), namely, the proposition that I have no proper parts which are not proper or improper parts of my body, given a further principle that we shall be assuming anyway, namely, the Weak Supplementation Principle (see below). For the latter principle, together with the proposed replacement for (4), rules out the possibility that my body is a proper part of me (on the grounds that I should then have to have some further proper part, disjoint from my body, which (4)'s replacement precludes). Finally, we need the premise that any finite number of proper parts of an object O has a unique mereological sum which is itself a part (either proper or improper) of O: (5) (Vxl)(Vx2)...(Vx.)((xl < O & x2 < O &... xo < O) --> (~y) (y= [x~ + x2 +... x.] & (v< O vy=o))) where '[x~ + x2 +... x,]' denotes the mereological sum of xl, x2,... and xn. Now suppose, for reductio, that al, a2,... and an are all the (finitely many) proper parts that I have: (6) al < I & a2 < l &... a, < l & (Vx)(x < I --> (x = al v x = a2 v... x = an)) We can assume that n here is greater than 1 by the Weak Supplementation Principle, that is, the principle that if an individual has a proper part, then it must have another proper part disjoint from that first part, and hence that no individual can have just one proper part (see Simons [3], p. 28). Our proof proceeds as follows. From (6) we can immediately infer (7) a1<i &az<i&... an<i

110 In Defenee of the Simplicity Argument and from (4) and (7) we can infer (8) a~<b &a2<b &... an<b From (8) and (5), setting O = B in (5), we can infer (9) (By)(y = [al + a2 +... an] & (y < B v y = B)) Instantiating for 'y' in (9), we get (10) r = [al + a2 +... an] & (r < B v r = B) From (10) we can immediately infer (11) r = [ai + a2 +... an] However, we can also prove (12) ~ (r=al) &~ (r=a2) &... ~(r=an) The proof of (12) is as follows. Suppose, for reductio, that for some i between 1 and n inclusive, r = ai. By (7), ai < I. By the Weak Supplementation Principle, (3x)(x < I & -~ (x = ai) & ~ (x < ai)). Instantiating for 'x' here, we get: s < I & -7 (s = ai) & --7 (s < ai). But, given that s < I, we have, by (6): s = al v s = a2 v... s = an. So let s = aj, for some j between 1 and n inclusive. Then we have, from above: -7 (ai = ai) & ~ (aj < ai). Hence, on the hypothesis that r = ai, we have: ~ (aj < r) & ~ (aj = r). However, contradicting this, we have from (11), by the definition of 'sum': aj < r v aj = r. This completes the reductio in proof of (12), and we can now proceed with the main proof. From (11) and (12), by the definition of 'sum', we can infer (13) al<r&a2<r&...a,<r And from (6) we can immediately infer (14) (Vx)(x<I~ (x=a~vx=a2v... x=an)) From (13) and (14) we can infer (15) (Vx)(x < I ~ x < r) From (7) and (5), setting O = I in (5), we can infer (16) (3y)(y=[a~+a2+... a.] &Cv<Ivy=I)) Instantiating for 'y' in (16), we get

E. J. Lowe 111 (17) t= [a~+a2+... an] & (t<iv t=i) From (17) we can immediately infer (18) t= [al+az+... a,] From (11) and (18) we can infer (19) r = t From (17) and (19) we can infer (20) r<ivr=i From (20), by the transitivity of proper parthood, we can infer (21) (Vx)(x < r --> x < I) From (15) and (21) we can infer (22) (Vx)(x < I ~ x < r) From (3) and (22) we can infer (23) I = r This is the point in the proof at which it would be possible to use the modified version of the Weak Principle of Mereological Extensionality instead of Olson's version, (3). From the modified version we can infer: ((3y)(y < I) & (3y)fy < r)) -+ ((Vx)(x < I +-~ x < r) -+ I = r). The antecedent of this conditional can be inferred from (7) and (13), allowing us to detach the consequent. From the consequent and (22) we can then infer (23). Then both versions of the proof can continue as follows. From (10) we can immediately infer (24) r<bvr=b Suppose, taking the first disjunct of (24) (25) r < B From (2) we can infer (26) r <B --~ ~ (I = r) And from (25) and (26) we can infer (27) =(I=r)

112 In Defenee of the Simplicity Argument This contradicts (23). Suppose instead, taking the second disjunct of (24) (28) r = B From (1) and (28) we can infer (29) ~ (i = r) This again contradicts (23). QED Hence, on the supposition that premises (1) to (5) are true, we have proved (6) to be false (given also the truth of the Weak Supplementation Principle, the transitivity of proper parthood, and the definition of 'sum'). Consequently, we have proved, given these premises (and the further assumptions just mentioned), that I do not have finitely many proper parts and hence--on the plausible assumption that I do not have infinitely many proper parts--that I have no proper parts at all: that is, that I am an altogether simple entity. 1 University of Durham Received: January 1999 Revised: April 1999 REFERENCES 1. E.J. Lowe, Subjects' of Experience (Cambridge: Cambridge University Press, 1996). 2. Eric T. Olson, 'Human Atoms', Australasian Journal of Philosophy 76 (1998), pp. 396406. 3. Peter Simons, Parts: A Study in Ontology (Oxford: Clarendon Press, 1987). Many thanks to Eric Olson for correspondence on the subject of this paper. I am also very grateful to two anonymous referees for their comments on an earlier draft