# Classical mereology and restricted domains

@article{Eschenbach1995ClassicalMA, title={Classical mereology and restricted domains}, author={Carola Eschenbach and Wolfgang Heydrich}, journal={Int. J. Hum. Comput. Stud.}, year={1995}, volume={43}, pages={723-740} }

Abstract Classical Mereology, the formal theory of the concepts of part, overlap and sum as defined by Leśniewski does not have any notion of being a whole. Because of this neutrality the concepts of Mereology are applicable in each and every domain. This point of view is not generally accepted. But a closer look at domain-specific approaches defining non-classical (quasi)-mereological notions reveals that the question of whether something belongs to a restricted domain (and, thus, fulfills a…

## 81 Citations

### Ground Mereology [ M ] is the theory defined by the following proper axioms for the Parthood predicate , ' P ' :

- Philosophy
- 2003

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can the two be combined to obtain a unified theory of parts and wholes'? This paper examines three main ways of…

### Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology

- PhilosophyData Knowl. Eng.
- 1996

### Region-Based Theories of Space: Mereotopology and Beyond

- Philosophy
- 2012

This chapter focuses on the topological and mereological relations, contact, and parthood, between spatiotemporal regions as axiomatized in so-called mereotopologies, and their underlying ontological choices and different ways of systematically looking at them.

### Meronymic Relationships: From Classical Mereology to Complex Part-Whole Relations

- Philosophy
- 2002

This chapter investigates the role of knowledge about parts in human cognition, for example, visual perception and conceptual knowledge and describes the classical approach provided by formal mereology and its extensions, which use one single transitive part-of relation.

### A Coq-Based Axiomatization of Tarski's Mereogeometry

- PhilosophyCOSIT
- 2015

It is argued that mereogeometry as it is introduced by Tarski, can be more suited to extend the whole theory of Leśniewski and it is shown that it can be given a more clear foundation and serve as a basis for spatial reasoning with full compliance with LeŚniewki's systems.

### Formal ontology, common sense and cognitive science

- PhilosophyInt. J. Hum. Comput. Stud.
- 1995

The present paper draws on recent work in the fields of naive and qualitative physics, in perceptual and developmental psychology, and in cognitive anthropology, in order to consider in a new light these and related questions and to draw conclusions for the methodology and philosophical foundations of the cognitive sciences.

### Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions

- Philosophy
- 2012

This chapter focuses on the topological and mereological relations, contact, and parthood, between spatiotemporal regions as axiomatized in so-called mereotopologies, and their underlying ontological choices and different ways of systematically looking at them.

### Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology

- MathematicsKR
- 2008

The characterization of the models of Asher and Vieu's first-order mereotopology RT0 in terms of mathematical structures with well-defined properties: topological spaces, lattices, and graphs provides more insight into the structural properties of themereotopological models.

### Matching a Trope Ontology to the Basic Formal Ontology

- PhilosophyPhilosophies
- 2019

A logical matching is provided, starting with BFO’s top entities (continuants and occurrences) and identifies key ontological issues that arise, such as whether universals and mereological sums are equivalent.

## References

SHOWING 1-10 OF 16 REFERENCES

### Parts: A Study in Ontology

- Philosophy
- 1987

The relationship of part to whole is one of the most fundamental there is, yet until now there has been no full-length study of this concept. This book shows that mereology, the formal theory of part…

### The calculus of individuals and its uses

- PhilosophyJournal of Symbolic Logic
- 1940

An unfortunate dependence of logical formulation upon the discovery and adoption of a special physical theory, or the presumption that such a suitable theory could in every case be discovered in the course of time, indicates serious deficiencies in the ordinary logistic.

### Mass Terms and Model-Theoretic Semantics

- Computer Science
- 1985

An extension of classical set theory, Ensemble Theory, is defined and this provides the conceptual basis of a framework for the analysis of natural language meaning which Dr Bunt calls Two-level model-theoretic semantics.

### Identity in the Loose and Popular Sense

- Philosophy, Art
- 1988

i. There is a view of identity, now unfamiliar except in name, which warrants reconsideration. Joseph Butler held it, though I mention this mostly to give credit where it is due. Butler's remarks are…

### Individuals and points

- PhilosophyNotre Dame J. Formal Log.
- 1985

In a recent paper, an axiomatized calculus of individuals is presented based on a primitive two-place predicate, 'x is connected with y\', which was the relation utilized by Whitehead for his theory of Extensive Connection in which he proposed a nesting definition for points.

### Ontology and the logistic analysis of reality

- Philosophy
- 1993

kunstlichen Intelligenzforschung” sponsored by the Swiss National Foundation for Scientific Research, 1991-93. I am grateful to Roberto Casati and to Wojciech oe»aniec for valuable comments. [An…

### A calculus of individuals based on "connection"

- Philosophy, Computer ScienceNotre Dame J. Formal Log.
- 1981

Calcul des individus, dans la ligne de la mereologie de Lesniewski et de ses developpements philosophiques chez Whitehead et Goodman. Le calcul comprend trois parties: une partie mereologique…

### Restriktionen für plurale Diskursanaphern

- 1990

In den letzten Jahren wurden wesentliche Fortschritte in der linguistischen und logisch-philosophischen Semantik auf dem Gebiet der Referenz pluraler Terme erzielt. Dabei standen Fragen der…