Mereology and the Sciences [electronic resource] : Parts and Wholes in the Contemporary Scientific Context /
Calosi, Claudio.editor.
Graziani, Pierluigi.editor.
This volume is  the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary science. It gathers contributions from leading scholars in the field and covers a wide range of scientific theories and practices such as physics, mathematics, chemistry, biology, computer science and engineering. Throughout the volume, a variety of foundational issues are investigated both from the formal and the empirical point of view. The first section looks at the topic as it applies to physics. The section addresses questions of persistence and composition within quantum and relativistic physics and concludes by scrutinizing the possibility to capture continuity of motion as described by our best physical theories within gunky spacetimes. The second part tackles mathematics and shows how to provide a foundation for point-free geometry of space switching to fuzzy-logic. The relation  between mereological sums and set-theoretic suprema is investigated and issues about different mereological perspectives such as classical and natural Mereology are thoroughly discussed. The third section in the volume looks at natural science. Several questions from biology, medicine and chemistry are investigated. From the perspective of biology, there is an attempt to provide axioms for inferring statements about parthood between two biological entities from statements about their spatial relation. From the perspective of chemistry, it is argued that classical mereological frameworks are not adequate to capture the practices of chemistry in that they consider neither temporal nor modal parameters. The final part introduces computer science and engineering. A new formal mereological framework in which an indeterminate relation of parthood is taken as a primitive notion is constructed and then applied to a wide variety of disciplines from robotics to knowledge engineering. A formal framework for discrete mereotopology and its applications is developed and finally, the importance of mereology for the relatively new science of domain engineering is also discussed.
Description based upon print version of record.
Includes bibliographical references at the end of each chapters and index.
Notes on Contributors -- Introduction: Parts, Wholes and Contemporary Sciences; C. Calosi and P. Graziani -- Part I. Physics -- Introduction to Part I: Mereology and Physics -- Building Enduring Objects out of Spacetime; C. Gilmore -- Relativistic Parts and Places: a Note on Corner Slices and Shrinking Chairs; Y. Balashov -- Parthood and Composition in Quantum Mechanics; C. Calosi and G. Tarozzi -- Continuity of motion in Whitehead’s Geometrical Space; V. Fano and P. Graziani -- Part II. Mathematics -- Introduction to Part II: Mereology and Mathematics -- Multi-valued Logic for a Point Free Foundation of Geometry; C. Coppola and G. Gerla -- The Relations of Supremum and Mereological Sum in Partially Ordered Sets; R. Gruszyński and A. Pietruszczak -- Natural Mereology and Classical Mereology; P. Hovda -- Part III. Natural Sciences -- Introduction to Part III: Mereology and Natural Science -- Crisp islands in vague seas. Cases of determinate parthood relations in biological objects; L. Jansen, S. Schulz -- Developing the Mereology of Chemistry; J. P. Llored and R. Harrè -- Part IV. Computer Sciences and Engineering -- Introduction to Part IV: Mereology, Computer Sciences and Engineering -- Mereology in Engineering and Computer Sciences; L. Polkowski -- Discrete Mereotopology; A. Galton -- A Role for Mereology in Domain Science and Engineering; D. Bjørner.
This volume is  the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary science. It gathers contributions from leading scholars in the field and covers a wide range of scientific theories and practices such as physics, mathematics, chemistry, biology, computer science and engineering. Throughout the volume, a variety of foundational issues are investigated both from the formal and the empirical point of view. The first section looks at the topic as it applies to physics. The section addresses questions of persistence and composition within quantum and relativistic physics and concludes by scrutinizing the possibility to capture continuity of motion as described by our best physical theories within gunky spacetimes. The second part tackles mathematics and shows how to provide a foundation for point-free geometry of space switching to fuzzy-logic. The relation  between mereological sums and set-theoretic suprema is investigated and issues about different mereological perspectives such as classical and natural Mereology are thoroughly discussed. The third section in the volume looks at natural science. Several questions from biology, medicine and chemistry are investigated. From the perspective of biology, there is an attempt to provide axioms for inferring statements about parthood between two biological entities from statements about their spatial relation. From the perspective of chemistry, it is argued that classical mereological frameworks are not adequate to capture the practices of chemistry in that they consider neither temporal nor modal parameters. The final part introduces computer science and engineering. A new formal mereological framework in which an indeterminate relation of parthood is taken as a primitive notion is constructed and then applied to a wide variety of disciplines from robotics to knowledge engineering. A formal framework for discrete mereotopology and its applications is developed and finally, the importance of mereology for the relatively new science of domain engineering is also discussed.
Epistemology.
Mathematical logic.
Epistemology.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.