Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we (...) prevent the generation of inconsistencies by letting the agents engage in a turn-based rational protocol about the axioms to be added to the integrated ontology. We instantiate the two approaches using real-world ontologies and compare them by measuring the levels of satisfaction of the agents w.r.t. the ontology obtained by the two procedures. (shrink)

Ontologies represent principled, formalised descriptions of agents’ conceptualisations of a domain. For a community of agents, these descriptions may differ among agents. We propose an aggregative view of the integration of ontologies based on Judgement Aggregation (JA). Agents may vote on statements of the ontologies, and we aim at constructing a collective, integrated ontology, that reflects the individual conceptualisations as much as possible. As several results in JA show, many attractive and widely used aggregation procedures are prone (...) to return inconsistent collective ontologies. We propose to solve the possible inconsistencies in the collective ontology by applying suitable weakenings of axioms that cause inconsistencies. (shrink)

Combinations of molecules, of biological individuals, or of chemical processes can produce effects that are not simply attributable to the constituents. Such non-redundant causality warrants recognition of those coherences as ontologically significant whenever that efficacy is relevant. With respect to such interaction, the effective coherence is more real than are the components. This ontological view is a variety of structural realism and is also a kind of process philosophy. The designation ‘process structural realism’ (PSR) seems appropriate.

Why is there a specific problem with biological individuality? Because the living realm contains a wide range of exotic particular concrete entities that do not easily match our ordinary concept of an individual. Slime moulds, dandelions, siphonophores are among the Odd Entities that excite the ontological zeal of the philosophers of biology. Most of these philosophers, however, seem to believe that these Odd Cases oblige us to refine or revise our common concept of an individual. They think, explicitly or tacitly, (...) that to be a living, evolutionary entity is to be a living individual. In this paper, we explore an alternative proposal: the variety and oddity of the forms of the living realm might be ontologically regimented through an increase in the categorial complexity of the living realm, by admitting, beside living individuals, living non-individuals or by acknowledging, more generally, that the evolutionary development of the living forms is not necessarily a process of building individuals, that life is not necessarily individuals-oriented. We claim that, from an ontological point of view, the spectacle of the living realm obliges us to take aggregativity seriously. (shrink)

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

The problem of merging several ontologies has important applications in the Semantic Web, medical ontology engineering and other domains where information from several distinct sources needs to be integrated in a coherent manner.We propose to view ontology merging as a problem of social choice, i.e. as a problem of aggregating the input of a set of individuals into an adequate collective decision. That is, we propose to view ontology merging as ontology aggregation. As a first (...) step in this direction, we formulate several desirable properties for ontology aggregators, we identify the incompatibility of some of these properties, and we define and analyse several simple aggregation procedures. Our approach is closely related to work in judgment aggregation, but with the crucial difference that we adopt an open world assumption, by distinguishing between facts not included in an agent’s ontology and facts explicitly negated in an agent’s ontology. (shrink)

Bio-ontologies are essential tools for accessing and analyzing the rapidly growing pool of plant genomic and phenomic data. Ontologies provide structured vocabularies to support consistent aggregation of data and a semantic framework for automated analyses and reasoning. They are a key component of the Semantic Web. This paper provides background on what bio-ontologies are, why they are relevant to botany, and the principles of ontology development. It includes an overview of ontologies and related resources that are relevant to (...) plant science, with a detailed description of the Plant Ontology (PO). We discuss the challenges of building an ontology that covers all green plants (Viridiplantae). Key results: Ontologies can advance plant science in four keys areas: 1. comparative genetics, genomics, phenomics, and development, 2. taxonomy and systematics, 3. semantic applications and 4. education. Conclusions: Bio-ontologies offer a flexible framework for comparative plant biology, based on common botanical understanding. As genomic and phenomic data become available for more species, we anticipate that the annotation of data with ontology terms will become less centralized, while at the same time, the need for cross-species queries will become more common, causing more researchers in plant science to turn to ontologies. (shrink)

Mental and behavioral disorders represent a significant portion of the public health burden in all countries. The human cost of these disorders is immense, yet treatment options for sufferers are currently limited, with many patients failing to respond sufficiently to available interventions and drugs. High quality ontologies facilitate data aggregation and comparison across different disciplines, and may therefore speed up the translation of primary research into novel therapeutics. Realism-based ontologies describe entities in reality and the relationships between them in (...) such a way that – once formulated in a suitable formal language – the ontologies can be used for sophisticated automated reasoning applications. Reference ontologies can be applied across different contexts in which different, and often mutually incompatible, domain-specific vocabularies have traditionally been used. In this contribution we describe the Mental Functioning Ontology (MF) and Mental Disease Ontology (MD), two realism-based ontologies currently under development for the description of humanmental functioning and disease. We describe the structure and upper levels of the ontologies and preliminary application scenarios, and identify some open questions. (shrink)

We present an ontological analysis of the notion of group agency developed by Christian List and Philip Pettit. We focus on this notion as it allows us to neatly distinguish groups, organizations, corporations – to which we may ascribe agency – from mere aggregates of individuals. We develop a module for group agency within a foundational ontology and we apply it to organizations.

Here we present what we believe is a novel account of what languages are, along with an axiomatically rich representation of languages and language-related data that is based on this account. We propose an account of languages as aggregates of dispositions distributed across aggregates of persons, and in doing so we address linguistic competences and the processes that realize them. This paves the way for representing additional types of language-related entities. Like demographic data of other sorts, data about languages may (...) be of use to researchers in a number of areas, including biomedical research. Data on the languages used in clinical encounters are typically included in medical records, and capture an important factor in patient-provider interactions. Like many types of patient and demographic data, data on a person’s preferred and primary languages are organized in different ways by different systems. This can be a barrier to data integration. We believe that a robust framework for representing language in general and preferred and primary language in particular – which has been lacking in ontologies thus far – can promote more successful integration of language-related data from disparate data sources. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate therein. The theory is divided into two major categories of sub-theories: (sub-) theories of type SPAN and (sub-)theories of type SNAP. These theories represent two complementary perspectives on reality and result in distinct though compatible systems of categories. In SNAP we have enduring entities such as substances, qualities, roles, functions; in SPAN we have perduring entities such as (...) processes and their parts and aggregates. We argue that both kinds of ontological theory are required in order to give a non-reductionism account of complex domains of reality. (shrink)

When an entity ontologically depends on another entity, the former ‘presupposes’ or ‘requires’ the latter in some metaphysical sense. This paper defends a novel view, Dependence Deflationism, according to which ontological dependence is what I call an aggregative cluster concept: a concept which can be understood, but not fully analysed, as a ‘weighted total’ of constructive and modal relations. The view has several benefits: it accounts for clear cases of ontological dependence as well as the source of disagreement in controversial (...) ones; it gives a nice story about the evidential relevance of modal, mereological and set-theoretic facts to ontological dependence; and it makes sense of debates over the relation's formal properties. One important upshot of the deflationary account is that questions of ontological dependence are generally less deep and less interesting than usually thought. (shrink)

This article’s purpose is to defend the depiction of ordinary-sized physical objects as mereological aggregates (MAs), to clarify what the ontology of an MA is, and to show why mereological essentialism (ME) applies to MAs that seem to be ubiquitous if we are to adopt what Frank Jackson calls “Serious Metaphysics” and refuse to broaden our ontology beyond what is (allegedly) bequeathed to us by physics and chemistry. To accomplish this goal, first, I clarify certain background issues that (...) inform what follows and I identify certain constraints that relate to the contemporary ambivalence towards ME. Second, I present a primer on Husserlian mereology that provides a superior account of parts and wholes than the inadequate approach identified in the previous section. Third, I will offer a defense of ME as the correct approach to providing an ontological account of MAs. Finally, I will evaluate two defeaters against my thesis. (shrink)

The Emotion Ontology is an ontology covering all aspects of emotional and affective mental functioning. It is being developed following the principles of the OBO Foundry and Ontological Realism. This means that in compiling the ontology, we emphasize the importance of the nature of the entities in reality that the ontology is describing. One of the ways in which realism-based ontologies are being successfully used within biomedical science is in the annotation of scientific research results in (...) publicly available databases. Such annotation enables several objectives, including searching, browsing and cross-database data integration. A key benefit conferred by realismbased ontology is that suitably annotated research results are able to be aggregated and compared in a fashion that is based on the underlying reality that the science is studying. This has the potential of increasing the power of statistical analysis and meta-analysis in data-driven science. This aspect has been fruitfully exploited in the investigation of the functions of genes in molecular biology. Cognitive neuroscience uses functional neuroimaging to investigate the brain correlates of areas of mental functioning such as memory, planning and emotion. The use of functional neuroimaging to study affective phenomena such as the emotions is called ‘affective neuroscience’. BrainMap is the largest curated database of coordinates and metadata for studies in cognitive neuroscience, including affective neuroscience (Laird et al., 2005). BrainMap data is already classified and indexed using a terminology for classification, called the ‘Cognitive Paradigm Ontology’ (CogPO), that has been developed to facilitate searching and browsing. However, CogPO has been developed specifically for the BrainMap database, and the data are thus far not annotated to a realism-based ontology which would allow the discovery of interrelationships between research results across different databases on the basis of what the research is about. In this contribution, we describe ongoing work that aims to annotate affective neuroscience data, starting with the BrainMap database, using the Emotion Ontology. We describe our objectives and technical approach to the annotation, and mention some of the challenges. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational (...) modification reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

It's well known that Leibniz characterizes bodies in two apparently incompatible ways. On the one hand, he asserts that a body is a real or well-founded phenomenon; on the other, he claims that a body is an aggregate of substances that possesses the reality of these same substances. In this essay I aim to defend an explanation of the relation that exists, according to Leibniz, between these two conceptions of body, an explanation that shows them to be compatible and, indeed, (...) complementary. In the first part of this paper I aim above all to show that Robert Adams and Donald Rutherford are wrong to think that these two conceptions are to be reconciled by recognizing that for Leibniz they apply to one and the same thing. (shrink)

In the second part of this essay, I aim to show that Leibniz, in asserting that bodies are aggregates of substances, wants to affirm something about bodies insofar as they exist a parte rei or in reality: in reality a body is not a being, but a multitude of beings or substances. And this, on my view, is precisely what leads Leibniz to assert that bodies are phenomena: since a body is not in reality a being, but many beings, it (...) follows that a body, conceived as a being, is something that exists only objectively in the soul. That is, a body, conceived as a single thing, is not something real, but an imaginary being, a creature of the mind, a phenomenon. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring entities (...) such as organisms, geographic features, or qualities as they exist at some given moment of time. A SPAN ontology comprehends perduring entities such as processes and their parts and aggregates as they unfold themselves through some temporal interval. We give an axiomatic account of the theory of directly depicting ontologies and of the core parts of the metaontological fragment within which they are embedded. (shrink)

Published in extended form as "Endurants and Perdurants in Directly Depicting Ontologies", -/- We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate in such processes. For this purpose we distinguish between ontologies and metaontology. Ontologies are based on very simple directly depicting languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct (...) though compatible systems of categories. In a SNAP (snapshot) ontology we have the enduring entities in a given domain as they exist to be inventoried at some given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontology are required, together with the meta-ontology which joins them together. On the level of meta-ontology we are able to impose constraints on ontologies of a sort which can support efficient processing of large amounts of data. (shrink)

Bertrand Russell’s _Principles of Mathematics_ (1903) gives rise to several interpretational challenges, especially concerning the theory of denoting concepts. Only relatively recently, for instance, has it been properly realised that Russell accepted denoting concepts that do not denote anything. Such empty denoting concepts are sometimes thought to enable Russell, whether he was aware of it or not, to avoid commitment to some of the problematic non-existent entities he seems to accept, such as the Homeric gods and chimeras. In this paper, (...) I argue first that the theory of denoting concepts in _Principles of __Mathematics_ has been generally misunderstood. According to the interpretation I defend, if a denoting concept shifts what a proposition is about, then the aggregate of the denoted terms will also be a constituent of the proposition. I then show that Russell therefore could not have avoided commitment to the Homeric gods and chimeras by appealing to empty denoting concepts. Finally, I develop what I think is the best understanding of the ontology of _Principles of __Mathematics_ by interpreting some difficult passages. (shrink)

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)

In his work "Treatise on the Negation of the Person," Vasubandhu presents an argument that challenges the conventional understanding of the self, asserting that it can be conceptually and ontologically reduced to the aggregates. This stance is a direct response to the beliefs of Buddhist Personalists, who argue that while a self may be conceptually dependent on the aggregates, it cannot be ontologically reduced to them, as it points to something beyond the aggregates. At the heart of this debate lies (...) the profound conviction that adherence to the self generates attachments, giving rise to desires that ultimately lead to suffering. The key objective is to seek a resolution to this suffering, as encapsulated in the idea that "negative affections arise from grasping-as-self" (Kapstein 350). In my perspective, the Buddhist Personalists offer a more accurate but somewhat incomplete understanding of the self. This is because Vasubandhu's argument, advocating for the conceptual and ontological reduction of the self to the aggregates, does not convincingly demonstrate how unconscious aggregates alone can account for the conscious unification of experiences. (shrink)

The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in the (...) Open Biological and Biomedical Ontologies (OBO) Foundry library, provide a semantic structure but lack many of the necessary terms to describe biodiversity data in all its dimensions. In this paper, we describe the motivation for and ongoing development of a new Biological Collections Ontology, the Environment Ontology, and the Population and Community Ontology. These ontologies share the aim of improving data aggregation and integration across the biodiversity domain and can be used to describe physical samples and sampling processes (for example, collection, extraction, and preservation techniques), as well as biodiversity observations that involve no physical sampling. Together they encompass studies of: 1) individual organisms, including voucher specimens from ecological studies and museum specimens, 2) bulk or environmental samples (e.g., gut contents, soil, water) that include DNA, other molecules, and potentially many organisms, especially microbes, and 3) survey-based ecological observations. We discuss how these ontologies can be applied to biodiversity use cases that span genetic, organismal, and ecosystem levels of organization. We argue that if adopted as a standard and rigorously applied and enriched by the biodiversity community, these ontologies would significantly reduce barriers to data discovery, integration, and exchange among biodiversity resources and researchers. (shrink)

This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to develop a simple temporal theory.

The beliefs of economists are not solely determined by empirical evidence in direct relation to the theories and models they hold. Economists hold 'ontological presuppositions', fundamental ideas about the nature of being which direct their thinking about economic behaviour. In this volume, leading philosophers and economists examine these hidden presuppositions, searching for a 'world view' of economics. What properties are attributed to human individuals in economic theories, and which are excluded? Does economic man exist? Do markets have an essence? Do (...) macroeconomic aggregates exist? Is the economy a mechanism, the functioning of which is governed by a limited set of distinct causes? What are the methodological implications of different ontological starting points? This collection, which establishes economic ontology as a coordinated field of study, will be of great value to economists and philosophers of social sciences. (shrink)

ABSTRACT The philosophical tradition approaches to morals have their grounds predominantly on metaphysical and theological concepts and theories. Among the traditional ethics concepts, the most prominent is the Divine Command Theory (DCT). As per the DCT, God gives moral foundations to the humankind by its creation and through Revelation. Morality and Divinity are inseparable since the most remote civilization. These concepts submerge in a theological framework and are largely accepted by most followers of the three Abrahamic traditions: Judaism, Christianity, and (...) Islam: the greatest part of the human population. Holding faith and Revelation for its grounds, the Divine Command Theories are not strictly subject to the demonstration. The opponents to the Divine Command conception of morals, grounded in the impossibility of demonstration of its metaphysical and religious assumptions, have tried for many centuries (albeit unsuccessfully) to devalue its importance. They held the argument that it does not show material evidence and logical coherence and, for this reason, cannot be taken into account for scientific nor philosophical purposes. It is just a belief and, as so, should be understood. Besides these extreme oppositions, many other concepts contravene the Divine Command theories, in one or another way, in part or in full. Many philosophers and social scientists, from the classic Greek philosophy up to the present date, for instance, sustain that morality is only a construct, and thus culturally relative and culturally determined. However, this brings many other discussions and imposes the challenge to determine what is the meaning of culture, which elements of culture are morally determinant, and finally, what are the boundaries of such relativity. Moral determinists claim that everything related to human behavior, including morality, is determined, once free will does not exist. More recently, modern thinkers argued that there is a strict science of morality. However, the scientific method alone, despite explaining several facts and evidence, cannot enlighten the entire content and full meaning of ethics. Morals’ understanding requires a broader perception, and an agreement among philosophers, which they have never achieved. All of these questions have many different configurations depending on each philosophical strand, and start complex analysis and endless debates, as long as many of them are reciprocally conflictive. The universe and the atmosphere involving this thesis are the dominions of all these conceptual conflicts, observed from an objective and evolutionary standpoint. Irrespective of this circumstance and its intrinsic importance, however, these questions are far distant from the methodological approach of an analytical discussion on objective morals, what is, indeed, the aim and scope of this work. We should briefly revisit these prominent traditional theories because this thesis shelters a comparative study, and its assumptions at least differ profoundly from all traditional theories. Therefore, it becomes necessary offering direct and specific elements of comparison to the reader, for the right criticism, dispensing interruptive researches. However, even revisiting the traditional theories, for this comparative and critical exposure purpose, they will be kept by the side of our main concerns, as “aliena materia.” Irrespective of the validity of any or all of the elements of this discussion, and their meaning as the philosophical universe of this thesis, the purpose of this work is demonstrating and justifying the existence and meaning of prehistoric moral archetypes arisen directly from the very first social needs and efforts for survival. These archetypes are the definition of the essential foundation of ethics, its aggregation to the collective unconscious and corresponding logic organization and transmission to evolutionary stages of the human genome and different relations space-time, irrespective of any contemporary experience of the individuals. The system defined by these archetypes composes an evolutionary human social model. Is this a metaethical position? Yes, it is. Moreover, as in any metaethical reasoning, we should look carefully for the best and coherent routes, as the Analytical Philosophy offers them. Thus, this work should reasonably demonstrate that morals are not a cultural product of the civilized men or modern societies and that despite being subject to several cultural relative aggregations and subtractions, its essential foundations are archetypal and have never structurally changed. This reasoning induces that morality is an original attribute of the “homo sapiens”; it is not a property and nor an accident: it integrates the human essence and belongs to the realm of the ontological human identity. The human phenomena is a continuing process, playing its role between random determination and free will, and we need to question how morality began and how did it come to us in the present. (shrink)

When a liberal-democratic state signs a treaty or wages a war, does its whole polity do those things? In this article, we approach this question via the recent social ontological literature on collective agency. We provide arguments that it does and that it does not. The arguments are presented via three considerations: the polity's control over what the state does; the polity's unity; and the influence of individual polity members. We suggest that the answer to our question differs for different (...) liberal-democratic states and depends on two underlying considerations: the amount of discretion held by the state's officeholders; the extent to which the democratic procedure is deliberative rather than aggregative. (shrink)

Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of entity, (...) are we theoreticians epistemically justified in holding that there are such entities? This would hardly seem sufficient. To be epistemically justified, the ontology to which we theoreticians are committed must pass strict standards: the entities must be of the sort required by our best comprehensive theory of the world. The thesis of this paper is that fine-grained type-free intensional entities are like this. If the thesis is right, these entities have a special objective status perhaps not possessed by some of the other ontological categories associated with special syntactic constructions in natural language. In fact, it is plausible to hold that fine-grained type-free intensional entities provide the proper minimal framework for constructing logical and linguistic theories. In this paper my strategy will be to survey the competing conceptions of fine-grained type-free intensionality and to present arguments in support of one of them. Following this narrowing down process, I will go on to the indicated epistemological considerations. (shrink)

For the metaphysician, photographs are very puzzling entities indeed. And even from the non-philosopher's intuitive point of view, it is not that clear what sort of thing a photograph is. Typically, if a client wants to purchase a photograph, she can mean very different things by 'buying a photograph' : she can mean to buy a print or a number of prints, or she can mean to buy a negative (when traditional film photographs are concerned) or a file (when digital (...) photography is concerned), or she can mean to buy a right to use a photograph a precisely determined number of times in a number of brochures or on a website, and so on. When facing a new client, I always, without exception, face the problem of explaining to her what it is that she is actually buying – and it is not always clear that she is ever buying a photograph. As a metaphysician, I face a much more difficult challenge : find out to what ontological category photographs belong to. Are they concrete spatio-temporal entities like prints, are they universals since there can be many 'prints-instances' of a same photograph, are they sets or aggregates of prints, or something even different ? This is the task that I wish to undertake in this paper : examine all plausible metaphysical categories to which photographs could belong to, and see which one is the fittest. As we shall see, in this 'survival for the fittest' competition between traditional metaphysical categories, there will be no real winner : several categories will reveal themselves to be enlightening and useful when describing features of what photographs are, but none will prove to be entirely satisfactory. Photographs, it seems, are a sort of borderline entities that share some but not all aspects of several traditional metaphysical categories. Is it then justified to postulate a new ontological category to which photographs would properly belong ? On mainly methodological grounds, I shall argue that it is not, and I will suggest a different way out of this metaphysician's trouble by defending a nihilism about photographs. To put it bluntly, I will defend the claim that photographs do not exist – but I will also argue that this is not a very revisionary or anti-commonsensical claim. (shrink)

Multidisciplinary models aggregating ‘lower-level’ biological and ‘higher-level’ psychological and social determinants of a phenomenon raise a puzzle. How is the interaction between the physical, the psychological and the social conceptualized and explained? Using biopsychosocial models of pain as an illustration, I argue that these models are in fact level-neutral compilations of empirical findings about correlated and causally relevant factors, and as such they neither assume, nor entail a conceptual or ontological stratification into levels of description, explanation or reality. If inter-level (...) causation is deemed problematic or if debates about the superiority of a particular level of description or explanation arise, these issues are fueled by considerations other than empirical findings. (shrink)

The firm is a real entity and not an imaginary, fictitious or linguistic entity. This implies that the firm as a whole exhibits a sufficient degree of unity or cohesiveness and is durable and persistent through time. The firm is essentially composed of a particular combination of constituents that are bound together by something that acts as an ontological glue, and is therefore non-reducible to other more basic entities, i.e., to its parts or its members. From our perspective, the firm (...) is not simply an aggregate or a collection. It is a real integrated entity and a dynamic causal system. Institutional and organizational aspects enter the picture. These assertions stand in sharp contrast with mainstream theories of the firm whose proponents are more preoccupied with questions of contractual provisions, vertical integration or opportunism than the general and more fundamental questions related to what firms really are. (shrink)

Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontology to the phenomena of cognition. Agglomerations are aggregates of entities that are dispersed through space on geographic scales. Examples include: plagues, biological species, major world religions. The paper applies standard mereotopological theories of spatial regions to agglomerations in this sense. It offers the beginnings of a general theory of the (...) relations between social, cultural, ethnic and religious agglomerations on the one hand and territorially demarcated spatial objects on the other. In this way it serves as the basis for a general ontological theory of types of human groups and also of types of conflict between these groups. At the same time it provides ontological foundations for the epidemiological study of cognitive phenomena, and especially of cognitive phenomena in the sociopolitical realm. (shrink)

This paper explores two non-standard supermajority rules in the context of judgment aggregation over multiple logically connected issues. These rules set the supermajority threshold in a local, context sensitive way—partly as a function of the input profile of opinions. To motivate the interest of these rules, I prove two results. First, I characterize each rule in terms of a condition I call ‘Block Preservation’. Block preservation says that if a majority of group members accept a judgment set, then so (...) should the group. Second, I show that one of these rules is, in a precise sense, a judgment aggregation analogue of a rule for connecting qualitative and quantitative belief that has been recently defended by Hannes Leitgeb. The structural analogy is due to the fact that Leitgeb sets thresholds for qualitative beliefs in a local, context sensitive way—partly as a function of the given credence function. (shrink)

Can groups really be agents or is group agency just a fiction? Christian List and Philip Pettit argue influentially for group-agent realism by showing how certain groups form and act on attitudes in ways they take to be unexplainable at the level of the individual agents constituting them. Group agency is therefore considered not a fiction or a metaphor but a reality we must account for in explanations of certain social phenomena. In this paper, I challenge this defence of group-agent (...) realism by showing how it is undermined by individual-level analysis of how individuals interact within groups. While group agency can be a useful fiction, real agents are at the individual level, not the collective level. (shrink)

A popular “Reductionist” account of personal identity unifies person stages into persons in virtue of their psychological continuity with one another. One objection to psychological continuity accounts is that there is more to our personal identity than just mere psychological continuity: there is also an active process of self-interpretation and self-creation. This criticism can be used to motivate a rival account of personal identity that appeals to the notion of a narrative. To the extent that they comment upon the issue, (...) proponents of narrative accounts typically reject Reductionist metaphysics that (ontologically) reduce persons to aggregates of person stages. In contrast to this trend, we seek to develop a narrative account of personal identity from within Reductionist metaphysics: we think person stages are unified into persons in virtue of their narrative continuity with one another. We argue that this Reductionist version of the narrative account avoids some serious problems facing non-Reductionist versions of the narrative account. (shrink)

(First paragraphs.) The idea that our language somehow influences our thought can be found in philosophical and scientific traditions of different continents and with different roots and objectives. Yet, beyond the mere theoretical, explorations of the idea are relatively scarce, and are mostly limited to relations between very concrete conceptual categories and subjective experiencing and remembering – to some kind of ‘psychologies of folk-ontology’. Thought as process, reasoning or ‘thinking’, and the role of more complex or abstract concepts in (...) (such) thought tend to be mostly ignored in psychology and philosophy. Conceptual and intellectual history, on the other hand, cannot be accused of such neglect, but the common lack of a comparative perspective in those fields precludes any generalized inference. Furthermore, while a comparative study on the role of complex or abstract concepts in thought as process and its products (the aggregate ‘thought’ of schools, ages, and regions) could result in a considerable enrichment of our understanding of the relationships between language and thought, it would not necessarily be recognized as such because of a fundamental difference in the nature of the concepts involved, affecting the boundary of ‘language’ in the pair ‘language and thought’. More concretely, while the concepts of the ‘psychologies of folk-ontology’ are rather concrete categories of ‘things’ or aspects of experienced reality (hence, ‘folk-ontology’), the abstract concepts of (comparative) conceptual history, such as ‘society’ or ‘reason’, are categories of ideas. Consequently, conceptual history is inseparably tied to the history of ideas, and there is no strict boundary line between concepts, theories, ideas, and aggregate thought in general. It could, therefore, be argued that a comparative conceptual history would be a study of the influence of ideas on thought, rather than of language on thought. That argument, however, would either void language of content, or make the dubious claim that folk-ontology is a fundamentally different type of content than theoretical content. The ‘psychologies of folk-ontology’ study the influence of folk-ontological categories on folk-ontological thought (experiencing and remembering), and a comparative conceptual history would study the influence of theoretical categories (or conceptualized ideas) on theoretical thought (thinking, reasoning, etc.), and there does not seem to be a good reason to exclude either type of categories from ‘language’. Perhaps it should be argued instead that the ambiguous term ‘language’ in the pair ‘language and thought’ would better be replaced with ‘concepts’ or ‘categories’. (shrink)

There is, among some scientists and philosophers, the idea that any theory that would allow the time travel would introduce causal issues. These types of temporal paradoxes can be avoided by the Novikov self-consistency principle or by a variation in the interpretation of many worlds with interacting worlds. The world in which we live has, according to David Lewis, a Parmenidean ontology: "a manifold of events in four dimensions," and the occupants of the world are the 4-dimensional aggregates of (...) the stages - "temporal lines". The causal loops in backwards time travel involve events that appear to "come from nowhere," paradoxical "self-existent" objects or information, resulting in a bootstrap paradox. Many believe that causality loops are not impossible or unacceptable, but only inexplicable. DOI: 10.13140/RG.2.2.28792.70407. (shrink)

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

When a group of processes achieves such closure that a set of states of affairs recurs continually, then the effect of that coherence on the world differs from what would occur in the absence of that closure. Such altered effectiveness is an attribute of the system as a whole, and would have consequences. This indicates that the network of processes, as a unit, has ontological significance. Whenever a network of processes generates continual return to a limited set of states of (...) affairs, the system may function as a “whole”— with respect to appropriate interaction partners. The balance achieved by the processes provides the form of definiteness of a unified agent. The causal powers of such coherent aggregates are indeed just the powers of the “constituents acting in concert”. However, the components act in concert in the specific way they do only because of their inclusion in the closed set of interactions that defines the coherence. This renders the causal powers of the coherence defined by that closure non-redundant, and hence the coherence, as a unit, is ontologically significant. The form of definiteness that provides internal coherence also grounds external efficacy of the societal aggregation. The closure is a structural feature of the coherence — possibly, but not necessarily, apparent in spatial structuring. This approach can provide a unified account that includes quantum microphysics, systems biology, and the philosophy of organism ─ without reducing any of these to another. (shrink)

A challenge faced by defenders of the precautionary principle is to clarify when the evidence that a harmful event might occur suffices to regard this prospect as a real possibility. Plausible versions of the principle must articulate some epistemic threshold, orde minimisrequirement, which specifies when precautionary measures are justified. Critics have argued that formulating such a threshold is problematic in the context of the precautionary principle. First, this is because the precautionary principle appears to be ambiguous about the distinction between (...) risk and uncertainty: should the principle merely be invoked when evidential probabilities are absent, or also when probabilities have low epistemic credentials? Secondly, defenders of the precautionary principle face an aggregation puzzle: in judging whether or not thede minimisrequirement has been met, how should first-order evidential probabilities and their second-order epistemic standing be aggregated? This article argues that the ambiguity can be resolved, and the epistemological puzzle can be solved. Focusing on decisions in the context of climate uncertainty, I advance a version of the precautionary principle that serves as a plausible decision rule, to be adopted in situations where its main alternative—cost–benefit analysis—does not deliver. (shrink)

We present a number of modal logics to reason about group norms. As a preliminary step, we discuss the ontological status of the group to which the norms are applied, by adapting the classification made by Christian List of collective attitudes into aggregated, common, and corporate attitudes. Accordingly, we shall introduce modality to capture aggregated, common, and corporate group norms. We investigate then the principles for reasoning about those types of modalities. Finally, we discuss the relationship between group norms and (...) types of collective responsibility. (shrink)

Treating groups as agents is not at all difficult; teenagers and social scientists do it all the time with great success. Reading Group Agency, though, makes it look like rocket science. According to List and Pettit, groups can be real, and such real groups can cause, as well as bear ethical responsibility for, events. Apparently, not just any collective qualifies as an agent, so a lot turns on how the attitudes and actions of individual members are aggregated. Although I am (...) unsure who will read this book, I can envisage four relatively distinct population segments: philosophers, decision theorists, activists, and social scientists. Philosophers who take questions of ontology seriously will likely find this book evasive. Decision theorists who enjoy axiomatic model building for its own sake will find much to keep them occupied. Activists who have taken it upon themselves to “raise group consciousness” (193) will probably skip ahead to the third part and feel emboldened by the thought that the model builders are busy with the first two. However, since the normative questions (about responsibility and so on) are answerable to prior metaphysical questions for which Group Agency supplies vacillating answers at best, a transition to advocacy would seem hasty. As for social scientists, either they will glance at the book’s dust jacket and (wrongly) assume that philosophers have now “proven” the existence of the groups they study, or they will engage with List and Pettit’s model only to discover that, unless they happen to specialize in commercial corporations, the model’s many stipulations impede rather than facilitate/elucidate their usual group intentional ascriptions. (shrink)

I argue that a group can have normative commitments, and that the commitment of a group is not merely a sum or aggregate of the commitments of individual group members. I begin with a set of simple cases which illustrate two structurally different ways that group commitments can go wrong. These two kinds of potential failure correspond to two different levels of commitment: one at the individual level, owed to the other group members, and one at the group level, which (...) the group as a single body owes either to itself or to some third party. I distinguish the content of a commitment (what must be done for the commitment to be fulfilled) from the holder of that commitment: the party to whom the content is owed. I then discuss examples which support the two-level view of group commitment and show that, even when individual-level and group-level commitments have the same content, they are understood to have different holders. Finally I return to my original cases and argue that a two-level structure of group commitment allows us to make sense of the problems that occur in them. (shrink)

What is a society? According to sociologists and philosophers, the concept is a self-evident one. They describe society as an aggregate of people, as a society divided into classes or as a community - but also as an impossible object. Why is the answer so vague? There is a conceptual wall that stands in the way of a definition of society, at the same time as society must be defined in order for the social sciences to be possible. The book (...) shows how society can be defined based on philosopher Uuno Saarnio's categories of the whole and the field of toleration (Leibniz). The whole is more than the sum of its parts. (shrink)

For aggregative theories of moral value, it is a challenge to rank worlds that each contain infinitely many valuable events. And, although there are several existing proposals for doing so, few provide a cardinal measure of each world's value. This raises the even greater challenge of ranking lotteries over such worlds—without a cardinal value for each world, we cannot apply expected value theory. How then can we compare such lotteries? To date, we have just one method for doing so (proposed (...) separately by Arntzenius, Bostrom, and Meacham), which is to compare the prospects for value at each individual location, and to then represent and compare lotteries by their expected values at each of those locations. But, as I show here, this approach violates several key principles of decision theory and generates some implausible verdicts. I propose an alternative—one which delivers plausible rankings of lotteries, which is implied by a plausible collection of axioms, and which can be applied alongside almost any ranking of infinite worlds. (shrink)

The aggregation of individual judgments over interrelated propositions is a newly arising field of social choice theory. I introduce several independence conditions on judgment aggregation rules, each of which protects against a specific type of manipulation by agenda setters or voters. I derive impossibility theorems whereby these independence conditions are incompatible with certain minimal requirements. Unlike earlier impossibility results, the main result here holds for any (non-trivial) agenda. However, independence conditions arguably undermine the logical structure of judgment (...) class='Hi'>aggregation. I therefore suggest restricting independence to premises, which leads to a generalised premise-based procedure. This procedure is proven to be possible if the premises are logically independent. (shrink)

In solving judgment aggregation problems, groups often face constraints. Many decision problems can be modelled in terms the acceptance or rejection of certain propositions in a language, and constraints as propositions that the decisions should be consistent with. For example, court judgments in breach-of-contract cases should be consistent with the constraint that action and obligation are necessary and sufficient for liability; judgments on how to rank several options in an order of preference with the constraint of transitivity; and judgments (...) on budget items with budgetary constraints. Often more or less demanding constraints on decisions are imaginable. For instance, in preference ranking problems, the transitivity constraint is often contrasted with the weaker acyclicity constraint. In this paper, we make constraints explicit in judgment aggregation by relativizing the rationality conditions of consistency and deductive closure to a constraint set, whose variation yields more or less strong notions of rationality. We review several general results on judgment aggregation in light of such constraints. (shrink)

This article applies the tools of experimental philosophy to the ongoing debate about both the theoretical viability and the practical import of partially aggregative moral theories in distributive ethics. We conduct a series of three experiments (N=383): First, we document the widespread occurrence of the intuitions that motivate this position. Our study then moves beyond establishing the existence of partially aggregative intuitions in two dimensions: First, we extend experimental work in such a way as to ascertain which amongst existing versions (...) of partial aggregation (localised vs. global) chimes more fully with moral common sense. Specifically, we document how, in tie-breaking cases, ‘irrelevant goods’ judgments (Kamm) are just as robust as the original aggregative/non-aggregative pair of judgments that constitute partial aggregation. Second, by pairing laypeople’s moral judgments in standard cases with their intuitions about the limits of permissible self-prioritisation, we investigate whether one prominent explanation of why irrelevant claims may not be aggregated (Voorhoeve’s ‘personal prerogative’ argument) can be said to underpin people’s intuitions about the (ir)relevance relation of claims in conflict cases. We close with a discussion of our findings’ practical and theoretical import and highlight avenues for future research. (shrink)

This paper is about the role of interpersonal comparisons in Harsanyi's aggregation theorem. Harsanyi interpreted his theorem to show that a broadly utilitarian theory of distribution must be true even if there are no interpersonal comparisons of well-being. How is this possible? The orthodox view is that it is not. Some argue that the interpersonal comparability of well-being is hidden in Harsanyi's premises. Others argue that it is a surprising conclusion of Harsanyi's theorem, which is not presupposed by any (...) one of the premises. I argue instead that Harsanyi was right: his theorem and its weighted-utilitarian conclusion do not require interpersonal comparisons of well-being. The key to making sense of this possibility is to treat Harsanyi's weights as dimensional constants rather than dimensionless numbers. (shrink)

Suppose that the members of a group each hold a rational set of judgments on some interconnected questions, and imagine that the group itself has to form a collective, rational set of judgments on those questions. How should it go about dealing with this task? We argue that the question raised is subject to a difficulty that has recently been noticed in discussion of the doctrinal paradox in jurisprudence. And we show that there is a general impossibility theorem that that (...) difficulty illustrates. Our paper describes this impossibility result and provides an exploration of its significance. The result naturally invites comparison with Kenneth Arrow's famous theorem (Arrow, 1963 and 1984; Sen, 1970) and we elaborate that comparison in a companion paper (List and Pettit, 2002). The paper is in four sections. The first section documents the need for various groups to aggregate its members' judgments; the second presents the discursive paradox; the third gives an informal statement of the more general impossibility result; the formal proof is presented in an appendix. The fourth section, finally, discusses some escape routes from that impossibility. (shrink)