Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- (...) neutral relational account. In this metatheory, ontological forms of entities are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (shrink)

In this talk, I propose a new account of ontological form, formal ontological relations, modes of being and hence of specifying the subject matter of metaphysics.

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 handout of my talk at the Nordic Network in Metaphysics webinar on Friday 2/10/2020.

This article defends linguistic descent in contrast to the possibility of linguistic ascent or the formal mode in metaphysics. We can go both ways, but metaphysics metaphysically defined presupposes metaphysics conceptualstically defined, which presupposes metaphysicas ontologially defined. Predicates implie abstract concepts (categories in metaphysics), and abstract oncepts presuppose the concrete qualities from which they are abstracted. A distinction is made between any quality and that which has the quality. This article contains a refutation of Kant on the (...) class='Hi'>ontological argument. Being, conceived as instantiation, is a predicate once we posit universal properties instantiated by whatever is. The article, in the author's subequent work, leads to an explicit nominalism which asserts universals only as practical postulates of theoretical reason, i.e., logical discourse. Qualities are unique, not open to multiple instantiation. (shrink)

This article defends strong formal ontological conception of ontological categories against Lewis's "deflanationary" conception. Here, it sides with E.J. Lowe (1998) among others. However, the paper argues against Lowe's conception of metaphysics as an a priori science. Different category systems are compared and the best system is selected on the basis of its ability to accommodate our the best a posteriori conceptions of reality.

"Husserl's work include lengthy treatment of universals, categories, meanings, numbers, manifolds, etc. from an ontological perspective. Here, however, we shall concentrate almost exclusively on the Logical Investigations, which contain in a clear form the ontological ideas which provided the terminological and theoretical basis both for much of the detailed phenomenological description and for many of the metaphysical theses presented in Husserl's later works.

A model of metaphysics associated with EJ Lowe and Tuomas Tahko sees metaphysics as involving a priori knowledge of possible essences, or at least modal facts, and delimiting the actual ‘ontological categories,’ the ultimate and essential divisions of what exists, based on the results of a posteriori scientific investigation. Their approach to metaphysics has been criticized by those who argue that such metaphysics is unsuitably a priori, disconnected with empirical research in natural science, and ends up failing to (...) provide meaningful constraints on metaphysical theorization. I present different epistemological and semantic worries about these accounts to motivate an alternative perspective on which metaphysics centers on form, rather than possibility. This scholastic perspective is shown to incorporate the skeptical insights as constitutive of its approach to existence, by way of the position that ‘being’ is not a genus. Rather, ‘being’ is a determinable. The scholastic approach can thus provide responses to the skeptics, since it denies that ontological categories – in the Lowe/Tahko sense – are what metaphysicians investigate and proposes a different view of ontological categories as classes of forms. (shrink)

This edited volume is a comprehensive presentation of views on the relations between metaphysics and logic from Aristotle through twentieth century philosophers who contributed to the return of metaphysics in the analytic tradition. The collection combines interest in logic and its history with interest in analytical metaphysics and the history of metaphysical thought. By so doing, it adds both to the historical understanding of metaphysical problems and to contemporary research in the field. Throughout the volume, essays focus on metaphysica generalis, (...) or the systematic study of the most general categories of being. Beginning with Aristotle and his Categories , the volume goes on to trace metaphyscis and logic through the late ancient and Arabic traditions, examining the views of Thomas Aquinas, Duns Scotus, and William Ockham. Moving into the early modern period, contributors engage with Leibniz's metaphysics, Kant's critique of metaphysics, the relation between logic and ontology in Hegel, and Bolzano's views. Subsequent chapters address: Charles S. Peirce's logic and metaphysics; the relevance of set-theory to metaphysics; Meinong's theory of objects; Husserl's formal ontology; early analytic philosophy; C.I. Lewis and his relation to Russell; and the relations between Frege, Carnap, and Heidegger. Surveying metaphysics through to the contemporary age, essays explore W.V. Quine's attitude towards metaphysics; Wilfrid Sellars's relation to antidescriptivism as it connects to Kripke's; the views of Putnam and Kaplan; Peter F. Strawson's and David M. Armstrong's metaphysics; Trope theory; and its relation to Popper's conception of three worlds. The volume ends with a chapter on transcendental philosophy as ontology. In each chapter, contributors approach their topics not merely in an historical and exegetical fashion, but also engage critically with the thought of the philosophers whose work they discuss, offering synthesis and original philosophical thought in the volume, in addition to very extensive and well-informed analysis and interpretation of important philosophical texts. The volume will serve as an essential reference for scholars of metaphysics and logic. (shrink)

In Lowe’s Four-Category Ontology, instantiation is a basic formal ontological relation between particulars (objects, modes) and their kinds (kinds, attributes). Therefore, instantiation must be considered as a metaphysically necessary relation, which also rules out the metaphysical possibility of kind change. Nevertheless, according to Lowe, objects obtain their identity conditions in a more general level than specific natural kinds, which allows for kind change. There also seems to be actual examples of kind change. The advocate of Four-Category Ontology is (...) obliged to resolve the tension between these mutually incompatible claims. In this article, we argue that the only viable option for the advocate of Four-Category Ontology is to bite the bullet and stick to the necessity of each of the most specific natural kind to the object instantiating it. As a major drawback, the four-category ontologist does not have any credible means to allow for kind change or determination of the identity conditions in a more general level. (shrink)

What primitive concepts does formal ontology require? Forsaking as too indirect the linguistic way of discerning the categories of being, this paper considers what primitives might be required for representing things in themselves (noumena) and representations of them in a thoroughly crafted large autonomous multi-purpose database. Leaving logical concepts and material ontology aside, the resulting 32 categories in 13 families range from the obvious (identity/difference, existence/non-existence) through the fairly obvious (part/whole, one/many, sequential order) and the surprisingly familiar (...) (illocutionary modes, mass/count, indexical/descriptive) to the controversial (moment/fundament, transparent/opaque) and the arcane (modes of class delimitation, taxonomic rank, aspects of designators). Any such list is speculative and tentative, but the test of this one will be in its implementation, a new departure for philosophical category theories. (shrink)

What primitive concepts does formal ontology require? Forsaking as too indirect the linguistic way of discerning the categories of being, this paper considers what primitives might be required for representing things in themselves (noumena) and representations of them in a thoroughly crafted large autonomous multi-purpose database. Leaving logical concepts and material ontology aside, the resulting 32 categories in 13 families range from the obvious (identity/difference, existence/non-existence) through the fairly obvious (part/whole, one/many, sequential order) and the surprisingly familiar (...) (illocutionary modes, mass/count, indexical/descriptive) to the controversial (moment/fundament, transparent/opaque) and the arcane (modes of class delimitation, taxonomic rank, aspects of designators). Any such list is speculative and tentative, but the test of this one will be in its implementation, a new departure for philosophical category theories. (shrink)

In this paper, it is argued that metaphysics, conceived as an inquiry into the ultimate nature of mind-independent reality, is a rationally indispensable intellectual discipline, with the a priori science of formal ontology at its heart. It is maintained that formal ontology, properly understood, is not a mere exercise in conceptual analysis, because its primary objective is a normative one, being nothing less than the attempt to grasp adequately the essences of things, both actual and possible, with a (...) view to understanding as far as we can the fundamental structure of reality as a whole. Accordingly, it is urged, the deliverances of formal ontology have a modal and epistemic status akin to those of other a priori sciences, such as mathematics and logic, rather than constituting rivals to the claims of the empirical sciences, such as physics. (shrink)

E. J. Lowe, a prominent figure in contemporary metaphysics, sets out and defends his theory of what there is. His four-category ontology is a metaphysical system which recognizes four fundamental categories of beings: substantial and non-substantial particulars and substantial and non-substantial universals. Lowe argues that this system has an explanatory power which is unrivalled by more parsimonious theories and that this counts decisively in its favour. He shows that it provides a powerful explanatory framework for a unified account of (...) causation, dispositions, natural laws, natural necessity and many other related matters, thus constituting a full metaphysical foundation for natural science. (shrink)

In the Tractatus 4.126 Wittgenstein introduces the notion of a formal concept which, he says, needs to be distinguished from the notion of a proper concept, i.e. a concept such as that of “man” which has an ordinary empirical application. The sense in which formal concepts are formal is not that they have anything in particular to do with formal logic or logical form, but that they are concerned with what Wittgenstein called the “form of representation”. (...) That is to say that they are concerned with the ways in which expressions can represent the world. To put it in another way, they are concerned with the use or application to which expressions might be put. Now, it is well known that for the Wittgenstein of the Tractatus it was impossible to say anything about the form of representation of any expression: this could only be shown. Hence Wittgenstein calls these formal concepts “pseudo–concepts”, meaning by this not that there are not such concepts, but that they are incompatible with his theory. (shrink)

Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific (...) treatment of this world relate to traditional and contemporary metaphysics and formal ontology? Can we embrace a thesis of common-sense realism to the effect that the world of common sense exists uniquely? Or must we adopt instead a position of cultural relativism which would assign distinct worlds of common sense to each group and epoch? The present paper draws on recent work in computer science (especially in the fields of naive and qualitative physics), in perceptual and developmental psychology, and in cognitive anthropology, in order to consider in a new light these and related questions and to draw conclusions for the methodology and philosophical foundations of the cognitive sciences. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.

This book presents and defends a large number of theses in ontology and meta-ontology. The meta-ontological theses are broadly Quinean: that existence or being is what is expressed by the existential quantifier of formal logic; that the variables the quantifiers bind are essentially third-person-singular pronouns; that the “ontological commitments” of a person or theory are best revealed when the sentences of the person or theory are translated into the quantifier-variable idiom. Much of the book is devoted to (...) ontological, as opposed to meta-ontological, questions: Are there things that do not exist—or even things that have no sort of being whatever? Are there universals—or, more generally, abstract objects? What sort of thing is a property (quality, attribute…)? What are the ontological commitments of modal discourse? Are there possible worlds? If there are, do some of them contain “non-actual” individuals? (The meta-ontology severely constrains the ontology. For example, a non-actual but possible individual is an individual thing that might exist but does not. Therefore, non-actual individuals do not exist. That is to say, there aren’t any.) The book closes with the presentation and defense of an ontology consistent with everything said in the earlier parts of the book. The central thesis of this ontology is that everything belongs to one of two ontological categories, substance and relation. Relations are universals, and propositions are special kinds of relation. Special consideration is given to the absence of sets from the ontology. (shrink)

E. J. Lowe and Ontology, edited by Mirosław Szatkowski, is the outcome of the international conference Jonathan Lowe and Ontology, which took place in Warsaw on 21–23 May 2019. The book consists of fifteen essays by philosophers of international renown; it concerns, among others, meta-ontology, theory of categories, persistence in time, agency, and mental causation. In addition to summarizing the book’s contribution to contemporary formal ontology, this review includes a critical discussion of selected chapters on meta-metaphysics, as well (...) as general and special metaphysics. (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)

This article aims to provide an intelligible explication of the doctrine of Transubstantiation. A model of this doctrine is formulated within the formal, neo-Aristotelian metaphysical and ontological framework of Jonathan Lowe, termed Serious Essentialism and the Four-Category Ontology. Formulating the doctrine of Transubstantiation within this metaphysical and ontological framework will enable it to be explicated in a clear and consistent manner, and the oft-raised intelligibility question against it can be answered.

A general meta-logical theory is developed by considering ontological disputes in the systems of metaphysics. The usefulness of this general meta-logical theory is demonstrated by considering the case of the ontological dispute between the metaphysical systems of Lewis’ Modal Realism and Terence Parsons’ Meinongianism. Using Quine’s criterion of ontological commitments and his views on ontological disagreement, three principles of metalogic is formulated. Based on the three principles of metalogic, the notions of independent variable and dependent variable (...) are introduced. Then, the ontological dispute between Lewis’ Modal Realism and Terence Parsons’ Meinongianism are restated in the light of the principles of metalogic. After the restatement, Independent variable and dependent variables are fixed in both Lewis’ Modal Realism and Terence Parsons’ Meinongianism to resolve the dispute. Subsequently, a new variety of quantifiers are introduced which is known as functionally isomorphic quantifiers to provide a formal representation of the resolution of the dispute. The specific functionally isomorphic quantifier which is developed in this work is known as st-quantifier. It is indicated that how st-quantifier which is one of the functionally isomorphic quantifiers can function like existential quantifier. It is also shown that there is some kind of inconsistency which is unavoidable in stating the ontological disagreement and therefore, paraconsistent logic is a requirement in stating the ontological disputes. (shrink)

Aristotle, in his Metaphysics, not only tries to establish a relationship that is direct, coherent, inter-operational and "precise" between this science, its name as a science, and its object of study, but also begins an indignation that tries to set a science — materially adequate and formally correct — to study τὸ ὂν ᾗ ὂν. In order to complete this task, Aristotle does an in-focus strategy that consists on the diffusion of τὸ ὄν in its categories, that allows Aristotle (...) the possibility of formulate a science ἐπιστήμη to study τὸ ὂν ᾗ ὂν at the same time that supports the diffusion of τὸ ὄν in the "different categories or supreme genres" of τὸ ὄν. Due to this argumentation, Aristotle distinguishes the ἐπιστήμη σοφία of any other type of knowledge: the former is fundamentally an enquiry "about the first causes (πρῶτα αἴτια) and the principles (ἀρχὰς)". With this conception in mind, Aristotle was able to characterize several related forms of the ἐπιστήμη σοφία which, as a whole, eventually allow him to establish a science of the principles and causes "maximally universal and referred to…everything real", and in consequence, to "that that is, as long as something is". In this work, I will try to reconstruct such arguments, and offer some observations and conjectures referred to these notions that plausibly incline the scale in favor of an ontological reading of Aristotle’s Metaphysics, in order to contribute to clarify the confusion that exists between the aim of the discipline with the justification to establish the existence of its own object. (shrink)

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)

I propose that metaphysical study is initially indifferent to the truth of Metaphysical Realism about Metaphysics (MRM) and Metaphysical Realism and does not presuppose them. Metaphysical Realism is a metaphysical doctrine the truth of which cannot be settled logically prior to metaphysical investigation. MRM presupposes Metaphysical Realism and therefore, one should not hold MRM uncritically. An epistemological consequence of this is that arguments against the possibility of cognition about metaphysically real entities (by e.g., Hume) are not arguments against the epistemic (...) legitimacy of metaphysics without further arguments for MRM. This paper is also a case study of the philosophical significance of having rich enough acquaintance with the history of philosophy, the recent history included. (shrink)

Since last year, major initiatives have been undertaken by the chair of theoretical philosophy at the University of Tübingen in order to enhance the reception of analytic metaphysics in the European landscape. Here we review the 2013 summer workshop, intended to be the first of an annual series, on “Existence, Truth and Fundamentality”, the invited speakers being Graham Priest (Melbourne), Stephan Leuenberger (Glasgow), Dan López de Sa (Barcelona), Francesco Berto (Aberdeen), Friederike Moltmann (Paris – Pantheon Sorbonne) and Jason Turner (Leeds). (...) The workshop’s scope is fairly large, focusing on three different aspects of contemporary research in metaphysics. However, the underlying idea of organizers Thomas Sattig and Alessandro Torza consisted in exploring their interconnections and even new areas which possibly share the same problem spectrum. Also, they thought of bringing together both young and senior protagonists of the contemporary debate. In this sense, the main thread followed by the speakers consisted in enquiring the ideas of fundamentality, dependence and grounding with respect to ontology (Berto, López de Sa, Turner) and the truthmaking debate (Priest, Moltmann, Leuenberger), thus pretty much in line with some latest tendencies in metaphysics, such as, prima inter paria, the works of Kit Fine. When we say that something is more fundamental than something else, we move into a non-conventional (for the standards of 20 th century philosophy) metodological framework, hardly focusing on the question about what there is, and rather tackling the issue of how fundamentally there is what there is, or how the existence of something is required as a ground for the existence of other things. Here is how Jonathan Schaffer explains the methodological transition in his influential “On What Grounds What” (2009): -/- Among the many assumptions Quine and Carnap share is that metaphysical questions are existence questions, such as whether numbers exist. They only disagree on the further issue of whether such questions are meaningful (at least as the metaphysician might pose them). But why think that metaphysical questions are existence question of this sort? Return to Aristotle’s Metaphysics. There are virtually no existence question posed. The whole discussion is about substances (fundamental units of being). At one point Aristotle pauses to ask if numbers exist, and his answer is a brief and dismissive yes. [. . . ] For Aristotle, the question about numbers is whether they are transcendent substances or grounded in concreta. The question is not whether numbers exist, but how. (Schaffer, 2009, p. 347) -/- The conference opened with Graham Priest’s intriguing and peculiar review of Buddhist cornerstone “The Fundamental Verses of the Middle Way” (Mūlamadhyakamakārikā) by Nāgārjuna (ca. 150-ca. 250 AD), seen as a unrecognized forerunner of multi-valued semantics and dialetheism. Priest shows that Nagarjuna’s thought indeed has valuable analytic grip (contrary to the traditional mystical dismiss of his works altogether) and is even in accord to some formal schemas rejecting both the laws of excluded middle and non-contradiction. Dan López de Sa was interested in the topic of grounding, raising concerns about how to explain the kind of “reality” exemplified by what is not fundamental, but rather derivative on something else. He proposes a conceptual and non-primitive analysis of grounding as linked to fundamentality and derivation, and argues that the view can be advocated along with the acceptance that at least something is not fundamental. Subsequently, he illustrates an impressive range of applications linked to contemporary debates in meta-ontology, truthmaking and philosophy of time. Stephan Leuenberger discussed a semantics for “total logic”, a variant of first order logic which is claimed to have several applications with respect to the issue of excluding negative existentials from the scope of theories accounting for a given ’totality’ of facts. For example, materialism is the claim that everything there is can be traced back to physical facts or to truth implied by those facts. What about the claim that “There are no angels”? According to Leuenberger, ordinary logic falls prey of modal arguments (if it is possible that there are angels, by modus tollens, that it is not metaphysically necessary that everything there is is physical). So, there is space for the introduction of a new operator, the totality operator, claiming of what enters its scope that “that’s the whole truth”. Consequently, total logic’s semantics tackles David Chalmers’ well-known conceivability-based argument in favour of zombie’s (subjects producing behaviour but experiencing no qualia) possible existence. Friederike Moltmann presented a massive array of natural language-based examples on the role played by case-constructions, such as “it is the case that Caesar crossed the Rubicon”, “the case of the stolen statue”, “the case in which it might rain”, and so forth. She suggests that we should take surface phenomena of our language very seriously with regard to the determination of ontological categories and truth-makers. Cases are provided by many natural languages with their own existence predicates (“to occur” and “to present itself ”), and these do not apply to other kind of entities, such as objects and events. Trying to derive a substantive thesis on their nature, she claims that they are filtered entities, a structure taking into account some features of the corresponding objects and events and preserving their relational pattern. Jason Turner discussed meta-ontological concerns against the claim that ontological debates are defective. Analysed the structure of a metaphysical theory and identified two different forms of defectiveness that can occur in ontological questions, the defection from without and the defection from within, the author provided an original solution in order to avoid such difficulties. He argued thus in favor of a logical constancy, a translation principle thanks to it would be possible reconceive an ontological defection. Lastly, Francesco Berto’s talk closed the workshop with a sagacious discussion of meinongian quantification. He substains that Meinongians and Quineans experience no conceptual equivocation. Even if the former claims that “There are things that do not exist”, something that the latter contrasts with the interpretation of existential quantifiers as all-including, they still rely upon the same concept of “existence” and they understand each other when they are outside the ontology room, so that it cannot be that they lack competence. Subsequently, Berto deals with the objection that Meinongians commit analytic falsehood in separating the meaning of “to be” from that of “exists”. The Quinean has no independent evidence for analytic equivalence aside from her emphatic stress on the “is” in “there is”. Meinongians, however, can retort to linguistic considerations and claim that existence predicates display fairly different functions. -/- As for what regards our internal division of the “philosophical labor”, Fabio Ceravolo reviewed Moltmann and Berto’s talks; whereas Mattia Cozzi took care of Priest’s and Leuenberger’s, and Mattia Sorgon of those given by López de Sa and Turner. Conclusively, we would like to thank Thomas Sattig and Alessandro Torza for all of their organizational efforts and the kind welcome they reserved to us. We hope we will have further opportunities to collaborate with Tübingen in supporting similarly innovative and valiant european initiatives. (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 essay considers implications of formal mereologies and ontologies for medical metaphysics. Edward Fried’s extensional mereological account of the human body is taken as representative of a prominent strand in analytic metaphysics that has close affinities with medical positivism. I show why such accounts fail. First, I consider how Fried attempts to make sense of the medical case of Barney Clark, the first recipient of an artificial heart, and show that his analytic metaphysical categories do not have the (...) right kind of fit with the case. A proper medical metaphysic should involve a richer two way dialogue with medicine, and it should not just “apply” formal accounts worked out in other settings. Second, I argue that any effort to account for real wholes with extensional mereological sums requires all sorts of ad hoc, supplementary mechanisms that do the real work, and the full repertoire of these mechanisms involves inconsistencies and semantic shifts. Finally, I consider an alternative strand of work on non-extensional whole/part relations that is closer to medicine and that can deepen reflection on some core problems in bioethics, for example, associated with the determination of death when an organism ceases to function as a whole. In addition to the utility such formal ontologies have for addressing traditional problems such as the determination of death, philosophers of medicine should appreciate the increasingly influential role such formal tools are playing in the development of data system ontologies. Assumptions integral to these ontologies have far reaching implications for the way future research and practice in medicine will be conducted, and much greater critical reflection is needed on the full range of issues associated with the development and use of such medical ontologies. (shrink)

Title in English translation: Metametaphysics - with and without Categories. A comment paper on An Introduction to Metametaphysics by Tuomas Tahko. Ehdotan artikkelissa uutta olevan ja sen muodon välistä erottelua. Erottelun avulla voidaan antaa täsmällinen käsitys ontologisen kategorian käsitteestä ja metafysiikan tutkimuskohteesta. Argumentoin myös, että metafysiikan epistemologiaa ja semantiikkaa sekä metafyysistä selitttämistä pitää lähestyä kategorianäkökulmasta. Artikkeli on kommentti Tuomas Tahkon oppikirjaan An Introduction to Metametaphysics.

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)

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)

Some formal ontological relations are identified, in the context of an account of ontological categorization. It is argued that neither formal ontological relations nor ontological categories should themselves be regarded as elements of being, but that this does not undermine the claim of formal ontology to be a purely objective science. It is also argued that some formal ontological relations, like some ontological categories, are more basic than others. (...) A four‐category ontology is proposed, in which two basic categories of universals and two basic categories of particulars are distinguished in terms of certain formal ontological relations characteristically obtaining between entities belonging to the different categories. (shrink)

The game of life is an excellent framework for metaphysical modeling. It can be used to study ontological categories like space, time, causality, persistence, substance, emergence, and supervenience. It is often said that there are many levels of existence in the game of life. Objects like the glider are said to exist on higher levels. Our goal here is to work out a precise formalization of the thesis that there are various levels of existence in the game of (...) life. To formalize this thesis, we develop a set-theoretic construction of the glider. The method of this construction generalizes to other patterns in the game of life. And it can be extended to more realistic physical systems. The result is a highly general method for the set-theoretical construction of substances. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate in such processes. For this purpose we distinguish between meta-ontology and token ontologies. Token ontologies fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct though compatible systems of categories. The meta-ontological level then describes the relationships between the (...) different token ontologies. In a SNAP (snapshot) ontology we have enduring entities such as substances, qualities, roles, functions as these exist to be inventoried at a given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontological theory are required, together with the metaontology which joins them together, in order to give a non-reductionistic account of both static and dynamic aspects of the geospatial world. (shrink)

Some formal ontological relations are identified, in the context of an account of ontological categorization. It is argued that neither formal ontological relations nor ontological categories should themselves be regarded as elements of being, but that this does not undermine the claim of formal ontology to be a purely objective science. It is also argued that some formal ontological relations, like some ontological categories, are more basic than others. (...) A four‐category ontology is proposed, in which two basic categories of universals and two basic categories of particulars are distinguished in terms of certain formal ontological relations characteristically obtaining between entities belonging to the different categories. (shrink)

Axiomatic Formal Ontology is a fairly comprehensive systematic treatise on general metaphysics. The axiomatic method is applied throughout the book. Its main theme is the construction of a general non-set-theoretical theory of intensional entities. Other important matters discussed are the metaphysics of modality, the nature of actual existence, mereology and the taxonomy of entities.

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)

The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of the categories (...) identified and defined by a top-level ontology is integrated with the others in a coherent fashion. Basic Formal Ontology (BFO) has from the beginning included function as one of its categories, exploiting a version of the etiological account of function that is framed at a level of generality sufficient to accommodate both biological and artifactual functions. This account has been subjected to a series of criticisms and refinements. We here articulate BFO’s account of function, provide some reasons for favoring it over competing views, and defend it against objections. (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)

We propose a novel, ontological approach to studying mathematical propositions and proofs. By “ontological approach” we refer to the study of the categories of beings or concepts that, in their practice, mathematicians isolate as fruitful for the advancement of their scientific activity (like discovering and proving theorems, formulating conjectures, and providing explanations). We do so by developing what we call a “formal ontology” of proofs using semantic modeling tools (like RDF and OWL) developed by the computer (...) science community. In this article, (i) we describe this new approach and, (ii) to provide an example, we apply it to the problem of the identity of proofs. We also describe open issues and further applications of this approach (for example, the study of purity of methods). We lay some foundations to investigate rigorously and at large scale intellectual moves and attitudes that underpin the advancement of mathematics through cognitive means (carving out investigationally valuable concepts and techniques) and social means (like communication, collaboration, revision, and criticism of specific categories, inferential patterns, and levels of analysis). Our approach complements other types of analysis of proofs such as reconstruction in a deductive system and examination through a proof-assistant. (shrink)

In recent years philosophers have been interested in the methodology of metaphysics. Most of these developments are related to formal work in logic or physics, often against the backdrop of the Carnap-Quine debate on ontology. Drawing on Quine’s later work, I argue that a psychological or cognitive perspective on metaphysical topics may be a valuable addition to contemporary metametaphysics. The method is illustrated by means of cognitive studies of the notions “identity,” “vagueness,” and “object” and is compared to other (...) extant metametaphysical positions. (shrink)

There is an old meta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some form since the rise of logical positivism in the early twentieth century but has seen a bit of a renaissance recently. In this paper, I provide an apology for metaphysics in the face of this kind of concern. The core of the argument is this: pure mathematics detaches from science in (...) much the same manner as metaphysics and yet it is valuable nonetheless. The source of value enjoyed by pure mathematics extends to metaphysics as well. Accordingly, if one denies that metaphysics has value, then one is forced to deny that pure mathematics has value. The argument places an added burden on the sceptic of metaphysics. If one truly believes that metaphysics is worthless (as some philosophers do), then one must give up on pure mathematics as well. (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.