Defining Measures in a Mereological Space (an exploratory paper)

We explore the notion of a measure in a mereological structure and we deal with the difficulties arising. We show that measure theory on connection spaces is closely related to measure theory on the class of ortholattices and we present an approach akin to Dempster’s and Shafer’s. Finally, the paper contains some suggestions for further research.

[1]  Bowman L. Clarke,et al.  Individuals and points , 1985, Notre Dame J. Formal Log..

[2]  Achille C. Varzi,et al.  Mereology then and now , 2015 .

[3]  Frank Arntzenius,et al.  Space, Time, and Stuff , 2012 .

[4]  L. Birch,et al.  The concept of nature , 1992 .

[5]  Giangiacomo Gerla,et al.  POINT-FREE GEOMETRY, OVALS, AND HALF-PLANES , 2017, The Review of Symbolic Logic.

[6]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[7]  Giangiacomo Gerla,et al.  Connection Structures , 1991, Notre Dame J. Formal Log..

[8]  J. S. Russell,et al.  The Structure of Gunk: Adventures in the Ontology of Space , 2008 .

[9]  G. Hicks.  An Enquiry concerning the Principles of Natural Knowledge , 1920, Nature.

[10]  Arthur P. Dempster,et al.  A Generalization of Bayesian Inference , 1968, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[11]  Thomas Jech,et al.  Measures on Boolean algebras , 2017, 1705.01006.

[12]  Peter Roeper,et al.  Region-Based Topology , 1997, J. Philos. Log..

[13]  Arthur P. Dempster,et al.  Upper and Lower Probabilities Induced by a Multivalued Mapping , 1967, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[14]  S. Poirier.  Foundations of Mathematics , 2007 .

[15]  Frank Arntzenius.  Gunk, Topology and Measure , 2011 .

[16]  Dana S. Scott,et al.  A Calculus of Regions Respecting Both Measure and Topology , 2019, J. Philos. Log..

[17]  Andrzej Pietruszczak,et al.  The Relations of Supremum and Mereological Sum in Partially Ordered Sets , 2014 .

[18]  Bowman L. Clarke,et al.  A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..