<!DOCTYPE html><HTML lang="en"> <head><meta charset="utf-8"> <title>Parts: A Study in Ontology (Simons (Peter)) - Theo Todman's Book Collection (Book-Paper Abstracts)</title> <link href="../../../TheosStyle.css" rel="stylesheet" type="text/css"><link rel="shortcut icon" href="../../../TT_ICO.png" /> </head> <a name="Top"></a> <BODY> <div id="header"> <HR><H1>Theo Todman's Book Collection (Book-Paper Abstracts)</H1></div> <hr><CENTER><TABLE class = "Bridge" WIDTH=950><tr><td colspan =3><A HREF = "../BookSummary_1378.htm">Parts: A Study in Ontology</A></td></tr><tr><td colspan =3><A HREF = "../../../Authors/S/Author_Simons (Peter).htm">Simons (Peter)</a></td></tr><tr><td colspan =3>This Page provides (where held) the <b>Abstract</b> of the above <b>Book</b> and those of all the <b>Papers</b> contained in it.</td></tr><tr><td><A HREF="#ColourConventions">Text Colour-Conventions</a></td><td><A HREF = "../BookCitings_1378.htm">Books / Papers Citing this Book</A></td><td><A HREF = "../BooksToNotes_1378.htm">Notes Citing this Book</A></td></tr></tr></TABLE></CENTER><hr> <P ALIGN = "Justify"><FONT Size = 2 FACE="Arial"><FONT COLOR = "0000FF"><B>BOOK ABSTRACT: </B><BR><BR><U>Cover Blurb</U><FONT COLOR = "800080"><ol type="1"><li>The relationship of part to whole is one of the most fundamental there is, yet until now there has been no full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. </li><li>Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and <a name="1"></a><A HREF="../../../Notes/Notes_1/Notes_121.htm">modal</A><SUP>1</SUP> considerations in detail. This has far-reaching consequences for our understanding of such classical philosophical concepts as identity, individual, class, substance and accident, matter, form, essence, dependence, and integral whole. </li><li>It also enables the author to offer new solutions to long-standing problems surrounding these concepts, such as the <a name="2"></a><A HREF="../../../Notes/Notes_0/Notes_44.htm">Ship of Theseus Problem</A><SUP>2</SUP> and the issue of mereological essentialism. </li><li>The author shows by his use of formal techniques that classical philosophical problems are amendable to rigorous treatment, and the book represents a synthesis of issues and methods from the analytical tradition and from the older continental tradition of <a name="3"></a><A HREF = "../../../Authors/B/Author_Brentano (Franz).htm">Franz Brentano</A> and the early <a name="4"></a><A HREF = "../../../Authors/H/Author_Husserl (Edmund).htm">Edmund Husserl</A>.</li></ol></FONT><FONT COLOR = "0000FF"><HR><B>BOOK COMMENT: </B><BR><BR>Clarendon Press, Oxford, paperback edition, 2003 reprint</P> <P ALIGN = "Justify"><FONT Size = 2 FACE="Arial"><FONT COLOR = "0000FF"><HR><BR>"<B><A HREF = "../../../PaperSummaries/PaperSummary_06/PaperSummary_6269.htm">Simons (Peter) - Parts: A Study in Ontology - Introduction</A></B>"<BR><BR><B>Source</B>: Simons - Parts: A Study in Ontology, 1987, Introduction<BR><FONT COLOR = "0000FF"><BR><BR><U>Introduction</U> (Full Text)<FONT COLOR = "800080"> <ol type="1"><li>This book has two major aims. The first is to give a connected account of the various kinds of mereology, or formal theory of part, whole, and related concepts, which exist, widely scattered, in the literature. This aim is fulfilled mostly in Part I. The second and more important aim is to expose the philosophical defects of most of this tradition, and to suggest why, where, and how it should be put right.</li><li>The standardly accepted formal theory of part-whole is classical extensional mereology, which is known in two logical guises, the Calculus of Individuals of Leonard and Goodman, and the Mereology of Lesniewski. Despite the discrepancies between the underlying logics of these two approaches, there is a precise sense in which both say the same things about parts and wholes. Classical extensional mereology (CEM) is subject to two major criticisms. The first is that, either out of conviction or for reasons of algebraic neatness, it asserts the existence of certain individuals, mereological sums, for whose existence in general we have no evidence outside the theory itself. The second and more fundamental criticism is that the theory is not applicable to most of the objects around us, and is accordingly of little use as a formal reconstruction of the concepts of part and whole which we actually employ.</li><li>There are two reasons for this. The first is that the underlying logic of CEM does not have the resources to deal with temporal and <A HREF="../../../Notes/Notes_1/Notes_121.htm">modal</A><SUP>1</SUP> notions in connection with mereology, such as temporary part, temporal part, essential part, or essential permanent part. This is not an internal criticism of CEM, since one could envisage suitably extending it to cope with temporal and <A HREF="../../../Notes/Notes_1/Notes_121.htm">modal</A><SUP>2</SUP> concepts. However there is an internal reason why CEM is not suitable for such extension, and this concerns mereological extensionality. This is the thesis that objects with the same parts are identical (by analogy with the extensionality of sets, whereby sets with the same members are identical). If mereological extensionality is accepted, then two prima facie facts need to be accounted for. The first is that certain things, like human beings, have different parts at different times: they are mereologically variable or in flux. An object with different parts at different times cannot be identical with the sum of its parts at any time, for then it would be different from itself. The second problem is that some objects (again, like human beings) might have had some parts other than those they in fact have, and yet still have been the same objects. In other words, they are not <A HREF="../../../Notes/Notes_1/Notes_121.htm">modally</A><SUP>3</SUP> rigid in their parts. If we accept mereological extensionality in a <A HREF="../../../Notes/Notes_1/Notes_121.htm">modally</A><SUP>4</SUP> strengthened form, to the effect that objects with the same parts must be identical, then no object could have had parts other than those it actually has, a thesis called mereological essentialism, and associated with Chisholm.</li><li>In the face of these two problems, a number of strategies may be adopted to preserve extensionality, some of them extreme. One may try revising the logic of identity, or denying that objects have undetached parts. The <A HREF="../../../Notes/Notes_1/Notes_121.htm">modal</A><SUP>5</SUP> problem may be ignored by refusing to take <A HREF="../../../Notes/Notes_1/Notes_121.htm">modality</A><SUP>6</SUP> seriously. If it is taken seriously, then it seems that mereological essentialism is the best option. One then faces the problem of explaining why it appears that ordinary objects are not <A HREF="../../../Notes/Notes_1/Notes_121.htm">modally</A><SUP>7</SUP> mereologically rigid. Chisholm accounts for appearances by construing such objects as logical constructions out of objects for which mereological essentialism indeed holds.</li><li>Since it is more difficult to ignore time than <A HREF="../../../Notes/Notes_1/Notes_121.htm">modality</A><SUP>8</SUP>, the problem of flux has been faced more often. The analogous solution to mereological essentialism is to deny that objects do vary their parts: they are mereologically constant. Chisholm holds that objects properly so called are indeed mereologically constant, and the appearance of variability among objects is to be explained by construing these, once again, as logical constructions. I argue that the price Chisholm pays is in each case too high to warrant upholding mereological extensionality.</li><li>A second and more popular solution to the flux problem is to propose replacing the things (continuants) of our usual ontology by processes, which have temporal parts. I argue that the difficulties involved in such a revision have been greatly underestimated, and that in any case the move fails to save mereological extensionality because such four-dimensional objects fall prey to the <A HREF="../../../Notes/Notes_1/Notes_121.htm">modal</A><SUP>9</SUP> argument.</li><li>There are nevertheless places where extensional mereology is appropriate, in particular among events and among non-singular objects, that is, classes and masses: in the last two cases the full classical theory can apply. It emerges that `part', like other formal concepts, is not univocal, but has analogous meanings according to whether we talk of individuals, classes, or masses.</li><li>It remains to be considered how mereology looks when extensionality is rejected. Part II considers the mereology of continuants, which may be in flux. The rejection of extensionality has as a consequence that more than one object may have exactly the same parts at the same time, and hence occupy the same position. Another somewhat controversial thesis defended is that an object may exist intermittently in special circumstances. These views are applied together to give a novel solution of the <A HREF="../../../Notes/Notes_0/Notes_44.htm">Ship of Theseus</A><SUP>10</SUP> problem.</li><li>Consideration of the conditions under which distinct things may be in the same place at the same time leads to a discussion of the nature of composition, constitution, and matter in their mereological ramifications. With the rejection of extensionality, it becomes possible to distinguish different concepts of proper-or-improper-part which enrich our conceptual palette and allow disputes to be resolved as turning on equivocation.</li><li><A HREF="../../../Notes/Notes_1/Notes_121.htm">Modal</A><SUP>11</SUP> mereology has received almost no attention because the logical opinions of mereologists and <A HREF="../../../Notes/Notes_1/Notes_121.htm">modal logicians</A><SUP>12</SUP> have usually been fundamentally opposed. Part III brings <A HREF="../../../Notes/Notes_1/Notes_121.htm">modality</A><SUP>13</SUP> and mereology together as they are found in the work of Husserl at the beginning of the century and later in that of Chisholm. Mereological essentialism is rejected as a general doctrine, though again there are regions in which it is appropriate, essentially those where extensionality applies. For most continuants some parts are essential and others are not.</li><li>Husserl used <A HREF="../../../Notes/Notes_1/Notes_121.htm">modal</A><SUP>14</SUP> mereology as a tool in developing various concepts of ontological dependence of objects on other objects, a study which quickly leads into some of the central topics of ontology, concerning substance and conditional and unconditional existence. The <A HREF="../../../Notes/Notes_1/Notes_121.htm">modal</A><SUP>15</SUP> approach developed here is used to re-examine traditional problems in this light, and to reassess Husserl's achievement in this field.</li><li>The arguments have so far turned mainly on extensionality and what happens if it is rejected. In the last chapter I return to mereological sums, and ask what it is they seem to lack that other paradigmatic objects have. The leading idea here is that of a family of objects which is maximally connected under some relation; an object composed of such a family is integrated under the relation; such integrity  provided the relation involved is not merely formal  is what arbitrary sums and incomplete fragments lack. Among the kinds of relation constitutive of such integrity we consider forms of ontological and functional dependence, and give an account, based on work by Grelling and Oppenheim, of the characteristic structure or Gestalt of such integral wholes.</li><li>A word should be said about the use of symbolic formulae and formal systems. Since most of the existing work on mereology uses such means of expression, their use is unavoidable if we are to survey such theories and compare their relative strengths. As for the rest of the book, since the aim is to discover the most suitable mereological concepts and the formal principles governing them, though it is in principle possible to do without symbols, in practice we need them for their brevity and clarity, and to enable us to test the consequences of formulae using the established means of formal logic. Nevertheless, I want to stress that this book is about ontology, not logic. The level of logical sophistication required to understand the text is not high: a journeyman's acquaintance with first-order predicate logic with identity will suffice. Even the <A HREF="../../../Notes/Notes_1/Notes_121.htm">modal</A><SUP>16</SUP> sections require no more, provided one is prepared to indulge the fiction of possible worlds. The unfamiliar language of Lesniewski is introduced in such a way that a reader without foreknowledge may follow subsequent discussion; but in general I stay closer to predicate-logical means of expression. I have tried to make the notation as unfussy as possible; a survey of the notation used generally, in particular the conventions which allow parentheses to be almost entirely dispensed with, can be found in 2.2. Apart from this, the symbolically dense Chapter 2 is not a prerequisite for understanding the main argument. It is a survey exhibiting the riches of the predominant extensional tradition, and gathers material which is otherwise widely scattered.</li><li>Finally, I should mention that the book does not deal with two areas where mereology overlaps with other important philosophical issues. The first is vagueness. Apart from some remarks in Part II, where mention of vagueness is unavoidable, this subject remains within the haven of bivalence. The second issue is whether there can be a mereology of abstract objects (if there are any). The discussion is confined to the concrete, except for a few remarks in 4.10. The reason for avoiding these two areas is that to discuss them with the required thoroughness would involve bringing in a good deal of material which is not in itself mereological, and which is also not relevant to the main argument, which is that extensional mereology is inadequate even for its primary intended sphere of application  concrete individuals. </li></ol></FONT><BR><BR><FONT COLOR = "0000FF"><B>COMMENT: </B>Annotated printout filed in "<A HREF = "../../../BookSummaries/BookSummary_05/BookPaperAbstracts/BookPaperAbstracts_5974.htm">Various - Papers on Identity Boxes: Vol 16 (S1: Sa-Sl)</A>".</P> <P ALIGN = "Justify"><FONT Size = 2 FACE="Arial"><FONT COLOR = "0000FF"><HR><BR>"<B><A HREF = "../../../PaperSummaries/PaperSummary_06/PaperSummary_6270.htm">Simons (Peter) - Concepts and Principles of Extensional Mereology</A></B>"<BR><BR><B>Source</B>: Simons - Parts: A Study in Ontology, 1987, Chapter 1<BR><FONT COLOR = "0000FF"><BR><BR><U>Sections</U><FONT COLOR = "800080"><ol type="1"><li>Basic Concepts; </li><li>An Example; </li><li>The Lesniewskian Approach; </li><li>Mereological Principles; </li><li>Classical Extensional Mereology; </li><li>The Question of Atomism; </li><li>Summary</li></ol> </FONT></P> <P ALIGN = "Justify"><FONT Size = 2 FACE="Arial"><FONT COLOR = "0000FF"><HR><BR>"<B><A HREF = "../../../PaperSummaries/PaperSummary_06/PaperSummary_6271.htm">Simons (Peter) - Survey of Extensional Mereology</A></B>"<BR><BR><B>Source</B>: Simons - Parts: A Study in Ontology, 1987, Chapter 2<BR><FONT COLOR = "0000FF"><BR><BR><U>Sections</U><FONT COLOR = "800080"><ol type="1"><li>Introduction; </li><li>Presentation of Formal Systems; </li><li>Calculi of Individuals Without Sets; </li><li>Calculi of Individuals With Sets; </li><li>A Free Calculus of Individuals; </li><li>Lesniewski's Mereology; </li><li>Alternatives and Developments in Lesniewskian Mereology; </li><li>Affinities; </li><li>Non-Classical Extensional Mereologies; </li><li>The Boundary with Topology; </li><li>Appendix: The Notational Jungle</li></ol> </FONT></P> <P ALIGN = "Justify"><FONT Size = 2 FACE="Arial"><FONT COLOR = "0000FF"><HR><BR>"<B><A HREF = "../../../PaperSummaries/PaperSummary_06/PaperSummary_6272.htm">Simons (Peter) - Problems</A></B>"<BR><BR><B>Source</B>: Simons - Parts: A Study in Ontology, 1987, Chapter 3<BR><FONT COLOR = "0000FF"><BR><BR><U>Sections</U><FONT COLOR = "800080"><ol type="1"><li>Historical Remarks; </li><li>Criticisms; </li><li>The Flux Argument; </li><li>The Fourth Dimension; </li><li>Applications of Extensional Mereology</li></ol> </FONT></P> <P ALIGN = "Justify"><FONT Size = 2 FACE="Arial"><FONT COLOR = "0000FF"><HR><BR>"<B><A HREF = "../../../PaperSummaries/PaperSummary_06/PaperSummary_6273.htm">Simons (Peter) - Occurrents, Classes, and Masses</A></B>"<BR><BR><B>Source</B>: Simons - Parts: A Study in Ontology, 1987, Chapter 4<BR><FONT COLOR = "0000FF"><BR><BR><U>Sections</U><FONT COLOR = "800080"><ol type="1"><li>Occurrents; </li><li>Activities and Performances; </li><li>Plural Reference; </li><li>Pluralities: Groups and Classes; </li><li>Analogies Between Ontology and Mereology; </li><li>Mass Reference and Masses; </li><li>Outline of a Comprehensive Theory; </li><li>Extending the Analogy?; </li><li>Parts of Groups; </li><li>Further Possible Applications of Extensional Mereology</li></ol> </FONT></P> <P ALIGN = "Justify"><FONT Size = 2 FACE="Arial"><FONT COLOR = "0000FF"><HR><BR>"<B><A HREF = "../../../PaperSummaries/PaperSummary_06/PaperSummary_6274.htm">Simons (Peter) - Temporary Parts and Intermittent Existence</A></B>"<BR><BR><B>Source</B>: Simons - Parts: A Study in Ontology, 1987, Chapter 5<BR><FONT COLOR = "0000FF"><BR><BR><U>Sections</U><FONT COLOR = "800080"><ol type="1"><li>Continuants; </li><li>Temporary Parts; </li><li>Chisholm's Entia Successiva; </li><li><A HREF="../../../Notes/Notes_0/Notes_78.htm">Intermittent Existence</A><SUP>1</SUP> and Part-Replacement; </li><li>Solution of the Difficulty; </li><li>Corroboration Found in an English Idiom; </li><li>Further Cases of Intermittence, and Conclusion</li></ol> </FONT></P> <P ALIGN = "Justify"><FONT Size = 2 FACE="Arial"><FONT COLOR = "0000FF"><HR><BR>"<B><A HREF = "../../../PaperSummaries/PaperSummary_06/PaperSummary_6275.htm">Simons (Peter) - Superposition, Composition and Coincidence</A></B>"<BR><BR><B>Source</B>: Simons - Parts: A Study in Ontology, 1987, Chapter 6<BR><FONT COLOR = "0000FF"><BR><BR><U>Sections</U><FONT COLOR = "800080"><ol type="1"><li>Superposition and Coincidence; </li><li>Mixtures; </li><li>Can Things of a Kind Be Superposed?</li><li>Composition; </li><li>Constitution; </li><li>The Problem of Matter; </li><li>Coincidence Again: A Resolution</li></ol> </FONT></P> <P ALIGN = "Justify"><FONT Size = 2 FACE="Arial"><FONT COLOR = "0000FF"><HR><BR>"<B><A HREF = "../../../PaperSummaries/PaperSummary_06/PaperSummary_6276.htm">Simons (Peter) - Essential Parts</A></B>"<BR><BR><B>Source</B>: Simons - Parts: A Study in Ontology, 1987, Chapter 7<BR><FONT COLOR = "0000FF"><BR><BR><U>Sections</U><FONT COLOR = "800080"><ol type="1"><li><A HREF="../../../Notes/Notes_1/Notes_121.htm">Modality</A><SUP>1</SUP> and Essence; </li><li>Some Theses of <A HREF="../../../Notes/Notes_1/Notes_121.htm">Modal</A><SUP>2</SUP> Mereology; </li><li>Essential Parts for Continuants; </li><li>Mereological Essentialism for Continuants; </li><li>Essential Parts for Occurrents; </li><li>Normal Parts; </li><li>Appendix: Quantified S5</li></ol> </FONT></P> <P ALIGN = "Justify"><FONT Size = 2 FACE="Arial"><FONT COLOR = "0000FF"><HR><BR>"<B><A HREF = "../../../PaperSummaries/PaperSummary_06/PaperSummary_6277.htm">Simons (Peter) - Ontological Dependence</A></B>"<BR><BR><B>Source</B>: Simons - Parts: A Study in Ontology, 1987, Chapter 8<BR><FONT COLOR = "0000FF"><BR><BR><U>Sections</U><FONT COLOR = "800080"><ol type="1"><li>Introduction; </li><li>Dependence in General; </li><li>Ontological Dependence; </li><li>Independence, and More Dependence; </li><li>Some Related Concepts: Substance, Accident, Disturbance; </li><li><A HREF="../../../Notes/Notes_1/Notes_121.htm">Non-modal</A><SUP>1</SUP> Theories of Foundation and Dependence; </li><li>Unconditional Existence</li></ol> </FONT></P> <P ALIGN = "Justify"><FONT Size = 2 FACE="Arial"><FONT COLOR = "0000FF"><HR><BR>"<B><A HREF = "../../../PaperSummaries/PaperSummary_06/PaperSummary_6278.htm">Simons (Peter) - Integral Wholes</A></B>"<BR><BR><B>Source</B>: Simons - Parts: A Study in Ontology, 1987, Chapter 9<BR><FONT COLOR = "0000FF"><BR><BR><U>Sections</U><FONT COLOR = "800080"><ol type="1"><li>Sums and Complexes; </li><li>Integrity in General; </li><li>Mereo-topological Integrity; </li><li>Ontological Integrity; </li><li>Functional Integrity; </li><li>Temporal Integrity and Persistence; </li><li>Structure and Gestalt</li></ol> </FONT></P> <P ALIGN = "Justify"><FONT Size = 2 FACE="Arial"><FONT COLOR = "0000FF"><HR><BR>"<B><A HREF = "../../../PaperSummaries/PaperSummary_06/PaperSummary_6279.htm">Simons (Peter) - Parts: A Study in Ontology - Concluding Remarks</A></B>"<BR><BR><B>Source</B>: Simons - Parts: A Study in Ontology, 1987, Concluding Remarks<BR><FONT COLOR = "0000FF"><BR><BR><U>Full Text</U> (With omissions as indicated)<FONT COLOR = "800080"> <ol type="1"><li>As we found it, mereology was dominated by a single theory: classical extensional mereology (CEM), present in two logical guises the Calculus of Individuals and Mereology---each in a number of variants. CEM is algebraically neat: only a complete Boolean algebra is neater. It is also strong: how strong can be seen from 1.4. CEM is<BR>& (1) tenseless<BR>& (2) <A HREF="../../../Notes/Notes_1/Notes_121.htm">non-modal</A><SUP>1</SUP><BR>& (3) upholds extensionality of parts; and<BR>& (4) upholds the conditioned existence of general sums.<BR>Of these characteristics (1) and (2) are privative, (3) and (4) are positive. Among approaches at variance with CEM, most retain (1)-(3) and drop (4) in favour of some weaker conditional existence principle (see 2.9).</li><li>In the face of apparent temporal and <A HREF="../../../Notes/Notes_1/Notes_121.htm">modal</A><SUP>2</SUP> variation, two major strategies have been followed. The first ignores <A HREF="../../../Notes/Notes_1/Notes_121.htm">modality</A><SUP>3</SUP> and attempts to retain (3) by recourse to an ontology of four-dimensional objects. This fails because <A HREF="../../../Notes/Notes_1/Notes_121.htm">modality</A><SUP>4</SUP> still distinguishes objects which (3) would identify. A parallel move to five-dimensional objects, with <A HREF="../../../Notes/Notes_1/Notes_121.htm">modality</A><SUP>5</SUP> as the fifth dimension, has not been seriously contemplated, which in view of the conceptual difficulties facing the four-dimensional strategy is perhaps as well. The second strategy, Chisholm's, takes both time and <A HREF="../../../Notes/Notes_1/Notes_121.htm">modality</A><SUP>6</SUP> seriously, but preserves (3) by putting forward an ontology, opposed to common sense, of <A HREF="../../../Notes/Notes_1/Notes_121.htm">modally</A><SUP>7</SUP> and temporally invariable objects. The problems this approach has are to find good positive arguments in its favour and to account for appearances. In my view, the price paid for retaining (3) is too high whichever strategy is followed.</li><li>Nevertheless, if (3) and (4) are not universally acceptable, there are areas where (3) alone or both together may be correctly applied (Chapter 4). Seeing this involves recognizing two categories of particular against which there exists a deep prejudice in philosophy: pluralities and masses. Taking these into account shows that the concepts of mereology have not one but a number of analogous interpretations; what these have in common are the formal properties of these concepts as captured in their algebra.</li><li>The question is then what mereology looks like when none of (1) - (4) is followed. We followed up consecutively the effects of adding time (Part II) and <A HREF="../../../Notes/Notes_1/Notes_121.htm">modality</A><SUP>8</SUP> (Part III). But here let us isolate the result of giving up (3) and (4) in a non-temporal, <A HREF="../../../Notes/Notes_1/Notes_121.htm">non-modal</A><SUP>9</SUP> context. What is the minimum we can require of a relation if it is to be one of proper part to whole? I suggest we need the following four <U><A HREF="#On-Page_Link_P6279_10">principles</A></U><SUB>10</SUB><a name="On-Page_Return_P6279_10"></A>:<BR>& Falsehood <BR>& Asymmetry <BR>& Transitivity <BR>& Supplementation <BR>We have left the quantifiers off: if we universally quantify, the first principle is derivable from the usual quantifier laws in free logic, but if we take the variables instead to be free (i.e. as parameters), Falsehood is required. Notice which logical concepts are presupposed: identity and existence. The import of the principle Supplementation is clearer if we define </FONT> [ & snip & ]<FONT COLOR = "800080">. Supplementation then emerges in the familiar guise </FONT> [ & snip & ]<FONT COLOR = "800080">.<BR>This is then the acceptable Weak Supplementation Principle of 1.4, adjusted to allow for free logic as a basis.</li><li>This, I suggest, is the formal skeleton of the meaning of  part'. For the temporal version, modify all modifiable predicates by  at t' and slip in  &forall;t' after other quantifiers with wide scope, i.e. add  always'. For <A HREF="../../../Notes/Notes_1/Notes_121.htm">modal</A><SUP>11</SUP> and <A HREF="../../../Notes/Notes_1/Notes_121.htm">modal/temporal</A><SUP>12</SUP> versions, replace universal closure by necessary universal closure (7.1). Now we see the point of the principle of Falsehood in the basic version.</li><li>If this is all there essentially is to the part-relation, why can stronger principles sometimes apply? The answer lies not in the part-relation itself but in the nature of the objects to which it applies. Among certain <I>regions</I> of objects we have extensionality and essentiality of parts; such objects fulfil these principles, but the principles are not constitutive of the part-relation, which is <I>formal</I>, i.e. applies in all regions. So we must distinguish <I>global</I> mereology, for which the four principles above provide the formal properties, and various <I>local</I> mereologies, where these alone do not suffice to capture the mereological properties of the objects in question. The fault of CEM is essentially that of making global what is only local.</li><li>The net effect of rejecting CEM in full generality is to make mereology more complicated, but also more interesting. That most modern ontology passes mereology by is due to the inadequacy of CEM as a conceptual instrument capable of use in the variety of issues found in ontology, coupled with a historically misinformed supposition that mereology is something for nominalists only. If I am right about the formal nature of mereology, it should be <I>neutral</I> on the issue of nominalism/realism. If mereology can be applied universally (and that has not been shown here, because we have not discussed abstract objects), then it should regain a central position in ontology; along with existence and identity, it should take us to the heart of many ontological issues. The topics covered in Parts II and III are meant to show this: Part II for existence in and through time, for identity, matter, and form, and Part III for essence, dependence, substance, unity, integrity, and form. It is notable how many of the issues in Part III are under-represented in the contemporary literature, although they loom large in traditional ontology, where it was felt to pay to be discriminating about different kinds of parts, as the quotation from <U><A HREF="#On-Page_Link_P6279_13">Aquinas</A></U><SUB>13</SUB><a name="On-Page_Return_P6279_13"></A> at the beginning of this section shows.</li><li>The contemporary field ontologist is better equipped than his predecessors because he is familiar with formal systems, a device we owe to Leibniz. The acquisition of this tool does not render the old resources  experience, wit, authority, the lore of language  obsolete, but it shifts the ontologist's role. He now has a theoretically endless supply of formal templates to hold up to the untamed phenomena, and his job now consists in fair part in constructing such formal systems and testing them for their applicability. It is tempting to be led by the attraction of internal properties of the formalism either into taking the world to be tamer than it is, or into a relativistic, pragmatic attitude to ontology which can be seen at its most significant in Quine. Such attraction, for which again Leibniz is responsible, lies behind CEM's two errors of omission and two of commission. For different regions, we need different templates, and it is mainly the templates which must be bent to fit, not the world. In the case of mereology, this fails to descend to utter relativism because the theory has a formal skeleton and a range of analogous fleshings out which provides unity in the diversity.</li><li>As to the content of the ontological theses I have upheld as emerging from a rejection of CEM, I am aware of a chastening old-fashionedness in having emphasized, among other things<BR>& (1) the variety of meanings of  part' and cognate concepts<BR>& (2) their analogous connections<BR>& (3) the centrality of continuants in ontology<BR>& (4) the paradigms of which are natural units, especially organisms<BR>& (5) the distinction of matter and form (structure)<BR>& (6) the importance of composition and constitution<BR>& (7) the distinction of essential from accidental and normal parts<BR>& (8) the distinction between dependent and independent particulars<BR>& (9) the idea of integrity, and its degrees<BR>all of which points, within limits and suitably qualified, back to Aristotle. </li></ol></FONT><BR><BR><FONT COLOR = "0000FF"><B>COMMENT: </B>Annotated printout filed in "<A HREF = "../../../BookSummaries/BookSummary_05/BookPaperAbstracts/BookPaperAbstracts_5974.htm">Various - Papers on Identity Boxes: Vol 16 (S1: Sa-Sl)</A>".</P><BR><HR><BR><U><B>In-Page Footnotes</U> ("<A HREF = "../../../Abstracts/Abstract_06/Abstract_6279.htm">Simons (Peter) - Parts: A Study in Ontology - Concluding Remarks</A>")</B><a name="On-Page_Link_P6279_10"></A><BR><BR><U><A HREF="#On-Page_Return_P6279_10"><B>Footnote 10</B></A></U>: The logical formulae are omitted from this transcript, both immediately below and where indicated by  [ & snip & ] tags. I may restore them in due course if I have time to work out the HTML. The text cannot be understood without them; refer to the book. <a name="On-Page_Link_P6279_13"></A><BR><BR><U><A HREF="#On-Page_Return_P6279_13"><B>Footnote 13</B></A></U>: I ve omitted the (Latin) quotations from Aquinas and Leibniz. <BR><BR> <a name="ColourConventions"></a><hr><br><B><U>Text Colour Conventions</U> (see <A HREF="../../../Notes/Notes_10/Notes_1025.htm">disclaimer</a>)</B><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> </center> <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:03" pubdate>03/08/2018 00:03:58</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>