Ontological Categories

Arguments for a theory about the nature of the ontological categories, the relations that determine them and their epistemic role in the construction of different kinds of limited, but true knowledge of reality in itself.

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.

There is an emerging view according to which countability is not an integral part of the lexical meaning of singular count nouns, but is ‘added on’ or ‘made available’, whether syntactically, semantically or both. This view has been pursued by Borer and Rothstein among others in order to deal with classifier languages such as Chinese as well as challenges to standard views of the mass-count distinction such as object mass nouns such as furniture. I will discuss a range of data, (...) partly from German, that such a grammar-based view of countability receives support when applied to verbs with respect to the event argument position. Verbs themselves fail to specify events as countable in English and related languages; instead countability is made available only by the use of the event classifier time or else particular lexical items, such as frequency expressions, German beides ‘both’, or the nominalizing light noun -thing. The paper will not adopt or elaborate a particular version of the grammar-based view of countability, but rather critically discuss existing versions and present two semantic options of elaborating the view. (shrink)

Intuitivamente, la realidad está formada por entidades y hechos existentes y concretos. Sin embargo, nuestro lenguaje y pensamiento versa también sobre hechos meramente posibles, sobre cosas inexistentes y entidades abstractas. ¿Cómo es esto posible? ¿Significa ello que cuando hablamos y pensamos de estas otras cosas no hablamos de nada real? ¿o mas bien la realidad está mas poblada de lo que pensábamos y hay diferentes maneras de formar parte de la realidad además de la de existir de manera positiva y (...) concreta? En este libro trataremos de arrojar luz a estas y otras preguntas similares, poniendo atención a las estrategias argumentativas generales que suelen esgrimirse en esta rama de la filosofía. (shrink)

What the Sorites has to tell us is a simple truth regarding our categories. It appears to saddle us with something other than a simple truth—something worse, a contradiction or a problem or a paradox—only when we insist on viewing it through a discrete logic of categories. Discrete categories and discrete logic are for robots. We aren’t robots, and the simple truth is that we don’t handle categories in the way any discrete logic would demand. For us non-robots, what the (...) Sorites has to offer is a straightforward truth regarding how incapable robots and their logic are of handling categories like ours. (shrink)

In this paper, I argue that all expressions for abstract objects are meaningless. My argument closely follows David Lewis’ argument against the intelligibility of certain theories of possible worlds, but modifies it in order to yield a general conclusion about language pertaining to abstract objects. If my Lewisian argument is sound, not only can we not know that abstract objects exist, we cannot even refer to or think about them. However, while the Lewisian argument strongly motivates nominalism, it also undermines (...) certain nominalist theories. (shrink)

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her to a sui (...) generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

Philosophers frequently draw on natural language to motivate properties, numbers, and propositions as objects, and it is generally taken for granted that abstract objects of this sort are well-reflected in natural language and in fact that reference to them in natural language is pervasive In this paper, I will review and modify in a certain way the view I had advanced in Abstract Objects and the Semantics of Natural Language (Moltmann 2013a). This is the view that natural language permits reference (...) to abstract objects only in its periphery, not in its core. Even though reference to abstract objects of the sort of properties, propositions, and numbers is available only in the periphery of language, natural language permits reference to other sorts of abstract objects in its core, in particular abstract artifacts of various sorts. (shrink)

Nominalizations of modal predicates have received little, if any, attention in the semantic or philosophical literature. This paper will argue that nominalizations of modal predicates require recognizing a novel ontological category of modal objects and it will outline a new semantics of modals based on modal objects.

ABSTRACT: I argue that Sellars’s metaconceptual theory of the categories exemplifies and extends a long line of nominalistic thinking about the nature of the categories from Ockham and Kant to the Tractatus and Carnap, and that this theory is far more central than has generally been realized to each of Sellars’s most famous and enduring philosophical conceptions: the myth of the given, the logical space of reasons, and resolving the ostensible clash between the manifest and scientific images of the human (...) being in the world. Sellars’s distinctive contribution to this longstanding (if currently on the defensive) metaconceptual approach to the nature of ontological categories was to interpret and reconstruct it in terms of his own ‘meaning as use’ or norm-governed inferential role semantics. With these resources Sellars sought to preserve the genuine insights in the ‘realist’ or broadly platonic traditions while simultaneously defending the idea that in the end, as he puts it, “a naturalistic ontology must be a nominalistic ontology” (1980a NAO IV §129). (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)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)

A study in the ontology of perceptual ‘meaning’, especially with regard to the fact that any particular meaning is always potentially replaceable by its polar opposite. -/- We’re picking up a thread here from where we left off in the previous article (Spiritual metaphysics #1) and taking another look at an aspect of the features of any basic perception. Disregarding (for now) the fact that all perceptions (of whatever kind; mental or sense perceptual) are always, as it were, ‘illumined’ by (...) their knowability, there is another remarkable (not to say astonishing!) ability inherent to perception which, though we are all well aware of it, yet we strangely refuse to entertain and explore its implications seriously. This prevents us from reaching a stage (in our thinking) where a kind of ‘transformative insight’ might occur. We seem to prefer instead to remain in a blinkered ‘mode of thought’ — a way of thinking and conceiving — which condemns us to remain in a type of straightened normality and ordinariness which, with a bit of sustained exploration and inquiry and intellectual analysis, we can actually ‘transcend’. Whether or not this is something we would want to do, is a question for each individual. It should be stressed again and again, however, that this supposed ‘transcendence’ has nothing whatsoever to do with meditation, mindfulness or any altered state of consciousness: it is wholly and purely a matter of coming to a ‘mental’ (meaning intellectual) insight. (shrink)

In this very issue, Augusto (2022) formulates two requirements upon which to evaluate the adequacy of a foundational ontology. Specifically, the ontological categories: (i) should be understood as the most general kinds of things and (ii) are organized in a non-overlapping finite hierarchy. On the basis of such constraints, he claims that most existing foundational ontologies engineered in the context of Applied Ontology, including the UFO-B ontology, are inadequate. In this article, first we show that his objection against UFO-B can (...) be dissipated by pointing to a trivial terminological confusion. We then argue that his two constraints are not plausible. Then, we show that the disagreement between our point of view and Augusto’s framework is not restricted to those two constraints but extends over the notion of conceptualization of reality. (shrink)

In this paper, I seek to explain Suhrawardī’s method of writing his allegories – how he draws upon his philosophical principles to construct forms and plots of his stories. To do so, I begin by delineating two key doctrines of his Illuminationist (Ishrāqī) ontology: the world of Forms (‘ālam al-muthul) and the discontinuous imaginal world (‘ālam al-mithāl al-munfaṣil). I provide an account of the history of these two doctrines and the nature of these two worlds, and then consider some of (...) their functions for, and effects on, Suhrawardī’s explanations and analyses. I will then deal with Suhrawardī’s allegories, pinpointing particular effects of the belief in the world of Forms and the imaginal world on his symbolisms and allegories. Distinguishing three main spiritual-mystical notions in Suhrawardī’s allegories, I elaborate upon the role of the above two doctrines in his construction of characters and fictional events, whereby I demystify certain symbols in these stories. I conclude that there is a close tie between Suhrawardī’s allegories and his philosophical doctrines. Thus, his spiritual doctrines are presented in a symbolic form in certain allegorical characters and adventures. The deployment of characteristics of the world of Forms and the imaginal world plays a central role here. (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.

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Este capítulo versa sobre a relação de Kierkegaard com um dos problemas filo- sóficos centrais da ontologia e epistemologia, i.e., o problema das categorias. O texto te- mos um tríplice objetivo: 1) explicitar que Kierkegaard se envolveu com o problema das categorias; 2) identificar o estado da questão dessa relação por meio de uma recensão da literatura; e 3) apontar os problemas ainda em aberto e o que está indeterminado dessa relação Kierkegaard-Problema das categorias a partir desses comentadores.

_Nicolai Hartmann and Alexius Meinong on Apriority and Causality. Notes on the Correspondence_ The article offers a critical reading of the nine letters composing the correspondence exchanged by Alexius Meinong (1853-1920) and Nicolai Hartmann (1882-1950) in 1915 and 1918-1920. The author explores the main contents of the correspondence, through a chronological-thematic analysis. The letters of 1915 are eminently dedicated to a discussion of the gnoseology-ontology relationship. Here, the author focuses (1.1) on the relationship between reality and knowledge and (1.2) on (...) that between a priori and cognitive principles. The analysis (2) of the 1918-1920 correspondence concludes the article, engaging in the theme of the law of causality. Different in the philosophical background and argumentative style, the late Meinong and the young Hartmann find a field of dialogue that appears not lacking in consequences on the philosophical evolution of the latter. (shrink)

According to Lynne Rudder Baker, our everyday world is populated, among other things, by what she calls “intention-dependent objects” (“ID objects”), i.e., objects which “could not exist in a world lacking beings with beliefs, desires, and intentions” (Baker (2007), p. 11). Baker’s claim that what exists, at least in part, depends on human activity opens her up to the concern, or so her critics have argued, that new objects and new kinds of objects can apparently be “conjured” into existence, given (...) her framework, simply by adopting new ways of speaking or thinking about already existing things (Koslicki (2018), Chapter 8). When Baker responds to a version of this objection launched against her account in Zimmerman (2002), she proposes that we cannot simply speak or think things into existence for which “our conventions and practices do not have a place” (Baker (2007), p. 44). In order for this response to be effective, however, we need to know more about how our conventions and practices support the creation of some ID objects and the kinds to which they belong, while disallowing the attempted creation of others. In this paper, I examine the effectiveness of Baker’s response in addressing the challenges posed by the inclusion of ID objects, such as artifacts, in Baker’s practical realist ontology. -/- . (shrink)

It has been a common assumption that words are substances that instantiate or have properties. In this paper, I question the assumption that our ontology of words requires posting substances by outlining a bundle theory of words, wherein words are bundles of various sorts of properties (such as semantic, phonetic, orthographic, and grammatical properties). I argue that this view can better account for certain phenomena than substance theories, is ontologically more parsimonious, and coheres with claims in linguistics.

Universals appear to be as central in today's computational-based ontology as they were in medieval ontological investigations. As the author of a recent work on the history of universals (Pinzani, 2018), I was asked for a commentary on Augusto’s article “Bridging Mainstream and Formal Ontology” (Augusto, 2021), which aims at showing that medieval ontological investigations can be relevant for contemporary ontology engineering. In this commentary, I begin by saying something about my way of reading 12th-century logical literature and then offer (...) some modest considerations on the general theme addressed in Augusto's article. (shrink)

Pantheists are often accused of lacking a sufficient account of the unity of the cosmos and its supposed priority over its many parts. I argue that complex theists, those who think that God has ontologically distinct parts or attributes, face the same problems. Current proposals for the metaphysics of complex theism do not offer any greater unity or ontological independence than pantheism, since they are modeled on priority monism. I then discuss whether the formal distinction of John Duns Scotus offers (...) a way forward for complex theists. I show that only those classical theists who affirm divine simplicity are better off with respect to aseity and unity than pantheists. Only proponents of divine simplicity can fairly claim to have found a fully independent ultimate being. (shrink)

In this paper we introduce some logical and philosophical refinements to OntoClean, first by developing some formal constraints on identity criteria, secondly by specifying a kind of identity criteria, two level identity criteria, whose role is to explain an identity among some entities referring to some other, more basic, entities. Using such refinement we add a formal constraint to the stock of OntoClean meta-constraints (OC+). We, then, observe that two level identity criteria have an intuitive reading in terms of dependence (...) of a kind of entities on some other entities, possibly specified in terms of a grounding relation. Are identity criteria grounding principles? In the second part of the paper we discuss this option. (shrink)

The aim of this thesis is to propose a deflationary approach towards the ontological analysis of physical theories. Such an approach sustains that the development of ontologies for physical theories must be neutral relatively to the debate between realists and anti-realists in philosophy of physics. Mainly, our attention will be oriented towards what we called "quantum domain", which includes the non-relativistic Quantum Mechanics and variants of the Quantum Field Theory. This meta-ontological approach consists in an attempt to provide a methodology (...) for the development of specific ontologies for physical theories. With this aim we suggest the separation between physical phenomena and physical theories on one side, and physical theories and ontologies on the other side. This separation intends to endorse the idea that physical theories can provide all the informative contents required for the development of the ontologies associated with them. The result is a defense of the idea that physical theories can positively contribute for the constitution of the ontologies in physics. Additionally, we present a critical analysis of four different ontological approaches to QM and QFT. Each one of these interpretations deals with a different ontological category (tropes, events and processes). At the end of the thesis we will analyze the concepts of interaction and commutation in QFT in order to exemplify the main lines of the deflationary approach suggested here. (shrink)

Here, I lay the foundations of a high-level ontology of particulars whose structuring principles differ radically from the 'continuant' vs. 'occurrent' distinction traditionally adopted in applied ontology. These principles are derived from a new analysis of the ontology of “occurring” or “happening” entities. Firstly, my analysis integrates recent work on the ontology of processes, which brings them closer to objects in their mode of existence and persistence by assimilating them to continuant particulars. Secondly, my analysis distinguishes clearly between processes and (...) events, in order to make the latter abstract objects of thought (alongside propositions). Lastly, I open my ontological inventory to properties and facts, the existence of which is commonly admitted. By giving specific roles to these primitives, the framework allows one to account for static and dynamic aspects of the physical world and for the way that subjects conceive its history: facts account for the life of substances (physical objects and processes), whereas events enable cognitive subjects to account for the life story of substances. (shrink)

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

Ethnobotanical research provides ample justification for comparing diverse biological nomenclatures and exploring ways that retain alternative naming practices. However, how (and whether) comparison of nomenclatures is possible remains a subject of discussion. The comparison of diverse nomenclatural practices introduces a suite of epistemic and ontological difficulties and considerations. Different nomenclatures may depend on whether the communities using them rely on formalized naming conventions; cultural or spiritual valuations; or worldviews. Because of this, some argue that the different naming practices may not (...) be comparable if the ontological commitments employed differ. Comparisons between different nomenclatures cannot assume that either the naming practices or the object to which these names are intended to apply identifies some universally agreed upon object of interest. Investigating this suite of philosophical problems, I explore the role grey nomenclatures play in classification. ‘Grey nomenclatures’ are defined as those that employ names that are either intentionally or accidentally non-Linnaean. The classification of the lichen thallus (a symbiont) has been classified outside the Linnaean system by botanists relying on the International Code of Nomenclature for algae, fungi, and plants (ICN). But, I argue, the use of grey names is not isolated and does not occur exclusively within institutionalized naming practices. I suggest, ‘grey names’ also aptly describe nomenclatures employed by indigenous communities such as the Samí of Northern Finmark, the Sherpa of Nepal, and the Okanagan First Nations. I pay particular attention to how naming practices are employed in these communities; what ontological commitments they hold; for what purposes are these names used; and what anchors the community’s nomenclatural practices. Exploring the history of lichen naming and early ethnolichenological research, I then investigate the stakes that must be considered for any attempt to preserve, retain, integrate, or compare the knowledge contained in both academically formalized grey names and indigenous nomenclatures in a way that preserves their source-specific informational content. (shrink)

Natural languages generally distinguishes among different existence predicates for different types of entities, such as English 'exist', 'occur', and 'obtain'. The paper gives an in-depth discussion and analysis of a range of existence predicates in natural language within the general project of descriptive metaphysics, or more specifically ‘natural language ontology’.

"Ontology" focuses on three ways ground and ontology are said to relate. One way involves ground's ability to provide a safe and sane way of admitting certain kinds of things in our theories. Another way involves ground's ability to show how we should measure ontological simplicity. And a third way involves ground's ability to restrict what things or kinds of things can depend on other things or kinds.

There are several passages in the Metaphysics where Aristotle explains ontological priority in terms of ontological dependence, but there are others where he seems to adopt a teleological conception of ontological priority. It is sometimes maintained that the latter priority too must be construed in terms of the former, or that the priorities in question are not both endorsed (or simultaneously endorsed) by Aristotle. The goal of this paper is to show otherwise; I argue that what is at issue are (...) two distinct priorities that Aristotle simultaneously endorses. (shrink)

This dialogue presents a substantive account of the nature and aim of ontology.Export citation.

The Parmenides poses the question for what entities there are Forms, and the criticism of Forms it contains is commonly supposed to document an ontological reorientation in Plato. According to this reading, Forms no longer express the excellence of a given entity and a Socratic, ethical perspective on life, but come to resemble concepts, or what concepts designate, and are meant to explain nature as a whole. Plato’s conception of dialectic, it is further suggested, consequently changes into a value-neutral method (...) directed at tracing the interrelation of such Forms, an outlook supposedly documented in certain passages on method from the Sophist and the Statesman as well. -/- The article urges that this reading is untenable. For in the Parmenides the question for what entities one should posit Forms is left open, and the passages on method from the Sophist and Statesman neither encourage a non-normative ontology nor a value-neutral method of inquiry. What the three dialogues encourage us to do is rather to set common opinions about the relative worth and value of things aside when conducting ontological inquiries; and this attitude, the article concludes, demonstrates a close kinship, rather than a significant difference, between Plato’s Socrates and his Eleatic philosophers. (shrink)

The natural name theory, recently discussed by Johnson (2018), is proposed as an explanation of pure quotation where the quoted term(s) refers to a linguistic object such as in the sentence ‘In the above, ‘bank’ is ambiguous’. After outlining the theory, I raise a problem for the natural name theory. I argue that positing a resemblance relation between the name and the linguistic object it names does not allow us to rule out cases where the natural name fails to resemble (...) the linguistic object it names. I argue that to avoid this problem, we can combine the natural name theory with a type-realist metaphysics of language, and hold that the name is natural because the name is an instance of the kind that it names. I conclude by reflecting on the importance of the metaphysics of language for questions in the philosophy of language. (shrink)

The conception that the world can be represented as a system of levels of being can be traced back to the beginnings of European philosophy and has lost little of its plausibility in the meantime. One of the important modern conceptions of levels was developed by Nicolai Hartmann. It exhibits remarkable similarities and contrasts with the classification of the real developed by Werner Heisenberg in his paper Ordnung der Wirklichkeit (Order of Reality). In my contribution I will introduce these two (...) conceptions of levels and compare their salient features. I will discuss them as variants of a scientific worldview that attempts to forge a link to the perspective of the lifeworld. Then I will go on to argue that the shortcomings of these conceptions can be remedied by extending them with the level of the very small and that of the very large. The introduction of these ontologically fundamental levels is based on scientific knowledge that for the most part eludes he intuitively representable character of lifeworld experience. Historical changes in science and the lifeworld could lead to the notion that reality can be represented as a system of levels being challenged in future. (shrink)

In this paper I offer a unified causal account of natural kinds. Using as a starting point the widely held view that natural kind terms or predicates are projectible, I argue that the ontological bases of their projectibility are the causal properties and relations associated with the natural kinds themselves. Natural kinds are not just concatenations of properties but ordered hierarchies of properties, whose instances are related to one another as causes and effects in recurrent causal processes. The resulting account (...) of natural kinds as clusters of core causal properties that give rise to clusters of derivative properties enables us to distinguish genuine natural kinds from non-natural kinds. For instance, it enables us to say why some of the purely conventional categories derived from the social domain do not correspond to natural kinds, though other social categories may. (shrink)

Meta-metaphysics concerns the nature and methodology of metaphysics and metaphysical inquiry. The emergence of meta-metaphysics as a systematic area of study is relatively recent, going back to the late 1990s. But the issues pursued in meta-metaphysics are certainly not novel: an age old question about the nature of metaphysics is whether it is possible to obtain knowledge about metaphysical matters in the first place, and if it is, how this knowledge is obtained.

According to standard trope nominalism, there are simple tropes that do not have parts or multiply distinct aspects. Douglas Ehring’s reductio ad absurdum against this standard view concludes that there are no simple tropes. In this paper, we provide a response to Ehring defending the standard view. Ehring’s argument may be refuted by (1) distinguishing the ontological form of tropes from their contribution to the ontological content of the world, and (2) construing tropes as having primitive identity. At the same (...) time, standard trope nominalism is elaborated on by distinguishing between ontological form and content, for which there are also independent reasons. (shrink)

The aim of natural language ontology is to uncover the ontological categories and structures that are implicit in the use of natural language, that is, that a speaker accepts when using a language. This article aims to clarify what exactly the subject matter of natural language ontology is, what sorts of linguistic data it should take into account, how natural language ontology relates to other branches of metaphysics, in what ways natural language ontology is important, and what may be distinctive (...) of the ontological categories and structures reflected in natural language. (shrink)

Aristotle’s philosophy is considered with respect to one central concept of his philosophy, viz. opposition. Far from being a mere side-effect of syllogistic, it is argued in the present paper that opposition helps to articulate ontology and logic through an account of what can be or cannot be in a systematic and structural way. The paper is divided into three main parts. In Section I, the notion of Being is scrutinized through Aristotle’s theory of categories. In Section II, the notion (...) of Non-Being is connected to Aristotle’s theory of oppositions. In Section III, the notion of essence is revisited in order to bring about a holist theory of meaning by individuating through opposite properties. In conclusion, the legacy of Aristotle is depicted as balanced between a powerful reflection around Being and a restrictive ontology of substance. (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.

[A comment paper on Tuomas Tahko's book An Introduction to Metametaphysics (CUP, 2016).] Pyrin tässä artikkelissa selvittämään, missä määrin Tuomas Tahkon kirjan An Introduction to Metametaphysics luvussa 9 esittämä käsitys tieteen ja metafysiikan suhteesta tuo selvyyttä metafysiikan luonteeseen itsenäisenä tutkimusalana. Analyyttinen metafysiikka on joutunut viimeisten viidentoista vuoden aikana kasvavan kritiikin kohteeksi. James Ladymanin (2012) mukaan viime aikoina suosittu käsitys metafyysisen teorian valinnasta teoreettisten hyveiden perusteella kohtaa niin sanotun vahvan globaalin alimääräytyneisyyden ongelman. Tahko pyrkii vastaamaan näihin huoliin esittämällä synteesiin E.J. Lowen (...) metafysiikkakäsityksen ja Laurie Paulin (2002) esittämien ideoiden välillä. Argumentoin, että Tahkon vastaus on sikäli puutteellinen, että se jättää avoimeksi kysymyksen parhaan ontologisen kategoriajärjestelmän valinnasta. Teen ehdotuksia siitä, miten voimme välttää alimääräytyneisyyshuolen myös tässä tapauksessa. (shrink)

Discussions over whether these natural kinds exist, what is the nature of their existence, and whether natural kinds are themselves natural kinds aim to not only characterize the kinds of things that exist in the world, but also what can knowledge of these categories provide. Although philosophically critical, much of the past discussions of natural kinds have often answered these questions in a way that is unresponsive to, or has actively avoided, discussions of the empirical use of natural kinds and (...) what I dub “activities of natural kinding” and “natural kinding practices”. The natural kinds of a particular discipline are those entities, events, mechanisms, processes, relationships, and concepts that delimit investigation within it—but we might reasonably ask: How are these natural kinds discovered?, How are they made?, Are they revisable?, and Where do they come from? A turn to natural kinding practices reveals a new set of questions open for investigation: How do natural kinds explain through practice?, What are natural kinding practices and classifications and why should we care?, What is the nature of natural kinds viewed as a set of activities?, and How do practice approaches to natural kinds shape and reconfigure scientific disciplines? Natural kinds have traditionally been discussed in terms of how they classify the contents of the world. The metaphysical project has been one which identifies essences, laws, sameness relations, fundamental properties, and clusters of family resemblances and how these map out the ontological space of the world. But actually how this is done has been less important in the discussion than the resultant categories that are produced. I aim to rectify these omissions and suggest a new metaphysical project investigating kinds in practice. (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)

The Controversy over the Existence of the World (henceforth Controversy) is the magnum opus of Polish philosopher Roman Ingarden. Despite the renewed interest for Ingarden’s pioneering ontological work whithin analytic philosophy, little attention has been dedicated to Controversy's main goal, clearly indicated by the very title of the book: finding a solution to the centuries-old philosophical controversy about the ontological status of the external world. -/- There are at least three reasons for this relative indifference. First, even at the time (...) when the book was published, the Controversy was no longer seen as a serious polemical topic, whether it was disqualified as an archaic metaphysical pseudo-problem, or taken to be the last remnant of an antiscientific approach to philosophy culminating in idealism and relativism. Second, Ingarden’s reasoning on the matter is highly complex, at times misleading, and even occasionally faulty. Finally, his analysis is not only incomplete – Controversy being unachieved – but also arguably aporetic. -/- One may wonder, then, why it is still worth excavating this mammoth treatise to study an issue apparently no longer relevant to contemporary philosophy. Aside from historical and exegetical purposes, which are of course very interesting in their own right, Ingarden’s treatment of the Controversy remains one of the most detailed and ambitious ontological undertakings of the twentieth century. Not only does it lay out an incredibly detailed map of possible solutions to the Controversy, but it also tries to show why the latter is a genuine and fundamental problem that owes its hasty disqualification to various oversimplifications over the course of the history of philosophy. -/- In this chapter, I first give an overview of Ingarden’s method, which relies mainly on a combinatorial analysis. Then, I summarize his examination of possible solutions to the Controversy, and determine which ones can be ruled out on ontological grounds. Finally, I explain why this ambitious project ultimately leads to a theoretical impasse, leaving Ingarden unable to come up with a definitive solution to the Controversy – regardless of the fact that the book is unachieved. I argue that his analysis of the problem yields a more modest but nonetheless valuable result. (shrink)

The Metametaphysics of Categories: Replies to Hakkarainen and Keinänen (in Finnish). Part of a book symposium on my An Introduction to Metametaphysics.

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)