The concept of an ontological category is central to metaphysics. Metaphysicians argue about which category an object should be assigned to, whether one category can be reduced to another one, or whether there might be different equally adequate systems of categorization. Answers to these questions presuppose a clear understanding of what precisely an ontological category is, an issue which is rarely addressed; Jan Westerhoff presents the first in-depth analysis both of the use made of ontological categories (...) in the metaphysical literature, and of various attempts at defining them. He also develops a new theory of ontological categories which implies that there will be no unique system, and that the ontological category an object belongs to is not an essential property of that object. Systems of ontological categories are structures imposed on the world, rather than reflections of a deep metaphysical reality already present. All metaphysicians should find Westerhoff's book highly stimulating. (shrink)

General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of top-level ontologies which can be used as a basis for building domain-specific ontologies. The present paper gives an overview about the basic categories of the GOL-ontology. GOL is part of the work of the research group Ontologies in Medicine (Onto-Med) at the University of Leipzig which is based on the collaborative work of the Institute of (...) Medical Informatics (IMISE) and the Institute for Computer Science (IfI). It represents work in progress toward a proposal for an integrated family of top-level ontologies and will be applied to several fields of medicine, in particular to the field of Clinical Trials. (shrink)

This volume is about ontological categories. The categories of an ontology are designed to classify all existents. They are crucial and characterize an ontology.

Which categories of entities qualify as ontological categories? Which combinations of categories qualify as adequate systems of ontological categories? These are the two questions the author focuses on in this article. Contrary to the usual praxis in contemporary ontological literature, he addresses both questions conjointly. First, the author presents some problems of characterizing ontological categories in purely extensional terms, i.e. as widely inclusive natural classes. Second, he introduces the transversality requirement: (...) class='Hi'>ontological categories should be individually and naturally domain-transversal, i.e. ontological categories must be neutral concerning different scientific disciplines like physics, biology and mathematics. As a result, ontological categories must have instances in any domain of reality. Finally, the author checks the adequacy of some systems of ontological categories according to this criterion and meets some possible objections. (shrink)

The concept of an ontological category is central to metaphysics. Metaphysicians argue about which category of existence an object should be assigned to, whether one category can be reduced to another one, or whether there might be different equally adequate systems of categorization. Answers to these questions presuppose a clear understanding of what precisely an ontological category is, and Jan Westerhoff now provides the first in-depth analysis. After examining a variety of attempted definitions, he proceeds to argue for (...) a new understanding of ontological categories, according to which they are systematizations of our knowledge of the world rather than essential characteristics of the world itself. Metaphysicians will find his work highly stimulating. (shrink)

In this paper, I first argue for a relational account of the concept of ontological form and its difference from being. The former is explicated by the concepts of character-neutral internal relation and existence or being and that the ontological forms of entities consist in these formal ontological relations in which the entities stand. Secondly, I apply this account to ontological categories and their membership-determination, existence and reality. Here I also defend a relational view that (...) categories are construed as pluralities of entities standing in the same formal ontological relations in the same order. Formal ontological relations are not additional entities to their relata because they are internal relations. Therefore, categories do not exist as entities numerically distinct from their members. Yet their membership is determined by formal ontological relations actually holding among entities. My accounts are nominalist since ontological forms and categories are not universal or general entities of any sort. (shrink)

There have been attempts to get some logic out of belief dynamics, i.e. attempts to define the constants of propositional logic in terms of functions from sets of beliefs to sets of beliefs. It is interesting to see whether something similar can be done for ontological categories, i.e. ontological constants. The theory presented here will be a (modest) expansion of belief dynamics: it will not only incorporate beliefs, but also parts of beliefs, so called belief fragments. On (...) the basis of this we will give a belief-dynamical account of the ontological categories of states of affairs, individuals, properties of arbitrary adicities and properties of arbitrary orders. (shrink)

Ontology – the study of the most fundamental categories of being – lies at the very heart of metaphysics. The reason why it appears to be so central is because it takes on the following questions: What sorts of entities are there? What features do those entities have? How do they relate to one another? And so on. Section 1 of this Element presents a fast-paced historical overview of some of the notable approaches to these questions. Section 2 tells (...) the story of how one of the oldest, most disputed, but also most developed ontological categories – universals – got introduced. Section 3 builds on the discussion of universals as it considers the desiderata for a promising system of ontological categories. And Section 4 looks at ways in which philosophers might break with tradition and explore some new ontological categories. (shrink)

This chapter contains sections titled: Preliminaries 1 The Highly Problematic Status of the Category of Substance 2 A New Approach: Prime State of Affairs (“Pristate”) as the Only Ontological Category at the Fundamental Level 3 Concluding Remarks.

This paper concerns the ontological status of ontological categories (e.g., universal, particular, substance, property, relation, kind, object, etc.). I consider E.J. Lowe’s argument for the view that ontological categories do not exist and point out that it has some undesirable consequences for his realist ontology. I go on to argue that the main premise in Lowe’s argument—that ontological categories cannot be categorized—is false and then develop a conception of ontological categories as (...) formal ontological kinds. (shrink)

Although a considerable degree of precision has been introduced both into the formulation and the discussion of ontological theories by the use of formal methods there is still a remarkable indefiniteness about foundational issues. In particular it is not clear what an ontological category is and why we regard something as an ontological category. This is amazing given that the notion of ontological category is in fact the most basic of the whole of ontology: it is (...) what this discipline is about. (shrink)

This article is devoted to examining the ontological foundations of computer-generated music scores. Specifically, we focus on the categorial question, i.e., the inquiry that aims to determine the kind of ontological category that musical works belong to. This task involves considerations concerning the existence and persistence conditions for musical works, and it has consequences for the determination of what it is to compose a musical work. Our contention is that not all the possible answers to the categorial question (...) in the ontology of music are equally compatible with the hypothesis that creative music systems compose musical works. The thesis defended here is that musical Platonism is the proposal that best accommodates this hypothesis. We claim that musical Platonism is the answer to the categorial question that offers the most straightforward explanation for the possibility of considering creative music systems as genuinely composing musical works. Moreover, we uphold that the notion of creative-evaluative discovery as the characterization of what it is to compose a musical work entailed by Platonism is the simplest explanation of the process developed by a computer in producing musical works. For this purpose, we will take as empirical data the features of the Iamus computer, a system that produces musical works autonomously using evolutionary algorithms and following an evo-devo strategy. The works generated by this computer have been recorded by the London Symphony Orchestra and other renowned international soloists, and its impact has been notable in the literature (Ball, 2012; Coghlan, 2012; Berger, 2013). (shrink)

This paper addresses the ontological status of the ontological categories as defended within E.J. Lowe’s four-category ontology (kinds, objects, properties/relations, and modes). I consider the arguments in Griffith (2015. “Do Ontological Categories Exist?” Metaphysica 16 (1):25–35) against Lowe’s claim that ontological categories do not exist, and argue that Griffith’s objections to Lowe do not work once we fully take advantage of ontological resources available within Lowe’s four-category ontology. I then argue that the (...) claim that ontological categories do not exist has no undesirable consequences for Lowe’s brand of realism. (shrink)

In this paper, I propose a solution to an almost ignored problem in metaphysics and metametaphysics: what is categorial fundamentality and non-fundamentality? My proposal builds on E. J. Lowe’s view on the issue. By means of the newcomer notion of generic identity, I can give an account of something that Lowe did not explicate: the constitution of formal ontolog- ical relations. Formal ontological relations (e.g. instantiation) are internal relations that deter- mine ontological form and category-membership. I argue that (...) categorial fundamentality is hav- ing membership fully determined by a simple formal ontological relation or relations jointly in an order and categorial non-fundamentality is having membership at least partly determined by a derived formal ontological relation in an order. In contrast to Lowe, my proposal does not pre- suppose non-modal essentialism. (Please, ask for the penultimate draft.). (shrink)

Despite their recent development, geo-ontologies represent a complicated conundrum for the different experts involved in their design. Computer scientists use ontologies for describing the meaning of data and their semantics in order to make information resources built for humans understandable also for artificial agents. Geographers pursue conceptualizations that describe the domain of interest in a way that should be accessible, informative, and complete for their final recipients. In this context, philosophers are not required to sketch the historical background of ontology. (...) Rather, they should offer conceptual solutions for carving nature at the joints and choosing how best to categorize and classify the different entities belonging to the geographical domain in question. Accordingly, the aim of this paper is to combine assumptions and requirements coming from these different areas of research in order to show what different categories might potentially complete the current domain of geo-ontologies. (shrink)

Easy Ontologists, most notably Thomasson (2015), argue that ontological questions are shallow. They think that these questions can either be answered by using our ordinary conceptual competence—of course tables exist!—or are meaningless, or else should be answered through conceptual re-engineering. Ontology thus is “easy”, requiring no distinctively metaphysical investigation. This paper raises a two-stage objection to Easy Ontology. We first argue that questions concerning which entities exist are inextricably bound up with “ontological category questions”, which are questions concerning (...) the identity of and differences between kinds of entities. We then argue that ontological category questions do not have trivial answers, are meaningful, and cannot be answered through conceptual re-engineering. Easy Ontology hence does not constitute a comprehensive ontological methodology. While some of ontology might be easy, category questions form a central part of ontology and are not answered easily. (shrink)

I describe an account of ontological categories which does justice to the facts that not all categories are ontological categories and that ontological categories can stand in containment relations. The account sorts objects into different categories in the same way in which grammar sorts expressions . It then identifies the ontological categories with those which play a certain role in the systematization of collections of categories. The paper concludes by (...) noting that on my account what ontological categories there are is partially interest-relative, and that furthermore no object can belong essentially to its ontological category. (shrink)

In this paper, I discuss how to distinguish between ontological categories and ordinary categories. Using an argument against van Inwagen’s proposed account of what makes a category ontological as a springboard, I argue that if ontological categories are modally robust, then ontological categories need to be understood hyperintensionally. This conclusion opens up a wide range of new ways to define ‘ontological category’, and I close by briefly outlining one such way in (...) order to illustrate the advantages of embracing hyperintensionality in this debate. (Published Open Access). (shrink)

In this paper, I propose a solution to an almost ignored problem in metaphysics and metametaphysics: what is categorial fundamentality and non-fundamentality? My proposal builds on E. J. Lowe’s view on the issue. By means of the newcomer notion of generic identity, I can give an account of something that Lowe did not explicate: the constitution of formal ontolog- ical relations. Formal ontological relations (e.g. instantiation) are internal relations that deter- mine ontological form and category-membership. I argue that (...) categorial fundamentality is hav- ing membership fully determined by a simple formal ontological relation or relations jointly in an order and categorial non-fundamentality is having membership at least partly determined by a derived formal ontological relation in an order. In contrast to Lowe, my proposal does not pre- suppose non-modal essentialism. (Please, ask for the penultimate draft.). (shrink)

The paper argues that causal systems and spatial patterns are species of the same genus, namely pattern, and that a clear view of spatial patterns throws light on some aspects of the ontological nature of causal systems. In particular, it is argued that all patterns (and systems) depend on a fiat delimitation of something which in itself is a unity without borders. Pattern realism is true.

Analytic Philosophy, EarlyView. The method of paraphrasing away apparent ontological commitments is a familiar tool for trimming one's ontology. Even so, I argue that aiming to avoid commitment via paraphrase is unjustified. The reason is the standard motivations for paraphrase rest on implicit yet faulty principles regarding ontological categories and categorization- or so I argue. These results also provide indirect support for a permissivist approach to ontology.

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this (...) paper, I discuss ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Generally, ontological categories are understood to express the most general features of reality; however, obtaining a complete category list is difficult. This volume examines how Aquinas establishes the list of categories through a technique of identifying diversity—in how predicates are related to their subjects. A sophisticated critique by Scotus is also examined—a rejection which is fundamentally grounded in the idea that no real distinction can be made from a logical one. It is argued Aquinas's approach can be (...) rehabilitated in that real distinctions are possible when specifically considering modes of predication. This discussion between Aquinas and Scotus bears fruit in a contemporary context insofar as it bears upon, strengthens, and seeks to correct Lowe's four-category ontology view regarding the identity and relation of the categories. (shrink)

We propose category theory, the mathematical theory of structure, as a vehicle for defining ontologies in an unambiguous language with analytical and constructive features. Specifically, we apply categorical logic and model theory, based upon viewing an ontology as a sub-category of a category of theories expressed in a formal logic. In addition to providing mathematical rigor, this approach has several advantages. It allows the incremental analysis of ontologies by basing them in an interconnected hierarchy of theories, with an operation on (...) the hierarchy that expresses the formation of complex theories from simple theories that express first principles. Another operation forms abstractions expressing the shared concepts in an array of theories. The use of categorical model theory makes possible the incremental analysis of possible worlds, or instances, for the theories, and the mapping of instances of a theory to instances of its more abstract parts. We describe the theoretical approach by applying it to the semantics of neural networks. (shrink)

ONTOLOGY This book is a book about the world. I am concerned with ontology, not merely with language. Many ontological treatises concentrate largely on the ...

The assignment events, objects, state of beings, etc., to an experiential category is a fundamental activity carried out by human (and by other animals). So rudimentary are the processes involved in categorizing that it is indeed impossible to imagine conscious awareness to exist without the presence of categories. A considerable body of writing exists on categories dating from the times of Classical philosophy. Plato developed a categorical ontology and Aristotle produced one of the earliest examples of a complex (...) understanding of basic ontologies. A number of other categorially structured ontologies have been proposed including those by Lowe, Westerhoff, Chisholm, etc. The book is an edited collection of up to the moment essays that address critical aspects on the understanding of categories and categorial systems. The perspectives included in the book are drawn from philosophy, psychology, theology, divinity, comparative cognition and facet theory. The authors are all renowned experts in the area of their writing. Topics addressed include both contemporary advances in the understanding of perennial debates and latest thinking upon how categories are employed to structure our experiences of the world we live in. The book is distinct as being written by philosophers and psychologists. The book is a collection of writings from selected academics at the fore of debates and understandings of categories in contemporary thought. The text provides a single source for contemporary scholarship in categories. No single text that brings together expositions of categorial experiences for students and academics within the above listed disciplines. (shrink)

I shall compare two views of legal concepts: as nodes in inferential nets and as categories in an ontology (a conceptual architecture). Firstly, I shall introduce the inferential approach, consider its implications, and distinguish the mere possession of an inferentially defined concept from the belief in the concept’s applicability, which also involves the acceptance of the concept’s constitutive inferences. For making this distinction, the inferential and eliminative analysis of legal concepts proposed by Alf Ross will be connected to the (...) views on theoretical concepts in science advanced by Frank Ramsey and Rudolf Carnap. Consequently, the mere comprehension of a legal concept will be distinguished from the application of the concept to a particular legal system, since application presupposes a doctrinal commitment, namely, the belief that the inferences constituting the concept hold in that system. Then, I shall consider how concepts can be characterised by defining the corresponding terms and placing them within an ontology. Finally, I shall argue that there is a tension between the inferential and the ontological approach, but that both need to be taken into account, to capture the meaning and the cognitive function of legal concepts. (shrink)

How should scientists carve up cognition to generate good predictions, explanations, and models of cognition? This chapter argues that cognitive categories should be constructed the same way that biological categories are: in terms of homology. The chapter adapts a developmental account of trait identity from evolutionary-developmental biology to make sense of the notion of “cognitive homology.” The consequence is that both brain structures and the organism’s ongoing interactions with the environment are crucial for individuating cognitive homologies, and thus (...) for cognitive ontology. (shrink)

Roderick Chisholm has been for many years one of the most important and influential philosophers contributing to metaphysics, philosophy of mind, and epistemology. This book can be viewed as a summation of his views on an enormous range of topics in metaphysics and epistemology. Yet it is written in the terse, lucid, unpretentious style that has become a hallmark of Chisholm's work. The book is an original treatise designed to defend an original, non-Aristotelian theory of categories. Chisholm argues that (...) there are necessary things and contingent things; necessary things being things that are not capable of coming into being or passing away. He defends the argument from design, and thus includes the category of necessary substance (God). Further contentions of the essay are that attributes are also necessary beings, but not necessary substances, and that human beings are contingent substances but may not be material substances. (shrink)

Since it is only five years since the publication of our paper, "Geographical categories: An ontological investigation" (Smith and Mark 2001), it seems somewhat strange to be making retrospective comments on the piece. Nevertheless, the field is moving quickly, and much has happened since the article appeared. A large number of papers have already cited the work, which suggests that there is a seam here that people find worthy of being mined. In this short essay, we first review (...) the paper and attempt to assess its significance from the perspective of our current work. We then put the paper in the context of our individual and joint works, which led up to it, and summarize our research trajectories since the paper appeared, pointing out what some of this reveals about spatial ontology in general. We conclude with some remarks on the future of ontological research in geographical information science. (shrink)

Realities are structured categorially, and comprehension of our internal and external conditions do not appear to be global or unitary. Rather, both human and non human animals function within their worlds and understand these by categorizing their experiences. Drawing upon many areas of life, the authors consider the ontological, mereological and multi-faceted structure of experience to explore how an understanding of categories can further knowledge.

In the Categories, Aristotle intends to ascribe to particular substances ontological priority over all other things, but it is far from obvious what notion of priority would make this plausible. This question is the focus of my paper. I will examine what has been the standard account of his notion of ontological priority— the “modal-existential” account—and the problems it entails, as well as some scholarly alternatives to it. I will defend my own alternative account—the “explan- atory-existential” account—which (...) addresses the problems that arise for other pro- posed accounts, and will make plausible Aristotle’s claim that particular substances have priority over all other things. I will argue that he puts forth this notion of prior- ity in Categories 12, and that it bears a similarity to the notion of grounding as dis- cussed in contemporary metaphysics. (shrink)

This paper explores the tension, in the pragmatist tradition between Dewey and James, naturalism and empiricism, political activism and philosophical understanding --within a scheme focused on ontology.

Ontology, since Aristotle, has been conceived as a sort of highly general physics, a science of the types of entities in reality, of the objects, properties, categories and relations which make up the world. At the same time ontology has been for some two thousand years a speculative enterprise. It has rested methodologically on introspection and on the construction and analysis of elaborate world-models and of abstract formal-ontological theories. In the work of Quine and others this ontological (...) theorizing in abstract fashion about the world was supplemented by the study, based on the use of logical methods, of the ontological commitments or presuppositions embodied in scientific theories. In recent years both types of ontological study have found application in the world of information systems, for example in the construction of frameworks for knowledge representation and in database design and translation. As ontology is in this way drawn closer to the domain of real-world applications, the question arises as to whether it is possible to use empirical methods in studying ontological theories. More specifically: can we use empirical methods to test the ontological theories embodied in human cognition? We set forth the outlines of a framework for the formulation and testing of such theories as they relate to the specific domain of geographic objects and categories. (shrink)