Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Monoclonal antibodies are essential biomedical research and clinical reagents that are produced by companies and research laboratories. The NIAID ImmPort (Immunology Database and Analysis Portal) resource provides a long-term, sustainable data warehouse for immunological data generated by NIAID, DAIT and DMID funded investigators for data archiving and re-use. A variety of immunological data is generated using techniques that rely upon monoclonal antibody reagents, including flow cytometry, immunofluorescence, and ELISA. In order to facilitate querying, integration, and reuse of data, standardized terminology (...) for describing monoclonal antibody reagents and their targets needs to be used for annotating data submitted to ImmPort. (shrink)

We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO Foundry ontology that (...) provides a set of general classes that can be used to describe general aspects of medical science. ND is being built with classes utilizing both textual and axiomatized definitions that describe and formalize the relations between instances of other classes within the ontology itself as well as to external ontologies such as the Gene Ontology, Cell Ontology, Protein Ontology, and Chemical Entities of Biological Interest. In addition, references to similar or associated terms in external ontologies, vocabularies and terminologies are included when possible. Initial work on ND is focused on the areas of Alzheimer’s and other diseases associated with dementia, multiple sclerosis, and stroke and cerebrovascular disease. Extensions to additional groups of neurological diseases are planned. The second ontology, the Neuro-Psychological Testing Ontology (NPT), is intended to provide a set of classes for the annotation of neuropsychological testing data. The intention of this ontology is to allow for the integration of results from a variety of neuropsychological tests that assay similar measures of cognitive functioning. Neuro-psychological testing is an important component in developing the clinical picture used in the diagnosis of patients with a range of neurological diseases, such as Alzheimer’s disease and multiple sclerosis, and following stroke or traumatic brain injury. NPT is being developed as an extension to the Ontology for Biomedical Investigations. (shrink)

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)

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...) dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

Vaccine research, as well as the development, testing, clinical trials, and commercial uses of vaccines involve complex processes with various biological data that include gene and protein expression, analysis of molecular and cellular interactions, study of tissue and whole body responses, and extensive epidemiological modeling. Although many data resources are available to meet different aspects of vaccine needs, it remains a challenge how we are to standardize vaccine annotation, integrate data about varied vaccine types and resources, and support advanced vaccine (...) data analysis and inference. To address these problems, the community-based Vaccine Ontology (VO) has been developed through collaboration with vaccine researchers and many national and international centers and programs, including the National Center for Biomedical Ontology (NCBO), the Infectious Disease Ontology (IDO) Initiative, and the Ontology for Biomedical Investigations (OBI). VO utilizes the Basic Formal Ontology (BFO) as the top ontology and the Relation Ontology (RO) for definition of term relationships. VO is represented in the Web Ontology Language (OWL) and edited using the Protégé-OWL. Currently VO contains more than 2000 terms and relationships. VO emphasizes on classification of vaccines and vaccine components, vaccine quality and phenotypes, and host immune response to vaccines. These reflect different aspects of vaccine composition and biology and can thus be used to model individual vaccines. More than 200 licensed vaccines and many vaccine candidates in research or clinical trials have been modeled in VO. VO is being used for vaccine literature mining through collaboration with the National Center for Integrative Biomedical Informatics (NCIBI). Multiple VO applications will be presented. (shrink)

Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...) by several alleles (shared epitopes) are better descriptors of the actual causative genetic variants. Here we describe a novel approach to genetic association analysis in which genes/proteins are broken down into smaller sequence features and then variant types defined for each feature, allowing for independent analysis of disease association with each sequence feature variant type. We have used this approach to analyze a cohort of systemic sclerosis patients and show that a sequence feature composed of specific amino acid residues in peptide binding pockets 4 and 7 of HLA-DRB1 explains much of the molecular determinant of risk for systemic sclerosis. (shrink)

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

The Protein Ontology (PRO) web resource provides an integrative framework for protein-centric exploration and enables specific and precise annotation of proteins and protein complexes based on PRO. Functionalities include: browsing, searching and retrieving, terms, displaying selected terms in OBO or OWL format, and supporting URIs. In addition, the PRO website offers multiple ways for the user to request, submit, or modify terms and/or annotation. We will demonstrate the use of these tools for protein research and annotation.

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

Internodons are a formalization of Hennig's concept of species. We present an alternative construction of internodons imposing a tree structure on the genealogical network. We prove that the segments (trivial unary trees) from this tree structure are precisely the internodons. We obtain the following spin-offs. First, the generated tree turns out to be an organismal tree of life. Second, this organismal tree is homeomorphic to the phylogenetic Hennigian species tree of life, implying the discovery of a multi-level tree of life: (...) this phylogenetic tree can be obtained by zooming out from the organismal tree, or conversely, the organismal tree of life can be generated by expanding the phylogenetic nodes into unary trees. Finally, the definition of the organismal tree allows an efficient algorithmic transformation of a given genealogical network into its corresponding phylogenetic species tree of life. The latter will be presented in a separate paper. (shrink)

In discussions of the Aharonov-Bohm effect, Healey and Lyre have attributed reality to loops $\sigma_0$ (or hoops $[\sigma_0]$), since the electromagnetic potential $A$ is currently unmeasurable and can therefore be transformed. I argue that $[A]=[A+d\lambda]_{\lambda}$ and the hoop $[\sigma_0]$ are related by a meaningful duality, so that however one feels about $[A]$ (or any potential $A\in[A]$), it is no worse than $[\sigma_0]$ (or any loop $\sigma_0\in[\sigma_0]$): no ontological firmness is gained by retreating to the loops, which are just as flimsy (...) as the potentials. And one wonders how the unmeasurability of one entity can invest another with physical reality; would an eventual observation of $A$ dissolve $\sigma_0$, consigning it to a realm of incorporeal mathematical abstractions? The reification of loops rests on the potential's ''gauge dependence''; which in turn rests on its unmeasurability; which is too shaky and arbitrary a notion to carry so much weight. (shrink)

There are numerous theoretical reasons which are usually said to undermine the case for mental causation. But in recent years, Libet‘s experiment on readiness potentials (Libet, Wright, and Gleason 1982; Libet, Gleason, Wright, and Pearl 1983), and a more recent replication by a research team led by John Dylan Haynes (Soon, C.S., Brass, M., Heinze, H.J., and Haynes, J.-D. [2008]) are often singled out because they appear to demonstrate empirically that consciousness is not causally involved in our choices and actions. (...) In this paper, an alternative interpretation of these studies is offered; one which is in accordance both with the empirical evidence and also with the phenomenology of the will, demonstrating that the two opposing views of agency – both the ones that deny the reality of free will and the ones that affirm it – are equally compatible with the outcomes of these two experiments. On this basis, it is shown that the claim that the results on the timing of readiness potential tip the scales in favour of one or the other view cannot be justified - neither from a neurological, nor from a philosophical perspective. (shrink)

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal logic (...) to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making. (shrink)

"In the programs of Logic and History of Philosophy in the FHUCE study and introduction to logic is always done on the basis of Western classical Greek tradition, and its development is still exclusively through Western culture. This presentation aims to provide a path parallel to the West is the tradition of Nyaya-Vaisesika schools, which arise in the S. V B.C. like a response to the anti-Vedic Buddhist nihilism, and reached an important technical development at the beginning of S. II (...) D.C. when you know the Nyāyasutras attributed to Aksapada Gautama, and are considered the founding text of Nyāya tradition of Indian philosophy. The great virtue of the achievement of these schools is that although the system has Vaisesika been described as "a synthesis between philosophy of nature, ethics and soteriology" , which also applies to school Nyāya in the latter we are also a great emphasis on epistemology and the rules must be observed in philosophical debates. In their synthesis, Nyāya -Vaisesika system gets his language and jargon will be adopted by all who wish to discuss logical issues in India (especially in discussions Vedanta / Buddhism) without the need to adopt such language should assume his ontological, moral and religious premises. (shrink)

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result (...) involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (shrink)

This paper defends the Principle of Sufficient Reason, taking Baumgarten as its guide. The primary aim is not to vindicate the principle, but rather to explore the kinds of resources Baumgarten originally thought sufficient to justify the PSR against its early opponents. The paper also considers Baumgarten’s possible responses to Kant’s pre-Critical objections to the proof of the PSR. The paper finds that Baumgarten possesses reasonable responses to all these objections. While the paper notes that in the absence of a (...) response to Kant’s Critical discussion of the PSR, this result does not vindicate the principle, it shows how this discussion provides a deeper understanding of what, according to Baumgarten, the PSR really assumes and intends, and prepares the way for a more responsible discussion of Kant’s critical objections to Baumgarten’s supposed proof. (shrink)

A new translation and edition of Aristotle's Protrepticus (with critical comments on the fragments) -/- Welcome -/- The Protrepticus was an early work of Aristotle, written while he was still a member of Plato's Academy, but it soon became one of the most famous works in the whole history of philosophy. Unfortunately it was not directly copied in the middle ages and so did not survive in its own manuscript tradition. But substantial fragments of it have been preserved in several (...) works by Iamblichus of Chalcis, a third century A.D. neo-Pythagorean philosopher and educator. On the basis of a close study of Iamblichus' extensive use and excerption of Aristotle's Protrepticus, it is possible to reconstruct the backbone of the lost work, and then to flesh it out with the other surviving reports about the work from antiquity (for example in Alexander of Aphrodisias and other ancient commentators on Aristotle). It is also possible to identify several papyrus fragments of the work, and many references and literary allusions in later authors, especially Cicero, whose own lost dialogue Hortensius was a defense of philosophy modeleld on Aristotle's. (shrink)

Part 1 of 2, this is an introductory critical review of Michelle Alexander's "The New Jim Crow: Mass Incarceration In The Age of Colorblindness" (The New Press, 2010). See part 2: "Toward Détournement of The New Jim Crow" for an advanced critical reading.

SUMMARY. The works of Alexander of Aphrodisias were written a few decades after the publication of the most successful -astrology hand- book in antiquity, Ptolemy's Tetrabiblos Syntaxis, which attempts to naturalize astrology, i.e. to make it agree with Aristotelian theory of science. A comparison of the doctrines between the Tetrabiblos and some passages of Alexander'p works on fate demostrates a noteworthy con¬vergere of the two scholars, and probably a dependence of the lasi great greek Aristotle's exegete on the (...) theories of Ptolemaic astrology, at least in reference to three points: theory of fate; justification of de- vining as a technical and naturai conjecture about man's fate; ana¬lysis of the stars' influence on the sublunary world in physical and phi¬losophical terms. (shrink)

P-zombies are creatures that are physically (functionally, behaviorally) like you and I and yet lack phenomenal consciousness. If such creatures are possible, it’s (typically) taken to show property dualism is true: phenomenal consciousness isn’t reducible to—nor does it supervene on—physical states. If inverted qualia are possible, it’s possible that you and I have identical physical states and yet you see tomatoes as green and I see tomatoes as red. If this is the case, then (again) property dualism is (typically) taken (...) to be true. In this article, I’ll show that p-zombies and inverted qualia—if they are actually possible—prove more than previously thought: if one thinks p-zombies or inverted qualia are possible, then she should endorse one of the four following theses: (i) substance dualism, (ii) we have even more reason to reject p-zombies and inverted qualia since they entail an even more radical conclusion than previously thought (i.e. substance dualism), (iii) eliminativism about selves, or (iv) friends of p-zombies and inverted qualia have homework: they need to show a relevant, plausible disanalogy between arguments for p-zombies and inverted qualia as traditionally stated and my parallel arguments that entail substance dualism. My purpose here isn’t to defend any of these particular options. Instead, my purpose is to highlight that these are the four options available to take. (shrink)

A supplemental document for "Metalinguistic Gradability".

Multiple states are at risk of becoming uninhabitable due to climate change, forcing their populations to flee. While the 1951 Refugee Convention provides the gold standard of international protection, it is only applied to a limited subset of people fleeing their countries, those who suffer persecution, which most people fleeing climate change cannot establish. While many journalists and non-lawyers freely use the term “climate refugees,” governments, and courts, as well as UNHCR and many refugee experts, have excluded most climate refugees (...) from the Convention as a matter of legal interpretation. In our 2015 paper, “Unable to Return in the 1951 Refugee Convention: Stateless Refugees and Climate Change”, we sought to reopen the debate on “climate refugees” by arguing that some climate refugees qualify under the 1951 Convention as it is currently written (even if they are not persecuted): those who are stateless and are unable to return to their country of origin because climate change has rendered it uninhabitable. Our interpretation, however, has been rejected by Goodwin-Gill and McAdam (2021) and by Foster and Lambert (2019), which explicitly responds to our paper. Here, we address and respond to their arguments, and develop a new supplementary one, drawing on the principle of systemic integration, as enshrined in Article 31(3)(c) of the Vienna Convention on the Law of Treaties. (shrink)

In this paper we discuss how Causal Decision Theory should be modified to handle a class of problematic cases involving deterministic laws. Causal Decision Theory, as it stands, is problematically biased against your endorsing deterministic propositions (for example it tells you to deny Newtonian physics, regardless of how confident you are of its truth). Our response is that this is not a problem for Causal Decision Theory per se, but arises because of the standard method for assessing the truth of (...) certain counterfactuals. The truth of deterministic laws is `modally fragile' on the standard semantics for counterfactuals: if determinism is true and you were to do otherwise, the laws would be different. We provide two ways of avoiding this problem: 1) supplement the standard semantics for counterfactuals with impossible worlds, or 2) introduce rigid designators into the description of problematic decision situations. We argue that both of these approaches are well-motivated and can be readily incorporated into Lewisian Causal Decision Theory. (shrink)

I develop an expressivist account of verbal disagreements as practical disagreements over how to use words rather than factual disagreements over what words actually mean. This account enjoys several advantages over others in the literature: it can be implemented in a neo-Stalnakerian possible worlds framework; it accounts for cases where speakers are undecided on how exactly to interpret an expression; it avoids appeals to fraught notions like subject matter, charitable interpretation, and joint-carving; and it naturally extends to an analysis of (...) metalinguistic negotiations. (shrink)

Much of the discussion surrounding the ethics of abortion has centered around the notion of personhood. This is because many philosophers hold that the morality of abortion is contingent on whether the fetus is a person - though, of course, some famous philosophers have rejected this thesis (e.g. Judith Thomson and Don Marquis). In this article, I construct a novel argument for the immorality of abortion based on the notion of impairment. This argument does not assume that the fetus is (...) a person - indeed, I concede (for the sake of argument) that the fetus is not a person - and hence the morality of abortion is not contingent on whether the fetus is a person. I finish by answering a plethora of objections to my argument, concluding that none of them are successful. (shrink)

A common objection to the very idea of conceptual engineering is the topic continuity problem: whenever one tries to “reengineer” a concept, one only shifts attention away from one concept to another. Put differently, there is no such thing as conceptual revision: there’s only conceptual replacement. Here, I show that topic continuity is compatible with conceptual replacement. Whether the topic is preserved in an act of conceptual replacement simply depends on what is being replaced (a conceptual tool or a conceptual (...) role) and what the topic under discussion is. Thus, the topic continuity problem only arises from a failure to specify these two things. (shrink)

In cases in which we must choose between either (i) preventing a woman from remaining unwillingly pregnant or (ii) preventing a fetus from being killed, we should prevent the fetus from being killed. But this suggests that in typical cases abortion is wrong: typical abortions involve preventing a woman from remaining unwillingly pregnant over preventing a fetus from being killed. And so abortion is typically wrong—and this holds whether or not fetuses are persons.

It is often assumed that if the fetus is a person, then abortion should be illegal. Thomson1 laid the groundwork to challenge this assumption, and Boonin2 has recently argued that it is false: he argues that abortion should be legal even if the fetus is a person. In this article, I explain both Thomson’s and Boonin’s reason for thinking that abortion should be legal even if the fetus is a person. After this, I show that Thomson’s and Boonin’s argument for (...) legalised abortion fail; they have not given us good reason for thinking abortion should be legal.1 Finally, I argue that—if we play Boonin’s game—abortion should be illegal. When discussing the ethics and politics of abortion, whether the fetus is a person is usually central.3 4.2 However, Thomson1 long ago challenged this view. She argued that abortion is permissible even if the fetus is a person. To do so, she asks us to consider a case in which you are non-consensually taken to a hospital and hooked up to a famous violinist. The violinist, if he is to survive, needs to filter his blood through your body. After 9 months, he will be fine and you can unplug yourself and go on your way. If you unplug yourself prior to this, however, he will die. Is it permissible to unplug yourself? Thomson thinks the answer is ‘yes’. And this, she thinks, shows that abortion is permissible even if the fetus is a person. While the majority of her article focuses on the ethics of abortion, it is clear that she also aims to show that abortion should be legal if the fetus is a person; she would no doubt reject the view that the state is right to coerce you into …. (shrink)

Critics of skeptical theism often claim that if it (skeptical theism) is true, then we are in the dark about whether (or for all we know) there is a morally justifying for God to radically deceive us. From here, it is argued that radical skepticism follows: if we are truly in the dark about whether there is a morally justifying reason for God to radically deceive us, then we cannot know anything. In this article, I show that skeptical theism does (...) not entail that we are in the dark about whether (or for all we know) there is a morally justifying reason for God to deceive us. And hence arguments against skeptical theism that make use of this assumption fail. (shrink)

The “Embryo Rescue Case” (ERC) refers to a thought experiment that is used to argue against the view that embryos have a right to life (i.e. are persons). I will argue that cognitive science undermines the intuition elicited by the ERC; I will show that whether or not embryos have a right to life, our mental tools will make it very difficult to believe that embryos have said right. This suggests that the intuition elicited by the ERC is not truth (...) indicative. The upshot of this is that we have an undercutting defeater for our intuition that embryos do not have a right to life. (shrink)

In my article "Even if the fetus is not a person, abortion is immoral: The impairment argument" (this journal), I defended what I called “The impairment argument” which purports to show that abortion is immoral. Bruce Blackshaw (2019) has argued that my argument fails on three accounts. In this article, I respond to his criticisms.

Abortion restrictions are particularly good for black women—at least in the United States. This claim will likely strike many as outlandish. And numerous commentaries on abortion restrictions have suggested otherwise: many authors have lamented the effects of abortion restrictions on women, and black women in particular—these restrictions are bad for them, these authors say. However, abortion restrictions are clearly good for black women. This is because if someone is prevented from performing a morally wrong action, it’s good for her. For (...) example, it’s good for Sarah if she’s prevented from driving home drunk. However, since abortion is morally wrong, it follows that it’s good for women when they are prevented from getting an abortion. And since black women get abortions at disproportionately high rates, abortion restrictions are good in particular for black women. Indeed, this is an example of a positive effect of intersectionality. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

This article is a response to Stephen Law's article ‘The evil-god challenge’. In his article, Law argues that if belief in evil-god is unreasonable, then belief in good-god is unreasonable; that the antecedent is true; and hence so is the consequent. In this article, I show that Law's affirmation of the antecedent is predicated on the problem of good (i.e. the problem of whether an all-evil, all-powerful, and all-knowing God would allow there to be as much good in the world (...) as there is), and argue that the problem of good fails. Thus, the antecedent is unmotivated, which renders the consequent unmotivated. Law's challenge for good-god theists is to show that good-god theism is not rendered unreasonable by the problem of evil in the same way that evil-god theism is rendered unreasonable by the problem of good. Insofar as the problem of good does not render belief in evil-god unreasonable, Law's challenge has been answered: since it is not unreasonable to believe in evil-god (at least for the reasons that Law gives) it is not unreasonable to believe in good-god. Finally, I show that – my criticism aside – the evil-god challenge turns out to be more complicated and controversial than it initially appears, for it relies on the (previously unacknowledged) contentious assumption that sceptical theism is false. (shrink)

I provide an updated version of The Impairment Argument against abortion and respond to numerous objections that can be (and have been) raised to it.

Skeptical theism is a popular response to arguments from evil. Many hold that it undermines a key inference often used by such arguments. However, the case for skeptical theism is often kept at an intuitive level: no one has offered an explicit argument for the truth of skeptical theism. In this article, I aim to remedy this situation: I construct an explicit, rigorous argument for the truth of skeptical theism.

Arguments from evil purport to show that some fact about evil makes it (at least) probable that God does not exist. Skeptical theism is held to undermine many versions of the argument from evil: it is thought to undermine a crucial inference that such arguments often rely on. Skeptical objections to skeptical theism claim that it (skeptical theism) entails an excessive amount of skepticism, and therefore should be rejected. In this article, I show that skeptical objections to skeptical theism have (...) a very limited scope: only those who reject certain (apparently) popular epistemological theories will be threatened by them. (shrink)

Lougheed argues that a possible solution to the problem of divine hiddenness is that God hides in order to increase the axiological value of the world. In a world where God exists, the goods associated with theism necessarily obtain. But Lougheed also claims that in such a world it’s possible to experience the goods of atheism, even if they don’t actually obtain. This is what makes a world with a hidden God more valuable than a world where God is unhidden, (...) and also more valuable than an atheistic world with no God. We show that Lougheed never considers the comparison between a world where God hides and an atheistic world. We argue that it’s possible for a person to experience theistic goods in a world where God does not exist, a possibility Lougheed never considers. If this is right it undermines his axiological solution to divine hiddenness. We conclude by showing how our discussion of the axiology of theism connects to the existential question of whether God exists; that is, we show that the axiological question is dependent on the existential question. (shrink)

The pelvic exam is used to assess the health of female reproductive organs and so involves digital penetration by a physician. However, it is common practice for medical students to acquire experience in administering pelvic exams by performing them on unconscious patients without prior authorization. In this article, we argue that such unauthorized pelvic exams (UPEs) are sexual assault. Our argument is simple: in any other circumstance, unauthorized digital penetration amounts to sexual assault. Since there are no morally significant differences (...) between UPEs and other instances of digital penetration, UPEs are sexual assault. So, insofar as one is against sexual assault, one should be against UPEs. (shrink)

Joona Räsänen, in his article ‘Ectogenesis, abortion and a right to the death of the fetus’, has argued for the view that parents have a right to the death of the fetus. In this article, I will explicate the three arguments Räsänen defends, and show that two of them have false or unmotivated premises and hence fail, and that the support he offers for his third argument is inconsistent with other views he expresses in his article. Therefore, I conclude that (...) there is no right to the death of the fetus—or, if there is one, Räsänen has not shown it. (shrink)

Trent Dougherty has argued that commonsense epistemology and skeptical theism are incompatible. In this paper, I explicate Dougherty’s argument, and show that (at least) one popular form of skeptical theism is compatible with commonsense epistemology.

De facto objections to theism purport to show that theism is false, whereas de jure objections to theism claim that, whether or not theism is true, belief in God is irrational. Divine hiddenness – the fact that there are people who non-resistantly lack belief in God – is sometimes used as an argument against theism. In this article I will show that accepting the argument from divine hiddenness carries a high cost: it eliminates all de jure objections to theism. So (...) atheists can either have de jure objections to theism or the objection from divine hiddenness, but they cannot have both. (shrink)

In this paper, I consider Sterba’s recent criticism of skeptical theism in context of his argument from evil. I show that Sterba’s criticism of skeptical theism shares an undesirable trait with all past criticisms of skeptical theism: it fails. This is largely due to his focus on causal connections and his neglect of logical connections. Because of this, his argument remains vulnerable to skeptical theism.

Skeptical theism is a popular response to arguments from evil. Recently, Matthew A. Benton, John Hawthorne, and Yoaav Isaacs have argued that the theses that ground skeptical theism are either false or limited in scope. In this article, I show that their objections rest on dubious assumptions about the nature of skeptical theism. Along the way, I develop and clarify the ambiguous parts of skeptical theism. The upshot of this is that—once the nature of skeptical theism is made clearer—it is (...) far more difficult to resist. (shrink)

Kant and Fichte developed the concept of a worldview as a way of reflecting on experience as a whole. But what does it mean to form a worldview? And what role did it play in the German Idealist tradition? This paper seeks to answer these questions through a detailed analysis of the form of a philosophical worldview and its historical portent, both of which remain unexplored in the literature. The dearth of attention is partially to blame on Kant’s desultory development (...) of it, as well as its place in Fichte’s understudied lectures on religion. In this paper, I first reconstruct Kant’s conception as the starting point and then trace it to Fichte who went on to evolve it further. Fichte endorses the basic conceptual shape pioneered by Kant, namely, a reflective process of positing an idea and then checking the coherence of necessary judgments relative to it. However, Fichte came to realize that its philosophical function needed expanding. Beyond recognizing the possibility for alternative worldviews, Fichte further fleshed out how worldview creation could lead to human flourishing. The common feature between both thinkers is that the formation of a worldview aims to turn philosophy into a life-orienting exercise. (shrink)