A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff

We develop a formal theory of mereology that includes relations that change over time. We show how this theory formalizes reasoning over domains of material objects, which include not only integral objects (my computer, your liver) but also portions of stuff (the water in your glass, the blood in a vial). In particular, we use different mereological summation relations to distinguish between the ways in which i) integral objects, ii) portions of unstructured, homogenous stuffs (e.g. the water in your glass), and iii) mixtures (the blood in a vial) are linked to their parts over time.

[1]  Kenneth D. Forbus,et al.  Reasoning about Fluids via Molecular Collections , 1987, AAAI.

[2]  J. Drever.  Greek education : its practice and principles , 2022 .

[3]  D. Barnett,et al.  Some Stuffs Are Not Sums of Stuff , 2004 .

[4]  Nicola Guarino,et al.  WonderWeb Deliverable D18 Ontology Library , 2003 .

[5]  Lloyd Reinhardt,et al.  The Non-Identity of A Material Thing and Its Matter , 2003 .

[6]  K. Arrow.  Higher education as a filter , 1973 .

[7]  Kit Fine,et al.  The Non‐Identity of a Material Thing and Its Matter , 2003 .

[8]  A. Hoffmann.  Lexikon der Pädagogik , 1917 .

[9]  Michael C. Rea,et al.  The Problem of Material Constitution , 1995 .

[10]  José L. V. Mejino,et al.  A reference ontology for biomedical informatics: the Foundational Model of Anatomy , 2003, J. Biomed. Informatics.

[11]  Judith Jarvis Thomson,et al.  The Statue and the Clay , 1998 .

[12]  W. Allen.  Bureau of Municipal Research , 1909 .

[13]  Nicola Guarino,et al.  Sweetening Ontologies with DOLCE , 2002, EKAW.

[14]  Patrick J. Hayes,et al.  Naive physics I: ontology for liquids , 1989 .

[15]  M. D. Davis.  Bureau of Education , 1929 .

[16]  Colin Richards,et al.  To be continued , 1982 .

[17]  E. J. Lowe,et al.  Substantial Change and Spatiotemporal Coincidence , 2003 .

[18]  Lawrence Charles Paulson,et al.  Isabelle/HOL: A Proof Assistant for Higher-Order Logic , 2002 .

[19]  Alan L. Rector,et al.  GALEN's model of parts and wholes: experience and comparisons , 2000, AMIA.

[20]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[21]  Tyler Burge.  A Theory of Aggregates , 1977 .

[22]  Timothy Williamson,et al.  Parts. A Study in Ontology , 1990 .

[23]  Cornelius Rosse,et al.  A Reference Ontology for Bioinformatics: The Foundational Model of Anatomy , 2003 .

[24]  D. Wiggins.  Sameness and substance , 1980 .

[25]  Dorothy Canfield Fisher.  A Montessori Mother , 1913, The Psychological Clinic.

[26]  C. E. Young,et al.  The Present Situation , 1923 .