<!DOCTYPE html><HTML lang="en"> <head><meta charset="utf-8"> <title>Van Inwagen (Peter) - Prcis of Material Beings (Theo Todman's Book Collection - Paper Abstracts) </title> <link href="../../TheosStyle.css" rel="stylesheet" type="text/css"><link rel="shortcut icon" href="../../TT_ICO.png" /></head> <BODY> <CENTER> <div id="header"><HR><h1>Theo Todman's Web Page - Paper Abstracts</h1><HR></div><A name="Top"></A> <TABLE class = "Bridge" WIDTH=950> <tr><th><A HREF = "../../PaperSummaries/PaperSummary_05/PaperSummary_5892.htm">Prcis of Material Beings</A></th></tr> <tr><th><A HREF = "../../Authors/V/Author_Van Inwagen (Peter).htm">Van Inwagen (Peter)</a></th></tr> <tr><th>Source: Philosophy and Phenomenological Research 53, No. 3, Sep., 1993, pp. 683-686</th></tr> <tr><th>Paper - Abstract</th></tr> </TABLE> </CENTER> <P><CENTER><TABLE class = "Bridge" WIDTH=800><tr><td><A HREF = "../../PaperSummaries/PaperSummary_05/PaperSummary_5892.htm">Paper Summary</A></td><td><A HREF = "../../PaperSummaries/PaperSummary_05/PaperCitings_5892.htm">Books / Papers Citing this Paper</A></td><td><A HREF = "../../PaperSummaries/PaperSummary_05/PapersToNotes_5892.htm">Notes Citing this Paper</A></td><td><A HREF="#ColourConventions">Text Colour-Conventions</a></td></tr></TABLE></CENTER></P> <hr><P><FONT COLOR = "0000FF"><U>Full Text</U><FONT COLOR = "800080"><ul type="disc"><li>I present an ontology of the material world that is consistent with ten constraints, ten logical and metaphysical theses to which I am strongly committed. These are:- <ol type="1"><li>Identity should be understood in a "classical" or "absolute," rather than a "relative," sense; </li><li>Material things endure through time; they are neither four-dimensional entities extended in time nor three-dimensional cross-sections of such; </li><li>Principles of "standard logic" (such as the law of the excluded middle or the transitivity of identity) should be universally valid, or, at worst, should fail only in bizarre science-fiction cases that have never actually occurred; </li><li><a name="1"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal</A><SUP>1</SUP> statements about individuals should not be understood counterpart-theoretically; </li><li>Matter is ultimately particulate; </li><li>Two objects cannot be composed of the same proper parts at the same time; </li><li>Subject-predicate sentences whose predicate is a "mental" predicate (such as  is in pain' or  is thinking about Vienna') can express truths only if their subject-term denotes a thinking thing; </li><li>There are thinking things, and at least some of them (ourselves) are living animals; </li><li>What there is cannot be a matter of stipulation or convention; </li><li>Whether certain objects add up to or compose a "larger" object depends on nothing besides their intrinsic properties and the spatial and causal relations that they bear to one another. </li></ol></li><li>The ontology of the material world that is presented in this book is developed in the course of an attempt to answer the "Special Composition Question": Under what conditions do things add up to (make up, compose) a thing. (Certain things "add up to" or "make up" or "compose" a given thing just in the case that all of them are parts of it, and no two of them have a common part, and each of its parts shares a part with one or more of them.) To answer the Special Composition Question (SCQ) is to state, using only non-mereological language, <em>when</em> composition occurs. (SCQ is distinguished from the "General Composition Question": What is composition? This question would be answered by an analysis of composition, an analysis that was reductive in the sense that it made no use of mereological concepts. I do not attempt to answer the General Composition Question. I am inclined to think that no reductive analysis of composition is possible, owing to the fact that mereological terms  'part',  whole',  composite',  sum',  overlap', 'compose'  form a "closed circle' that cannot be broken into by definition or analysis.)</li><li>Any answer to SCQ must be either <EM>Moderate</EM> or <EM>Extreme</EM>. There are exactly two Extreme answers: <EM>Universalism</EM> and <EM><a name="2"></a><A HREF="../../Notes/Notes_0/Notes_87.htm">Nihilism</A><SUP>2</SUP></EM>. According to Universalism, composition "always" happens; it happens, so to speak, automatically. Universalism holds that for any things (no two of which have a common part) there is something that they compose. According to <a name="3"></a><A HREF="../../Notes/Notes_0/Notes_87.htm">Nihilism</A><SUP>3</SUP>, composition never happens: two or more things never compose or add up to anything. <a name="4"></a><A HREF="../../Notes/Notes_0/Notes_87.htm">(Nihilism</A><SUP>4</SUP> is equivalent to the thesis that nothing has proper parts.) "Moderate" answers hold that sometimes, under certain conditions, two or more things compose something, and that sometimes two or more (non-overlapping) things do not compose anything. Moderate answers differ from one another about what the conditions under which composition occurs are.</li><li>The Extreme answers are wrong. <a name="5"></a><A HREF="../../Notes/Notes_0/Notes_87.htm">Nihilism</A><SUP>5</SUP> is wrong because we are living, <a name="6"></a><A HREF="../../Notes/Notes_8/Notes_872.htm">thinking animals</A><SUP>6</SUP>, and composite objects therefore exist. Universalism is wrong because, if it is right, then ten years ago I was a cloud of atoms spread throughout the biosphere; but ten years ago, I was a living animal.</li><li>Any of the more obvious Moderate answers is wrong. It is, for example, not the case that things compose a thing if and only if those things are in contact with one another, like blocks in a pile. If it were correct, then there would be something (something shaped like a statue of two people shaking hands) that came into existence when two people shook hands; but nothing does.</li><li>I propose the following answer to SCQ: things compose a thing if and only if their collective activity constitutes a <EM>life</EM>. A life is a special kind of self-maintaining event into which particles of matter are constantly being drawn, and from which, normally after a fairly short period of participating in the life, they are expelled. Thus, the only composite objects are living organisms. Moreover, if the activity of certain things at t1 constitutes a life and the activity of certain things at t2 constitutes a life, then the object that the former things compose at t1 is identical with the object that the latter things compose at t2 if and only if the life that the activity of the former constitutes at t1 is the same event as the life that the activity of the latter constitutes at t2.</li><li>According to this 'Proposed Answer," therefore, there are no "substances existing by art," such as tables and chairs, and there are no "substances existing by chance," such as stones and bits of stick. Nevertheless, sentences like  Some of her chairs are very good nineteenth-century copies of Chippendales' can, when uttered in the course of the ordinary business of life, express truths. These words should be understood as strictly parallel to the following words, which we imagine spoken by Copernicus: "According to my theory, the sun does not move. Nevertheless, sentences like  It was cooler in the garden after the sun had moved behind the elms' can, when uttered in the course of the ordinary business of life, express truths." This thesis is discussed in more depth in my reply to Eli Hirsch.</li><li>This ontology of the material world provides an interesting perspective from which to view a wide range of philosophical problems, such as those raised by <ul type="square"><li>the <a name="7"></a><A HREF="../../Notes/Notes_0/Notes_44.htm">Ship of Theseus</A><SUP>7</SUP>, </li><li>the <a name="8"></a><A HREF="../../Notes/Notes_7/Notes_763.htm">Brain Transplant</A><SUP>8</SUP>, and </li><li>the facts of <a name="9"></a><A HREF="../../Notes/Notes_1/Notes_116.htm">Commissurotomy</A><SUP>9</SUP>.</li></ul>Furthermore, it provides a solution to Peter Unger's "<a name="10"></a><A HREF="../../Notes/Notes_11/Notes_1170.htm">Problem of the Many</A><SUP>10</SUP>." (This solution is discussed in my reply to Terence Horgan.) This ontology, however, is based upon a Moderate answer to SCQ, and most Moderate answers imply that both identity and existence are vague. (We shall consider this point only as it applies to the Proposed Answer, but all interesting Moderate answers face the same problem.)</li><li>Consider identity. Since it may be indeterminate whether a life that is going on at one time is the same event as a life that is going on at another, it follows that it may be indeterminate whether a certain object that exists at one time is identical with a certain object that exists at another time. But Gareth Evans has argued that <a name="11"></a><A HREF="../../Notes/Notes_1/Notes_106.htm">indeterminate identity</A><SUP>11</SUP> is impossible. For suppose that <EM>a</EM> is indeterminately identical with <EM>b</EM>; it is evident that <EM>b</EM> is not indeterminately identical with <EM>b</EM>; and, therefore, by the principle of the non-identity of discernibles, <EM>a</EM> and <EM>b</EM> are not identical. If this reasoning is valid, then any ontology of the material world that implies that indeterminate identity is possible is wrong. It is, however, possible to set out a plausible set of inference-rules for reasoning about indeterminate identities according to which Evans's argument is invalid.</li><li>Consider existence. Since it may be indeterminate whether the activity of certain objects constitutes a life, it may be indeterminate whether those objects compose something. Suppose that there are objects without proper parts ("simples") and that one set of simples is such that it is indeterminate whether its members compose something, and that every other set of simples is such that it is definitely true that its members do not compose anything. Then it is indeterminate whether there is a composite object. According to the "standard" theory of vagueness or indeterminacy, this can be so only if something is such that it is indeterminate whether it is composite. In the present case, this condition is not met. Every simple is definitely non-composite, and it is not definitely true that there is anything else; and, in any case, anything that is not a simple is definitely composite. The "standard theory" endorses the inference-form  It is indeterminate whether something is F; hence, something is such that it is indeterminate whether it is F'. The standard theory is therefore in conflict with the Proposed Answer, and, in fact, with all interesting Moderate answers to SCQ. It is, however, possible to set out a plausible set of inference-rules governing the interaction of  it is indeterminate whether' and the existential quantifier, according to which this inference-form is invalid.</li><li>The standard theory locates the source of indeterminacy of truth-value in language (in vague general terms), just as what was once the standard theory of necessity located the source of necessity in language. It may be that the "linguistic theory of vagueness" is destined to go the way of the linguistic theory of necessity.</li></ul> </FONT><hr><FONT COLOR = "0000FF"><B>Comment: </B><BR><BR>Symposium <a name="12"></a>"<A HREF = "../../BookSummaries/BookSummary_00/BookPaperAbstracts/BookPaperAbstracts_49.htm">Van Inwagen (Peter) - Material Beings</A>". Annotated printout.<BR><FONT COLOR = "0000FF"><HR></P><a name="ColourConventions"></a><p><b>Text Colour Conventions (see <A HREF="../../Notes/Notes_10/Notes_1025.htm">disclaimer</a>)</b></p><OL TYPE="1"><LI><FONT COLOR = "0000FF">Blue</FONT>: Text by me; &copy; Theo Todman, 2018</li><LI><FONT COLOR = "800080">Mauve</FONT>: Text by correspondent(s) or other author(s); &copy; the author(s)</li></OL> <BR><HR><BR><CENTER> <TABLE class = "Bridge" WIDTH=950> <TR><TD WIDTH="30%">&copy; Theo Todman, June 2007 - August 2018.</TD> <TD WIDTH="40%">Please address any comments on this page to <A HREF="mailto:theo@theotodman.com">theo@theotodman.com</A>.</TD> <TD WIDTH="30%">File output: <time datetime="2018-08-03T00:15" pubdate>03/08/2018 00:15:29</time> <br><A HREF="../../Notes/Notes_10/Notes_1010.htm">Website Maintenance Dashboard</A></TD></TR> <TD WIDTH="30%"><A HREF="#Top">Return to Top of this Page</A></TD> <TD WIDTH="40%"><A HREF="../../Notes/Notes_11/Notes_1140.htm">Return to Theo Todman's Philosophy Page</A></TD> <TD WIDTH="30%"><A HREF="../../index.htm">Return to Theo Todman's Home Page</A></TD> </TR></TABLE></CENTER><HR> </BODY> </HTML>