I present a version of Kit Fine's stratified semantics for the logic RWQ and define a natural family of related structures called RW hyperdoctrines. After proving that RWQ is sound with respect to RW hyperdoctrines, we show how to construct, for each stratified model, a hyperdoctrine that verifies precisely the same sentences. Completeness of RWQ for hyperdoctrinal semantics then follows from completeness for stratified semantics, which is proved in an appendix. By examining the base category of RW (...) hyperdoctrines, we find reason to be worried about the ontology of stratified models. (shrink)

As conceived by analytic philosophers ontology consists in the application of the methods of mathematical logic to the analysis of ontological discourse. As conceived by realist philosophers such as Meinong and the early Husserl, Reinach and Ingarden, it consists in the investigation of the forms of entities of various types. The suggestion is that formal methods be employed by phenomenological ontologists, and that phenomenological insights may contribute to the construction of adequate formal-ontological languages. The paper sketches an account of (...) what might be involved in this new discipline, an account which is illustrated in application to the formal-ontological problems raised by negative states of affairs. (shrink)

An account of Roman Ingarden's ontology of literature.

In this paper, I attempt to formulate an Ingardenian conception of the literary work’s aesthetic value. Following Mitscherling’s lead, I attempt to place Ingarden’s aesthetics within his overall phenomenological-ontological project. That is, I argue that Ingarden’s aesthetics can only be properly fathomed in the context of his ontological deliberations, since, as he himself often enunciated, all his philosophical investigations constitute a realist rejoinder to Husserl’s turn toward transcendental idealism. To this end, I bring together insights from his aesthetics and (...) class='Hi'>ontology to establish a coherent account of values, where artistic and aesthetic values are analyzed as they manifest themselves in the literary work of art. By attending to the ontology of its aesthetic (and artistic) values, I argue, the literary work’s stratified formation becomes more explicit. Keywords: Roman Ingarden, aesthetic value, artistic value, the literary work of art, ontology, aesthetics. (shrink)

Theorising the interplay of structure and agency is the quintessential focus of sociological endeavour. This paper aims to be part of that continuing endeavour, arguing for a stratified social ontology, where structure and agency are held to be irreducible to each other and causally efficacious, yet necessarily interdependent. It thus aims not to be part of that on-going journey in search of the 'ontological holy grail'. Instead, it offers a way of linking structure and agency which enables the (...) practical education researcher concretely to examine their relative interplay over time. The methodological key to teasing out their relative interplay is held to be analytical dualism. It will be argued that such a methodological device is precluded by Giddens' structuration theory. (shrink)

Mathematical objects are divided into (1) those which are autonomous, i.e., not dependent for their existence upon mathematicians’ conscious acts, and (2) intentional objects, which are so dependent. Platonist philosophy of mathematics argues that all objects belong to group (1), Brouwer’s intuitionism argues that all belong to group (2). Here we attempt to develop a dualist ontology of mathematics (implicit in the work of, e.g., Hilbert), exploiting the theories of Meinong, Husserl and Ingarden on the relations between autonomous and (...) intentional objects. In particular we develop a phenomenology of mathematical works, which has the stratified intentional structure discovered by Ingarden in his study of the literary work. (shrink)

The relevance of analytic metaphysics has come under criticism: Ladyman & Ross, for instance, have suggested do discontinue the field. French & McKenzie have argued in defense of analytic metaphysics that it develops tools that could turn out to be useful for philosophy of physics. In this article, we show first that this heuristic defense of metaphysics can be extended to the scientific field of applied ontology, which uses constructs from analytic metaphysics. Second, we elaborate on a parallel by (...) French & McKenzie between mathematics and metaphysics to show that the whole field of analytic metaphysics, being useful not only for philosophy but also for science, should continue to exist as a largely autonomous field. (shrink)

Jc Beall has made several contributions to the theory of restricted quantification in relevant logics. This paper examines these contributions and proposes an alternative account of restricted universals. The alternative is not, however, a theory of relevant restricted universals in any real sense. It is, however, a theory of restricted universals phrased in the most plausible general quantificational theory for relevant logics—Kit Fine’s stratified semantics. The motivation both for choosing this semantic framework and for choosing the particular theory of (...) restricted quantification we use is because they are the best way of dealing with these topics from Beall’s theory-building theory picture of logic, establishing a second point of contact with Beall’s work. (shrink)

In this paper, I relate key features of Adolf Reinach’s abundant ontology of propositional states of affairs of his to Armstrong’s—or an Armstrongian—state of affairs ontology, with special regard to finding out how sparse or abundant the latter is with respect to negative states of affairs. After introducing the issue, I clarify the notion of a propositional state of affairs, paying special attention to the notion of abstract versus concrete. I show how Reinach’s states of affairs are propositional, (...) and how they compare with Chisholm’s well-known propositional states of affairs. In the next section, I outline Reinach’s five roles for states of affairs and show that only one of them is relevant to Armstrongian state of affairs ontology. In the following section, I utilise this role to create a ranking of state of affairs ontologies according to how abundant they are. It is, however, unclear which level Armstrongian state of affairs ontology is at, since it is unclear if, like Reinach’s ontology, it includes negative states of affairs. In the final section, I argue that the answer is a qualified ‘yes’, i.e. it does not occupy the sparsest level. (shrink)

In this paper, I will discuss the need for a theory of essences within Object-Oriented Ontology (OOO) and then formulate one. I will do so by drawing on Graham Harman’s work on OOO and Martin Heidegger’s thought on the essence of being, presented in his Introduction to Metaphysics. Harman touches on essences, describing them as the tension between a withdrawn object and its withdrawn qualities, but fails to distinguish between essential and inessential qualities within this framework. To fill in (...) the gaps, I will turn to Heidegger’s explication of phusis in order to show that an essential aspect of being is how one enters into causal relations and continually reveals oneself to other beings. In bringing OOO and Heidegger together, I will find that each object has a unique way of exerting itself in the world and that the domestic relations that make up this unique profile are essential to it, while other domestic relations, those that do not influence its particular way of exerting itself, are inessential. Thus, the essence will be found to be the set of domestic relations that make up the determinate form, or unique causal profile, of the object. (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)

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the (...) distance relations instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

As engineering applications require management of ever larger volumes of data, ontologies offer the potential to capture, manage, and augment data with the capability for automated reasoning and semantic querying. Unfortunately, considerable barriers hinder wider deployment of ontologies in engineering. Key among these is lack of a shared top-level ontology to unify and organise disparate aspects of the field and coordinate co-development of orthogonal ontologies. As a result, many engineering ontologies are limited to their scope, and functionally difficult to (...) extend or interoperate with other engineering ontologies. This paper demonstrates how the use of a top-level ontology, specifically the Basic Formal Ontology (BFO), greatly facilitates interoperability of multiple engineering-related ontologies. We constructed a system of formal linked ontologies by re-engineering legacy ontologies to be conformant with BFO and developing new BFO-conformant ontologies to capture knowledge in the engineering design, enterprise, human factors, manufacturing, and application domain of additive manufacturing. The resulting Integrated Framework for Additively Manufactured Products (IFAMP), including the body knowledge instantiated on its basis, serve as the basis for a proposed Design with Additive Manufacturing Method (DWAM), which we believe can support the design of innovative products with semantically enhanced ideation tools and enhanced access to application domain knowledge. The method and its facilitation through the ontological framework are demonstrated using a case study in medicine. (shrink)

Nihilism is the thesis that no composite objects exist. Some ontologists have advocated abandoning nihilism in favor of deep nihilism, the thesis that composites do not existO, where to existO is to be in the domain of the most fundamental quantifier. By shifting from an existential to an existentialO thesis, the deep nihilist seems to secure all the benefits of a composite-free ontology without running afoul of ordinary belief in the existence of composites. I argue that, while there are (...) well-known reasons for accepting nihilism, there appears to be no reason at all to accept deep nihilism. In particular, deep nihilism draws no support either from the usual arguments for nihilism or from considerations of parsimony. (shrink)

This is a review article on Franz Brentano’s Descriptive Psychology published in 1982. We provide a detailed exposition of Brentano’s work on this topic, focusing on the unity of consciousness, the modes of connection and the types of part, including separable parts, distinctive parts, logical parts and what Brentano calls modificational quasi-parts. We also deal with Brentano’s account of the objects of sensation and the experience of time.

John Bell proposed an ontology for the GRW modification of quantum mechanics in terms of flashes occurring at space- time points. This article spells out the motivation for this ontology, inquires into the status of the wave function in it, critically examines the claim of its being Lorentz invariant, and considers whether it is a parsimonious but nevertheless physically adequate ontology.

I argue that a two-dimensional model of social objects is uniquely positioned to deliver explanations for some of the puzzling metaphysical features of words. I consider how a type-token model offers explanations for the metaphysical features of words, but I give reasons to find the model wanting. In its place, I employ an alternative model from social ontology to explain the puzzling data and questions that are generated from the metaphysical features of words. In the end I chart a (...) new path that foregrounds the agent-dependence and social conditions for word kinds. (shrink)

In 1988, Kit Fine published a semantic theory for quantified relevant logics. He referred to this theory as stratified semantics. While it has received some attention in the literature, 1–20, 1992; Mares & Goldblatt, Journal of Symbolic Logic 71, 163–187, 2006), stratified semantics has overall received much less attention than it deserves. There are two plausible reasons for this. First, the only two dedicated treatments of stratified semantics available are, 27–59, 1988; Mares, Studia Logica 51, 1–20, 1992), (...) both of which are quite dense and technically challenging. Second, there are a number of prima facie reasons to be worried about stratified semantics. The purpose of this paper is to revitalize research on stratified semantics. I will do so by giving a ‘user friendly’ presentation of the semantics, and by giving reasons to think that the prima facie reasons to be worried about it are too simplistic. (shrink)

The study discusses the correct name of one of Abd al-Abbas Iranshahri's books. The book is based on Bayan al-Adyan (بیان‌الادیان) authored by Abolma’ali Mohammad Balkhi, which has been called "Hastishenasi". Looking on the different meanings and interpretations of "Hasti" in Persian language and culture and the understanding of early scholars of Islam, the real name of the book seems to be "Hasti-Dad". It is emphasized in the study on the importance of Iranian's due attention to Persian and that many (...) intellectuals found it necessary to have a heavenly book in Persian to explain and interpret the principles of Iran's historical and mythological beliefs. So, those who did not want a religion other than Islam in Iran, translated Qur'an, the holy book of Islam, into Persian in the Samanid period. (shrink)

While many bibliometric techniques have been employed to represent the structure of academic research communities over the years, much of this work has been conducted on scientific fields as opposed to those in the humanities. Here we use graphing techniques to present two networks that allow us to explore the structure of a subset of the philosophy community by mapping the citations between philosophical texts on the topic of ontology (the study of what exists). We find a citation gap (...) between philosophers studying material and abstract objects, and between analytic and continental ontologists, but other predictions were not confirmed by this method. We conclude by considering several additional methods for further exploring both the structure of philosophy and other disciplines in the humanities. (shrink)

Plato seems to countenance both positive and negative Forms, that is to say, both good and bad ones. He may not say so outright, but he invokes both and rejects neither. The apparent finality of this impression creates a lack of direct interest in the subject: Plato scholars do not give negative Forms much thought except as the prospect relates to something else they happen to be doing. Yet when they do give the matter any thought, typically for the sake (...) of a prior concern, they try either to support the textual evidence or to contradict it, indicating that the evidence does not stand on its own. The purpose of this paper is to determine why they tend to affirm or deny the obvious, how they try to confirm or dispute it, and what this says about Plato’s position. The strategic vehicle is a comparative case study. The confirmation comes from Debra Nails (2013), who needs to embrace negative Forms to demonstrate that the unhypothetical first principle of the all is not identical to the Form of the good, something she cannot do unless Plato recognizes negative Forms. The contradiction comes from Holger Thesleff (2013), who needs to reject negative (Ideal) Forms because the defining feature of his (Ideal) Forms is the possession of positive intrinsic value, which cannot be predicated of anything negative. Despite defending opposite views, or perhaps because of this, they jointly make up for any lack of interest in the scholarly community. I appreciate both yet side with Thesleff. (shrink)

This article clarifies three principles that should guide the development of any cognitive ontology. First, that an adequate cognitive ontology depends essentially on an adequate task ontology; second, that the goal of developing a cognitive ontology is independent of the goal of finding neural implementations of the processes referred to in the ontology; and third, that cognitive ontologies are neutral regarding the metaphysical relationship between cognitive and neural processes.

This essay presents an alternative to contemporary substantivalist and relationist interpretations of quantum gravity hypotheses by means of an historical comparison with the ontology of space in the seventeenth century. Utilizing differences in the spatial geometry between the foundational theory and the theory derived from the foundational, in conjunction with nominalism and platonism, it will be argued that there are crucial similarities between seventeenth century and contemporary theories of space, and that these similarities reveal a host of underlying conceptual (...) issues that the substantival/relational dichotomy fails to distinguish. (shrink)

I argue for the usefulness of the evolutionary kind of biological individual.

Initially the problems of data integration, for example in the field of medicine, were resolved in case by case fashion. Pairs of databases were cross-calibrated by hand, rather as if one were translating from French into Hebrew. As the numbers and complexity of database systems increased, the idea arose of streamlining these efforts by constructing one single benchmark taxonomy, as it were a central switchboard, into which all of the various classification systems would need to be translated only once. By (...) serving as a lingua franca for database integration this benchmark taxonomy would ensure that all databases calibrated in its terms would be automatically compatible with each other. We describe one strategy for creating such a lingua franca, in which philosophical ontology plays a central role. (shrink)

Archimedes of Syracuse has long provided a touchstone for considering how we make and acquire knowledge. Since the early Roman chroniclers of Archimedes’ life, and especially intensively since Descartes, scholars have described, sought, or derided the Archimedean point, defining and redefining its epistemic role. “Knowledge,” at least within modernity, is rhetorically tied to the figure of the Archimedean point, a place somewhere outside a regular and constrained world of experience. If this figure still leads to useful ways of thinking about (...) knowing, we are left with the question of how different modes of making knowledge approach their “Archimedean” points. The question is especially important today as a renewed .. (shrink)

Individualists about social ontology hold that social facts are “built out of” facts about individuals. In this paper, I argue that there are two distinct kinds of individualism about social ontology, two different ways individual people might be the metaphysical “builders” of the social world. The familiar kind is ontological individualism. This is the thesis that social facts supervene on, or are exhaustively grounded by, facts about individual people. What I call anchor individualism is the alternative thesis that (...) facts about individuals put in place the conditions for a social entity to exist, or the conditions for something to have a social property. Examples include conventionalist theories of the social world, such as David Hume’s theories of promises, money, and government, and collective acceptance theories, such as John Searle’s theory of institutional facts. Anchor individualism is often conflated with ontological individualism. But in fact, the two theses are in tension with one another: if one of these kinds of individualism is true, then the other is very unlikely to be. My aim in this paper is to clarify both, and argue that they should be sharply distinguished from one another. (shrink)

It is often thought that the boundaries and properties of art-kinds are determined by the things we say and think about them. More recently, this tendency has manifested itself as concept-descriptivism, the view that the reference of art-kind terms is fixed by the ontological properties explicitly or implicitly ascribed to art and art-kinds by competent users of those terms. Competent users are therefore immune from radical error in their ascriptions; the result is that the ontology of art must begin (...) and end with conceptual analysis. Against this tendency towards concept-driven ontology, I offer a trio of objections derived from: the cultural and temporal variability of concepts of art, the systematic tendency, on the part of would-be ontological assessors, to err on the side of familiar categories or, conversely, to exaggerate minor differences between familiar and unfamiliar practices, and the influence artworld precedents exert over expert and folk concepts alike. These considerations, I argue, mandate an epistemic humility that is simply unavailable to the concept-descriptivist. (shrink)

Intellectual history still quite commonly distinguishes between the episode we know as the Scientific Revolution, and its successor era, the Enlightenment, in terms of the calculatory and quantifying zeal of the former—the age of mechanics—and the rather scientifically lackadaisical mood of the latter, more concerned with freedom, public space and aesthetics. It is possible to challenge this distinction in a variety of ways, but the approach I examine here, in which the focus on an emerging scientific field or cluster of (...) disciplines—the ‘life sciences’, particularly natural history, medicine, and physiology —is, not Romantically anti-scientific, but resolutely anti-mathematical. Diderot bluntly states, in his Thoughts on the interpretation of nature, that “We are on the verge of a great revolution in the sciences. Given the taste people seem to have for morals, belles-lettres, the history of nature and experimental physics, I dare say that before a hundred years, there will not be more than three great geometricians remaining in Europe. The science will stop short where the Bernoullis, the Eulers, the Maupertuis, the Clairauts, the Fontaines and the D’Alemberts will have left it.... We will not go beyond.” Similarly, Buffon in the first discourse of his Histoire naturelle speaks of the “over-reliance on mathematical sciences,” given that mathematical truths are merely “definitional” and “demonstrative,” and thereby “abstract, intellectual and arbitrary.” Earlier in the Thoughts, Diderot judges “the thing of the mathematician” to have “as little existence in nature as that of the gambler.” Significantly, this attitude—taken by great scientists who also translated Newton or wrote careful papers on probability theory, as well as by others such as Mandeville—participates in the effort to conceptualize what we might call a new ontology for the emerging life sciences, very different from both the ‘iatromechanism’ and the ‘animism’ of earlier generations, which either failed to account for specifically living, goal-directed features of organisms, or accounted for them in supernaturalistic terms by appealing to an ‘anima’ as explanatory principle. Anti-mathematicism here is then a key component of a naturalistic, open-ended project to give a successful reductionist model of explanation in ‘natural history’, a model which is no more vitalist than it is materialist—but which is fairly far removed from early modern mechanism. (shrink)

The Realist that investigates questions of ontology by appeal to the quantificational structure of language assumes that the semantics for the privileged language of ontology is externalist. I argue that such a language cannot be (some variant of) a natural language, as some Realists propose. The flexibility exhibited by natural language expressions noted by Chomsky and others cannot obviously be characterized by the rigid models available to the externalist. If natural languages are hostile to externalist treatments, then the (...) meanings of natural language expressions serve as poor guides for ontological investigation, insofar as their meanings will fail to determine the referents of their constituents. This undermines the Realist’s use of natural languages to settle disputes in metaphysics. (shrink)

My topic is the materialist appropriation of empiricism – as conveyed in the ‘minimal credo’ nihil est in intellectu quod non fuerit in sensu (which interestingly is not just a phrase repeated from Hobbes and Locke to Diderot, but is also a medical phrase, used by Harvey, Mandeville and others). That is, canonical empiricists like Locke go out of their way to state that their project to investigate and articulate the ‘logic of ideas’ is not a scientific project: “I shall (...) not at present meddle with the Physical consideration of the Mind” (Essay, I.i.2, in Locke 1975; which Kant gets exactly wrong in his reading of Locke, in the Preface to the A edition of the first Critique). Indeed, I have suggested elsewhere, contrary to a prevalent reading of Locke, that the Essay is not the extension to the study of the mind of the methods of natural philosophy; that he is actually not the “underlabourer” of Newton and Boyle he claims politely to be in the Epistle to the Reader (Wolfe and Salter 2009, Wolfe 2010). Rather, Locke says quite directly if we pay heed to such passages, “Our Business here is not to know all things, but those which concern our Conduct” (Essay, I.i.6). There would be more to say here about what this implies for our understanding of empiricism (see Norton 1981 and Gaukroger 2005), but instead I shall focus on a different aspect of this episode: how a non-naturalistic claim which falls under what we now call epistemology (a claim about the senses as the source of knowledge) becomes an ontology – materialism. That is, how an empiricist claim could shift from being about the sources of knowledge to being about the nature of reality (and/or the mind, in which case it needs, as David Hartley saw and Denis Diderot proclaimed more overtly, an account of the relation between mental processes and the brain). (David Armstrong, for one, denied that there could be an identification between empiricism and materialism on this point: eighteenth-century history of science seems to prove him wrong: see Armstrong 1968 and 1978.) Put differently, I want to examine the shift from the logic of ideas in the seventeenth century (Locke) to an eighteenth-century focus on what kind of ‘world’ the senses give us (Condillac), to an assertion that there is only one substance in the universe (Diderot, giving a materialist cast to Spinozism), and that we need an account of the material substrate of mental life. This is neither a ‘scientific empiricism’ nor a linear developmental process from philosophical empiricism to natural science, but something else again: the unpredictable emergence of an ontology on empiricist grounds. (shrink)

This review article offers a discussion of some aspects of the historical and conceptual context when the term “ontology” (Lat. ontologia) was first introduced in the scholarly circles of the early 17th century. In particular, Barry Smith's (2022) analysis of the birth of ontology provides a springboard for some further remarks on the author of the work with the first known occurrence of the word “ontologia”, Jacob Lorhard, including an analysis of his relationship with earlier philosophers Petrus Ramus (...) and Clemens Timpler. (shrink)

The emerging field of synthetic biology aims to engineer novel biological entities. The envisioned future bio-based economy builds largely on “cell factories”: organisms that have been metabolically engineered to sustainably produce substances for human ends. In this paper, we argue that synthetic biology’s goal of creating efficient production vessels for industrial applications implies a set of ontological assumptions according to which living organisms are machines. Traditionally, a machine is understood as a technological, isolated and controllable production unit consisting of parts. (...) But modified organisms, or hybrids, require us to think beyond the machine paradigm and its associated dichotomies between artificial and natural, organisms and artefacts. We ask: How may we conceptualise hybrids beyond limiting ontological categories? Our main claim is that the hybrids created by synthetic biology should be considered not as machines but as metabolic systems. We shall show how the philosophical account of metabolism can inform an ontology of hybrids that moves beyond what we call the “machine ontology”, considering that metabolism enables thinking beyond the dominant dichotomies and allows us to understand and design lifeforms in a bio-based economy. Thus, the aim of this paper is twofold: first, to develop the philosophical ontology of hybrids, and second, to move synthetic biology beyond the problematically limiting view of hybrids. (shrink)

Citation: Marina Christodoulou, “I Own therefore I Am. The Ontology of Property”, In Why Does What Exists Exist? Some Hypotheses on the Ultimate “Why” Question, edited by Mariano L. Bianca,Paolo Piccari. Cambridge Scholars Publishing, 2021, pp. 169-182. Contributors: Mariano L. Bianca, Konstantinos Boultzis, Marina Christodoulou, Maurizio Ferraris, Marco G. Giammarchi, Enrico Guglielminetti, Roberta Lanfredini, Fabio Minazzi, Crister Nyberg, Paolo Piccari, Paolo Rossi. ISBN (10): 1-5275-6294-8; ISBN (13): 978-1-5275-6294-3 -/- -------------- -/- The concept of Property is what attaches us to (...) Existence, Property, and Life, instead of non-existence, non-Being and Non-life (or Death). I occupy, I possess, I own, therefore I am, therefore I exist. I own a body, therefore, I am a being; I also own a self, therefore I am. -/- What exists exists because we have the notion, the concept, the idea, the habit of property and of ownership. There is something rather than nothing because we own it. Why private property? Because we have the notion, the concept, the idea, the habit of property and of ownership. There is private property because we need to own things, including ourselves, and we need to own because we need to sign and vice versa. (shrink)

Whitehead claims there is only one type of individual in the universe—the actual entity—but there are necessarily multiple tokens of this type. This turns out to be paradoxical. Nevertheless, a type of individuality that is necessarily plural because, for each token, relations to other tokens are constitutive is something familiar from ordinary language, everyday politics, and, not least, 19th century German social thought. Whitehead’s actual entity generalizes the notion of species-being we find in Fichte, Feuerbach, and Marx. The rationale for (...) the concept of species-being brings to light important social and political implications of Whitehead’s cosmology. (shrink)

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is (...) an essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)

In Examination of McTaggart's Philosophy, C.D. Broad advanced a distinctive ontology of things and processes. He argues that neither things nor processes are reduced to each other but instead are reduced to some further kind of entity: “absolute process.” This paper will present Broad's theory of absolute processes and argue that they are best understood as tropes by developing a version of Donald C. Williams's trope ontology. This process ontology of tropes is then defended against objections in (...) the contemporary metaphysics literature. (shrink)

In this paper, I critically assess different interpretations of Bohmian mechanics that are not committed to an ontology based on the wave function being an actual physical object that inhabits configuration space. More specifically, my aim is to explore the connection between the denial of configuration space realism and another interpretive debate that is specific to Bohmian mechanics: the quantum potential versus guidance approaches. Whereas defenders of the quantum potential approach to the theory claim that Bohmian mechanics is better (...) formulated as quasi-Newtonian, via the postulation of forces proportional to acceleration; advocates of the guidance approach defend the notion that the theory is essentially first-order and incorporates some concepts akin to those of Aristotelian physics. Here I analyze whether the desideratum of an interpretation of Bohmian mechanics that is both explanatorily adequate and not committed to configuration space realism favors one of these two approaches to the theory over the other. Contrary to some recent claims in the literature, I argue that the quasi-Newtonian approach based on the idea of a quantum potential does not come out the winner. (shrink)

Do we suddenly become justified in treating robots like humans by positing new notions like “artificial moral agency” and “artificial moral responsibility”? I answer no. Or, to be more precise, I argue that such notions may become philosophically acceptable only after crucial metaphysical issues have been addressed. My main claim, in sum, is that “artificial moral responsibility” betokens moral responsibility to the same degree that a “fake orgasm” betokens an orgasm.

Paper presented at the Heidegger Circle 2011. Although Aristotle’s influence on young Heidegger’s thought has been studied at length, such studies have almost exclusively focused on his interpretation of Aristotle’s ethics, physics and metaphysics. I will rather address Heidegger’s appropriation of Aristotle’s ontology of life. Focusing on recently published or recently translated courses of the mid 20’s (mainly SS 1924, WS 1925-26 and SS 1926), I hope to uncover an important aspect of young Heidegger’s thought left unconsidered: namely, that (...) Dasein’s existential structures – Befindlichkeit, Understanding and being-with-one-another through language – arose from his close reading of Aristotle’s ontology of life, of animal life. (shrink)

Many philosophers of science are ontologically committed to a lush rainforest of special science entities ), but are often reticent about the criteria that determine which entities count as real. On the other hand, the metaphysics literature is much more forthcoming about such criteria, but often links ontological commitment to irreducibility. We argue that the irreducibility criteria are in tension with scientific realism: for example, they would exclude viruses, which are plausibly theoretically reducible and yet play a sufficiently important role (...) in scientific accounts of the world that they should be included in our ontology. In this paper, we show how the inhabitants of the rainforest can be inoculated against the eliminative threat of reduction: by demonstrating that they are emergent. According to our account, emergence involves a screening off condition as well as novelty. We go on to demonstrate that this account of emergence, which is compatible with theoretical reducibility, satisfies common intuitions concerning what should and shouldn't count as real: viruses are emergent, as are trouts and turkeys, but philosophically gerrymandered objects like trout-turkeys do not qualify. (shrink)

Throughout this paper my objective will be to establish and clarify Hume's original intentions in his discussion of causation in Book I of the Treatise. I will show that Hume's views on ontology, presented in Part IV of that book, shed light on his views on causation as presented in Part III. Further, I will argue that Hume's views on ontology account for the original motivation behind his two definitions of 2 cause. This relationship between Hume's ontology (...) and his account of causation explains something which has baffled Hume scholars for some time,- namely, why does Hume's discussion of causation in I, iii, 14 have such a paradoxical air about it? I will show that Hume's views on causation have a paradoxical air about them because they rest on an ontology of "double existence" - an ontology which Hume describes as the monstrous offspring of two principles, which are contrary to each other, which are both at once embrac'd by the mind, and which are unable mutually to destroy each other (T 215) My interpretation will centre on the following two claims: (i) When Hume wrote Section 14, Of the idea of necessary connexion, he was primarily concerned to attack the view that the origin of our idea of necessity was to be discovered in the operations of matter or bodies. Of the suggested sources from which our idea of necessity could be thought to originate this is the source which, initially, interested Hume the most. It is, therefore, of great importance that we interpret Hume's remarks in light of this fact. (ii) Hume offers the first definition of cause as an account of causation as it exists in the material world independent of our thought and reasoning.He offers the second definition as an account of causation as we find it in our perceptions. It will also be argued, in this context, that necessity constitutes "an essential part" of both of Hume's two definitions of cause. (shrink)

Consider a game of blind chess between two chess masters that is recorded in some standard chess notation. The recording is a representation of the game. But what is the game itself? This question is, we believe, central to the entire domain of social ontology. We argue that the recorded game is a special sort of quasi-abstract pattern, something that is: (i) like abstract entities such as numbers or forms, in that it is both nonphysical and nonpsychological; but at (...) the same time, (ii) through its association with specific players and a specific occasion, tied to time and history. We discover other abstract patterns of this sort especially in the domains of law and commerce. This essay draws on the work in social ontology, we of Hernando de Soto and of John Searle to develop an ontology of the social world based on an analysis of the peculiar interdependence between quasi-abstract patterns and their representations in documents of different sorts. (shrink)

Affective science conducts interdisciplinary research into the emotions and other affective phenomena. Currently, such research is hampered by the lack of common definitions of te rms used to describe, categorise and report both individual emotional experiences and the results of scientific investigations of such experiences. High quality ontologies provide formal definitions for types of entities in reality and for the relationships between such entities, definitions which can be used to disambiguate and unify data across different disciplines. Heretofore, there has been (...) little effort directed towards such formal representation for affective phenomena, in part because of widespread debates within the affective science community on matters of definition and categorization. We describe our efforts towards developing an Emotion Ontology (EMO) to serve the affective science community. We here focus on conformity to the BFO upper ontology and disambiguation of polysemous terminology. (shrink)

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...) geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (shrink)

If SNOMED CT is to serve as a biomedical reference terminology, then steps must be taken to ensure comparability of information formulated using successive versions. New releases are therefore shipped with a history mechanism. We assessed the adequacy of this mechanism for its treatment of the distinction between changes occurring on the side of entities in reality and changes in our understanding thereof. We found that these two types are only partially distinguished and that a more detailed study is required (...) to propose clear recommendations for enhancement along at least the following lines: (1) explicit representation of the provenance of a class; (2) separation of the time-period during which a component is stated valid in SNOMED CT from the period it is (or has been) valid in reality, and (3) redesign of the historical relationships table to give users better assistance for recovery in case of introduced mistakes. (shrink)

Monoclonal antibodies are essential biomedical research and clinical reagents that are produced by companies and research laboratories. The NIAID ImmPort (Immunology Database and Analysis Portal) resource provides a long-term, sustainable data warehouse for immunological data generated by NIAID, DAIT and DMID funded investigators for data archiving and re-use. A variety of immunological data is generated using techniques that rely upon monoclonal antibody reagents, including flow cytometry, immunofluorescence, and ELISA. In order to facilitate querying, integration, and reuse of data, standardized terminology (...) for describing monoclonal antibody reagents and their targets needs to be used for annotating data submitted to ImmPort. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)