Switch to: References

Add citations

You must login to add citations.
  1. Boundaries and Things. A Metaphysical Study of the Brentano-Chisholm Theory.Gonzalo Nuñez Erices - 2019 - Kriterion: Journal of Philosophy 33 (2):15-48.
    The fact that boundaries are ontologically dependent entities is agreed by Franz Brentano and Roderick Chisholm. This article studies both authors as a single metaphysical account about boundaries. The Brentano-Chisholm theory understands that boundaries and the objects to which they belong hold a mutual relationship of ontological dependence: the existence of a boundary depends upon a continuum of higher spatial dimensionality, but also is a conditio sine qua non for the existence of a continuum. Although the view that ordinary material (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • Anatomical Information Science.Barry Smith, Jose Mejino, Stefan Schulz, Anand Kumar & Cornelius Rosse - 2005 - In A. G. Cohn & D. M. Mark (eds.), Spatial Information Theory. Springer. pp. 149-164.
    The Foundational Model of Anatomy (FMA) is a map of the human body. Like maps of other sorts – including the map-like representations we find in familiar anatomical atlases – it is a representation of a certain portion of spatial reality as it exists at a certain (idealized) instant of time. But unlike other maps, the FMA comes in the form of a sophisticated ontology of its objectdomain, comprising some 1.5 million statements of anatomical relations among some 70,000 anatomical kinds. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Les objets sociaux.Barry Smith - 1999 - Philosophiques 26 (2):315-347.
    One reason for the renewed interest in Austrian philosophy, and especially in the work of Brentano and his followers, turns on the fact that analytic philosophers have become once again interested in the traditional problems of metaphysics. It was Brentano, Husserl, and the philosophers and psychologists whom they influenced, who drew attention to the thorny problem of intentionality, the problem of giving an account of the relation between acts and objects or, more generally, between the psychological environments of cognitive subjects (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  • 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 levels, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Rethinking the Culture - Economy Dialectic.Lajos L. Brons - 2005 - Dissertation, University of Groningen
    The culture-economy dialectic (CED) – the opposition of the concepts and phenomena of culture and economy – is one of the most important ideas in the modern history of ideas. Both disciplinary boundaries and much theoretical thought in social science are strongly influenced or even determined by the CED. For that reason, a thorough analysis and evaluation of the CED is needed to improve understanding of the history of ideas in social science and the currently fashionable research on the cultural (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Ontologia e sistemi informativi.Barry Smith - 2006 - Networks 6:137-164.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Proceedings of the KI 2003 Workshop on Reference Ontologies and Application Ontologies.Pierre Grenon, Christopher Menzel & Barry Smith (eds.) - 2004 - CEUR Workshop Proceedings, Vol. 94.
    Contains the following contributions: -/- Ingvar Johansson: Ontologies and Concepts. Two Proposals -/- Christopher Menzel: Reference Ontologies - Application Ontologies: Either/Or or Both/And? -/- Luc Schneider: Foundational Ontologies and the Realist Bias -/- Guenther Goerz, Kerstin Buecher, Bernd Ludwig, Frank-Peter Schweinberger, and Iman Thabet: Combining a Lexical Taxonomy with Domain Ontology in the Erlangen Dialogue System -/- Vim Vandenberghe, Burkhard Schafer, John Kingston: Ontology Modelling in the Legal Domain - Realism Without Revisionism -/- A Proposed Methodology for the Development of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • An Axiomatisation of Basic Formal Ontology with Projection Functions.Kerry Trentelman, Alan Ruttenberg & Barry Smith - 2010 - In Kerry Taylor (ed.), Advances in Ontologies, Proceedings of the Sixth Australasian Ontology Workshop. University of Adelaide. pp. 71-80.
    This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to develop a simple temporal theory.
    Download  
     
    Export citation  
     
    Bookmark  
  • Using Philosophy to Improve the Coherence and Interoperability of Applications Ontologies: A Field Report on the Collaboration of IFOMIS and L&C.Jonathan Simon, James Matthew Fielding & Barry Smith - 2004 - In Proceedings of the First Workshop on Philosophy and Informatics. Deutsches Forschungs­zentrum für künstliche Intelligenz, Cologne: 2004 (CEUR Workshop Proceedings 112). pp. 65-72.
    The collaboration of Language and Computing nv (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is guided by the hypothesis that quality constraints on ontologies for software ap-plication purposes closely parallel the constraints salient to the design of sound philosophical theories. The extent of this parallel has been poorly appreciated in the informatics community, and it turns out that importing the benefits of phi-losophical insight and methodology into application domains yields a variety of improvements. L&C’s LinKBase® (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Unified Framework for Building Ontological Theories with Application and Testing in the Field of Clinical Trials.Heller Barbara, Herre Heinrich & Barry Smith - 2001 - In IFOMIS Reports. Leipzig: University of Leipzig.
    The objective of this research programme is to contribute to the establishment of the emerging science of Formal Ontology in Information Systems via a collaborative project involving researchers from a range of disciplines including philosophy, logic, computer science, linguistics, and the medical sciences. The re­searchers will work together on the construction of a unified formal ontology, which means: a general framework for the construction of ontological theories in specific domains. The framework will be constructed using the axiomatic-deductive method of modern (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • Ontology: Towards a New Synthesis.Barry Smith & Chris Welty - 2001 - In Formal Ontology in Information Systems. New York: ACM Press.
    This introduction to the second international conference on Formal Ontology and Information Systems presents a brief history of ontology as a discipline spanning the boundaries of philosophy and information science. We sketch some of the reasons for the growth of ontology in the information science field, and offer a preliminary stocktaking of how the term ‘ontology’ is currently used. We conclude by suggesting some grounds for optimism as concerns the future collaboration between philosophical ontologists and information scientists.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Les objects sociaux.Barry Smith - 2002 - Philosophique 26 (2):315–347.
    One reason for the renewed interest in Austrian philosophy, and especially in the work of Brentano and his followers, turns on the fact that analytic philosophers have become once again interested in the traditional problems of metaphysics. It was Brentano, Husserl, and the philosophers and psychologists whom they influenced, who drew attention to the thorny problem of intentionality, the problem of giving an account of the relation between acts and objects or, more generally, between the psychological environments of cognitive subjects (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Towards a Formal Ontology of Information. Selected Ideas of K. Turek.Roman Krzanowski - 2016 - Zagadnienia Filozoficzne W Nauce 61:23-52.
    There are many ontologies of the world or of specific phenomena such as time, matter, space, and quantum mechanics1. However, ontologies of information are rather rare. One of the reasons behind this is that information is most frequently associated with communication and computing, and not with ‘the furniture of the world’. But what would be the nature of an ontology of information? For it to be of significant import it should be amenable to formalization in a logico-grammatical formalism. A candidate (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Heyting Mereology as a Framework for Spatial Reasoning.Thomas Mormann - 2013 - Axiomathes 23 (1):137- 164.
    In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. The allegedly unmereological concept of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Impossibility of Relations Between Non-Collocated Spatial Objects and Non-Identical Topological Spaces.Jeffrey Grupp - 2005 - Axiomathes 15 (1):85-141.
    I argue that relations between non-collocated spatial entities, between non-identical topological spaces, and between non-identical basic building blocks of space, do not exist. If any spatially located entities are not at the same spatial location, or if any topological spaces or basic building blocks of space are non-identical, I will argue that there are no relations between or among them. The arguments I present are arguments that I have not seen in the literature.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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  
  • 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  
  • 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 of (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • The Many Facets of Identity Criteria.Pierdaniele Giaretta Massimiliano Carrara - 2004 - Dialectica 58 (2):221-232.
    The aim of this note is to discuss the general form and role of identity criteria. We have taken two readings into consideration which express two different functions of identity criteria. The first expresses the epistemic function whilst the second deals with the ontological function. We argue that there are several problems related to the specification of both these functions. As a consequence, we conclude that identity criteria are not necessary to provide ontological legitimacy.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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   4 citations  
  • Meaning and Reality: A Cross-Traditional Encounter.Lajos L. Brons - 2013 - In Bo Mou & R. Tieszen (eds.), Constructive Engagement of Analytic and Continental Approaches in Philosophy. Brill. pp. 199-220.
    (First paragraph.) Different views on the relation between phenomenal reality, the world as we consciously experience it, and noumenal reality, the world as it is independent from an experiencing subject, have different implications for a collection of interrelated issues of meaning and reality including aspects of metaphysics, the philosophy of language, and philosophical methodology. Exploring some of these implications, this paper compares and brings together analytic, continental, and Buddhist approaches, focusing on relevant aspects of the philosophy of Donald Davidson, Jacques (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Mereology and Uncertainty.Lech T. Polkowski - 2015 - Logic and Logical Philosophy 24 (4).
    Download  
     
    Export citation  
     
    Bookmark  
  • On Substances, Accidents and Universals: In Defence of a Constituent Ontology.Barry Smith - 1997 - Philosophical Papers 26 (1):105-127.
    The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Agglomerations.Barry Smith - 1999 - In C. Freksa & David M. Mark (eds.), Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science. New York: Springer. pp. 267-282.
    Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontology to the phenomena of cognition. Agglomerations are aggregates of entities that are dispersed through space on geographic scales. Examples include: plagues, biological species, major world religions. The paper applies standard mereotopological theories of spatial regions to agglomerations in this sense. It offers the beginnings of a general theory of the relations (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Theory of Divides.Barry Smith - 1999 - The Analytic-Continental Divide Conference.
    Some would conceive philosophy as being divided into Analytic and Continental. This, as John Searle points out, is rather like conceiving America as being divided into Business and Kansas. Searle’s wise saying has not, as yet, received the theoretical attention it deserves. In both cases we have a certain domain, which is conceived as being divided into two parts, one defined in spatial terms, the other defined in terms of objects, practices or features widely spread through some spatial area. We (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Basic Concepts of Formal Ontology.Barry Smith - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 19-28.
    The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, continuity and contact. These (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A Physics-Based Metaphysics is a Metaphysics-Based Metaphysics.Chris Fields - 2014 - Acta Analytica 29 (2):131-148.
    The common practice of advancing arguments based on current physics in support of metaphysical conclusions has been criticized on the grounds that current physics may well be wrong. A further criticism is leveled here: current physics itself depends on metaphysical assumptions, so arguing from current physics is in fact arguing from yet more metaphysics. It is shown that the metaphysical assumptions underlying current physics are often deeply embedded in the formalism in which theories are presented, and hence impossible to dismiss (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Consistent Quantum Mechanics Admits No Mereotopology.Chris Fields - 2012 - Axiomathes (1):1-10.
    It is standardly assumed in discussions of quantum theory that physical systems can be regarded as having well-defined Hilbert spaces. It is shown here that a Hilbert space can be consistently partitioned only if its components are assumed not to interact. The assumption that physical systems have well-defined Hilbert spaces is, therefore, physically unwarranted.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • La Critique de la Raison En Europe Centrale.Jean-Pierre Cometti & Kevin Mulligan - 1999 - Philosophiques 26 (2).
    Download  
     
    Export citation  
     
    Bookmark  
  • Towards an Ontology for Generative Design of Mechanical Assemblies.Bahar Aameri, Hyunmin Cheong & J. Christopher Beck - 2019 - Applied Ontology 14 (2):127-153.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Spatial Reasoning and Ontology: Parts, Wholes, and Locations.Achille C. Varzi - 2007 - In Marco Aiello, Ian E. Pratt-Hartmann & Johan van Benthem (eds.), Handbook of Spatial Logics. Springer Verlag. pp. 945-1038.
    A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Mereological Commitments.Achille C. Varzi - 2000 - Dialectica 54 (4):283–305.
    We tend to talk about (refer to, quantify over) parts in the same way in which we talk about whole objects. Yet a part is not something to be included in an inventory of the world over and above the whole to which it belongs, and a whole is not something to be included in the inventory over and above its constituent parts. This paper is an attempt to clarify a way of dealing with this tension which may be labeled (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Reference Ontologies — Application Ontologies: Either/or or Both/And?Christopher Menzel - 2004 - In Pierre M. Pierre, Christopher Menzel & Barry Smith (eds.), CEUR Workshop Proceedings, Vol. 94.
    The distinction between reference ontologies and application ontologies crept rather unobtrusively into the recent literature on knowledge engineering. A lot of the discourse surrounding this distinction – notably, the one framing the workshop generating this collection of papers – suggests the two types of ontologies are in some sort of opposition to one another. Thus, Borge et al. [3] characterize reference ontologies (more recently, foundational ontologies) as rich, axiomatic theories whose focus is to clarify the intended meanings of terms used (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Enactment and Construction of the Cognitive Niche: Toward an Ontology of the Mind-World Connection.Konrad Werner - forthcoming - Synthese.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • No Time, No Wholes: A Temporal and Causal-Oriented Approach to the Ontology of Wholes. [REVIEW]Riccardo Manzotti - 2009 - Axiomathes 19 (2):193-214.
    What distinguishes a whole from an arbitrary sum of elements? I suggest a temporal and causal oriented approach. I defend two connected claims. The former is that existence is, by every means, coextensive with being the cause of a causal process. The latter is that a whole is the cause of a causal process with a joint effect. Thus, a whole is something that takes place in time. The approach endorses an unambiguous version of Restricted Composition that suits most commonsensical (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Many Facets of Identity Criteria.Massimiliano Carrara & Pierdaniele Giaretta - 2004 - Dialectica 58 (2):221–232.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Naive Topology of the Conscious Subject.Rory Madden - 2015 - Noûs 49 (1):55-70.
    What does our naïve conception of a conscious subject demand of the nature of conscious beings? In a series of recent papers David Barnett has argued that a range of powerful intuitions in the philosophy of mind are best explained by the hypothesis that our naïve conception imposes a requirement of mereological simplicity on the nature of conscious beings. It is argued here that there is a much more plausible explanation of the intuitions in question. Our naïve conception of a (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A Comment on Rcc: From Rcc to Rcc ++.Tiansi Dong - 2008 - Journal of Philosophical Logic 37 (4):319 - 352.
    The Region Connection Calculus (RCC theory) is a well-known spatial representation of topological relations between regions. It claims that the connection relation is primitive in the spatial domain. We argue that the connection relation is indeed primitive to the spatial relations, although in RCC theory there is no room for distance relations. We first analyze some aspects of the RCC theory, e.g. the two axioms in the RCC theory are not strong enough to govern the connection relation, regions in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Mobius and Paradox: On the Abstract Structure of Boundary Events in Semiotic Systems.Yair Neuman - 2003 - Semiotica 2003 (147).
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Comment on Rcc: From Rcc to Rcc++.Tiansi Dong - 2008 - Journal of Philosophical Logic 37 (4):319-352.
    The Region Connection Calculus is a well-known spatial representation of topological relations between regions. It claims that the connection relation is primitive in the spatial domain. We argue Аthat the connection relation is indeed primitive to the spatial relations, although in RCC theory there is no room for distance relations. We first analyze some aspects of the RCC theory, e. g. the two axioms in the RCC theory are not strong enough to govern the connection relation, regions in the RCC (...)
    Download  
     
    Export citation  
     
    Bookmark