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… 

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

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

Region-Based Theories of Space: Mereotopology and Beyond

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

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

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

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

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

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

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

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

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

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

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

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

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

Towards a General Theory of Action and Time

A calculus of individuals based on "connection"

  • B. L. Clarke
  • Philosophy, Computer Science
    Notre 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

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