#### DMCA

## The Basic Tools of Formal Ontology (1998)

Venue: | Formal Ontology in Information Systems |

Citations: | 36 - 2 self |

### Citations

421 |
Parts. A Study in Ontology.
- Simons
- 1987
(Show Context)
Citation Context ...ughts Towards a Theory of the Pure Forms of Wholes and Parts”. Unlike more familiar ‘extensional’ theories of wholes and parts, such as those propounded by Lesniewski, and by Leonard and Goodman (see =-=Simons 1987-=-), Husserl’s theory does not concern itself merely with what we might think of as the vertical relations between parts and the wholes which comprehend them on successive levels of comprehensiveness. R... |

231 | Formal ontology, conceptual analysis and knowledge representation,” - Guarino - 1995 |

48 | On the boundary between mereology and topology’. - Varzi - 1993 |

30 | Fiat and Bona Fide Boundaries: Towards on Ontology of Spatially Extended Objects", - Smith, Varzi - 1997 |

25 | Mises: An Essay
- Smith
- 1990
(Show Context)
Citation Context ... and of other spatial objects will require further the notion of boundary, a notion which we first of all introduce in terms of a new sort of dependence (first discussed by Brentano and Chisholm: see =-=Smith 1997-=-): DB1 BD(x, y) := x # y ∧ ~ x(E!y ∧ ∃w(w #y ∧ x # w ∧ x … w) ∧ œz(z #x → ~ z(E!y ∧ ∃w(w #y ∧ z # w ∧ z … w) boundary-dependence (1) x is a proper part of y, and (2) x is necessarily such that either ... |

22 |
On Substances, Accidents and Universals.
- Smith
- 1997
(Show Context)
Citation Context ... and of other spatial objects will require further the notion of boundary, a notion which we first of all introduce in terms of a new sort of dependence (first discussed by Brentano and Chisholm: see =-=Smith 1997-=-): DB1 BD(x, y) := x # y ∧ ~ x(E!y ∧ ∃w(w #y ∧ x # w ∧ x … w) ∧ œz(z #x → ~ z(E!y ∧ ∃w(w #y ∧ z # w ∧ z … w) boundary-dependence (1) x is a proper part of y, and (2) x is necessarily such that either ... |

16 | Boundaries as dependent particulars - Chisholm - 1983 |

8 |
Mereology as a Theory of Part-Whole”, Logique et Analyse
- Bochman
- 1990
(Show Context)
Citation Context ...oscopic constituents (the latter the products of more or less arbitrary real or imagined divisions along a variety of distinct axes), then there are no urelements fit to serve as our starting-point. (=-=Bochman 1990-=-) Approaches based on mereology, in contrast, allow one to start not with atoms but with the mesoscopic objects by which we are surrounded in our normal day-to-day activities. The mereologist sees rea... |

8 |
Philosophical Investigations on Space, Time and the Continuum, translated by
- Brentano
- 1988
(Show Context)
Citation Context ...perienced continuum, the set-theoretical construction would still be predicated on the highly questionable thesis that out of unextended building blocks an extended whole can somehow be constructed. (=-=Brentano 1988-=-, Asenjo 1993, Smith 1987.) The experienced continuum, in contrast, is organized not in such a way that it would be built up out of particles or atoms, but rather in such a way that the wholes, includ... |

8 |
Phenomenology of perception, qualitative physics and sheaf mereology
- PETITOT
- 1994
(Show Context)
Citation Context ...his treatment of the notion of phenomenal fusion: the relation which holds between two adjacent parts of an extended totality when there is no qualitative discontinuity between the two. (Casati 1991, =-=Petitot 1994-=-) Adjacent squares on a chess-board array are not fused together in this sense; but if we imagine a band of colour that is subject to a gradual transition from red through orange to yellow, then each ... |

4 | On Drawing Lines on a Map", in Andrew U. Frank und Werner Kuhn (Hrsg.), Spatial lnformation Theory. A Theoretical Basis for - Smith - 1995 |

3 |
Studien zur Arithmetik und Geometrie. Texte aus dem Nachlass, 1886-1901, The Hague: Nijhoff (Husserliana XXI
- Husserl
- 1983
(Show Context)
Citation Context ...ed Cantor’s topological ideas, not least in his writings on the general theory of (extensive and intensive) magnitudes which make up one preliminary stage on the road to the third Investigation. (See =-=Husserl 1983-=-, pp. 83f, 95, 413; 1900/01, “Prolegomena”, §§ 22 and 70.) 2 Mereology vs Set Theory When modern-day philosophers turn their attentions to ontology, they standardly begin not with mereology or topolog... |

2 |
Continua without Sets
- Asenjo
- 1993
(Show Context)
Citation Context ...nuum, the set-theoretical construction would still be predicated on the highly questionable thesis that out of unextended building blocks an extended whole can somehow be constructed. (Brentano 1988, =-=Asenjo 1993-=-, Smith 1987.) The experienced continuum, in contrast, is organized not in such a way that it would be built up out of particles or atoms, but rather in such a way that the wholes, including the mediu... |

2 | The Cambridge Companion to Husserl - unknown authors - 1995 |

2 | references unless otherwise indicated are to Findlay’s English translation of the 2nd ed - Page - 1970 |

2 |
Sur l’opération A - d’analysis situs
- Kuratowski
- 1922
(Show Context)
Citation Context ...is equal to the sum of their closures) These axioms define a well-known kind of structure, that of a closure algebra, which is the algebraic equivalent of the simplest kind of topological space. (See =-=Kuratowski 1922-=-.) 5.4 The Concept of Connectedness On the basis of the notion of closure we can now define the standard topological notion of (symmetrical) boundary, b(x), as follows: 13DB2 b(x) := c(x) 1 c(-x) bou... |

2 | Mereotopology: A Theory of Parts and Boundaries - Barry - 1996 |