Results for 'mereotopology'

34 found
Order:
  1. Quantum Mereotopology.Barry Smith & Berit O. Brogaard - 2002 - Annals of Mathematics and Artificial Intelligence 36 (1):153-175.
    Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality which allows us to simulate (and also to generalize) aspects of set theory within a mereotopological framework. This theory is extended to a theory of coarse- and fine-grained histories (or finite sequences of partitions evolving over time), drawing on machinery developed within the framework of the so-called ‘consistent histories’ interpretation (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  2. Basic Problems of Mereotopology.Achille C. Varzi - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. Ios Press. pp. 29–38.
    Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology.Achille C. Varzi - 1996 - Data and Knowledge Engineering 20:259–286.
    We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  4.  26
    The Category of Mereotopology and Its Ontological Consequences.Saikeerthi Rachavelpula - 2017 - University of Chicago Mathematics Research Program 2017.
    We introduce the category of mereotopology Mtop as an alternative category to that of topology Top, stating ontological consequences throughout. We consider entities such as boundaries utilizing Brentano’s thesis and holes utilizing homotopy theory with a rigorous proof of Hausdorff Spaces satisfying [GEM]TC axioms. Lastly, we mention further areas of study in this category.
    Download  
     
    Export citation  
     
    Bookmark  
  5.  87
    Mereotopology: A Theory of Parts and Boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.
    The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  6.  96
    Boundaries: An Essay in Mereotopology.Barry Smith - 1997 - In Lewis H. Hahn (ed.), Philosophy of Roderick Chisholm (Library of Living Philosophers). Open Court. pp. 534--561.
    Of Chisholm’s many signal contributions to analytic metaphysics, perhaps the most important is his treatment of boundaries, a category of entity that has been neglected, to say the least, in the history of ontology. We can gain some preliminary idea of the sorts of problems which the Chisholmian ontology of boundaries is designed to solve, if we consider the following Zeno-inspired thought-experiment.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  7. Fiat and Bona Fide Boundaries.Barry Smith & Achille C. Varzi - 2000 - Philosophy and Phenomenological Research 60 (2):401-420.
    There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...)
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  8. Mereotopological Connection.Anthony G. Cohn & Achille C. Varzi - 2003 - Journal of Philosophical Logic 32 (4):357-390.
    The paper outlines a model-theoretic framework for investigating and comparing a variety of mereotopological theories. In the first part we consider different ways of characterizing a mereotopology with respect to (i) the intended interpretation of the connection primitive, and (ii) the composition of the admissible domains of quantification (e.g., whether or not they include boundary elements). The second part extends this study by considering two further dimensions along which different patterns of topological connection can be classified - the strength (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  9.  72
    Kognitionsforskningens topologiske grundlag.Barry Smith - 2003 - Semikolon 3 (7):91-105.
    The paper introduces the concepts at the heart of point-set-topology and of mereotopology (topology founded in the non-atomistic theory of parts and wholes) in an informal and intuitive fashion. It will then seek to demonstrate how mereotopological ideas can be of particular utility in cognitive science applications. The prehistory of such applications (in the work of Husserl, the Gestaltists, of Kurt Lewin and of J. J. Gibson) will be sketched, together with an indication of the field of possibilities in (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. Metaphysics.Barry Smith - 2010 - In Asbjørn Steglich-Petersen (ed.), Metaphysics: Five Questions. Automatic Press. pp. 143-158.
    Attempts to trace a unifying thread of ontological realism extending through 1. my early writings on Frege, Brentano, Husserl, Wittgenstein, Ingarden and (with Kevin Mulligan and Peter Simons) on truthmakers; 2. work on formal theories of the common-sense world, and on mereotopology, fiat objects, geographical categories, and environments (with David Mark, Roberto Casati, Achille Varzi), to 3. current work on applied ontology in biology and medicine, and on the theory of document acts and on the ontology of information artifacts.
    Download  
     
    Export citation  
     
    Bookmark  
  11.  79
    Layers: A New Approach to Locating Objects in Space.Maureen Donnelly & Barry Smith - 2003 - In W. Kuhn M. F. Worboys & S. Timpf (eds.), Spatial Information Theory: Foundations of Geographic Informa­tion Science. Springer. pp. 50-65.
    Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regions are not normally directly treated in such theories. At best, they are simulated via appeal to distributions of attributes across the regions occupied or by functions from times to regions. The present paper offers a richer framework, in which it is possible to represent directly the relations between entities of various types at different (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  46
    Drawing Boundaries.Barry Smith - 2019 - In Timothy Tambassi (ed.), The Philosophy of GIS. New York: Springer. pp. 137-158.
    In “On Drawing Lines on a Map” (1995), I suggested that the different ways we have of drawing lines on maps open up a new perspective on ontology, resting on a distinction between two sorts of boundaries: fiat and bona fide. “Fiat” means, roughly: human-demarcation-induced. “Bona fide” means, again roughly: a boundary constituted by some real physical discontinuity. I presented a general typology of boundaries based on this opposition and showed how it generates a corresponding typology of the different sorts (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Ontology and Geographic Objects: An Empirical Study of Cognitive Categorization.David M. Mark, Barry Smith & Barbara Tversky - 1999 - In C. Freksa & David M. Mark (eds.), Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science (Lecture Notes in Computer Science 1661). pp. 283-298.
    Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  14. Boundaries, Continuity, and Contact.Achille C. Varzi - 1997 - Noûs 31 (1):26-58.
    There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  15. Ontology and the Logistic Analysis of Reality.Barry Smith - 1993 - In Nicola Guarino & Roberto Poli (eds.), Proceedings of the International Workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation. Italian National Research Council. pp. 51-68.
    I shall attempt in what follows to show how mereology, taken together with certain topological notions, can yield the basis for future investigations in formal ontology. I shall attempt to show also how the mereological framework here advanced can allow the direct and natural formulation of a series of theses – for example pertaining to the concept of boundary – which can be formulated only indirectly (if at all) in set-theoretic terms.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   20 citations  
  16. Fiat and Bona Fide Boundaries: Towards an Ontology of Spatially Extended Objects.Barry Smith & Achille C. Varzi - 1997 - In Stephen Hirtle & Andrew U. Frank (eds.), Spatial Information Theory: International Conference COSIT ‘97. Springer. pp. 103–119.
    Human cognitive acts are directed towards objects extended in space of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. The theory of spatially extended objects should make room not only for the objects of physics but also for objects at higher levels, including the objects of geography and of related disciplines. It should leave room for different types of boundaries, including both the bona fide boundaries which we find in (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  17. Ontological Tools for Geographic Representation.Roberto Casati, Barry Smith & Achille C. Varzi - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems (FOIS). Ios Press. pp. 77--85.
    This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  18.  72
    Zur Kognition räumlicher Grenzen: Eine mereotopologische Untersuchung.Barry Smith - 1995 - Kognitionswissenschaft 4:177-184.
    The perception of spatial bodies is at least in part a perception of bodily boundaries or surfaces. The usual mathematical conception of boundaries as abstract constructions is, however, of little use for cognitive science purposes. The essay therefore seeks a more adequate conception of the ontology of boundaries building on ideas in Aristotle and Brentano on what we may call the coincidence of boundaries. It presents a formal theory of boundaries and of the continua to which they belong, of a (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  19.  93
    GOL: A General Ontological Language.Wolfgang Degen, Barbara Heller, Heinrich Herre & Barry Smith - 2001 - In Barry Smith & Chris Welty (eds.), Formal Ontology in Information Systems (FOIS). Acm Press.
    Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical power and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  48
    La verità e il campo visivo.Barry Smith - 1999 - Paradigmi 17:49-62.
    L'articolo usa la teoria delle parti, del tutto e dei contomi per elaborare alcune relazioni cruciali tra la «psicologia ecologica» di J.J. Gibson e la fenomenologia di Husserl. Presenta, inoltre, una teoria ontologica dei contomi spaziali e delle entita spazialmente estese, applicandola al cam po visivo, qui concepito come un' entita spazialmente estesa dipendente dal soggetto che percepisce. Su questa base e possibile formulare un nuovo tipo di definizione teoretico-correspondentista della verita per gli enunciati del linguaggio naturale.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  53
    Le strutture del mondo del senso commune.Barry Smith - 1992 - Iride 9:22-44.
    The paper seeks to show how the world of everyday human cognition might be treated as an object of ontological investigation in its own right. The paper is influenced by work on affordances and prototypicality of psychologists such as Gibson and Rosch, by work on cognitive universals of the anthropologist Robin Horton, and by work of Patrick Hayes and others on ‘naive’ or ‘qualitative physics’. It defends a thesis to the effect that there is, at the heart of common sense, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. Aristoteles, Kant und die Quantenphysik.Barry Smith - 2002 - In Ruth Hagengruber (ed.), Philosophie und Wissenschaft. Würzburg: Königshausen und Neumann. pp. 79-97.
    Der folgende Vortrag hat zwei Teile. Teil 1 hat mit dem Internet zu tun und mit neuen Entwicklungen im Bereich des so genannten „ontological engineering“. Teil 2 hat zu tun mit der kantischen Philosophie und mit neuen Versuchen, diese Philosophie mit Hilfe der Quantenphysik zu unterstützen. Diese zwei Teile sind nicht vollkommen unabhängig voneinander, aber die Verbindung zwischen den zwei Teilen wird erst im Laufe des Vortrags klar werden.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. Topological Essentialism.Roberto Casati & Achille C. Varzi - 2000 - Philosophical Studies 100 (3):217-236.
    Considering topology as an extension of mereology, this paper analyses topological variants of mereological essentialism (the thesis that an object could not have different parts than the ones it has). In particular, we examine de dicto and de re versions of two theses: (i) that an object cannot change its external connections (e.g., adjacent objects cannot be separated), and (ii) that an object cannot change its topological genus (e.g., a doughnut cannot turn into a sphere). Stronger forms of structural essentialism, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24.  37
    A Diagrammatic Representation for Entities and Mereotopological Relations in Ontologies.José M. Parente de Oliveira & Barry Smith - 2017 - In CEUR, vol. 1908.
    In the graphical representation of ontologies, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations. We focus here on a problem in the graph-based representation of ontologies in complex domains such as biomedical, engineering and manufacturing: lack of mereotopological representation. Based on such limitation, we proposed a diagrammatic way to represent an entity’s structure and various forms of mereotopological relationships between the entities.
    Download  
     
    Export citation  
     
    Bookmark  
  25.  50
    The Formal Ontology of Boundaries.Barry Smith & Achille C. Varzi - 1997 - Electronic Journal of Analytic Philosophy 5 (5).
    Revised version published as Barry Smith and Achille Varzi, “Fiat and Bona Fide Boundaries”, Philosophy and Phenomenological Research, 60: 2 (March 2000), 401–420.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  92
    Nisza.Achille C. Varzi & Barry Smith - 2000 - Filozofia Nauki 3:5–30.
    The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It is illustrated above all by means of simple biological examples, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  50
    The Formal Structure of Ecological Contexts.Barry Smith & Achille C. Varzi - 1999 - In Paolo Bouquet, Patrick Brezillon, Francesca Castellani & Luciano Serafini (eds.), Modeling and Using Context. Proceedings of the Second International and Interdisciplinary Conference. Springer. pp. 339–350.
    This is an informal presentation of the theory of niches understood as ecological contexts. The first part sets out the basic conceptual background. The second part outlines the main principles of the theory and addresses the question of how the theory can be extended to aid our thinking in relation to the special types of causal integrity that characterize niches and niched entities.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  26
    Oggetti fiat.Barry Smith - 2002 - Rivista di Estetica 42 (2):58–87.
    Extended entities have boundaries of two different sorts: those that do, and those that do not correspond to physical discontinuities. Call the first sort (coastlines, the surface of your nose) bona fide boundaries; and the second (the boundary of Montana, the boundary separating your upper from your lower torso) fiat boundaries. Fiat boundaries are found especially in the geographic realm, but are involved wherever language carves out portions of reality in ways which do not reflect physical discontinuities. These ideas are (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  48
    Boundaries: A Brentanian Theory.Barry Smith - 2000 - Brentano Studien 8:107-114.
    According to Brentano's theory of boundaries, no boundary can exist without being connected with a continuum. But there is no specifiable part of the continuum, and no point, which is such that we may say that it is the existence of that part or of that point which conditions the boundary. - An adequate theory of the continuum must now recognize that boundaries be boundaries only in certain directions and not in others. This leads to consequences in other areas, too.
    Download  
     
    Export citation  
     
    Bookmark  
  30. Topological Foundations of Cognitive Science.Carola Eschenbach, Christopher Habel & Barry Smith - manuscript
    A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: -/- ** Topological Foundations of Cognitive Science, Barry Smith -/- ** The Bounds of Axiomatisation, Graham White -/- ** Rethinking Boundaries, Wojciech Zelaniec -/- ** Sheaf Mereology and Space Cognition, Jean Petitot -/- ** A Mereotopological Definition of 'Point', Carola Eschenbach -/- ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel -/- ** Mass Reference and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Intelligible Gunk.Dan Kurth - manuscript
    -/- Abstract . In an earlier paper ‘The Topos of Emergence’ (‘TheTopos of Emrgence’, in: Boundaries - The Scientifc Aspects of ANPA 24, (ed. Keith G. Bowden), London 2003, pp 236 –250; cf.also:http://www.academia.edu/1549400/The_Topos_of_Emergence) I introduced a mathematical structure called the topos PrePhys consisting of an ever propagating emergent hierarchy made of a strict n-categorical unfolding of automorphic objects obAM .Later I came to the conclusion that this topos PrePhys perfectly matchs the concept of Gunk introduced under this name by DavidLewis. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32.  77
    Truth and the Visual Field.Barry Smith - 1999 - In Jean Petitot, F. J. Varela, Bernard Pachoud & J.-M. Roy (eds.), Naturalizing Phenomenology: Issues in Contemporary Phenomenology and Cognitive Science. Stanford: Stanford University Press. pp. 317-329.
    Abstract The paper uses the tools of mereotopology (the theory of parts, wholes and boundaries) to work out the implications of certain analogies between the 'ecological psychology' of J. J Gibson and the phenomenology of Edmund Husserl. It presents an ontological theory of spatial boundaries and of spatially extended entities. By reference to examples from the geographical sphere it is shown that both boundaries and extended entities fall into two broad categories: those which exist independently of our cognitive acts (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  33. From a Mereotopological Point of View.Alexander Gebharter & Alexander Mirnig - 2010 - Kriterion - Journal of Philosophy 23 (1):78-90.
    In his Critique of Pure Reason Immanuel Kant presents four antinomies. In his attempt to solve the first of these antinomies he examines and analyzes "thesis" and "antithesis" more thoroughly and employs the terms `part', `whole' and `boundary' in his argumentation for their validity. According to Kant, the whole problem surrounding the antinomy was caused by applying the concept of the world to nature and then using both terms interchangeably. While interesting, this solution is still not that much more than (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34.  96
    Four Kinds of Boundary : From an Ontological Point of View.Daisuke Kachi - 2009 - Interdisciplinary Ontology 2:87-90.
    Casati and Varzi have developed a theory of boundary based on extensional mereotopology and the distinction between fiat and bona fide boundaries. Firstly, I point out some problems in their theory that are related to the contact of bodies. Next, I propose a way of classification of boundaries into four kinds based on substance ontology and an alternative distinction between potential and actual boundaries. Finally, I will show that my way of classification makes it possible to solve the problems (...)
    Download  
     
    Export citation  
     
    Bookmark