Humans are always interested in distinguishing natural and artificial entities although there is no sharp demarcation between the two categories. Surprisingly, things do not improve when the second type of entities is restricted to the arguably more constrained realm of physical technical artifacts. This paper helps to clarify the relationship between natural entities and technical artifacts by developing a conceptual landscape within which to analyze these notions. The framework is developed by studying three definitions of technical artifact which arise from (...) different perspectives. All these perspectives share two intuitions: that technical artifacts are physical objects that exist by human intervention; and that technical artifacts are entities to be contrasted to natural entities. Yet the perspectives are different in the way they spell out these intuitions: the relevant human intervention may range from intentional selection to intentional production; and the contrast between technical artifacts and natural entities may be introduced by a constitution relation or by defining properties that set technical artifacts apart. The three perspectives are compared and their similarities and dissimilarities are explored with the help of ontological analysis. (shrink)

Many authors have argued in favour of an ontology of properties as powers, and it has been widely argued that this ontology allows us to address certain philosophical problems in novel and illuminating ways, for example, causation, representation, intentionality, free will and liberty. I argue that the ontology of powers, even if successful as an account of fundamental natural properties, does not provide the insight claimed as regards the aforementioned non-fundamental phenomena. I illustrate this argument by criticizing the powers theory (...) of causation presented by Mumford and Anjum and showing that related criticisms can be directed at other abuses of powers. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

There is a systematic and suggestive analogy between grounding and causation. In my view, this analogy is no coincidence. Grounding and causation are alike because grounding is a type of causation: metaphysical causation. In this paper I defend the identification of grounding with metaphysical causation, drawing on the causation literature to explore systematic connections between grounding and metaphysical dependence counterfactuals, and I outline a non-reductive counterfactual theory of grounding along interventionist lines.

The specification and implementation of computational artefacts occurs throughout the discipline of computer science. Consequently, unpacking its nature should constitute one of the core areas of the philosophy of computer science. This paper presents a conceptual analysis of the central role of specification in the discipline.

Since 2002 we have been testing and refining a methodology for ontology development that is now being used by multiple groups of researchers in different life science domains. Gary Merrill, in a recent paper in this journal, describes some of the reasons why this methodology has been found attractive by researchers in the biological and biomedical sciences. At the same time he assails the methodology on philosophical grounds, focusing specifically on our recommendation that ontologies developed for scientific purposes should be (...) constructed in such a way that their terms are seen as referring to what we call universals or types in reality. As we show, Merrill’s critique is of little relevance to the success of our realist project, since it not only reveals no actual errors in our work but also criticizes views on universals that we do not in fact hold. However, it nonetheless provides us with a valuable opportunity to clarify the realist methodology, and to show how some of its principles are being applied, especially within the framework of the OBO (Open Biomedical Ontologies) Foundry initiative. (shrink)

Feminist metaphysics is guided by the insight that gender is socially constructed, yet the metaphysics behind social construction remains obscure. Barnes and Mikkola charge that current metaphysical frameworks—including my grounding framework—are hostile to feminist metaphysics. I argue that not only is a grounding framework hospitable to feminist metaphysics, but also that a grounding framework can help shed light on the metaphysics behind social construction. By treating social construction claims as grounding claims, the feminist metaphysician and the social ontologist both gain (...) a way to integrate social construction claims into a general metaphysics, while accounting for the inferential connections between social construction and attendant notions such as dependence and explanation. So I conclude that a grounding framework can be helpful for feminist metaphysics and social ontology. (shrink)

This essay focuses on a recently prominent notion of ground which is distinctive for how it links metaphysics to explanation. Ground is supposed to serve both as the common factor in diverse in virtue of questions as well as the structuring relation in the project of explaining how some phenomena are “built” from more fundamental phenomena. My aim is to provide an opinionated synopsis of this notion of ground without engaging with others. Ground, so understood, generally resists illumination by appeal (...) to more familiar models of explanation. Nevertheless, its distinctive explanatory and metaphysical aspects guide us on characterizing its explanatory logic and its metaphysical features. Some issues concerning the meta-question of what grounds ground are explored, as well as some recent skeptical challenges to ground. (shrink)

ABSTRACTBrian Epstein’s The Ant Trap is a praiseworthy addition to literature on social ontology and the philosophy of social sciences. Its central aim is to challenge received views about the social world – views with which social scientists and philosophers have aimed to answer questions about the nature of social science and about those things that social sciences aim to model and explain, like social facts, objects and phenomena. The received views that Epstein critiques deal with these issues in an (...) overly people-centered manner. After all, even though social facts and phenomena clearly involve individual people arranged in certain ways, we must still spell out how people are involved in social facts and phenomena. There are many metaphysical questions about social properties, relations, dependence, constitution, causation, and facts that cannot be answered just be looking at individual people alone. In order to answer questions about how one social entity depends for its existence on another, we need different metaphysical tools. Epstein thus holds that social ontological explanations would greatly benefit from making use of the theoretical toolkit that contemporary analytical metaphysics has to offer. He focuses specifically on two metaphysical instruments: grounding and anchoring. This paper examines Epstein’s understanding and use of these tools. I contend that Epstein is exactly right to say that contemporary metaphysics contains many theoretical instruments that can be fruitfully applied to social ontological analyses. However, I am unconvinced that Epstein’s tools achieve what they set out to do. In particular, I will address two issues: How is grounding for Epstein meant to work? Is anchoring distinct from grounding, and a relation that we need in social ontology? (shrink)

In “Ontological realism: Methodology or misdirection?” I offered a detailed critique of the position referred to as “realism” taken by Barry Smith and Werner Ceusters. This position is claimed to serve as the basis for a “realist methodology” that they seek to impose on the development of scientific ontologies, particularly within the biomedical sciences. Here, in part responding to a reply to those criticisms by Smith and Ceusters, I return the focus to an examination of fundamental incoherencies in this realist (...) approach and propose an alternative that is amenable to much of what Smith and Ceusters hope to accomplish. And I sketch what I believe is needed to advance ontology theory and practice in the sciences. (shrink)

In a series of papers over a period of several years Barry Smith andWerner Ceusters have offered a number of cogent criticisms of historical approaches to creating, maintaining, and applying biomedical terminologies and ontologies. And they have urged the adoption of what they refer to as a “realism-based” approach. Indeed, at times they insist that the realism-based approach not only offers clear advantages and a well-founded methodological basis for ontology development and evaluation, but that such a realist perspective is in (...) fact necessary for understanding and using terminologies and ontologies in science. -/- This paper explores a number of questions surrounding such claims, provides a careful characterization of the type of realism recommended by Smith and Ceusters, and evaluates the role that realism plays in the critiques and recommendations that they offer. The conclusion reached is that while Smith’s and Ceusters’ criticisms of prior practice in the treatment of ontologies and terminologies in medical informatics are often both perceptive and well founded, and while at least some of their own proposals demonstrate obvious merit and promise, none of this either follows from or requires the brand of realism that they propose. (shrink)

The aim of this paper is to bring recent work on metaphysical grounding to bear on the phenomenon of social construction. It is argued that grounding can be used to analyze social construction and that the grounding framework is helpful for articulating various claims and commitments of social constructionists, especially about social identities, e.g., gender and race. The paper also responds to a number of objections that have been leveled against the application of grounding to social construction from Elizabeth Barnes, (...) Mari Mikkola, and Jessica Wilson. (shrink)

I develop in this paper a conception of artefacts based on L. Wittgenstein’s idea of family resemblance. My approach peruses the notion of frame, which was invented in cognitive psychology as an operationisable extension of this philosophical idea. Following the metaphor of life-cycle I show how this schematic notion of frame may be filled with the content relevant for artefacts if we consider them from the point of view of their histories. The resulting conception of artefacts provides a new insight (...) into the current debate on artefact categorisation. (shrink)

I lay down a system of structural rules for various notions of ground and establish soundness and completeness.

There is a standard view of relations, held by philosophers and logicians alike, according to which we may meaningfully talk of a relation holding of several objects in a given order. Thus it is supposed that we may meaningfully—indeed, correctly—talk of the relation loves holding of Anthony and Cleopatra or of the relation between holding of New York, Washington, and Boston. But innocuous as this view might appear to be, it cannot be accepted as applying to all relations whatever. For (...) there is an important class of metaphysical and linguistic contexts which call for an alternative conception of relation, one for which the order of the relata plays no role and in which the application of the relation to its relata is achieved by other means. (shrink)

This paper sets out an organizing framework for the field of social ontology, the study of the nature of the social world. The subject matter of social ontology is clarified, in particular the difference between it and the study of causal relations and the explanation of social phenomena. Two different inquiries are defined and explained: the study of the grounding of social facts, and the study of how social categories are “anchored” or set up. The distinction between these inquiries is (...) used to clarify prominent programs in social theory, particularly theories of practice and varieties of individualism. (shrink)

A number of philosophers think that grounding is, in some sense, well-founded. This thesis, however, is not always articulated precisely, nor is there a consensus in the literature as to how it should be characterized. In what follows, I consider several principles that one might have in mind when asserting that grounding is well-founded, and I argue that one of these principles, which I call ‘full foundations’, best captures the relevant claim. My argument is by the process of elimination. For (...) each of the inadequate principles, I illustrate its inadequacy by showing either that it excludes cases that should not be ruled out by a well-foundedness axiom for grounding, or that it admits cases that should be ruled out. (shrink)

A survey of the similarities and differences between BFO and DOLCE, and of the mutual interactions between Nicola Guarino and Barry Smith.

This paper distinguishes two kinds of realist issue -- the issue of whether the propositions of a given domain are factual and the issue of whether they are fundamental. It criticizes previous accounts of what these issues come to and suggests that they are to be understood in terms of a basic metaphysical concept of reality. This leaves open the question of how such issues are to be resolved; and it is argued that this may be done through consideration of (...) what grounds the facts of a given domain, when fundamentality is in question, and what grounds our engagement with the putative facts, when factuality is in question. (shrink)

To enhance the treatment of relations in biomedical ontologies we advance a methodology for providing consistent and unambiguous formal definitions of the relational expressions used in such ontologies in a way designed to assist developers and users in avoiding errors in coding and annotation. The resulting Relation Ontology can promote interoperability of ontologies and support new types of automated reasoning about the spatial and temporal dimensions of biological and medical phenomena.

An introduction to our edited volume, The Metaphysics of Relations, covering a range of issues including the problem of order, the ontological status of relations, reasons for ancient scepticism about relational properties, and two ways of drawing the distinction between internal and external relations.

Given the fundamental role that concepts play in theories of cognition, philosophers and cognitive scientists have a common interest in concepts. Nonetheless, there is a great deal of controversy regarding what kinds of things concepts are, how they are structured, and how they are acquired. This chapter offers a detailed high-level overview and critical evaluation of the main theories of concepts and their motivations. Taking into account the various challenges that each theory faces, the chapter also presents a novel approach (...) to concepts that is organized around two ideas. The first is a pluralistic view of differing types of conceptual structure. The second is a model that treats concepts as atomic representations that are linked to various types of conceptual structures. (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

Newton distinguishes between absolute and relative places. Both types of places endure through time and may be occupied by various objects at various times. But unlike absolute places, each relative place stands in fixed spatial relations with one or more reference objects. Relative plac-es with independent reference objects (e.g. a ship and the earth) may move relative to one another. Relative places, not absolute places, are used to locate objects and track their movements in common-sense reasoning and in disciplines such (...) as biology, engineering, and geology. The purpose of this paper is to develop a formal theory for reasoning about relative places and their changing relations to both other places and to material objects. (shrink)