The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, (...) ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the (...) distinction between particular and property, replacing it with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

E.J.Lowe was a prominent and theistically–inclined philosopher who developed and defended a four–category ontology with roots in Aristotle’s Categories. But Lowe engaged in little philosophical theology and said even less about how a divine being might fit into his considered ontology. This paper explores ways in which the reality of a divine being might be squared with Lowe’s ontology. I motivate the exploration with a puzzle that suggests Lowe must reject either divine aseity or the traditional (...) view that God is a substance. After showing that the puzzle cannot be overcome by rejecting one of its premises, I consider ways in which Lowe might try to reject the puzzle wholesale. I argue that the best way to reject the puzzle is to countenance a fifth fundamental category, the category of supernatural substance. (shrink)

In his recent book, The Universe As We Find It, John Heil offers an updated account of his two-category ontology. One of his major goals is to avoid including relations in his basic ontology. While there can still be true claims positing relations, such as those of the form “x is taller than y” and “x causes y,” they will be true in virtue of substances and their monadic, non-relational properties. That is, Heil’s two-category ontology (...) is deployed to provide non-relational truthmakers for relational truths. This paper challenges the success of Heil’s project with respect to causation. The arguments here are not entirely negative, however. An option is made available to Heil’s ontology so that it might, at least to some extent, regain non-relational causings. (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 (...) class='Hi'>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)

Ontological pluralism is the view that there are different ways of being. Historically, ways of being are aligned with the ontological categories. This paper is about to investigate why there is such a connection, and how it should be understood. Ontological pluralism suffers from an objection, according to which ontological pluralism collapses into ontological monism, i.e., there is only one way to be. Admitting to ontological categories can save ontological pluralism from this objection if ways of being ground ontological categories. (...) -/- . (shrink)

According to Lowe’s Four-Category Ontology, the general nature of the entities belonging to the four fundamental categories is determined by the basic formal ontological relations (instantiation and characterization) that they bear to other entities. I argue that, in closer analysis, instead of one formal relation of characterization, this category system introduces two, one connecting particulars and another universals. With regard to the characterization relation connecting particulars, it remains an open issue whether it would need further analysis. By (...) contrast, the status of instantiation as an internal relation is comparatively clear. Nevertheless, because of holding by virtue of the essences of particulars, the holding of instantiation between universals and particulars rules out the possibility of kind change and entails that particulars are essentially rigidly dependent on universals. Finally, Lowe’s analysis of necessary exemplification gives us some reasons to suspect that some property universals need not have any instances in order to exist. (shrink)

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)

Notions such as śūnyatā, catuṣkoṭi, and Indra's net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nāgārjuna considered two levels of reality: one called conventional reality, and the other ultimate reality. Within this framework, śūnyatā refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuṣkoṭi refers to the claim (...) that four truth values, including contradiction, are admissible in reasoning. Indra's net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions that are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of śūnyatā. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of catuṣkoṭi. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (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)

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)

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)

(Report assembled for the Workshop of the AMIA Working Group on Formal Biomedical Knowledge Representation in connection with AMIA Symposium, Washington DC, 2005.) Best practices in ontology building for biomedicine have been frequently discussed in recent years. However there is a range of seemingly disparate views represented by experts in the field. These views not only reflect the different uses to which ontologies are put, but also the experiences and disciplinary background of these experts themselves. We asked six questions (...) related to biomedical ontologies to what we believe is a representative sample of ontologists in the biomedical field and came to a number conclusions which we believe can help provide an insight into the practical problems which ontology builders face today. (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)

The aim of this paper is to address a longstanding concern about the linguistic ‘relativ- ity’ of ontological categories, and resulting limitations in the scope of ontological theo- ries. Given recent evidence on the influence of language on cognitive dispositions, do we have empirical reasons to doubt that there are ontological categories that have uni- versal scope across languages? I argue that this is the case, at least if we retain the stan- dard ‘inferential’ approach within analytical ontology, i.e., (...) if we evaluate ontological interpretations of L-sentences relative to certain material inferences in L. Research in linguistic typology suggests that types of entities postulated for the domain of Indo- European languages cannot capture the ontological commitments of the (much larger group of) non-Indo-European languages. Ontological category theory thus seems to have three options. The first option is to abandon the standard ‘inferential’ approach to ontological category theory. Alternatively, if we stay with the inferential approach, we face the following choice. Either ontology must let go of its ambitions to provide general domain descriptions for any language and settle for the more modest project of reconstructing the ontological commitments of a group of natural languages. Or else analytical ontologists should turn to linguistic typology in order to accommodate the diversity of inferential structures embedded in natural languages. I recommend and ex- plore this third option, illustrating a strategy for how to construct a domain theory that can be used across languages. In a first step I show how linguistic research on the se- mantics of verbs and nouns (studies on so-called “Aktionsarten” and “Seinsarten”) can be used to identify the inferential patterns of ten basic concepts of modes of existence in time and space. In a second step I show how these inferential data can be inter- preted ontologically within General Process Theory, an ontological framework based on nonparticular individuals (“dynamics”). -/- . (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)

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 introduce the category of mereotopology Mtop as an alternative category to that of topology Top, stating ontological consequences throughout. We consider entities such as boundaries utilizing Brentano’s thesis and holes utilizing homotopy theory with a rigorous proof of Hausdorff Spaces satisfying [GEM]TC axioms. Lastly, we mention further areas of study in this category.

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)

The task of this chapter is to investigate and assess Grossmann’s view of the ontological status of categories. It has two dimensions. Because Grossmann does not offer a full discussion of the ontology of categories, we first need to present an interpretation of his view. Our point of departure is Grossmann’s claim that a category is a fundamental property of being (which implies that he holds view 3 above). Our second task is to assess the adequacy of his (...) view. We do this by raising some problems with Grossmann’s account, offering as an alternative view a version of 4 above, and defending it against what we construe as Grossmann’s possible counter-arguments. We argue that the best way to view categories themselves is as ontologically neutral insofar as this opens the way for particular categories to be linguistic entities, mental acts, or properties of extra-mental things. This requires, in turn, a qualified defense of two views rejected by Grossmann—common natures and modes of being. (shrink)

This is an extended review of John Dupré's _Processes of Life_, a collection of essays. It clarifies Dupré's concepts of reductionism and anti-reductionism, and critically examines his associated discussions of downward causation, and both the context sensitivity and multiple realization of categories. It reviews his naturalistic monism, and critically distinguishes between his realism about categories and constructivism about classification. Challenges to his process ontology are presented, as are arguments for his pluralism about scientific categories. None of his main conclusions (...) are rejected; rather it is main arguments for them that are the focus. (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.

The purpose of this book is to address the controversial issues of whether we have a fixed set of ontological categories and if they have some epistemic value at all. Which are our ontological categories? What determines them? Do they play a role in cognition? If so, which? What do they force to presuppose regarding our world-view? If they constitute a limit to possible knowledge, up to what point is science possible? Does their study make of philosophy a science? Departing (...) from the novelty –but no exclusively- of considering distinctions to be the subject matter of thought and language -that is, of reference and meaning- the author arrives at a radical novel conception of the ontological categories. The observations and arguments presented in it constitute a strong case against established and well-rooted tenets, if not paradigms, of contemporary philosophy, beyond ontology and epistemology. The entailing conclusions, open the door to a revival of the discipline and the importance of its studies, as the science of the constitutive elements of knowledge of a non-empirical nature. (shrink)

It is incontrovertible that the problem of insecurity is part of the ravening realities in the current civil society. It is a general problem facing the whole world. However, it is more pronounced in some parts of the world than in others. In African countries, especially in Nigeria, insecurity has been a seemingly insurmountable problem. It has rendered all attempts made by the government and individuals to stabilize the country thereby strengthening the principle of social co-operation, harmony and peaceful coexistence (...) among citizens, abortive. This paper argued that security seems to be an illusion in an African country like Nigeria because all attempts by the government to ensure stability do not put into consideration the ‘six paradoxes of violence’ largely responsible for insecurity. The paper examined the problem of insecurity in Nigeria and the paradoxes that need to be addressed if the nation ever hopes to deal meaningfully and honestly, with the challenge of insecurity that is drifting it apart. The paper identified the sixparadoxes of violence as outlined by Ali Mazrui, then analysed how these six paradoxes serve as the major barriers to the peaceful coexistence of people in Nigeria, and how they persistently threaten the unity of the nation at any slight provocation. The paper also suggested some ways by which these paradoxes can be addressed thereby ensuring a level of peace and social stability. (shrink)

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)

One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those (...) who created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

This paper is an essay in what Austin (_Proc Aristotel Soc_ 57: 1–30, 1956–1957) called "linguistic phenomenology". Its focus is on showing how the grammatical features of ordinary causal verbs, as revealed in the kinds of linguistic constructions they can figure in, can shed light on the nature of the processes that these verbs are used to describe. Specifically, drawing on the comprehensive classification of English verbs founds in Levin (_English verb classes and alternations: a preliminary investigation_, University of Chicago (...) Press, Chicago, 1993), I divide the forms of productive causal processes into five classes, corresponding to Aristotle's ontological categories: there are processes that cause change in location, in state, and in quantity; and that lead to the creation and destruction of substances. These broader categories are then subdivided into other ones, corresponding to different Levin classes, according to further differences in the causal processes they involve. I conclude by discussing the relevance of this argument to research in metaphysics and experimental philosophy. (shrink)

One well known problem regarding quantifiers, in particular the 1st order quantifiers, is connected with their syntactic categories and denotations.The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functor-function defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

Ontology has been proposed as a solution to the 'Tower of Babel' problem that threatens the semantic interoperability of information systems constructed independently for the same domain. In information systems research and applications, ontologies are often implemented by formalizing the meanings of words from natural languages. However, words in different natural languages sometimes subdivide the same domain of reality in terms of different conceptual categories. If the words and their associated concepts in two natural languages, or even in two (...) terminological traditions within the same language, do not have common referents in the real world, an ontology based on word meanings will inherit the 'Tower of Babel' problem from the languages involved, rather than solve it. In this paper we present evidence from a preliminary comparison of landscape terms in English with those in the Yindjibarndi language of northwestern Australia demonstrating that this problem is not just hypothetical. Some possible solutions are suggested. (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)

When, for example, we say of something that it ‘is an object’, or ‘is an event’, or ‘is a property’, we are engaging in categorial predication: we are assigning something to a certain ontological category. Ontological categorization is clearly a type of classification, but it differs radically from the types of classification that are involved in the taxonomic practices of empirical sciences, as when a physicist says of a certain particle that it ‘is an electron’, or when a zoologist (...) says of a certain animal that it ‘is a mammal’, or when a meteorologist says of a certain weather‐phenomenon that it ‘is a hurricane’. Classifications of the latter types presuppose that the items being classified have already been assigned to appropriate ontological categories, such as the categories of object, species, or event. What do categorial predications mean? How are their truth‐conditions to be determined, and how can those truth‐conditions be known to be satisfied? Do they have truthmakers? Questions like these are amongst those addressed in the present paper. (shrink)

There is growing support for the view that social categories like men and women refer to “objective types” (Haslanger 2000, 2006, 2012; Alcoff 2005). An objective type is a similarity class for which the axis of similarity is an objective rather than nominal or fictional property. Such types are independently real and causally relevant, yet their unity does not derive from an essential property. Given this tandem of features, it is not surprising why empirically-minded researchers interested in fighting oppression and (...) marginalization have found this ontological category so attractive: objective types have the ontological credentials to secure the reality (and thus political representation) of social categories, and yet they do not impose exclusionary essences that also naturalize and legitimize social inequalities. This essay argues that, from the perspective of these political goals of fighting oppression and marginalization, the category of objective types is in fact a Trojan horse; it looks like a gift, but it ends up creating trouble. I argue that objective type classifications often lack empirical adequacy, and as a result they lack political adequacy. I also provide, and in reference to the normative goals described above, several arguments for preferring a social ontology of natural kinds with historical essences. (shrink)

When we ask what natural kinds are, there are two different things we might have in mind. The first, which I’ll call the taxonomy question, is what distinguishes a category which is a natural kind from an arbitrary class. The second, which I’ll call the ontology question, is what manner of stuff there is that realizes the category. Many philosophers have systematically conflated the two questions. The confusion is exhibited both by essentialists and by philosophers who pose (...) their accounts in terms of similarity. It also leads to misreading philosophers who do make the distinction. Distinguishing the questions allows for a more subtle understanding of both natural kinds and their underlying metaphysics. (shrink)

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

The relation of ontological dependence or grounding, expressed by the terminology of separation and priority in substance, plays a central role in Aristotle’s Categories, Metaphysics, De Anima and elsewhere. The article discusses three current interpretations of this terminology. These are drawn along the lines of, respectively, modal-existential ontological dependence, essential ontological dependence, and grounding or metaphysical explanation. I provide an opinionated introduction to the topic, raising the main interpretative questions, laying out a few of the exegetical and philosophical options that (...) influence one’s reading, and locating questions of Aristotle scholarship within the discussion of ontological dependence and grounding in contemporary metaphysics. (shrink)

Virtually everyone who has advanced an ontology of art has accepted a constraint to the effect that claims about ontology should cohere with the sort of appreciative claims made about artworks within a mature and reflective version of critical practice. I argue that such a constraint, which I agree is appropriate, rules out a one-size-fits-all ontology of contemporary visual art (and thus of visual art in general). Mature critical practice with respect to contemporary art accords artists a (...) significant degree of stipulative authority regarding the features and boundaries of their works. This results in ontological variation among visual artworks. Any claim to the effect that all works belong to the same ontological category will thus come out false or uninformative. Interesting, substantive claims about ontological status can be made only in relation to specific works; that is, we must consider the ontological status of each contemporary artwork individually. The only general ontological claim that can be made about visual artworks (and also about artworks in other forms) is that they belong to the sort of thing that artists create. But this is not a substantive ontological claim. (shrink)

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been (...) executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)

This paper argues for the philosophical and semantic importance of attitudinal objects, entities such as judgments, claims, beliefs, demands, and desires, as an ontological category distinct from that of events and states and from that of propositions. The paper presents significant revisions and refinements of the notion of an attitudinal object as it was developed in my previous work.

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem (...) of Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

Ontologies are being used by information scientists in order to facilitate the sharing of meaningful information. However, computational ontologies are problematic in that they often decontextualize information. The semantic content of information is dependent upon the context in which it exists and the experience through which it emerges. For true semantic interoperability to occur among diverse information systems, within or across domains, information must remain contextualized. In order to bring more context to computational ontologies, we introduce culture as an essential (...) concept for information science. Culture helps to focus our attention on and make meaning of relevant extrapersonal structures and their qualities and dimensions that comprise the context and background of the world. In our approach, culture is integral to the study of semantics and, consequently, the study of ontologies and information technologies. The meaning we make of entities and phenomena in the world is always shaped by our cultural experience. If we understand culture as the emergent interplay of intrapersonal cognitive structures and extrapersonal structures of the world, then the notion of cognitive and cultural schemas becomes essential to understanding ontology and the ways in which we might achieve authentic semantic interoperability among diverse information systems. We explore the nature of ontologies and reconceptualize them as cultural schemas. Our proposal is an alternative to the historical path from philosophical ontology to computational ontologies as one that adheres primarily to the notion of ontology as a categorization and classification system. The obvious implication for ontology as categorization is that there is a single objective world that exists and that it can be described as entirely separate from the person observing it. We draw upon Heidegger’s examination of ontology to ground ontology in a phenomenological perspective, enabling it to remain flexible and adaptable and to accommodate context. (shrink)

Consider the most recent Yale-Harvard football game, an event which occurred on 11/20/21 in New Haven, lasting about three hours. This event, like many college football games before, was composed of four quarters, each of which was composed of possessions, each of which was composed of downs, each of which was composed of particular movements, tackles and decisions of the individual players. Each of these parts of the game was itself an event, occurring in a smaller region of space and (...) time than the game itself. Each of these events involved material objects like players, helmets, jerseys, etc. Each had causes and effects, and each instantiated qualitative properties, such as being a kickoff or being a tackle. These are paradigmatic examples of events. Events are many and varied; some other examples include the melting of an ice cube, the birth of a horse, the supernova of a star, the presidential election campaign and a winter snowstorm. Each of these took place in a certain region of spacetime, had other events as parts, involved certain objects, had causes and effects, and instantiated properties. Objects and their properties are not the only furniture in the world. Events are a crucial part of our manifest and scientific pictures of the world. We go to football games, think about and participate in elections, eagerly anticipate the birth of a child, and quantify over and explain such things in our scientific theories. Yet, events have received insufficient attention from metaphysicians. Some philosophers have been skeptical of events, holding that talk of events can be paraphrased away, or that events can be reduced to objects and properties.1 When philosophers have accepted events, their motivations have usually been extrinsic—events are introduced in order to play a role in a larger philosophical system. This tendency has led philosophers to miss a number of interesting features of events. In this paper, I wish to reverse that trend by developing an ontology of events which is not an afterthought with respect to another philosophical project. In so doing, I will provide answers to substantive metaphysical questions about the relations in which events stand and their identity conditions. In the next section, I identify four basic relations in which events stand: parthood, involvement, causation and instantiation, focusing in particular on involvement. Then, I argue that events are individuated by their involvements, and criticize the identity conditions which have been offered by other philosophers, notably Quine, Davidson and Kim. I then conclude. (shrink)

This is a commentary on the article by Augusto (2022; this issue) on categories and foundation ontology (FO). We agree that the notion of categories of kinds of elements to devise a FO deserves more attention than it has received to date. From a practical point of view sensu developing domain ontologies, however, it probably does not matter much as long as a FO is used and that that one was understood.

In the approach that sustains this entire essay, besides my own trajectory as a researcher, the path moves away from the orthodox tradition, the more Kantian one, incorporating in Social Theory a philosophical line for a long time forgotten, by including figures such as Baruch Spinoza (1632-1677), the founding father, Friedrich Nietzsche (1844-1900), Alfred North Whitehead (1861-1947), Henri Bergson (1859-1941), Gilbert Simondon (1924-1989), Gilles Deleuze (1925-1995) and many others. They would be the famous authors of vitalism, also known as philosophers (...) of life (Lebensphilosophie), philosophers of process, or philosophers of affect. What are the implications when these figures invade the field of Social Theory, which characteristics can be found and, mainly, which advantages when compared with their more orthodox side and their insistent commitment to Kantian philosophy and its transcendental by-products (power, culture, ideology, discourse, etc)? Following this and other questions, six points will be considered as representative of what we call here an Object-Oriented Social Theory (O.O.S.T.). (shrink)

After a short sketch of Lowe’s account of his four basic categories, I discuss his theory of formal ontological relations and how Lowe wants to account for dispositional predications. I argue that on the ontic level Lowe is a pan-categoricalist, while he is a language dualist and an exemplification dualist with regard to the dispositional/categorical distinction. I argue that Lowe does not present an adequate account of disposition. From an Aristotelian point of view, Lowe conflates dispositional predication with hôs epi (...) to poly statements about what is normally or mostly the case. (shrink)

A comparison of six alternative definitions of the term 'cellular pathway' against the background of ontological realism.

Being an "untimely review", this paper reviews Aristotle's 'Categories' as if they were published today, in the era of computerised information, where categorisation becomes more and more essential for information retrieval. I suggest a systematic ordering of Aristotle's list of categories and argue that Aristotle's discussion of ontological dependency and his focus on concrete entities are still a source of new insight and can indeed be read as a contribution to the emerging field of applied ontology and ontological engineering.