Review of Symbolic Logic 3 (4):521-567 (2010)
AbstractWe analyze and compare geometrical theories based on mereology (mereogeometries). Most theories in this area lack in formalization, and this prevents any systematic logical analysis. To overcome this problem, we concentrate on specific interpretations for the primitives and use them to isolate comparable models for each theory. Relying on the chosen interpretations, we introduce the notion of environment structure, that is, a minimal structure that contains a (sub)structure for each theory. In particular, in the case of mereogeometries, the domain of an environment structure is composed of particular subsets of Rn. The comparison of mereogeometrical theories within these environment structures shows dependencies among primitives and provides (relative) definitional equivalences. With one exception, we show that all the theories considered are equivalent in these environment structures
Similar books and articles
Primitiveness, Metaontology, and Explanatory Power.Jiri Benovsky - 2013 - Dialogue 52 (2):341-358.
Similarities and Differences between Evolutionary Theory and the Theories of Physics.Mary B. Williams - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:385 - 396.
Theories of structure versus theories of change.Melanie Mitchell - 1998 - Behavioral and Brain Sciences 21 (5):645-646.
The Structure of Causal Sets.Christian Wüthrich - 2012 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 43 (2):223-241.
Overdetermination of theories by empirical models: A realist interpretation of empirical choices.Emma Ruttkamp - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):409-436.
Mutually algebraic structures and expansions by predicates.Michael C. Laskowski - 2013 - Journal of Symbolic Logic 78 (1):185-194.
Quasi-o-minimal structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
Borel structures and borel theories.Greg Hjorth & André Nies - 2011 - Journal of Symbolic Logic 76 (2):461 - 476.
The cognitive structure of scientific theories.Ronald N. Giere - 1994 - Philosophy of Science 61 (2):276-296.
A discussion on quantum non-individuality.Décio Krause & Jonas R. Becker Arenhart - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):105-124.
On the Mereological Structure of Complex States of Affairs.Thomas Mormann - 2012 - Synthese 187 (2):403-418.
What’s Right with a Syntactic Approach to Theories and Models?Sebastian Lutz - 2010 - Erkenntnis (S8):1-18.
Added to PP
Historical graph of downloads
Citations of this work
Representing and reasoning over a taxonomy of part–whole relations.C. Maria Keet & Alessandro Artale - 2008 - Applied ontology 3 (1-2):91-110.
Logical properties of foundational mereogeometrical relations in bio-ontologies.Thomas Bittner - 2009 - Applied ontology 4 (2):109-138.
References found in this work
Parts and Places: The Structures of Spatial Representation.Roberto Casati & Achille C. Varzi - 1999 - MIT Press.