TY - BOOK AU - Calosi,Claudio AU - Graziani,Pierluigi ED - SpringerLink (Online service) TI - Mereology and the Sciences: Parts and Wholes in the Contemporary Scientific Context T2 - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science SN - 9783319053561 AV - BD143-237 U1 - 120 23 PY - 2014/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Philosophy (General) KW - Genetic epistemology KW - Computer Science KW - Logic, Symbolic and mathematical KW - Philosophy KW - Epistemology KW - Mathematical Logic and Formal Languages KW - Mathematical Logic and Foundations N1 - 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 N2 - 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 UR - http://dx.doi.org/10.1007/978-3-319-05356-1 ER -