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.

[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)

Addressing Merleau-Ponty's work Phenomenology of Perception, in dialogue with The Visible and the Invisible, his lectures at the Collège de France, and his reading of Proust, this book argues that at play in his thought is a philosophy of “ontological lateness”. This describes the manner in which philosophical reflection is fated to lag behind its objects; therefore an absolute grasp on being remains beyond its reach. Merleau-Ponty articulates this philosophy against the backdrop of what he calls “cruel thought”, a style (...) of reflecting that seeks resolution by limiting, circumscribing, and arresting its object. By contrast, the philosophy of ontological lateness seeks no such finality-no apocalypsis or unveiling-but is characterized by its ability to accept the veiling of being and its own constitutive lack of punctuality. To this extent, his thinking inaugurates a new relation to the becoming of sense that overcomes cruel thought. Merleau-Ponty's work gives voice to a wisdom of dispossession that allows for the withdrawal of being. Never before has anyone engaged with the theme of Merleau-Ponty's own understanding of philosophy in such a sustained way as Whitmoyer does in this volume. (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)

The standard account of ontological commitment is quantificational. There are many old and well-chewed-over challenges to the account, but recently Kit Fine added a new challenge. Fine claimed that the ‘‘quantificational account gets the basic logic of ontological commitment wrong’’ and offered an alternative account that used an existence predicate. While Fine’s argument does point to a real lacuna in the standard approach, I show that his own account also gets ‘‘the basic logic of ontological commitment wrong’’. In response, I (...) offer a full quantificational account, using the resources of plural logic, and argue that it leads to a complete theory of natural language ontological commitment. (shrink)

ONTOLOGY This book is a book about the world. I am concerned with ontology, not merely with language. Many ontological treatises concentrate largely on the ...

Social ontology is the study of the nature and properties of the social world. It is concerned with analyzing the various entities in the world that arise from social interaction. -/- A prominent topic in social ontology is the analysis of social groups. Do social groups exist at all? If so, what sorts of entities are they, and how are they created? Is a social group distinct from the collection of people who are its members, and if so, (...) how is it different? What sorts of properties do social groups have? Can they have beliefs or intentions? Can they perform actions? And if so, what does it take for a group to believe, intend, or act? -/- Other entities investigated in social ontology include money, corporations, institutions, property, social classes, races, genders, artifacts, artworks, language, and law. It is difficult to delineate a precise scope for the field (see section 2.1). In general, though, the entities explored in social ontology largely overlap with those that social scientists work on. A good deal of the work in social ontology takes place within the social sciences (see sections 5.1–5.8). -/- Social ontology also addresses more basic questions about the nature of the social world. One set of questions pertains to the constituents, or building blocks, of social things in general. For instance, some theories argue that social entities are built out of the psychological states of individual people, while others argue that they are built out of actions, and yet others that they are built out of practices. Still other theories deny that a distinction can even be made between the social and the non-social. -/- A different set of questions pertains to how social categories are constructed or set up. Are social categories and kinds produced by our attitudes? By our language? Are they produced by causal patterns? And is there just one way social categories are set up, or are there many varieties of social construction? -/- The term ‘social ontology’ has only come into wide currency in recent years, but the nature of the social has been a topic of inquiry since ancient Greece. As a whole, the field can be understood as a branch of metaphysics, the general inquiry into the nature of entities. (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)

Existence questions have been topics for heated debates in metaphysics, but this book argues that they can often be answered easily, by trivial inferences from uncontroversial premises. This 'easy' approach to ontology leads to realism about disputed entities, and to the view that metaphysical disputes about existence questions are misguided.

Field theories have been central to physics over the last 150 years, and there are several theories in contemporary physics in which physical fields play key causal and explanatory roles. This paper proposes a novel field trope-bundle (FTB) ontology on which fields are composed of bundles of particularized property instances, called tropes and goes on to describe some virtues of this ontology. It begins with a critical examination of the dominant view about the ontology of fields, that (...) fields are properties of a substantial substratum. (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.

In _Ontological Terror_ Calvin L. Warren intervenes in Afro-pessimism, Heideggerian metaphysics, and black humanist philosophy by positing that the "Negro question" is intimately imbricated with questions of Being. Warren uses the figure of the antebellum free black as a philosophical paradigm for thinking through the tensions between blackness and Being. He illustrates how blacks embody a metaphysical nothing. This nothingness serves as a destabilizing presence and force as well as that which whiteness defines itself against. Thus, the function of blackness (...) as giving form to nothing presents a terrifying problem for whites: they need blacks to affirm their existence, even as they despise the nothingness they represent. By pointing out how all humanism is based on investing blackness with non-Being—a logic which reproduces antiblack violence and precludes any realization of equality, justice, and recognition for blacks—Warren urges the removal of the human from its metaphysical pedestal and the exploration of ways of existing that are not predicated on a grounding in Being. (shrink)

'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)

This provocative book attempts to resolve traditional problems of identity over time. It seeks to answer such questions as 'How is it that an object can survive change?' and 'How much change can an object undergo without being destroyed'? To answer these questions Professor Heller presents a theory about the nature of physical objects and about the relationship between our language and the physical world. According to his theory, the only actually existing physical entities are what the author calls 'hunks', (...) four-dimensional objects extending across time and space. This is a major contribution to ontological debate and will be essential reading for all philosophers concerned with metaphysics. (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)

In many ontological debates there is a familiar challenge. Consider a debate over X s. The “small” or anti-X side tries to show that they can paraphrase the pro-X or “big” side’s claims without any loss of expressive power. Typically though, when the big side adds whatever resources the small side used in their paraphrase, the symmetry breaks down. The big side plus small’s resources is a more expressively powerful and thus more theoretically fruitful theory. In this paper, I show (...) that there is a very general solution to this problem, for the small side. Assuming the resources of set theory, small can successfully paraphrase big. This result depends on a theorem about models of set theory with urelements. After proving this theorem, I discuss some of its philosophical ramifications. (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.

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)

From a pragmatic standpoint, there is great utility in proffering a theoretical "third way" to a traditionally binary problem, even if that third way is no more complicated than harnessing the strengths of two competing positions, and mitigating their weaknesses in an attempt to resolve the issue at hand. In continental philosophy, Ricour gained notoriety by utilizing such an approach in his treatment of the Gadamer and Habermas debates; Susan Haack achieved similar renown in her attempt to bridge the divide (...) between foundationalist and coherentist theories of epistemic belief justification by providing a viable point of entry into coherent matrices of belief through an originary, experiential foundations. While foundherentism may not have achieved the level of success Haack might have hoped for, it has, whether she could have envisaged it or not, practical value outside of epistemology, particularly as an ontological framework. This essay explores how foundherentism is more apt as a means of understanding the human capacity for world-formation as described by Heidegger. By explicating the foundherentist perspective as an ontological structure, and placing it into dialogue with prominent conceptualizations of "world," a greater understanding of how ‘worlds-as-such’ are constructed can be brought into focus. (shrink)

Ontological dependence is a relation—or, more accurately, a family of relations—between entities or beings. For there are various ways in which one being may be said to depend upon one or more other beings, in a sense of “depend” that is distinctly metaphysical in character and that may be contrasted, thus, with various causal senses of this word. More specifically, a being may be said to depend, in such a sense, upon one or more other beings for its existence or (...) for its identity. Some varieties of ontological dependence may be analyzed in modal terms—that is, in terms of distinctly metaphysical notions of possibility and necessity—while others seem to demand an analysis in terms of the notion of essence. The latter varieties of ontological dependence may accordingly be called species of essential dependence. Notions of ontological dependence are frequently called upon by metaphysicians in their proposed analyses of other metaphysically important notions, such as the notion of substance. (shrink)

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological forms of (...) entities are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (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)

The thesis of methodological individualism in social science is commonly divided into two different claims—explanatory individualism and ontological individualism. Ontological individualism is the thesis that facts about individuals exhaustively determine social facts. Initially taken to be a claim about the identity of groups with sets of individuals or their properties, ontological individualism has more recently been understood as a global supervenience claim. While explanatory individualism has remained controversial, ontological individualism thus understood is almost universally accepted. In this paper I argue (...) that ontological individualism is false. Only if the thesis is weakened to the point that it is equivalent to physicalism can it be true, but then it fails to be a thesis about the determination of social facts by facts about individual persons. Even when individualistic facts are expanded to include people’s local environments and practices, I shall argue, those still underdetermine the social facts that obtain. If true, this has implications for explanation as well as ontology. I first consider arguments against the local supervenience of social facts on facts about individuals, correcting some flaws in existing arguments and affirming that local supervenience fails for a broad set of social properties. I subsequently apply a similar approach to defeat a particularly weak form of global supervenience, and consider potential responses. Finally, I explore why it is that people have taken ontological individualism to be true. (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with various (...) historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those (...) who created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

I will here present a number of problems concerning the idea that there is ontological vagueness, and the related claim that appeal to this idea can help solve some vagueness-related problems. A theme underlying the discussion will be the distinction between vagueness specifically and indeterminacy more generally (and, relatedly, the distinction between ontological vagueness and ontological indeterminacy). Even if the world is somehow ontologically indeterminate it by no means follows that it is, properly speaking, ontologically vague.1..

This essay provides an opinionated survey of some recent developments in the literature on ontological dependence. Some of the most popular definitions of ontological dependence are formulated in modal terms; others in non-modal terms (e.g., in terms of the explanatory connective, ‘because’, or in terms of a non-modal conception of essence); some (viz., the existential construals of ontological dependence) emphasise requirements that must be met in order for an entity to exist; others (viz., the essentialist construals) focus on conditions that (...) must be satisfied in order for an entity to be the very entity it is at each time at which it exists; some are rigid, in the sense that they concern a relation between particular entities; others are generic, in the sense that they involve only a relation between an entity and some entities or other, which bear certain characteristics. I identify three potential measures of success with respect to which these different definitions of ontological dependence can be evaluated and consider the question of how well they in fact meet these desiderata. I end by noting that certain challenges face even the most promising essentialist construals of ontological dependence. (shrink)

This article is a brief overview of major ontological arguments. The most noteworthy feature of this article is the statement of a new parody of the Anselmian and Cartesian arguments that is obviously immune to objections adverting to intrinsic minima and maxima.