Helen Steward puts forward a radical critique of the foundations of contemporary philosophy of mind, arguing that it relies too heavily on insecure assumptions about the sorts of things there are in the mind--events, processes, and states. She offers a fresh investigation of these three categories, clarifying the distinctions between them, and argues that the category of state has been very widely and seriously misunderstood.

This book provides an exhaustive overview of the ontology of relations. Moreover, it offers a detailed defense of the existence of irreducible relations in the universe and shows that entities such as powers should be better thought of as relations. At first, the author discusses many classical arguments for and against the existence of relations and draws preliminary distinctions between internal and external relations and symmetrical and non-symmetrical relations. He defends the existence of irreducible relations against several objections, most (...) notably three Bradleyan regresses. In response to these objections, the author argues that both internal and external relations should be thought of as relational modes and that intentional, temporal and spatial relations are external. He also presents several problems that are typically taken to affect non-symmetrical relations and introduces one new version of a theory to deal with them-the O-role theory. Finally, the author explores essential dependence relations and causal dependence relations and defends the view that power are relational modes. The Ontology of Relations will be of interest to scholars and advanced students working in metaphysics, philosophy of science, and history of philosophy. (shrink)

FOIS is the flagship conference of the International Association for Ontology and its Applications, a non-profit organization which promotes interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science. This book presents the papers delivered at FOIS 2023, the 13th edition of the Formal Ontology in Information Systems conference. The event was held as a sequentially-hybrid event, face-to-face in Sherbrooke, Canada, from 17 to 20 July 2023, and online from (...) 18 to 20 September 2023. In total, 62 articles from 19 different countries were submitted, out of which 25 were accepted for inclusion in the conference and for publication; corresponding to an acceptance rate of 40 percent. The contributions are separated into the book’s three sections: (1) Foundational ontological issues; (2) Methodological issues around the development, alignment, verification and use of ontologies; and (3) Domain ontologies and ontology-based applications. In these sections, ontological aspects from a wide variety of fields are covered, primarily from various engineering domains including cybersecurity, manufacturing, petroleum engineering, and robotics, but also extending to the humanities, social sciences, medicine, and dentistry. A noticeable trend among the contributions in this edition of the conference is the recognition that improving the tools to analyze, align, and improve ontologies is of paramount importance in continuing to advance the field of formal ontology. The book will be of interest to all formal and applied ontology researchers, and to those who use formal ontologies and information systems as part of their work. (shrink)

[Stephen Yablo] The usual charge against Carnap's internal/external distinction is one of 'guilt by association with analytic/synthetic'. But it can be freed of this association, to become the distinction between statements made within make-believe games and those made outside them-or, rather, a special case of it with some claim to be called the metaphorical/literal distinction. Not even Quine considers figurative speech committal, so this turns the tables somewhat. To determine our ontological commitments, we have to ferret out all traces of (...) nonliterality in our assertions; if there is no sensible project of doing that, there is no sensible project of Quinean ontology. /// [Andre Gallois] I discuss Steve Yablo's defence of Carnap's distinction between internal and external questions. In the first section I set out what I take that distinction, as Carnap draws it, to be, and spell out a central motivation Carnap has for invoking it. In the second section I endorse, and augment, Yablo's response to Quine's arguments against Carnap. In the third section I say why Carnap's application of the distinction between internal and external questions runs into trouble. In the fourth section I spell out what I take to be Yablo's version of Carnap. In the last I say why that version is especially vulnerable to the objection raised in the second. (shrink)

I shall attempt in what follows to show how mereology, taken together with certain topological notions, can yield the basis for future investigations in formal ontology. I shall attempt to show also how the mereological framework here advanced can allow the direct and natural formulation of a series of theses – for example pertaining to the concept of boundary – which can be formulated only indirectly (if at all) in set-theoretic terms.

Philosophers of science commonly connect ontology and science, stating that these disciplines maintain a two-way relationship: on the one hand, we can extract ontology from scientific theories; on the other hand, ontology provides the realistic content of our scientific theories. In this article, we will critically examine the process of naturalizing ontology, i.e., confining the work of ontologists merely to the task of pointing out which entities certain theories commit themselves to. We will use non-relativistic quantum (...) mechanics as a case study. We begin by distinguishing two roles for ontology: the first would be characterized by cataloging existing entities according to quantum mechanics; the second would be characterized by establishing more general ontological categories in which existing entities must be classified. We argue that only the first step is available for a naturalistic approach; the second step not being open for determination or anchoring in science. Finally, we also argue that metaphysics is still a step beyond ontology, not contained in either of the two tasks of ontology, being thus even farther from science. (shrink)

Genres inform our appreciative practices. What it takes for a work to be a good work of comedy is different than what it takes for a work to be a good work of horror, and a failure to recognize this will lead to a failure to appreciate comedies or works of horror particularly well. Likewise, it is not uncommon to hear people say that a film or novel is a good work, but not a good work of x (where x (...) is the genre of that work). A work can be good all things considered, but genre membership provides us with an additional set of evaluative criteria over and above those of the medium, which colors how we interpret and appreciate the work. Given this importance, it is not surprising that philosophers of art have been interested in providing an account of what, exactly, a genre is. Despite this interest, there is not widespread agreement about what it takes for something to be a genre, nor what kinds of considerations are relevant in determining whether a work is a member of that genre. Beyond this, we might also want to know to what degree we ought to consider genre in evaluating a work of art and why it should matter at all. Here, I explore the variety of recent theories that philosophers have taken up on the topic of genre and why we should ultimately think of genres as artistic practices rather than the alternatives. (shrink)

The relationship of part to whole is one of the most fundamental there is, yet until now there has been no full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. This has far-reaching consequences for our understanding of such classical philosophical (...) concepts as identity, individual, class, substance and accident, matter, form, essence, dependence, and integral whole. It also enables the author to offer new solutions to long-standing problems surrounding these concepts, such as the Ship of Theseus Problem and the issue of mereological essentialism. The author shows by his use of formal techniques that classical philosophical problems are amenable to rigorous treatment, and the book represents a synthesis of issues and methods from the analytical tradition and from the older continental realist tradition of Brentano and the early Husserl. (shrink)

Social groups—like teams, committees, gender groups, and racial groups—play a central role in our lives and in philosophical inquiry. Here I develop and motivate a structuralist ontology of social groups centered on social structures (i.e., networks of relations that are constitutively dependent on social factors). The view delivers a picture that encompasses a diverse range of social groups, while maintaining important metaphysical and normative distinctions between groups of different kinds. It also meets the constraint that not every arbitrary collection (...) of people is a social group. In addition, the framework provides resources for developing a broader structuralist view in social ontology. (shrink)

Epistemic reasons are mental states. They are not propositions or non-mental facts. The discussion proceeds as follows. Section 1 introduces the topic. Section 2 gives two concrete examples of how our topic directly affects the internalism/externalism debate in normative epistemology. Section 3 responds to an argument against the view that reasons are mental states. Section 4 presents two problems for the view that reasons are propositions. Section 5 presents two problems for the view that reasons are non-mental facts. Section 6 (...) argues that reasons are mental states. Section 7 responds to objections. (shrink)

What are words? What makes two token words tokens of the same word-type? Are words abstract entities, or are they (merely) collections of tokens? The ontology of words tries to provide answers to these, and related questions. This article provides an overview of some of the most prominent views proposed in the literature, with a particular focus on the debate between type-realist, nominalist, and eliminativist ontologies of words.

L. Nathan Oaklander is one of the leading philosophers of time defending the tenseless or B-Theory of time. He has remained at the forefront of this field since the early 1980s and today he is arguably the most formidable opponent of the tensed or A-theory of time. Much of the direction of the debate in this field for the past twenty years or so, especially in regards to the new tenseless theory of time, has been influenced by Oaklander's work. This (...) book presents a carefully argued defense of the tenseless theory of time. The topics discussed include: the ontology of A- and B-theories of time; presentism; the open future theory; the A/B theory; defending the B-theory of time; temporal experience; temporal semantics; and time, identity, responsibility, and freedom. (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)

I present a discussion of some issues in the ontology of spacetime. After a characterisation of the controversies among relationists, substantivalists, eternalists, and presentists, I offer a new argument for rejecting presentism, the doctrine that only present objects exist. Then, I outline and defend a form of spacetime realism that I call event substantivalism. I propose an ontological theory for the emergence of spacetime from more basic entities. Finally, I argue that a relational theory of pre-geometric entities can give (...) rise to substantival spacetime in such a way that relationism and substantivalism are not necessarily opposed positions, but rather complementary. In an appendix I give axiomatic formulations of my ontological views. (shrink)

The best arguments for possible worlds as states of affairs furnish us with equally good arguments for impossible worlds of the same sort. I argue for a theory of impossible worlds on which the impossible worlds correspond to maximal inconsistent classes of propositions. Three objections are rejected. In the final part of the paper, I present a menu of impossible worlds and explore some of their interesting formal properties.

Willard van Orman Quine once said that he had a preference for a desert ontology. This was in an earlier day when concerns with logical structure and ontological simplicity reigned supreme. Ontological genocide was practiced upon whole classes of upper-level or ‘derivative’ entities in the name of elegance, and we were secure in the belief that one strayed irremediably into the realm of conceptual confusion and possible error the further one got from ontic fundamentalism. In those days, one paid (...) more attention to generic worries about possible errors than to actual errors derived from distancing oneself too far from the nitty-gritty details of actual theory, actual inferences from actual data, the actual conditions under which we posited and detected entities, calibrated and ‘burned in’ instruments, identified and rejected artifacts, debugged programs and procedures, explained the mechanisms behind regularities, judged correlations to be spurious, and in general, to the real complexities and richness of actual scientific practice. (shrink)

The aim of this article is to explore the problem of social ontology. The form that the exploration will take is a development of the argument that I presented in The Construction of Social Realty[2]. I will summarize some of the results of that book and then develop the ideas further.

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

Josh Weisberg develops a form of physicalism which attempts to (a) show why there is no ultima facie explanatory gap between consciousness and the physical world, while (b) making us see why there nonetheless is a prima facie explanatory gap. The former constitutes a solution to the problem of consciousness, the latter a proposal regarding the meta-problem of consciousness (the problem, roughly, of understanding why there is a problem of consciousness to begin with). Together, they are intended to produce a (...) debunking explanation of the explanatory gap, and a comprehensive approach to the philosophical puzzlement generated by the existence of consciousness in an otherwise purely physical world. I will argue that Weisberg-physicalism is less successful on the meta-problem of consciousness than on the first-order problem and will sketch an alternative approach, one that traces the problem of consciousness back to the structure of our folk ontology. (shrink)

We present an ontology of pain and of other pain-related phenomena, building on the definition of pain provided by the International Association for the Study of Pain (IASP). Our strategy is to identify an evolutionarily basic canonical pain phenomenon, involving unpleasant sensory and emotional experience based causally in localized tissue damage that is concordant with that experience. We then show how different variant cases of this canonical pain phenomenon can be distinguished, including pain that is elevated relative to peripheral (...) trauma, pain that is caused neuropathically (thus with no necessary peripheral stimulus), and pain reports arising through deception either of self or of others. We describe how our approach can answer some of the objections raised against the IASP definition, and sketch how it can be used to support more sophisticated discrimination of different types of pain resulting in improved data analysis that can help in advancing pain research. (shrink)

This chapter contains sections titled: A Range of Views Criteria of Assessment The Road to a Solution.

I argue that there are no physical singularities in space–time. Singular space–time models do not belong to the ontology of the world, because of a simple reason: they are concepts, defective solutions of Einstein’s field equations. I discuss the actual implication of the so-called singularity theorems. In remarking the confusion and fog that emerge from the reification of singularities I hope to contribute to a better understanding of the possibilities and limits of the theory of general relativity.

Though the realm of biology has long been under the philosophical rule of the mechanistic magisterium, recent years have seen a surprisingly steady rise in the usurping prowess of process ontology. According to its proponents, theoretical advances in the contemporary science of evo-devo have afforded that ontology a particularly powerful claim to the throne: in that increasingly empirically confirmed discipline, emergently autonomous, higher-order entities are the reigning explanantia. If we are to accept the election of evo-devo as our (...) best conceptualisation of the biological realm with metaphysical rigour, must we depose our mechanistic ontology for failing to properly “carve at the joints” of organisms? In this paper, I challenge the legitimacy of that claim: not only can the theoretical benefits offered by a process ontology be had without it, they cannot be sufficiently grounded without the metaphysical underpinning of the very mechanisms which processes purport to replace. The biological realm, I argue, remains one best understood as under the governance of mechanistic principles. (shrink)

Ontology and the Ambitions of Metaphysics By HofweberThomasOxford University Press, 2016. xvi + 366 pp. £50.00.

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and (...) outer quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

The paper explains in what sense the GRW matter density theory is a primitive ontology theory of quantum mechanics and why, thus conceived, the standard objections against the GRW formalism do not apply to GRWm. We consider the different options for conceiving the quantum state in GRWm and argue that dispositionalism is the most attractive one.

The analytic movement advertised its 'linguistic turn' as a radical break from the two-thousand-year-old substance tradition. But this is an illusion. On the fundamental level of ontology, there is enough reformulation and presupposition of traditional 'no entity without identity' themes to analogize Frege, Russell, Wittgenstein, and Quine to Aristotle as paradigmatic of modified realism. Thus the pace of ontology is glacial. Frege and Russell, not Wittgenstein and Quine, emerge as the true analytic progenitors of 'no entity without identity,' (...) offering between them at least twenty-nine private language arguments and sixty-four 'no entity without identity' theories. (shrink)

Toward an ontology of the social-historical -- Proto-institutions and epistemological encounters -- Anthropological aspects of subjectivity: the radical imagination -- Hermeneutical horizons of meaning -- The rediscovery of physis -- Objective knowledge in review -- Rethinking the world of the living being -- Reimaging cosmology -- Conclusion: the circle of creation.

This is the first of three essays which use Edmund Husserl's dependence ontology to formulate a non-Diodorean and non-Kantian temporal semantics for two-valued, first-order predicate modal languages suitable for expressing ontologies of experience (like physics and cognitive science). This essay's primary desideratum is to formulate an adequate dependence-ontological account of order. To do so it uses primitive (proper) part and (weak) foundation relations to formulate seven axioms and 28 definitions as a basis for Husserl's dependence ontological theory of relating (...) moments. The essay distinguishes between dependence v. independence, pieces v. moments, mediate v. immediate pieces and moments, maximal v. non-maximal pieces, founded v. unfounded qualities, integrative v. disintegrative dependence, and defines the concepts of the completion of an object, the adumbrational equivalence relation of objects, moments of unity which unify objects, and relating moments which relate objects. The eight theorems [CUT90]-[CUT97] show that relating moments of unity provide an adequate account of order in terms of primitive (proper) part and (weak) foundation relations. (shrink)

This paper motivates taking seriously the possibility that brains are basically protean: that they make use of neural structures in inventive, on-the-fly improvisations to suit circumstance and context. Accordingly, we should not always expect cognition to divide into functionally stable neural parts and pieces. We begin by reviewing recent work in cognitive ontology that highlights the inadequacy of traditional neuroscientific approaches when it comes to divining the function and structure of cognition. Cathy J. Price and Karl J. Friston, and (...) Colin Klein identify the limitations of relying on forward and reverse inferences to cast light on the relation between cognitive functions and neural structures. There is reason to prefer Klein’s approach to that of Price and Friston’s. But Klein’s approach is neurocentric - it assumes that we ought to look solely at neural contexts to fix cognitive ontology. Using recent work on mindreading as a case study, we motivate adopting a radically different approach to cognitive ontology. Promoting the Protean Brain Hypothesis, we posit the possibility that we may need to look beyond the brain when deciding which functions are being performed in acts of cognition and in understanding how the brain contributes to such acts by adapting to circumstance. (shrink)

In this paper, I critically assess two recent proposals for an interpretation-independent understanding of non-relativistic quantum mechanics: the overlap strategy (Fraser & Vickers, 2022 ) and the textbook account (Egg, 2021 ). My argument has three steps. I first argue that they presume a Quinean-Carnapian meta-ontological framework that yields flat, structureless ontologies. Second, such ontologies are unable to solve the problems that quantum ontologists want to solve. Finally, only structured ontologies are capable of solving the problems that quantum ontologists want (...) to solve. But they require some dose of speculation. In the end, I defend the conservative way to do quantum ontology, which is (and must be) speculative and non-neutral. (shrink)

Despite an attempt to break with the hierarchical picture in traditional emergentist thought, non-standard accounts of emergence are often still committed to a premise that ontology is prior to epistemology. This paper aims to topple this last remnant of the traditional hierarchy by explicating a pragmatic view of emergence based on John Dewey’s work. Dewey argued that the traditional notion of ontology is premised on a view of existence as complete. Through a discussion of Dewey’s work it is (...) argued that this premise results in a process of reification that unduly excludes from ontology many precarious and indeterminate aspects involved both in everyday life and in philosophic and scientific inquiry. Building on a recent explication of transformational emergence the paper proposes a diachronic and non-hierarchical account of emergence, called pragmatic emergence. According to that account the relation between ontology and epistemology is a temporally reciprocal one. This means that ontological and epistemological features co-determine each other over time. Determinacy and continuity become historical features of a multitude of unfinished processes that we view from within. (shrink)

The traditional conception of ontology as a theory of being included an unexpressed belief of that time, namely that an ontologically oriented philosophy has to be concerned either with the nonhuman being of nature, or with the human one conceived experientially. The critical ontology of Nicolai Hartmann came close to the evolutionary ontological conception in that it has incorporated the person in the reality and underlined the meanings of the course of events, time and multidimensionality of being. However, (...) the subject in all traditional ontologies has been reduced, i.e. its structure has been conceived inadequately. They have ignored the different ontic kind of reality, namely the human cultural being, which followed the birth of human beings on the planet Earth. (shrink)

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

What is the ontology of collective action? I have in mind three connected questions. 1. Do the truth conditions of action sentences about groups require there to be group agents over and above individual agents? 2. Is there a difference, in this connection, between action sentences about informal groups that use plural noun phrases, such as ‘We pushed the car’ and ‘The women left the party early’, and action sentences about formal or institutional groups that use singular noun phrases, (...) such as ‘The United States declared war on Japan on December 8th, 1941’ and ‘The Supreme Court ruled that segregation is unconstitutional in 1954 in Brown vs. Board of Education’? 3. Under what conditions does it make sense to speak of a group doing something together, and what, if anything, is a collective action? In this paper, I argue that a) understanding action sentences about groups does not commit us to the existence of group agents per se, but only to the existence of individual agents; b) there is no difference in this regard between sentences which attribute actions to informal groups on the one hand and institutional groups on the other; c) collective action can be both intentional and unintentional; d) any random group of agents each of whom does something is also a group which does something together; e) while there is a sense in which groups per se perform no primitive collective actions, and therefore no actions at all, f) there is a sensible extension of talk of actions to groups, though it should be treated strictly speaking, like talk of group agents, as a façon de parler, for g) the only agents per se are individuals and the only actions are theirs. -/-. (shrink)