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)

A letter to The Times of London, May 9, 1992 protesting the Cambridge University proposal to award an honorary degree to M. Jacques Derrida.

We are developing the Neurological Disease Ontology (ND) to provide a framework to enable representation of aspects of neurological diseases that are relevant to their treatment and study. ND is a representational tool that addresses the need for unambiguous annotation, storage, and retrieval of data associated with the treatment and study of neurological diseases. ND is being developed in compliance with the Open Biomedical Ontology Foundry principles and builds upon the paradigm established by the Ontology for General Medical Science (OGMS) (...) for the representation of entities in the domain of disease and medical practice. Initial applications of ND will include the annotation and analysis of large data sets and patient records for Alzheimer’s disease, multiple sclerosis, and stroke. (shrink)

Philosophy and Phenomenological Research, EarlyView.

Liberalism is often claimed to be at odds with feminism and critical race theory (CRT). This article argues, to the contrary, that Rawlsian liberalism supports the central commitments of both. Section 1 argues that Rawlsian liberalism supports intersectional feminism. Section 2 argues that the same is true of CRT. Section 3 then uses Young’s ‘Five Faces of Oppression’—a classic work widely utilized in feminism and CRT to understand and contest many varieties of oppression—to illustrate how Rawlsian liberalism supports diverse feminist (...) and CRT projects, and why it may be critical to achieve solidarity between feminism, CRT, and Rawlsian liberalism. Finally, Section 4 responds to five objections. (shrink)

This article argues that existing approaches to programming ethical AI fail to resolve a serious moral-semantic trilemma, generating interpretations of ethical requirements that are either too semantically strict, too semantically flexible, or overly unpredictable. This paper then illustrates the trilemma utilizing a recently proposed ‘general ethical dilemma analyzer,’ GenEth. Finally, it uses empirical evidence to argue that human beings resolve the semantic trilemma using general cognitive and motivational processes involving ‘mental time-travel,’ whereby we simulate different possible pasts and futures. I (...) demonstrate how mental time-travel psychology leads us to resolve the semantic trilemma through a six-step process of interpersonal negotiation and renegotiation, and then conclude by showing how comparative advantages in processing power would plausibly cause AI to use similar processes to solve the semantic trilemma more reliably than we do, leading AI to make better moral-semantic choices than humans do by our very own lights. (shrink)

Alex Byrne contends that women are (simply) adult human females, claiming that this thesis has considerably greater initial appeal than the justified true belief (JTB) theory of knowledge. This paper refutes Byrne’s thesis in the same way the JTB theory of knowledge is widely thought to have been refuted: through simple counterexamples. Lessons are drawn. One lesson is that women need not be human. A second lesson is that biology and physical phenotypes are both irrelevant to whether someone is a (...) woman, and indeed, female in a gendered sense. A third lesson is that trans women, cis women, alien women, and robot women are all women because to be a woman is to be an adult gendered female. This paper does not purport to settle complex normative questions of ethics or justice, including whether the ordinary meaning of “woman” ought to be retained or changed—though I do note plausible implications for these debates. This paper does purport to settle what the ordinary meaning of “woman” is, and in that regard contribute to important conceptual ground-clearing regarding what constitutes an ameliorative or revisionary definition of “woman.”. (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)

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)

The thesis of this paper is that Platonic Forms are angels. I make this identification by claiming that Platonic Forms have the characteristics of angels, in particular, that Platonic Forms are alive. I offer four arguments for this claim. First, it seems that engaging in self-directed action is a sufficient condition for being alive. The Forms are, as teleological activities, self-directed actions. Second, bodies receive their being from their Forms, and some bodies are essentially alive. Third, in the Good, all (...) the types of goodness, including life, are identical. The Forms are appearances of the Good. Fourth, since the Good imparts as much goodness as it can, the Forms are alive unless there is some bar to their being alive. There are good reasons to think that there is no such bar. I then show that ethical vices do not give body to human form, but give body to other forms—those that are evil angels. Lastly, I provide a survey of the relationships that various religious traditions posit between ethical vice and the demonic. (shrink)

According to the standard interpretation of Einstein’s field equations, gravity consists of mass-energy curving spacetime, and an additional physical force or entity—denoted by Λ (the ‘cosmological constant’)—is responsible for the Universe’s metric-expansion. Although General Relativity’s direct predictions have been systematically confirmed, the dominant cosmological model thought to follow from it—the ΛCDM (Lambda cold dark matter) model of the Universe’s history and composition—faces considerable challenges, including various observational anomalies and experimental failures to detect dark matter, dark energy, or inflation-field candidates. This (...) paper shows that Einstein’s Equivalence Principle entails two possible physical interpretations of General Relativity’s field equations. Although the field equations facially appear to support the standard interpretation—that gravity consists of mass-energy curving spacetime—the field equations can be equivalently understood as holding that gravitational effects instead result from mass-energy accelerating the metric-expansion of a second-order spacetime fabric superimposed upon an absolute, first-order Euclidean space, resulting in the observational appearance of spacetime curvature. This alternative interpretation of relativity is shown to be empirically equivalent to the standard interpretation of relativity, albeit with a changing value for Λ (which is similar to how Λ is understood in the conception of Λ as ‘quintessence’, but in this case takes Λ to be gravity). The reconceptualization is then shown to potentially resolve major observational anomalies for the ΛCDM model, including recent observations conflicting with ΛCDM predictions, as well as failures to directly detect dark matter, dark energy, and inflation field/particle candidates. (shrink)

The dominant theory of the evolution of moral cognition across a variety of fields is that moral cognition is a biological adaptation to foster social cooperation. This chapter argues, to the contrary, that moral cognition is likely an evolutionary exaptation: a form of cognition where neurobiological capacities selected for in our evolutionary history for a variety of different reasons—many unrelated to social cooperation—were put to a new, prosocial use after the fact through individual rationality, learning, and the development and transmission (...) of social norms. This chapter begins with a brief overview of the emerging behavioral neuroscience of moral cognition. It then outlines a novel theory of moral cognition that I have previously argued explains these findings better than alternatives. Finally, it shows how the evidence for this theory of moral cognition and human evolutionary history together suggest that moral cognition is likely not a biological adaptation. Instead, like reading sheet music or riding a bicycle, moral cognition is something that individuals learn to do—in this case, in response to sociocultural norms created in our ancestral history and passed down through the ages to enable cooperative living. (shrink)

This paper shows that several live philosophical and scientific hypotheses – including the holographic principle and multiverse theory in quantum physics, and eternalism and mind-body dualism in philosophy – jointly imply an audacious new theory of free will. This new theory, "Libertarian Compatibilism", holds that the physical world is an eternally existing array of two-dimensional information – a vast number of possible pasts, presents, and futures – and the mind a nonphysical entity or set of properties that "read" that physical (...) information off to subjective conscious awareness (in much the same way that a song written on an ordinary compact-disc is only played when read by an outside medium, i.e. a CD-player). According to this theory, every possible physical “timeline” in the multiverse may be fully physically deterministic or physically-causally closed but each person’s consciousness still entirely free to choose, ex nihilo, outside of the physical order, which physically-closed timeline is experienced by conscious observers. Although Libertarian Compatibilism is admittedly fantastic, I show that it not only follows from several live scientific and philosophical hypotheses, I also show that it (A) is a far more explanatorily powerful model of quantum mechanics than more traditional interpretations (e.g. the Copenhagen, Everett, and Bohmian interpretations), (B) makes determinate, testable empirical predictions in quantum theory, and finally, (C) predicts and explains the very existence of a number of philosophical debates and positions in the philosophy of mind, time, personal identity, and free will. First, I show that whereas traditional interpretations of quantum mechanics are all philosophically problematic and roughly as ontologically “extravagant” as Libertarian Compatibilism – in that they all posit “unseen” processes – Libertarian Compatibilism is nearly identical in structure to the only working simulation that human beings have ever constructed capable of reproducing (and so explaining) every general feature of quantum mechanics we perceive: namely, massive-multiplayer-online-roleplaying videogames (or MMORPGs). Although I am not the first to suggest that our world is akin to a computer simulation, I show that existing MMORPGs (online simulations we have already created) actually reproduce every general feature of quantum mechanics within their simulated-world reference-frames. Second, I show that existing MMORPGs also replicate (and so explain) many philosophical problems we face in the philosophy of mind, time, personal identity, and free will – all while conforming to the Libertarian Compatibilist model of reality. -/- I conclude, as such, that as fantastic and metaphysically extravagant as Libertarian Compatibilism may initially seem, it may well be true. It explains a number of features of our reality that no other physical or metaphysical theory does. (shrink)

Many of Margaret Cavendish’s criticisms of Thomas Hobbes in the Philosophical Letters (1664) relate to the disorder and damage that she holds would result if Hobbesian pressure were the cause of visual perception. In this paper, I argue that her “two men” thought experiment in Letter IV is aimed at a different goal: to show the explanatory potency of her account. First, I connect Cavendish’s view of visual perception as “patterning” to the “two men” thought experiment in Letter IV. Second, (...) I provide a potential reply on Hobbes’s behalf that appeals to physiological differences between perceivers’ sense organs, drawing upon Hobbes’s optics in De homine. Third, I argue that such a reply would misunderstand Cavendish’s objective of showing the limited explanatory resources available in understanding visual perception as pressing when compared to her view of visual perception as patterning. (shrink)

Theorists have long debated whether John Rawls’ conception of justice as fairness can be extended to nonideal (i.e. unjust) social and political conditions, and if so, what the proper way of extending it is. This paper argues that in order to properly extend justice as fairness to nonideal conditions, Rawls’ most famous innovation – the original position – must be reconceived in the form of a “nonideal original position.” I begin by providing a new analysis of the ideal/nonideal theory distinction (...) within Rawls’ theoretical framework. I then systematically construct a nonideal original position, showing that although its parties must have Rawls’ principles of ideal justice and priority relations as background aims, the parties should be entirely free to weigh those aims against whatever burdens and benefits they might face under nonideal conditions. Next, I show that the parties ought to aim to secure for themselves a special class of nonideal primary goods: all-purpose goods similar to Rawls’ original primary goods, but which in this case are all-purpose goods individuals might use to (A) promote Rawlsian ideals under nonideal conditions, (B) weigh Rawls’ principles of ideal justice and priority relations against whatever burdens and benefits they might face under nonideal conditions, and (C) effectively pursue their most favored weighting thereof. I then defend a provisional list of nonideal primary goods which include opportunities to participate effectively in equitable and inclusive grassroots reform movements guided by a series of substantive aims. Finally, I briefly speculate on how the parties to the nonideal original position might deliberate to principles of nonideal justice for distributing nonideal primary goods, suggesting that those goods should be distributed in proportion to unjust disadvantage. (shrink)

This paper aims to provide a unifying approach to the analysis of understanding coherencies and understanding subject matters by highlighting the contextualist nature of understanding. Inspired by the relevant alternatives contextualism about knowledge, I will argue that understanding inherently has context-sensitive features and that a theory of understanding that highlights those features can incorporate our intuitions towards understanding as well as consolidate the different accounts of how to analyse understanding. In developing a contextualist account of understanding, I will argue that (...) an account of the features commonly taken to be central to understanding greatly benefits from a contextualist framework. Central to my analysis will be the claim that a person has to fulfill the function of a competent problem solver in order to qualify for the ascription of understanding. In addition to the theoretical elucidation of my contextualist approach to understanding, a demanding hypothetical scenario will be developed to function as a test case. (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.

This article argues that diverse theorists have reasons to theorize about fairness in nonideal conditions, including theorists who reject fairness in ideal theory. It then develops a new all-purpose model of ‘nonideal fairness.’ §1 argues that fairness is central to nonideal theory across diverse ideological and methodological frameworks. §2 then argues that ‘nonideal fairness’ is best modeled by a nonideal original position adaptable to different nonideal conditions and background normative frameworks (including anti-Rawlsian ones). §3 then argues that the parties to (...) the model have grounds to seek a variety of remedial social, legal, cultural, and economic ‘nonideal primary goods’ for combating injustice, as well as grounds to distribute these goods in an equitable and inclusive manner. Finally, I illustrate how the model indexes the nonideal primary goods it justifies to different nonideal contexts and background normative frameworks, illustrating why diverse theorists should find the model and its output principles attractive. (shrink)

In a widely discussed forthcoming article, “What you can't expect when you're expecting,” L. A. Paul challenges culturally and philosophically traditional views about how to rationally make major life-decisions, most specifically the decision of whether to have children. The present paper argues that because major life-decisions are transformative, the only rational way to approach them is to become resilient people: people who do not “over-plan” their lives or expect their lives to play out “according to plan”—people who understand that beyond (...) a certain limit, life cannot be rationally planned and must be accepted as it comes. I show that this focus on resilience—on self-mastery—stands in direct opposition to culturally dominant attitudes toward decision-making, which focus not on the self-mastery but on control and mastery over one's surroundings. In short, I argue that if Paul's general point about transformative experiences is correct, it follows that we rationally ought to adopt a very different approach to life choices, self-development, and the moral education of our children than currently-dominant cultural norms and practices suggest. (shrink)

This article argues that if panpsychism is true, then there are grounds for thinking that digitally-based artificial intelligence may be incapable of having coherent macrophenomenal conscious experiences. Section 1 briefly surveys research indicating that neural function and phenomenal consciousness may be both analog in nature. We show that physical and phenomenal magnitudes—such as rates of neural firing and the phenomenally experienced loudness of sounds—appear to covary monotonically with the physical stimuli they represent, forming the basis for an analog relationship between (...) the three. Section 2 then argues that if this is true and micropsychism—the panpsychist view that phenomenal consciousness or its precursors exist at a microphysical level of reality—is also true, then human brains must somehow manipulate fundamental microphysical-phenomenal magnitudes in an analog manner that renders them phenomenally coherent at a macro level. However, Sect. 3 argues that because digital computation abstracts away from microphysical-phenomenal magnitudes—representing cognitive functions non-monotonically in terms of digits—digital computation may be inherently incapable of realizing coherent macroconscious experience. Thus, if panpsychism is true, digital AI may be incapable of achieving phenomenal coherence. Finally, Sect. 4 briefly examines our argument’s implications for Tononi’s Integrated Information Theory theory of consciousness, which we contend may need to be supplanted by a theory of macroconsciousness as analog microphysical-phenomenal information integration. (shrink)

This study examined correlations between moral value judgments on a 17-item Moral Intuition Survey (MIS), and participant scores on the Short-D3 “Dark Triad” Personality Inventory—a measure of three related “dark and socially destructive” personality traits: Machiavellianism, Narcissism, and Psychopathy. Five hundred sixty-seven participants (302 male, 257 female, 2 transgendered; median age 28) were recruited online through Amazon Mechanical Turk and Yale Experiment Month web advertisements. Different responses to MIS items were initially hypothesized to be “conservative” or “liberal” in line with (...) traditional public divides. Our demographic data confirmed all of these hypothesized categorizations. We then tested two broad, exploratory hypotheses: (H1) the hypothesis that there would be “many” significant correlations between conservative MIS judgments and the Dark Triad, and (H2) the hypothesis that there would be no significant correlations between liberal MIS judgments and Machiavellianism or Psychopathy, but “some” significant correlations between liberal MIS judgments and Narcissism. Because our hypotheses were exploratory and we ran a large number of statistical tests (62 total), we utilized a Bonferroni Correction to set a very high threshold for significance (p = .0008). Our results broadly supported our two hypotheses. We found eleven significant correlations between conservative MIS judgments and the Dark Triad—all at significance level of p < .00001—but no significant correlations between the Dark Triad and liberal MIS judgments. We believe that these results raise provocative moral questions about the personality bases of moral judgments. In particular, we propose that because the Short-D3 measures three “dark and antisocial” personality traits, our results raise some prima facie worries about the moral justification of some conservative moral judgments. (shrink)

Peer review is often taken to be the main form of quality control on academic research. Usually journals carry this out. However, parts of maths and physics appear to have a parallel, crowd-sourced model of peer review, where papers are posted on the arXiv to be publicly discussed. In this paper we argue that crowd-sourced peer review is likely to do better than journal-solicited peer review at sorting papers by quality. Our argument rests on two key claims. First, crowd-sourced peer (...) review will lead on average to more reviewers per paper than journal-solicited peer review. Second, due to the wisdom of the crowds, more reviewers will tend to make better judgments than fewer. We make the second claim precise by looking at the Condorcet Jury Theorem as well as two related jury theorems developed specifically to apply to peer review. (shrink)

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an (...) essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)

In my 2013 article, “A New Theory of Free Will”, I argued that several serious hypotheses in philosophy and modern physics jointly entail that our reality is structurally identical to a peer-to-peer (P2P) networked computer simulation. The present paper outlines how quantum phenomena emerge naturally from the computational structure of a P2P simulation. §1 explains the P2P Hypothesis. §2 then sketches how the structure of any P2P simulation realizes quantum superposition and wave-function collapse (§2.1.), quantum indeterminacy (§2.2.), wave-particle duality (§2.3.), (...) and quantum entanglement (§2.4.). Finally, §3 argues that although this is by no means a philosophical proof that our reality is a P2P simulation, it provides ample reasons to investigate the hypothesis further using the methods of computer science, physics, philosophy, and mathematics. (shrink)

School boosters are tax-exempt organizations that engage in fundraising efforts to provide public schools with supplementary resources. This paper argues that prevailing forms of school boosting are defeasibly unjust. Section 1 shows that inequalities in public education funding in the United States violate John Rawls’s two principles of domestic justice. Section 2 argues that prevailing forms of school boosting exacerbate and plausibly perpetuate these injustices. Section 3 then contends that boosting thereby defeasibly violates Rawlsian principles of nonideal theory for rectifying (...) injustice. Thus, boosting should be presumptively either made illegal or substantially reformed. Finally, Section 4 responds to potential objections. (shrink)

We argue that many intuitions do not have conscious propositional contents. In particular, many of the intuitions had in response to philosophical thought experiments, like Gettier cases, do not have such contents. They are more like hunches, urgings, murky feelings, and twinges. Our view thus goes against the received view of intuitions in philosophy, which we call Mainstream Propositionalism. Our positive view is that many thought-experimental intuitions are conscious, spontaneous, non-theoretical, non-propositional psychological states that often motivate belief revision, but they (...) require interpretation, in light of background beliefs, before a subject can form a propositional judgment as a consequence of them. We call our view Interpretationalism. We argue (i) that Interpretationalism avoids the problems that beset Mainstream Propositionalism and (ii) that our view meshes well with empirical results in contemporary cognitive science. (shrink)

Many critics, Descartes himself included, have seen Hobbes as uncharitable or even incoherent in his Objections to the Meditations on First Philosophy. I argue that when understood within the wider context of his views of the late 1630s and early 1640s, Hobbes's Objections are coherent and reflect his goal of providing an epistemology consistent with a mechanical philosophy. I demonstrate the importance of this epistemology for understanding his Fourth Objection concerning the nature of the wax and contend that Hobbes's brief (...) claims in that Objection are best understood as a summary of the mechanism for scientific knowledge found in his broader work. Far from displaying his confusion, Hobbes's Fourth Objection in fact pinpoints a key weakness of Descartes's faculty psychology: its unintelligibility within a mechanical philosophy. (shrink)

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)

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.

I offer an alternative account of the relationship of Hobbesian geometry to natural philosophy by arguing that mixed mathematics provided Hobbes with a model for thinking about it. In mixed mathematics, one may borrow causal principles from one science and use them in another science without there being a deductive relationship between those two sciences. Natural philosophy for Hobbes is mixed because an explanation may combine observations from experience (the ‘that’) with causal principles from geometry (the ‘why’). My argument shows (...) that Hobbesian natural philosophy relies upon suppositions that bodies plausibly behave according to these borrowed causal principles from geometry, acknowledging that bodies in the world may not actually behave this way. First, I consider Hobbes's relation to Aristotelian mixed mathematics and to Isaac Barrow's broadening of mixed mathematics in Mathematical Lectures (1683). I show that for Hobbes maker's knowledge from geometry provides the ‘why’ in mixed-mathematical explanations. Next, I examine two explanations from De corpore Part IV: (1) the explanation of sense in De corpore 25.1-2; and (2) the explanation of the swelling of parts of the body when they become warm in De corpore 27.3. In both explanations, I show Hobbes borrowing and citing geometrical principles and mixing these principles with appeals to experience. (shrink)

In a recent study appearing in Neuroethics, I reported observing 11 significant correlations between the “Dark Triad” personality traits – Machiavellianism, Narcissism, and Psychopathy – and “conservative” judgments on a 17-item Moral Intuition Survey. Surprisingly, I observed no significant correlations between the Dark Triad and “liberal” judgments. In order to determine whether these results were an artifact of the particular issues I selected, I ran a follow-up study testing the Dark Triad against conservative and liberal judgments on 15 additional moral (...) issues. The new issues examined include illegal immigration, abortion, the teaching of “intelligent design” in public schools, the use of waterboarding and other “enhanced interrogation techniques” in the war on terrorism, laws defining marriage as the union of one man and one woman, and environmentalism. 1154 participants (680 male, 472 female; median age 29), recruited online through Amazon Mechanical Turk, completed three surveys: a 15-item Moral Intuition Survey (MIS), the 28-item Short Dark Triad personality inventory, and a five-item demographic survey. The results strongly reinforce my earlier findings. Twenty-two significant correlations were observed between “conservative” judgments and the Dark Triad (all of which were significant past a Bonferonni-corrected significance threshold of p = .0008), compared to seven significant correlations between Dark Triad and “liberal” judgments (only one of which was significant past p = .0008). This article concludes by developing a novel research proposal for determining whether the results of my two studies are “bad news” for conservatives or liberals. (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)

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)

I claim that there is pro tanto moral reason for parents to not raise their child on a vegan diet because a vegan diet bears a risk of harm to both the physical and the social well-being of children. After giving the empirical evidence from nutrition science and sociology that supports this claim, I turn to the question of how vegan parents should take this moral reason into account. Since many different moral frameworks have been used to argue for veganism, (...) this is a complex question. I suggest that, on some of these moral frameworks, the moral reason that some parents have for not raising their child on a vegan diet on account of this risk is plausibly as strong as the reason they have for raising their child on a vegan diet. In other words, the moral reason I outline is weighty enough to justify some vegan parents in plausibly finding it permissible to not raise their child on a vegan diet. (shrink)

Several recent commentators argue that Thomas Hobbes’s account of the nature of science is conventionalist. Engaging in scientific practice on a conventionalist account is more a matter of making sure one connects one term to another properly rather than checking one’s claims, e.g., by experiment. In this paper, I argue that the conventionalist interpretation of Hobbesian science accords neither with Hobbes’s theoretical account in De corpore and Leviathan nor with Hobbes’s scientific practice in De homine and elsewhere. Closely tied to (...) the conventionalist interpretation is the deductivist interpretation, on which it is claimed that Hobbes believed sciences such as optics are deduced from geometry. I argue that Hobbesian science places simplest conceptions as the foundation for geometry and the sciences in which we use geometry, which provides strong evidence against both the conventionalist and deductivist interpretations. (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)

This paper demonstrates something that Kant notoriously claimed to be possible, but which Kant scholars today widely believe to be impossible: unification of all three formulations of the Categorical Imperative. Part 1 of this paper tells a broad-brush story of how I understand Kant’s theory of practical reason and morality, showing how the three formulations of the Categorical Imperative appear to be unified. Part 2 then provides clear textual support for each premise in the argument for my interpretation.

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)

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

Chapter 1 of this book argued that moral philosophy should be based on seven principles of theory selection adapted from the sciences. Chapter 2 argued that these principles support basing normative moral philosophy on a particular problem of diachronic instrumental rationality: the ‘problem of possible future selves.’ Chapter 3 argued that a new moral principle, the Categorical-Instrumental Imperative, is the rational solution to this problem. Chapter 4 argued that the Categorical-Instrumental Imperative has three equivalent formulations akin to but superior to (...) Kant’s formulations of the Categorical Imperative. Chapter 5 argued that my principle’s three formulations make it rational to adopt a Moral Original Position to derive moral principles. The present chapter derives Four Principles of Fairness from the Moral Original Position--principles of coercion minimization, mutual assistance, fair negotiation, and virtue—and unifies them into a single principle of rightness: Rightness as Fairness. Finally, this chapter argues that Rightness as Fairness entails a novel approach to applied ethics called ‘principled fair negotiation’, illustrating how the theory provides a plausible new framework for addressing applied cases including lying, suicide, trolleys, torture, distribution of scarce resources, poverty, and the ethical treatment of animals. (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)

This paper examines Hobbes’s criticisms of Robert Boyle’s air-pump experiments in light of Hobbes’s account in _De Corpore_ and _De Homine_ of the relationship of natural philosophy to geometry. I argue that Hobbes’s criticisms rely upon his understanding of what counts as “true physics.” Instead of seeing Hobbes as defending natural philosophy as “a causal enterprise … [that] as such, secured total and irrevocable assent,” 1 I argue that, in his disagreement with Boyle, Hobbes relied upon his understanding of natural (...) philosophy as a mixed mathematical science. In a mixed mathematical science one can mix facts from experience with causal principles borrowed from geometry. Hobbes’s harsh criticisms of Boyle’s philosophy, especially in the _Dialogus Physicus, sive De natura aeris_, should thus be understood as Hobbes advancing his view of the proper relationship of natural philosophy to geometry in terms of mixing principles from geometry with facts from experience. Understood in this light, Hobbes need not be taken to reject or diminish the importance of experiment/experience; nor should Hobbes’s criticisms in _Dialogus Physicus_ be understood as rejecting experimenting as ignoble and not befitting a philosopher. Instead, Hobbes’s viewpoint is that experiment/experience must be understood within its proper place – it establishes the ‘that’ for a mixed mathematical science explanation. (shrink)

The status of the laws of nature in Hobbes’s Leviathan has been a continual point of disagreement among scholars. Many agree that since Hobbes claims that civil philosophy is a science, the answer lies in an understanding of the nature of Hobbesian science more generally. In this paper, I argue that Hobbes’s view of the construction of geometrical figures sheds light upon the status of the laws of nature. In short, I claim that the laws play the same role as (...) the component parts – what Hobbes calls the “cause” – of geometrical figures. To make this argument, I show that in both geometry and civil philosophy, Hobbes proceeds by a method of synthetic demonstration as follows: 1) offering a thought experiment by privation; 2) providing definitions by explication of “simple conceptions” within the thought experiment; and 3) formulating generative definitions by making use of those definitions by explication. In just the same way that Hobbes says that the geometer should “put together” the parts of a square to learn its cause, I argue that the laws of nature are the cause of peace. (shrink)

This book argues that moral philosophy should be based on seven scientific principles of theory selection. It then argues that a new moral theory—Rightness as Fairness—satisfies those principles more successfully than existing theories. Chapter 1 explicates the seven principles of theory-selection, arguing that moral philosophy must conform to them to be truth-apt. Chapter 2 argues those principles jointly support founding moral philosophy in known facts of empirical moral psychology: specifically, our capacities for mental time-travel and modal imagination. Chapter 2 then (...) shows that these capacities present human decisionmakers with a problem of diachronic rationality that includes but generalizes beyond, L.A. Paul’s problem of transformative experience: a problem that I call “the problem of possible future selves.” Chapter 3 then argues that a new principle of rationality—the Categorical-Instrumental Imperative—is the only rational solution to this problem, as it requires our present and future selves to forge and uphold a recursive, bi-directional contract with each another given mutual recognition of the problem. Chapter 4 then shows that the Categorical-Instrumental Imperative has three identical formulations analogous but superior to Immanuel Kant’s various formulations of his ‘categorical imperative.’ Chapter 5 shows that these unified formulas jointly entail a particular test of moral principles: a Moral Original Position similar to John Rawls’ famous ‘original position’, but which avoids a variety of problems with Rawls' model. Chapter 6 then shows that the Moral Original Position generates Four Principles of Fairness, which can then be combined into a single principle of moral rightness: Rightness as Fairness. This new conception of rightness is shown to reconcile four dominant moral frameworks (deontology, consequentialism, virtue ethics, and contractualism), as well as entail a new method of moral decisionmaking for applied ethics: a method of “principled fair negotiation” according to which applied ethical issues cannot be wholly resolved through principled debate, but must instead be resolved by actual negotiation and compromise. This method is then argued to generate novel, nuanced analyses of a variety of applied moral issues, including trolley cases, torture, and the ethical treatment of nonhuman animals. Chapter 7 then shows that Rightness as Fairness reconciles three leading political frameworks—libertarianism, egalitarianism, and communitarianism—showing how all three embody legitimate moral ideals that can, and should, be fairly negotiated against each other to settle the scope, and nature, of domestic, international, and global justice on an ongoing, iterated basis. Finally, Chapter 8 argues that Rightness as Fairness satisfies all seven of the principles of theory-selected defended in Chapter 1 more successfully than rival theories. (shrink)

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)

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.

This article argues that philosophers and laypeople commonly conceptualize moral truths or justified moral beliefs as discoverable through intuition, argument, or some other purely cognitive or affective process. It then contends that three empirically well-supported theories all predict that this ‘Discovery Model’ of morality plays a substantial role in causing social polarization. The same three theories are then used to argue that an alternative ‘Negotiation Model’ of morality—according to which moral truths are not discovered but instead created by actively negotiating (...) compromises—promises to reduce polarization by fostering a progressive willingness to ‘work across the aisle’ to settle moral issues cooperatively. This article then examines potential methods for normatively evaluating polarization, arguing there are prima facie reasons to favor the Negotiation Model over the Discovery Model based on their hypothesized effects on polarization. Finally, I outline avenues for further empirical and philosophical research. (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)

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)