I challenge the usual approach of defining emergence in terms of properties of wholes “emerging” upon properties of parts. This approach indeed fails to meet the requirement of nontriviality, since it renders a bunch of ordinary properties emergent; however, by defining emergence as the incompressibility of a simulation process, we have an objective meaning of emergence because the difference between the processes satisfying the incompressibility criterion and the other processes does not depend on our cognitive abilities. Finally, this definition fulfills (...) the nontriviality and the scientific‐adequacy requirements better than the combinatorial approach, emergence here being a predicate of processes rather than of properties. †To contact the author, please write to: Institut d'Histoire et de Philosophie des Sciences et des Techniques (CNRS/Université Paris I Sorbonne), 13 rue du Four 75006, Paris; e‐mail: [email protected]. (shrink)

A review of U. Mäki (ed.). Fact and Fiction in Economics, Cambridge: Cambridge University Press, 2003. pp. xvi 384. ISBN 0521 00957. As people interested mainly in theory, methodologists and philos...

The paper begins with a more carefully stated version of ontologically neutral (ON) logic, originally introduced in (Hailperin, 1997). A non-infinitistic semantics which includes a definition of potential infinite validity follows. It is shown, without appeal to the actual infinite, that this notion provides a necessary and sufficient condition for provability in ON logic.

This book is a unique contribution to the philosophy of religion. It offers a comprehensive discussion of one of the most famous arguments for the existence of God: the ontological argument. The author provides and analyses a critical taxonomy of those versions of the argument that have been advanced in recent philosophical literature, as well as of those historically important versions found in the work of St Anselm, Descartes, Leibniz, Hegel and others. A central thesis of the book is that (...) ontological arguments have no value in the debate between theists and atheists. There is a detailed review of the literature on the topic (separated from the main body of the text) and a very substantial bibliography, making this volume an indispensable resource for philosophers of religion and others interested in religious studies. (shrink)

Four- Dimensionalism defends the thesis that the material world is composed of temporal as well as spatial parts. This defense includes a novel account of persistence over time, new arguments in favour of the four-dimensional ontology, and responses to the challenges four- dimensionalism faces." "Theodore Sider pays particular attention to the philosophy of time, including a strong series of arguments against presentism, the thesis that only the present is real. Arguments offered in favour of four- dimensionalism include novel arguments (...) based on time travel, the debate between spacetime substantivalists and relationalists, and vagueness. Also included is a comprehensive discussion of the paradoxes of coinciding material objects, and a novel resolution of those paradoxes based on temporal counterpart theory. In conclusion Sider replies to prominent objections to four- dimensionalism, including discussion of the problem of the rotating homogenous disk. (shrink)

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)

In this chapter, I examine Lewis's ideas about ontological innocence, ontological commitment and double-counting, in his discussion of composition as identity in Parts of Classes. I attempt to understand these primarily as epistemic or methodological claims: how far can we get down this route without adopting radical metaphysical theses about composition as identity?

'Ontology and Metaontology: A Contemporary Guide' is a clear and accessible survey of ontology, focussing on the most recent trends in the discipline. -/- Divided into parts, the first half characterizes metaontology: the discourse on the methodology of ontological inquiry, covering the main concepts, tools, and methods of the discipline, exploring the notions of being and existence, ontological commitment, paraphrase strategies, fictionalist strategies, and other metaontological questions. The second half considers a series of case studies, introducing and familiarizing (...) the reader with concrete examples of the latest research in the field. The basic sub-fields of ontology are covered here via an accessible and captivating exposition: events, properties, universals, abstract objects, possible worlds, material beings, mereology, fictional objects. -/- The guide's modular structure allows for a flexible approach to the subject, making it suitable for both undergraduates and postgraduates looking to better understand and apply the exciting developments and debates taking place in ontology today. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that (...) is of particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

Both science and philosophy are interested in questions of ontology- questions about what exists and what these things are like. Science and philosophy, however, seem like very different ways of investigating the world, so how should one proceed? Some defer to the sciences, conceived as something apart from philosophy, and others to metaphysics, conceived as something apart from science, for certain kinds of answers. This book contends that these sorts of deference are misconceived. A compelling account of ontology (...) must appreciate the ways in which the sciences incorporate metaphysical assumptions and arguments. At the same time, it must pay careful attention to how observation, experience, and the empirical dimensions of science are related to what may be viewed as defensible philosophical theorizing about ontology. The promise of an effectively naturalized metaphysics is to encourage beliefs that are formed in ways that do justice to scientific theorizing, modeling, and experimentation. But even armed with such a view, there is no one, uniquely rational way to draw lines between domains of ontology that are suitable for belief, and ones in which it would be better to suspend belief instead. In crucial respects, ontology is in the eye of the beholder: it is Informed by underlying commitments with implications for the limits of inquiry, which inevitably vary across rational inquirers. As a result, the proper scope of ontology is subject to a striking form of voluntary choice, yielding a new and transformative conception of scientific ontology. (shrink)

Neoplatonists from Plotinus onward incorporate Aristotle's logic and ontology into their philosophies: this process is of both intrinsic and historical interest and paves the way for subsequent philosophical debates in the Middle Ages and in the Modern Era. The fifteen essays collected in this book focus on the readings of Aristotle by Plotinus, Porphyry, and Iamblichus in the 3rd and 4th centuries. Their discussions cover key issues in the history of logic and metaphysics such as substance, hylomorphism, causation, existence, (...) and predication. Among the topics tackled in this volume are Plotinus' criticism of Aristotle's physical essentialism, which is a major chapter in the history of metaphysics, and the interpretation of Porphyry's Isagoge, one of the most influential and enigmatic works in the history of philosophy. Further essays focus on the readings of Aristotle's categories developed by Porphyry and Iamblichus, which raise interesting questions at the intersection of logic and ontology, and on the integration of Aristotle's ontology into Neoplatonist accounts of being and existence. (shrink)

The rapidly increasing wealth of genomic data has driven the development of tools to assist in the task of representing and processing information about genes, their products and their functions. One of the most important of these tools is the Gene Ontology (GO), which is being developed in tandem with work on a variety of bioinformatics databases. An examination of the structure of GO, however, reveals a number of problems, which we believe can be resolved by taking account of (...) certain organizing principles drawn from philosophical ontology. We shall explore the results of applying such principles to GO with a view to improving GO’s consistency and coherence and thus its future applicability in the automated processing of biological data. (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)

The way society is organised means that we all get made into members of various types of people, such as judges, wives, or women. These ‘human social kinds’ may be brought into being by oppressive social arrangements, and people may suffer oppression in virtue of being made into a member of a certain human social kind. This book argues that we should pay attention to the ways in which the very fact of being made into a member of a certain (...) human social kind can be oppressive in and of itself. For example, someone who becomes a wife under circumstances where husbands have unjust powers over their wives has suffered a wrong, even if her husband never in fact exercises these powers. The book argues that social movements against racial and gendered oppression, including efforts to advance trans liberation, must get to grips with this phenomenon, and it supplies the conceptual tools needed to do so. The first tool is an analysis of this general form of wrong, termed ‘ontic injustice’. The second tool is an account of ‘ontic oppression’, a particular kind of ontic injustice in which the wrong amounts to a form of oppression, in the sense of being structural and pervasive. The third tool is a pluralist account of race and gender kinds, according to which there is no single social kind that corresponds to a gender category such as ‘woman’, but, rather, there are various different social kinds, each of which is explanatory for different purposes. (shrink)

Increasingly, in data-intensive areas of the life sciences, experimental results are being described in algorithmically useful ways with the help of ontologies. Such ontologies are authored and maintained by scientists to support the retrieval, integration and analysis of their data. The proposition to be defended here is that ontologies of this type – the Gene Ontology (GO) being the most conspicuous example – are a part of science. Initial evidence for the truth of this proposition (which some will find (...) self-evident) is the increasing recognition of the importance of empirically-based methods of evaluation to the ontology development work being undertaken in support of scientific research. The ontologies created by scientists must, of course, be associated with implementations satisfying the requirements of software engineering. But these ontologies are not themselves engineering artifacts, and to conceive them as such brings grievous consequences. Rather, we shall argue, ontologies such as the GO are comparable to scientific theories, to scientific databases, or to scientific journal publications. Such a view implies a radically new conception of what is involved in the authoring, maintenance and application of ontologies in scientific contexts, and therewith also a radically new approach to the evaluation of ontologies and to the training of ontologists. (shrink)

Though science and philosophy take different approaches to ontology, metaphysical inferences are relevant to interpreting scientific work, and empirical investigations are relevant to philosophy. This book argues that there is no uniquely rational way to determine which domains of ontology are appropriate for belief, making room for choice in a transformative account of scientific ontology.

World food production is facing exorbitant challenges like climate change, use of resources, population growth, and dietary changes. These, in turn, raise major ethical and political questions, such as how to uphold the right to adequate nutrition, or the right to enact a gastronomic culture and to preserve the conditions to do so. Proposals for utopic solutions vary from vertical farming and lab meat to diets filled with the most fanciful insects and seaweeds. Common to all proposals is a polarized (...) understanding of food and diets, famously captured by Warren Belasco in the contraposition between technological fixes and anthropological fixes. According to the first, technology will deliver clean, just, pleasurable, affordable food; future generations will not need to adjust much of their dietary cultures. According to the second, future generations should dramatically change their dietary habits (what they eat and how they eat it) to achieve a sustainable diet. The two fixes found remarkably distinct perspectives over dietary politics and the ethics of food production and consumption. In this paper we argue that such polarized thinking rests on a misrepresentation of the ontological status of food, which in turn affects the underlying ethical and political issues. Food is a socially constructed object that draws in specific ways on habits, norms, traditions, geographical, and climatic conditions. Although this thesis seems somewhat obvious, its consequences on the ethical and political perspectives on the future of food have not been derived properly. After introducing the issue at stake (¤1), we point out the polarities that characterize food utopias (¤2) and their ontological faults (¤3). We hence suggest that a socio-ontological analysis of food can better deliver the principles for a foundation of food utopias (¤4). (shrink)

This book gathers together thirteen of Peter van Inwagen's essays on metaphysics, several of which have acquired the status of modern classics in their field. They range widely across such topics as Quine's philosophy of quantification, the ontology of fiction, the part-whole relation, the theory of 'temporal parts', and human knowledge of modal truths. In addition, van Inwagen considers the question as to whether the psychological continuity theory of personal identity is compatible with materialism, and defends the thesis that (...) possible states of affairs are abstract objects, in opposition to David Lewis's 'extreme modal realism'. A specially-written introduction completes the collection, which will be an invaluable resource for anyone interested in metaphysics. (shrink)

This volume consists of the first of the John Dewey Lectures delivered under the auspices of Columbia University's Philosophy Department as well as other essays by the author. Intended to clarify the meaning of the philosophical doctrines propounded by Professor Quine in 'Word and Objects', the essays included herein both support and expand those doctrines.

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic (...) expressivity to existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

I develop a view of the common factor between subjectively indistinguishable perceptions and hallucinations that avoids analyzing experiences as involving awareness relations to abstract entities, sense-data, or any other peculiar entities. The main thesis is that hallucinating subjects employ concepts (or analogous nonconceptual structures), namely the very same concepts that in a subjectively indistinguishable perception are employed as a consequence of being related to external, mind-independent objects or property-instances. These concepts and nonconceptual structures are identified with modes of presentation types. (...) Since a hallucinating subject is not related to any such objects or property-instances, the concepts she employs remain empty. I argue that the phenomenology of hallucinations and perceptions can be identified with employing concepts and analogous nonconceptual structures. By doing so, I defend an ontologically minimalist view of the phenomenology of experience that (1) vindicates Aristotelianism about types and (2) amounts to a naturalized view of the phenomenology of experience. (shrink)

The basic question of ontology is “What exists?”. The basic question of metaontology is: are there objective answers to the basic question of ontology? Here ontological realists say yes, and ontological anti-realists say no. (Compare: The basic question of ethics is “What is right?”. The basic question of metaethics is: are there objective answers to the basic question of ethics? Here moral realists say yes, and moral anti-realists say no.) For example, the ontologist may ask: Do numbers exist? (...) The Platonist says yes, and the nominalist says no. The metaontologist may ask: is there an objective fact of the matter about whether numbers exist? The ontological realist says yes, and the ontological anti-realist says no. Likewise, the ontologist may ask: Given two distinct entities, when does a mereological sum of those entities exist? The universalist says always, while the nihilist says never. The metaontologist may ask: is there an objective fact of the matter about whether the mereological sum of two distinct entities exists? The ontological realist says yes, and the ontological anti-realist says no. Ontological realism is often traced to Quine (1948), who held that we can determine what exists by seeing which entities are endorsed by our best scientific theory of the world. In recent years, the practice of ontology has often presupposed an ever-stronger ontological realism, and strong versions of ontological realism have received explicit statements by Fine (this volume), Sider (2001; this volume), van Inwagen (1998; this volume), and others. (shrink)

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

Deepfakes, as hyperrealistic digital fabrications, reveal gaps and uncertainties in existing ontological frameworks. Neither simply images nor realities, deepfakes occupy an ambiguous metaphysical position between concepts such as representation/simulation, human/machine, and real/artificial. Their emergent generation via AI and experiential traction as credible synthetic media underscores limitations in prevailing paradigms reliant on purified binaries and anthropocentric assumptions. Rather than anomalies, deepfakes epitomize the imperative for new ontological cartographies and conceptual vocabularies attuned to increasingly unbounded algorithmic creation. The paper surveys debates about (...) digital objects and theories of representation to contextualize this argument. Deepfakes’ ontological novelty stems from their ambiguous origins, autonomous proliferation, and infiltration of perceivable situations with credible fictions. This destabilizes ontological foundations such as creative intentionality and indexical truth. I conclude deepfakes signal the insufficiency of existing ontology for navigating realities transformed by generative technologies. New paradigms are needed that grapple with their radical metaphysical challenges. (shrink)

This paper aims to show that Godel's ontological argument can be parodied in much the same kind of way in which Gaunilo parodied Anselm's Proslogion argument. The parody in this paper fails; there is a patch provided in "Reply to Gettings" (Analysis 60, 4, 2000, 363-7).