|
|
|
|
LEADER |
05316nam a22004815i 4500 |
001 |
978-3-319-05356-1 |
003 |
DE-He213 |
005 |
20151103125044.0 |
007 |
cr nn 008mamaa |
008 |
140602s2014 gw | s |||| 0|eng d |
020 |
|
|
|a 9783319053561
|9 978-3-319-05356-1
|
024 |
7 |
|
|a 10.1007/978-3-319-05356-1
|2 doi
|
040 |
|
|
|d GrThAP
|
050 |
|
4 |
|a BD143-237
|
072 |
|
7 |
|a HPK
|2 bicssc
|
072 |
|
7 |
|a PHI004000
|2 bisacsh
|
082 |
0 |
4 |
|a 120
|2 23
|
245 |
1 |
0 |
|a Mereology and the Sciences
|h [electronic resource] :
|b Parts and Wholes in the Contemporary Scientific Context /
|c edited by Claudio Calosi, Pierluigi Graziani.
|
264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2014.
|
300 |
|
|
|a XX, 378 p. 161 illus.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
|v 371
|
505 |
0 |
|
|a 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.
|
520 |
|
|
|a 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.
|
650 |
|
0 |
|a Philosophy.
|
650 |
|
0 |
|a Epistemology.
|
650 |
|
0 |
|a Mathematical logic.
|
650 |
1 |
4 |
|a Philosophy.
|
650 |
2 |
4 |
|a Epistemology.
|
650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|
650 |
2 |
4 |
|a Mathematical Logic and Foundations.
|
700 |
1 |
|
|a Calosi, Claudio.
|e editor.
|
700 |
1 |
|
|a Graziani, Pierluigi.
|e editor.
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
776 |
0 |
8 |
|i Printed edition:
|z 9783319053554
|
830 |
|
0 |
|a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
|v 371
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-319-05356-1
|z Full Text via HEAL-Link
|
912 |
|
|
|a ZDB-2-SHU
|
950 |
|
|
|a Humanities, Social Sciences and Law (Springer-11648)
|