This chapter offers a new criticism of the Mind argument that is both decisive and instructive. It introduces a plausible principle (γ) that places a requirement on one’s having a choice about an event whose causal history includes only other events. Depending on γ’s truth-value, the Mind argument fails in such a way that one or the other of the two main species of libertarianism is the best approach to the metaphysics of freedom. Libertarians argue the compatibility of freedom and (...) indeterminism, and their biggest obstacle is the Mind argument that argues an incompatibility between the two. The chapter aims to build a case for the truth of γ, and so for nonreductive libertarianism. This is achieved by defending it from the best objections that have been brought to light, thereby emphasizing γ’s prima facie plausibility. (shrink)

Three-dimensionalists , sometimes referred to as endurantists, think that objects persist through time by being “wholly present” at every time they exist. But what is it for something to be wholly present at a time? It is surprisingly difficult to say. The threedimensionalist is free, of course, to take ‘is wholly present at’ as one of her theory’s primitives, but this is problematic for at least one reason: some philosophers claim not to understand her primitive. Clearly the three-dimensionalist would be (...) better off if she could state her theory in terms accessible to all. We think she can. What is needed is a definition of ‘is wholly present at’ that all can understand. in this paper, we offer one. (shrink)

In this paper, I critically discuss one of the more influential arguments for mereological universalism, what I will call ‘the Vagueness Argument’. I argue that a premise of the Vagueness Argument is not well supported and that there are at least two good reasons for thinking that the premise in question is false.

Composite materialism, as I will understand it, is the view that human persons are composite material objects. This paper develops and investigates an argument, The Vague Singulars Argument, for the falsity of composite materialism. We shall see that cogent or not, the Vague Singulars Argument has philosophically significant ramifications.

According to the Weak Supplementation Principle (WSP)—a widely received principle of mereology—an object with a proper part, p , has another distinct proper part that doesn't overlap p . In a recent article in this journal, Nikk Effingham and Jon Robson employ WSP in an objection to endurantism. I defend endurantism in a way that bears on mereology in general. First, I argue that denying WSP can be motivated apart from the truth of endurantism. I then go on to offer (...) an explanation of WSP's initial appeal, argue that denying WSP fails to have untoward consequences for the rest of mereology, and show that the falsity of WSP is consistent with a primary guiding thought behind it. (shrink)

According to perdurantism, objects persist by being spread out over time, just as composite three-dimensional objects are spread out over space. Just as a composite three-dimensional object is spread out over space by having spatial parts, objects persist, according to perdurantism, by having temporal parts. Perdurantism can be stated more precisely by saying what exactly a temporal part is. In the sequel, Theodore Sider's definition of "instantaneous temporal part" shall be assumed: x is an instantaneous temporal part of y at (...) instant t =df. x exists at, but only at, t; x is part of y at t; and x overlaps at t everything that is part of y at t. Much more could be and has been said about how perdurantism should be formulated. Though interesting in their own right, nothing of importance here turns on these matters of formulation. (shrink)

Stephen Barker and Phil Dowe have argued, through what they call the mereological paradox, that endurantism is contradictory. In this paper, I take issue with Barker and Dowe’s argument. In addition to disarming an interesting philosophical argument against endurantism, my diagnosis of Barker and Dowe’s mereological paradox underscores what is central to the endurantism/perdurantism debate and reveals the inadequacy of a familiar way of describing enduring objects.

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

We propose a domain-level ontology of plays for the facilitation of play-based collaborative autonomy among unmanned and manned-unmanned aircraft teams in the Army’s Unmanned Aircraft System (UAS) mission domain. We define a play as a type of plan that prescribes some pattern of intentional acts that are intended to reliably result in some goal in some competitive context, and which specifies one or more roles that are realized by those prescribed intentional acts. The ontology is well suited to be extended (...) to other types of military and nonmilitary unmanned vehicle operations. (shrink)

Performative accounts of personhood argue that group agents are persons, fit to be held responsible within the social sphere. Nonetheless, these accounts want to retain a moral distinction between group and individual persons. That: Group-persons can be responsible for their actions qua persons, but that group-persons might nonetheless not have rights equivalent to those of human persons. I present an argument which makes sense of this disanalogy, without recourse to normative claims or additional ontological commitments. I instead ground rights in (...) the different relations in which performative persons stand in relation to one another. (shrink)

The ancient theory of substance and accident is supposed to make sense of complex unities in a way that respects both their unity and their complexity. On Hume’s view such complex unities are only fictitiously unities. This result follows from his thoroughgoing critique of the theory of substance. I will characterize the theory Hume is critiquing as it is presented in Locke, presupposing what Bennett calls the “Leibnizian interpretation.” Locke uses the word ‘substance’ in two senses. Call substance in the (...) first sense “individual substance” and in the second sense “pure substance.” I will discuss the seven main parts of Hume’s view: (I) that we have no idea of pure substance, (II) that there is no complex individual substance, except in a loose sense, (III) that the fiction of complex individual substance arises in a way parallel to that of the fiction of identity through time, and (IV) results in the fiction of pure substance, (V) that simple qualities and perceptions satisfy the definition of individual substance, (VI) that there is no such thing as inherence, and (VII) that there is no such thing as pure substance. Hume’s views on substance are often mentioned without being discussed in detail. Kemp Smith, Stroud, and Garrett, for example, mostly summarize various claims of Hume in the course of expounding on his theory of the idea of personal identity. In contrast, I will attempt to present a systematic treatment of Hume on substance as a refutation of Locke. (shrink)

In 'The Moral Problem', Michael Smith defends a conception of normative reasons that is nonrelative. Given his understanding of normative reasons, nonrelativity commits him to the convergence hypothesis: that, as a result of the process or correction of beliefs and rational deliberation, 'all' agents would converge on having the same set of desires. I develop several reasons for being pessimistic about the truth of this hypothesis. As a result, if normative reasons exist, we have a reason to be skeptical (...) of either Smith's understanding of what normative reasons are or of his insistence that they are nonrelative. (shrink)

There is more than one way to say that composition is identity. Yi has distinguished the Weak Composition thesis from the Strong Composition thesis and attributed the former to David Lewis while noting that Lewis associates something like the latter with me. Weak Composition is the thesis that the relation between the parts collectively and their whole is closely analogous to identity. Strong Composition is the thesis that the relation between the parts collectively and their whole is identity. Yi is (...) right that Strong Composition does not fully reflect my view. We must recognize further what, borrowing Lewis's characterization, could be called the "stronger, and stranger" Composition thesis, or what I'll call the Stronger Composition thesis for short. On Strong Composition, it is only collectively that the parts are identical with the whole. On Stronger Composition, they are individually identical with it as well. I will explain and motivate this thesis. (shrink)

How is it possible for David Hume to be both withering skeptic and constructive theorist? I recommend an answer like the Pyrrhonian answer to the question how it is possible to suspend all judgment yet engage in active daily life. Sextus Empiricus distinguishes two kinds of assent: one suspended across the board and one involved with daily living. The first is an act of will based on appreciation of reasons; the second is a causal effect of appearances. Hume makes the (...) same distinction, only he extends the sort of assent involved in daily life to theoretical matters as well. He is a skeptic both in finding no reason to grant the first sort of assent and in being subject to the second. (shrink)

This paper will attempt to assess the primary differences between what I take to be the two primary philosophical "traditions" in contemporary French philosophy, using Derrida (transcendence) and Deleuze (immanence) as exemplary representatives. The body of the paper will examine the use of these terms in three different areas of philosophy on which Derrida and Deleuze have both written: subjectivity, ontology, and epistemology. (1) In the field of subjectivity, the notion of the subject has been critiqued in two manners, either (...) by appealing either to the transcendence of the other (Levinas, Derrida) or to the immanent jlux of experience itself, in relation to which the Ego itself is trancendent (Deleuze, Foucault, Sartre, James). (2) In the field of ontology, a purely "immanent" ontology would be an ontology in which there is neither a "beyond" or an "otherwise" Being, nor "interruptions" in Being, both of which would require an appeal to a formal element of transcendence (Deleuze). Such a "transcendent" and aporetic structure, which can never appear or be present as such within Being, is what lies at the basis of the project of deconstruction, with its attendant aporias (Derrida). (3) This distinction, finally, finds parallels in Kant's epistemology, for whom the possible experience is conditioned by purely immanent criteria (Deleuze), whereas what goes beyond the limits of possible experience is transcendent (Derrida). Drawing on these three thread of analysis, the paper concludes with an assessment of what is at stake in the ethical differences between the two traditions. The question of "transcendence" is "What mast I do?", which is the question of morality (a duty or obligation that is beyond being, an "ought" beyond the "is"). The question of "immanence" is "What can I do?" (my power or capacity as an existing individual within being). For Levinas and Derrida, ethics precedes ontology because it is derived from an element of transcendence (the Other); for Deleuze, ethics is ontology because it is derived from the immanent relation of beings to Being at the level of their existence (Spinoza). (shrink)

Atheists have tacitly conceded the field to theists in the area of philosophical cosmology, specifically, in the enterprise of explaining why the universe exists. The theistic hypothesis is that the reason the universe exists lies in God’s creative choice, but atheists have not proposed any reason why the universe exists. I argue that quantum cosmology proposes such an atheistic reason, namely, that the universe exists because it has an unconditional probability of existing based on a functional law of nature. This (...) law of nature (“the wave function of the universe”) is inconsistent with theism and implies that God does not exist. I criticize the claims of Alston, Craig, Deltete and Guy, Oppy and Plantinga that theism is consistent with quantum cosmology. (shrink)

Hume discusses the distinction of reason to explain how we distinguish things inseparable, and so identical, e.g., the color and figure of a white globe. He says we note the respect in which the globe is similar to a white cube and dissimilar to a black sphere, and the respect in which it is dissimilar to the first and similar to the second. Unfortunately, Hume takes these differing respects of resemblance to be identical with the white globe itself. Contradiction results, (...) undermining his theory of abstraction. The way out is apparently to admit an intrinsic complexity in even simple things. (shrink)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...) abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (shrink)

Hume's Treatise arguments concerning space, time, and geometry, especially ones involving his denial of infinite divisibility; have suffered harsh criticism. I show that in the section "Of the ideas of space and time," Hume gives important characterizations of his skeptical approach, in some respects Pyrrhonian, that will be developed in the rest of the Treatise. When that approach is better understood, the force of Hume's arguments can be appreciated, and the influential criticisms of them can be seen to miss the (...) mark. (shrink)

Acts of violence and murder have historically proved difficult to accommodate in standard accounts of the formula of universal law (FUL) version of Kant’s Categorical Imperative (CI). In “Murder and Mayhem,” Barbara Herman offers a distinctive account of the status of these acts that is intended to be appropriately didactic in comparison to accounts like the practical contradiction model. I argue that while Herman’s account is a promising one, the distinction she makes between coercive and non-coercive violence and her response (...) to concerns with the classification of the latter as imperfect duties raise significant questions about the status of some duties. I suggest that we look, instead, to Kant’s treatment of suicide in The Metaphysics of Morals for an account of norms of non-violence and, in particular, to the connection between this duty and concerns with inner freedom and moral health. I argue that we can use this account to inform our general understanding of duties prohibiting killing and violence, and that the resulting account is a promising one. (shrink)

Can there be a theory-free experience? And what would be the object of such an experience. Drawing on ideas set out by Husserl in the “Crisis” and in the second book of his “Ideas”, the paper presents answers to these questions in such a way as to provide a systematic survey of the content and ontology of common sense. In the second part of the paper Husserl’s ideas on the relationship between the common-sense world (what he called the ‘life-world’) and (...) the world of physical theory are subjected to a critical evaluation. The relation of Husserl’s ideas to current work in folk psychology and naive physics and to the direct realism of J. J. Gibson are also treated. (shrink)

This review focuses on the Ogdoas scholastica by Jacob Lorhard, published in 1606. The importance of this document turns on the fact that it contains what is almost certainly the first published occurrence of the term “ontology.” The body of the work consists in a series of diagrams called “diagraphs.” Relevant features of this compendium of diagraphs are: 1. that it does not in fact contain the word “ontology,” and 2. that Lorhard himself was not responsible for its content.

Berkeley and Hume object to Locke's account of abstraction. Abstraction is separating in the mind what cannot be separated in reality. Their objection is that if a is inseparable in reality from b, then the idea of a is inseparable from the idea of b. The former inseparability is the reason for the latter. In most interpretations, however, commentators leave the former unexplained in explaining the latter. This article assumes that Berkeley and Hume present a unified front against Locke. Hume (...) supplements Berkeley's argument just where there are gaps. In particular, Hume makes explicit something Berkeley leaves implicit: The argument against Locke depends on the principle that things are inseparable if and only if they are identical. Abstraction is thinking of one of an inseparable pair while not thinking of the other. But doing so entails thinking of something while not thinking of it. This is the fundamental objection. (shrink)

Armstrong has loose identity be an equivalence relation, yet in cases of something becoming something else, loose identity is not transitive. My alternate account has an attribution of loose identity be really two: a true attribution of an underlying relation (perhaps not transitive) and a false attribution--a Humean feigning-of strict identity. The feigning may become less appropriate as the underlying relation grows more distant. What makes it appropriate initially is that the underlying relation supports a predictable change in some collective. (...) The importance of the predictably changing collective is signaled by regarding it as a single thing. (shrink)

This essay is a response to Luis M. Augusto’s intriguing paper on the rift between mainstream and formal ontology. I will show that there are in fact two questions at issue here: 1. concerning the links between mainstream and formal approaches within philosophy, and 2. concerning the application of philosophy (and especially philosophical ontology) in support of information-driven research for example in the life sciences.

Husserl’s philosophy, by the usual account, evolved through three stages: 1. development of an anti-psychologistic, objective foundation of logic and mathematics, rooted in Brentanian descriptive psychology; 2. development of a new discipline of "phenomenology" founded on a metaphysical position dubbed "transcendental idealism"; transformation of phenomenology from a form of methodological solipsism into a phenomenology of intersubjectivity and ultimately (in his Crisis of 1936) into an ontology of the life-world, embracing the social worlds of culture and history. We show that this (...) story of three revolutions can provide at best a preliminary orientation, and that Husserl was constantly expanding and revising his philosophical system, integrating views in phenomenology, ontology, epistemology and logic with views on the nature and tasks of philosophy and science as well as on the nature of culture and the world in ways that reveal more common elements than violent shifts of direction. We argue further that Husserl is a seminal figure in the evolution from traditional philosophy to the characteristic philosophical concerns of the late twentieth century: concerns with representation and intentionality and with problems at the borderlines of the philosophy of mind, ontology, and cognitive science. (shrink)

I argue that an individual has aspects numerically identical with it and each other that nonetheless qualitatively differ from it and each other. This discernibility of identicals does not violate Leibniz's Law, however, which concerns only individuals and is silent about their aspects. They are not in its domain of quantification. To argue that there are aspects I will appeal to the internal conflicts of conscious beings. I do not mean to imply that aspects are confined to such cases, but (...) the best way to start is to recognize them experientially. We can feel the conflicts within ourselves. In doing so we can feel some of our aspects. I will try to enhance our understanding of the concept of aspect by listing and formalizing some principles for its use. After that I will argue that all sorts of individual things have aspects, not just people who are conflicted. (shrink)

There is a familiar problem in moral theories that recognize positive obligations to help others related to the practical room these obligations leave for ordinary life, and the risk that open-ended obligations to help others will consume our lives and resources. Responding to this problem, Kantians have tended to emphasize the idea of limits on positive obligations but are typically unsatisfactorily vague about the nature and extent of these limits. I argue here that aspects of Kant’s discussion of duties of (...) virtue owed to ourselves suggest a useful metric we can use in discussing these limits and that generalizing this account and combining it with elements of Barbara Herman’s view, offers us an attractive model of moral deliberation with the resources we need to engage the critic’s challenge properly. (shrink)

Understanding Hume’s theory of space and time requires suspending our own. When theorizing, we think of space as one huge array of locations, which external objects might or might not occupy. Time adds another dimension to this vast array. For Hume, in contrast, space is extension in general, where being extended is having parts arranged one right next to the other like the pearls on a necklace. Time is duration in general, where having duration is having parts occurring one aft (...) er another like the notes of a song. Hume’s diff erent view stems from his empiricism, his reliance on experience and observation as the foundation of our concepts. Nothing in our experience suggests a single vast array of locations. Rather, we simply notice that bodies are similar insofar as they have lengths that can be compared. Likewise, nothing in our experience suggests a single dimension of time. Rather, we simply notice that diff erent successions are similar insofar as they have durations that can be compared. Th eorizing that these observations show there to be a single multidimensional array goes well beyond the evidence for Hume. As a skeptic, he fi nds himself unable to assent to theories that stray too far beyond the deliverances of the senses. For Hume, the ideas of space and time are each a general idea of simple—partless— objects arrayed in a certain manner. He argues that the structures of the ideas of space and time refl ect the structures of space and time. Th erefore, space and time are not infi - nitely divisible, and they are ways simple objects are arrayed. Consequently, there is no such thing as empty space nor time without change. (shrink)

Hume’s critique of traditional abstraction entails a result that undercuts his account of the idea of identity. To save his account of identity, Hume would have to accept abstraction as well. What links these two discussions is (1) Hume’s widely shared assumption that traditional abstraction is separating in the mind what are inseparable in reality, (2) his principle that what are different are mentally separable, and (3) his principle that we cannot conceive of the impossible. Given these, it will turn (...) out that abstraction is mentally separating something from itself, which will entail that abstraction is conceiving of something as distinct from itself. But it is impossible for something to be distinct from itself, and so it is inconceivable. Therefore abstraction is impossible. Yet consider Hume’s account of the idea of identity. On that account, to conceive of an identity is to conceive of something as one single thing viewed one way and as two distinct things viewed another. How we can take these opposing views of the same thing is a problem that I’ve termed Hume’s Difficulty concerning Identity. It will turn out that we can take the opposing views only if we can conceive of the single thing viewed one way as somehow distinct from itself when viewed the other way. That is, we must be able to conceive of something as distinct from itself. However, if we cannot conceive of something as distinct from itself when abstracting, then we cannot do it when conceiving of an identity. So traditional abstraction and Hume’s account of the idea of identity stand or fall together. (shrink)

Confucius gave counsel that is notoriously hard to follow: "What you do not wish for yourself, do not impose on others" (Huang 1997: 15.24). People tend to be concerned with themselves and to be indifferent to most others. We are distinct from others so our self-concern does not include them, or so it seems. Were we to realize this distinctness is merely apparent--that our true self includes others--Confucius's counsel would be easier to follow. Concern for our true self would extend (...) concern beyond the narrow selves we appear to be. The neo-Confucians held just such a view. They espoused an identity with the universe and everything in it, arguing that this identity explains a natural concern for everyone and everything, not just for our narrow selves. However, many things in the universe differ from each other, that is, some have qualities others lack. If they are all one and the same thing then that one thing differs from itself. I will suggest that the objection can be answered with some metaphysical innovation. I will address the objection by sketching a theory--call it the theory of aspects--that explains how numerically identical things can differ qualitatively. (shrink)

Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have been there most thoroughly addressed. We advance a (...) proposal resting on a distinction of three levels too often run together in biomedical ontology research: 1. the level of reality; 2. the level of cognitive representations of this reality; 3. the level of textual and graphical artifacts. We propose a reference terminology for ontology research and development that is designed to serve as common hub into which the several competing disciplinary terminologies can be mapped. We then justify our terminological choices through a critical treatment of the ‘concept orientation’ in biomedical terminology research. (shrink)

ABSTRACT According to David Lewis, alteration is "qualitative difference between temporal parts of something." It follows that moments, since they are simple and lack temporal parts, cannot alter from future to present to past. Here then is another way to put McTaggart's paradox about change in tense. I will appeal to my theory of Aspects to rebut the thought behind this rendition of McTaggart. On my theory, it is possible that qualitatively differing things be numerically identical. I call these differing, (...) numerically identical things "aspects." I will argue that alteration can be a qualitative difference between temporal aspects of something that lacks temporal parts. So a moment can alter in tense. By rejecting Lewis's assumption my theory can solve this version of McTaggart's paradox. (shrink)

Is it right to convict a person of a crime on the basis of purely statistical evidence? Many who have considered this question agree that it is not, posing a direct challenge to legal probabilism – the claim that the criminal standard of proof should be understood in terms of a high probability threshold. Some defenders of legal probabilism have, however, held their ground: Schoeman (1987) argues that there are no clear epistemic or moral problems with convictions based on purely (...) statistical evidence, and speculates that our aversion to such convictions may be nothing more than an irrational bias. More recently, Hedden and Colyvan (2019, section VI) describe our reluctance to convict on the basis of purely statistical evidence as an ‘intuition’, but suggest that there may be no ‘in principle’ problem with such convictions (see also Papineau, forthcoming, section 6). In this paper, I argue that there is, in some cases, an in principle problem with a conviction based upon statistical evidence alone – namely, it commits us to a precedent which, if consistently followed through, could lead to the deliberate conviction of an innocent person. I conclude with some reflections on the idea that the criminal justice system should strive to maximise the accuracy of its verdicts – and the related idea that we should each strive to maximise the accuracy of our beliefs. (shrink)

This essay interprets Butler’s distinction between identity in the loose and popular sense and in the strict and philosophical sense. Suppose there are different standards for counting the same things. Then what are two distinct things counting strictly may be one and the same thing counting loosely. Within a given standard identity is one-one. But across standards it is many-one. An alternative interpretation using the parts-whole relation fails, because that relation should be understood as many-one identity. Another alternative making identity (...) relative to sort fails, because whole and parts can be of the same sort. (shrink)

In this paper I defend an eudaimonistic reading of Spinoza’s ethical philosophy. Eudaimonism refers to the mainstream ethical tradition of the ancient Greeks, which considers happiness a naturalistic, stable, and exclusively intrinsic good. Within this tradition, we can also draw a distinction between weak eudaimonists and strong eudaimonists. Weak eudaimonists do not ground their ethical conceptions of happiness in complete theories of metaphysics, epistemology, or psychology. Strong eudaimonists, conversely, build their conceptions of happiness around an overall philosophical system that extends (...) far beyond ethics, while nevertheless being directed at the promotion of a happy life. I will show that Spinozistic happiness is not only naturalistic, stable, and exclusively intrinsically good, but that Spinoza is also a strong eudaimonist because his ethical account of happiness is incomprehensible without appeal to metaphysical, epistemological, and psychological doctrines. As well, I will explain how the apparent subjective and relativistic features of Spinoza’s ethics do not undermine the eudaimonistic reading, because both Spinoza and the ancient eudaimonists grant that the beliefs/feelings of the subject play a necessary (but insufficient) role in happiness as the highest good. (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)

The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, (...) ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities. (shrink)

The paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or human-demarcation-induced boundaries on the other. Cross-cutting this opposition are further oppositions in the realm of boundaries, for example between: crisp and indeterminate, complete and incomplete, enduring and transient, symmetrical and asymmetrical. The resulting typology generates a corresponding (...) categorization of the different sorts of objects which (complete) boundaries determine or demarcate. The theory is applied first of all in the areas of geography and of administrative and property law. Indications are then given as to how the typology may be applied also in other fields where physical and fiat boundaries are at work, including the field of cognitive linguistics and the related field of the ontology of truth. (shrink)

: In the epistemology of the late Wittgenstein, a central place is given to the notion of the hinge: an arational commitment that provides a foundation of some sort for the rest of our beliefs. Quasi-fideism is an approach to the epistemology of religion that argues that religious belief is on an epistemic par with other sorts of belief inasmuch as religious and non-religious beliefs all rely on hinges. I consider in this paper what it takes to find the appropriate (...) hinge for a quasi-fideist approach to the epistemology of religion. (shrink)

The Foundational Model of Anatomy (FMA) symbolically represents the structural organization of the human body from the macromolecular to the macroscopic levels, with the goal of providing a robust and consistent scheme for classifying anatomical entities that is designed to serve as a reference ontology in biomedical informatics. Here we articulate the need for formally clarifying the is-a and part-of relations in the FMA and similar ontology and terminology systems. We diagnose certain characteristic errors in the treatment of these relations (...) and show how these errors can be avoided through adoption of the formalism we describe. We then illustrate how a consistently applied formal treatment of taxonomy and partonomy can support the alignment of ontologies. (shrink)

In this paper I respond to Marcello Di Bello’s criticisms of the ‘normic account’ of the criminal standard of proof. In so doing, I further elaborate on what the normic account predicts about certain significant legal categories of evidence, including DNA and fingerprint evidence and eyewitness identifications.

We have now reached the point at which cloud computing and other types of advanced infrastructure are bringing about a situation in which knowledge objects can be delivered in an efficient manner to hose who need to consume them. And just as highways were the infrastructure necessary for a manufacturing economy, serving as the arteries along which raw materials and manufactured goods coming in from all directions could flow, so we believe that ontologies will in the future provide an important (...) pillar in the infrastructure that is necessary for the accurate and safe delivery of all varieties of knowledge. (shrink)

We present a novel methodology for calculating the improvements obtained in successive versions of biomedical ontologies. The theory takes into account changes both in reality itself and in our understanding of this reality. The successful application of the theory rests on the willingness of ontology authors to document changes they make by following a number of simple rules. The theory provides a pathway by which ontology authoring can become a science rather than an art, following principles analogous to those that (...) have fostered the growth of modern evidence-based medicine. Although in this paper we focus on ontologies, the methodology can be generalized to other sorts of terminology-based artifacts, including Electronic Patient Records. (shrink)

Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.

That uses of language not only can, but even normally do, have the character of actions was a fact largely unrealised by those engaged in the study of language before the present century, at least in the sense that there was lacking any attempt to come to terms systematically with the action-theoretic peculiarities of language use. Where the action-character of linguistic phenomena was acknowledged, it was normally regarded as a peripheral matter, relating to derivative or nonstandard aspects of language which (...) could afford to be ignored. (shrink)

The concept of metaphor as primarily a vehicle for conveying ideas, even if unusual ones, seems to me as wrong as the parent idea that a metaphor has a special meaning. I agree with the view that metaphors cannot be paraphrased, but I think this is not because metaphors say something too novel for literal expression but because there is nothing there to paraphrase. Paraphrase, whether possible or not, inappropriate to what is said: we try, in paraphrase, to say it (...) another way. But if I am right, a metaphor doesn't say anything beyond its literal meaning. This is not, of course, to deny that a metaphor has a point, nor that that point can be brought out by using further words.... My disagreement is with the explanation of how metaphor works its wonders. To anticipate: I depend on the distinction between what words mean and what they are used to do. I think metaphor belongs exclusively to the domain of use. It is something brought off by the imaginative employment of words and sentences and depends entirely on the ordinary meanings of those words and hence on the ordinary meanings of the sentences they comprise. Donald Davidson is University Professor of philosophy at the University of Chicago. He is the author of many important essays, including "Actions, Reasons and Causes," "Causal Relations," and "Truth and Meaning," coauthor of Decision-Making: An Experimental Approach, and coeditor of Words and Objections, Semantics of Natural Language, and The Logic of Grammar. (shrink)