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)

The Industrial Ontologies Foundry (IOF) was formed to create a suite of interoperable ontologies. Ontologies that would serve as a foundation for data and information interoperability in all areas of manufacturing. To ensure that each ontology is developed in a structured and mutually coherent manner, the IOF has committed to the tiered architecture of ontology building based on the Basic Formal Ontology (BFO) as top level. One of the critical elements of a successful tiered architecture build is the domain mid-level (...) ontologies. However, thus far there has been no mid-level manufacturing ontology that is based on BFO. The IOF has recently released the IOF Core version 1 beta to fill this gap. This paper documents the development process and gives an overview of the current content of the IOF Core. Finally, the paper describes how the IOF Core can be used as the basis for a more domain-specific Supply Chain Ontology. (shrink)

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

To enhance the treatment of relations in biomedical ontologies we advance a methodology for providing consistent and unambiguous formal definitions of the relational expressions used in such ontologies in a way designed to assist developers and users in avoiding errors in coding and annotation. The resulting Relation Ontology can promote interoperability of ontologies and support new types of automated reasoning about the spatial and temporal dimensions of biological and medical phenomena.

Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. The (...) axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite. (shrink)

This introduction to the second international conference on Formal Ontology and Information Systems presents a brief history of ontology as a discipline spanning the boundaries of philosophy and information science. We sketch some of the reasons for the growth of ontology in the information science field, and offer a preliminary stocktaking of how the term ‘ontology’ is currently used. We conclude by suggesting some grounds for optimism as concerns the future collaboration between philosophical ontologists and information scientists.

The current industrial revolution is said to be driven by the digitization that exploits connected information across all aspects of manufacturing. Standards have been recognized as an important enabler. Ontology-based information standard may provide benefits not offered by current information standards. Although there have been ontologies developed in the industrial manufacturing domain, they have been fragmented and inconsistent, and little has received a standard status. With successes in developing coherent ontologies in the biological, biomedical, and financial domains, an effort called (...) Industrial Ontologies Foundry (IOF) has been formed to pursue the same goal for the industrial manufacturing domain. However, developing a coherent ontology covering the entire industrial manufacturing domain has been known to be a mountainous challenge because of the multidisciplinary nature of manufacturing. To manage the scope and expectations, the IOF community kicked-off its effort with a proof-of-concept (POC) project. This paper describes the developments within the project. It also provides a brief update on the IOF organizational set up. (shrink)

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

A wide variety of ontologies relevant to the biological and medical domains are available through the OBO Foundry portal, and their number is growing rapidly. Integration of these ontologies, while requiring considerable effort, is extremely desirable. However, heterogeneities in format and style pose serious obstacles to such integration. In particular, inconsistencies in naming conventions can impair the readability and navigability of ontology class hierarchies, and hinder their alignment and integration. While other sources of diversity are tremendously complex and challenging, agreeing (...) a set of common naming conventions is an achievable goal, particularly if those conventions are based on lessons drawn from pooled practical experience and surveys of community opinion. We summarize a review of existing naming conventions and highlight certain disadvantages with respect to general applicability in the biological domain. We also present the results of a survey carried out to establish which naming conventions are currently employed by OBO Foundry ontologies and to determine what their special requirements regarding the naming of entities might be. Lastly, we propose an initial set of typographic, syntactic and semantic conventions for labelling classes in OBO Foundry ontologies. Adherence to common naming conventions is more than just a matter of aesthetics. Such conventions provide guidance to ontology creators, help developers avoid flaws and inaccuracies when editing, and especially when interlinking, ontologies. Common naming conventions will also assist consumers of ontologies to more readily understand what meanings were intended by the authors of ontologies used in annotating bodies of data. (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)

In recent years there has been a number of promising technical and institutional developments regarding use of ontologies in industry. At the same time, however, most industrial ontology development work remains within the realm of academic research and is without significant uptake in commercial applications. In biomedicine, by contrast, ontologies have made significant inroads as valuable tools for achieving interoperability between data systems whose contents derive from widely heterogeneous sources. In this position paper, we present a set of principles learned (...) from the successful Open Biomedical Ontologies (OBO) Foundry initiative to guide the design and development of the Industrial Ontologies Foundry (IOF), which is a counterpart to the OBO Foundry initiative for the manufacturing industry. We also illustrate the potential utility of these principles by sketching the conceptual design of a framework for sustainable IOF development. (shrink)

The Planteome project provides a suite of reference and species-specific ontologies for plants and annotations to genes and phenotypes. Ontologies serve as common standards for semantic integration of a large and growing corpus of plant genomics, phenomics and genetics data. The reference ontologies include the Plant Ontology, Plant Trait Ontology, and the Plant Experimental Conditions Ontology developed by the Planteome project, along with the Gene Ontology, Chemical Entities of Biological Interest, Phenotype and Attribute Ontology, and others. The project also provides (...) access to species-specific Crop Ontologies developed by various plant breeding and research communities from around the world. We provide integrated data on plant traits, phenotypes, and gene function and expression from 95 plant taxa, annotated with reference ontology terms. (shrink)

BioPortal is a Web portal that provides access to a library of biomedical ontologies and terminologies developed in OWL, RDF(S), OBO format, Protégé frames, and Rich Release Format. BioPortal functionality, driven by a service-oriented architecture, includes the ability to browse, search and visualize ontologies (Figure 1). The Web interface also facilitates community-based participation in the evaluation and evolution of ontology content.

The Plant Ontology (PO) (http://www.plantontology.org) (Jaiswal et al., 2005; Avraham et al., 2008) was designed to facilitate cross-database querying and to foster consistent use of plant-specific terminology in annotation. As new data are generated from the ever-expanding list of plant genome projects, the need for a consistent, cross-taxon vocabulary has grown. To meet this need, the PO is being expanded to represent all plants. This is the first ontology designed to encompass anatomical structures as well as growth and developmental stages (...) across such a broad taxonomic range. While other ontologies such as the Gene Ontology (GO) (The Gene Ontology Consortium, 2010) or Cell Type Ontology (CL) (Bard et al., 2005) cover all living organisms, they are confined to structures at the cellular level and below. The diversity of growth forms and life histories within plants presents a challenge, but also provides unique opportunities to study developmental and evolutionary homology across organisms. (shrink)

The Common Anatomy Reference Ontology (CARO) is being developed to facilitate interoperability between existing anatomy ontologies for different species, and will provide a template for building new anatomy ontologies. CARO has a structural axis of classification based on the top-level nodes of the Foundational Model of Anatomy. CARO will complement the developmental process sub-ontology of the GO Biological Process ontology, using it to ensure the coherent treatment of developmental stages, and to provide a common framework for the model organism communities (...) to classify developmental structures. Definitions for the types and relationships are being generated by a consortium of investigators from diverse backgrounds to ensure applicability to all organisms. CARO will support the coordination of cross-species ontologies at all levels of anatomical granularity by cross-referencing types within the cell type ontology (CL) and the Gene Ontology (GO) Cellular Component ontology. A complete cross-species CARO could be utilized in other ontologies for cross-product generation. (shrink)

The category of sympathy marks a number of basic divisions in early modern approaches to action explanations, whether for human agency or for change in the wider natural world. Some authors were critical of using sympathy to explain change. They call such principles “unintelligible” or assume they involve “mysterious” action at a distance. Others, including Margaret Cavendish, Anne Conway, and Gottfried Wilhelm Leibniz, appeal to sympathy to capture natural phenomena, or to supply a backbone to their metaphysics. Here I discuss (...) how concerns about sympathetic actions form at least a partial background for differing seventeenth-century conceptions of what it is to explain action. I argue that critics of sympathy generally insist on an “atomistic” approach to action explanation, which makes primitively relational phenomena come out as problematic. Proponents of sympathy, by contrast, allow for a more holistic approach to action explanation, which allows for such basic connections. Hence, divergent attitudes toward sympathetic action in part explain differences in approaches to explanation. I conclude by showing how some of these core concerns fade into the background when in the eighteenth-century sympathy gets psychologised and individualised. (shrink)

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

A number of logicians and philosophers have turned their attention in recent years to the problem of developing a logic of interrogatives. Their work has thrown a great deal of light on the formal properties of questions and question-sentences and has led also to interesting innovations in our understanding of the structures of performatives in general and, for example, in the theory of presuppositions. When, however, we examine the attempts of logicians such as Belnap or Åqvist to specify what, precisely, (...) a question is, or what it is to ask or raise a question, then what we are offered is somewhat less illuminating. Two alternative reductionist accounts seem in particular to have gained most favor: questions are identified either as special sorts of statements, or as special sorts of requests. As we hope will become clear in what follows, neither of these accounts is even nearly adequate; and matters are not improved if questions are identified, by force majeure, as combinations of statements and requests. (shrink)

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

Philosophy in the West divides into three parts: Analytic Philosophy (AP), Continental Philosophy (CP), and History of Philosophy (HP). But all three parts are in a bad way. AP is sceptical about the claim that philosophy can be a science, and hence is uninterested in the real world. CP is never pursued in a properly theoretical way, and its practice is tailor-made for particular political and ethical conclusions. HP is mostly developed on a regionalist basis: what is studied is determined (...) by the nation or culture to which a philosopher belongs, rather than by the objective value of that philosopher’s work. Progress in philosophy can only be attained by avoiding these pitfalls. (shrink)

The Unified Medical Language System and the Gene Ontology are among the most widely used terminology resources in the biomedical domain. However, when we evaluate them in the light of simple principles for wellconstructed ontologies we find a number of characteristic inadequacies. Employing the theory of granular partitions, a new approach to the understanding of ontologies and of the relationships ontologies bear to instances in reality, we provide an application of this theory in relation to an example drawn from the (...) context of the pathophysiology of hypertension. This exercise is designed to demonstrate how, by taking ontological principles into account we can create more realistic biomedical ontologies which will also bring advantages in terms of efficiency and robustness of associated software applications. (shrink)

It is argued that medical science requires a classificatory system that (a) puts functions in the taxonomic center and (b) does justice ontologically to the difference between the processes which are the realizations of functions and the objects which are their bearers. We propose formulae for constructing such a system and describe some of its benefits. The arguments are general enough to be of interest to all the life sciences.

Digital Rights Management (DRM) covers the description, identification, trading, protection, monitoring and tracking of all forms of rights over both tangible and intangible assets. The Digital Object Identifier (DOI) system provides a framework for the persistent identification of entities involved in this domain. Although the system has been very well designed to manage object identifiers, some important questions relating to the creation and assignment of identifiers are left open. The paradigm of a Referent Tracking System (RTS) recently advanced in the (...) healthcare and life sciences environment is able to fill these gaps. This is demonstrated by pointing out inconsistencies in the existing DOI models and by showing how they can be corrected using an RTS. (shrink)

We provide a methodology for the creation of ontological partitions in biomedicine and we test the methodology via an application to the phenomenon of blood pressure. An ontology of blood pressure must do justice to the complex networks of intersecting pathways in the organism by which blood pressure is regulated. To this end it must deal not only with the anatomical structures and physiological processes involved in such regulation but also with the relations between these at different levels of granularity. (...) For this purpose our ontology offers a variety of distinct partitions � of substances, processes and functions � and integrates these together within a single framework via transitive networks of part-whole and dependence relations among the entities in each of these categories. The paper concludes with a comparison of this methodology with the approaches of GOTM, KEGG, DIP and BIND and provides an outline of how the methodology is currently being applied in the field of biomedical database integration. (shrink)

Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.

This paper accomplishes three goals. First, it reveals that God’s ethics has a radical satisficing structure: God can choose a good enough suboptimal option even if there is a best option and no countervailing considerations. Second, it resolves the long-standing worry that there is no account of the good enough that is both principled and demanding enough to be good enough. Third, it vindicates the key ethical assumption in the problem of evil without relying on the contested assumption that God’s (...) ethics is our ethics. (shrink)

Recent clinical trials show that psychedelics such as LSD and psilocybin can be given safely in controlled conditions, and can cause lasting psychological benefits with one or two administrations. Supervised psychedelic sessions can reduce symptoms of anxiety, depression, and addiction, and improve well-being in healthy volunteers, for months or even years. But these benefits seem to be mediated by "mystical" experiences of cosmic consciousness, which prompts a philosophical concern: do psychedelics cause psychological benefits by inducing false or implausible beliefs about (...) the metaphysical nature of reality? This book is the first scholarly monograph in English devoted to the philosophical analysis of psychedelic drugs. Its central focus is the apparent conflict between the growing use of psychedelics in psychiatry and the philosophical worldview of naturalism. Within the book, Letheby integrates empirical evidence and philosophical considerations in the service of a simple conclusion: this "Comforting Delusion Objection" to psychedelic therapy fails. While exotic metaphysical ideas do sometimes come up, they are not, on closer inspection, the central driver of change in psychedelic therapy. Psychedelics lead to lasting benefits by altering the sense of self, and changing how people relate to their own minds and lives-not by changing their beliefs about the ultimate nature of reality. The upshot is that a traditional conception of psychedelics as agents of insight and spirituality can be reconciled with naturalism (the philosophical position that the natural world is all there is). Controlled psychedelic use can lead to genuine forms of knowledge gain and spiritual growth-even if no Cosmic Consciousness or transcendent divine Reality exists. Philosophy of Psychedelics is an indispensable guide to the literature for researchers already engaged in the field of psychedelic psychiatry, and for researchers-especially philosophers-who want to become acquainted with this increasingly topical field. (shrink)

Dozens of countries have established Sovereign Wealth Funds (SWFs) in the last decade or so, in the majority of cases employing those funds to manage the large revenues gained from selling resources such as oil and gas on a tide of rapidly rising commodity prices. These funds have raised a series of ethical questions, including just how the money contained in such funds should eventually be spent. This article engages with that question, and specifically seeks to connect debates on SWFs (...) with debates onglobaljustice. Just how good are national claims to the great wealth contained in SWFs in the first place? Using the example of Norway's very large SWF – derived from selling North-Sea petroleum – I show that national claims are at least sometimes very weak, with the implication that the wealth in many such funds is ripe for redistribution in the interests of global justice. I conclude by offering some guidance for how the money contained in such funds could best be spent, with the goal of advancing global justice. (shrink)

Users of psychedelic drugs often report that their sense of being a self or ‘I’ distinct from the rest of the world has diminished or altogether dissolved. Neuroscientific study of such ‘ego dissolution’ experiences offers a window onto the nature of self-awareness. We argue that ego dissolution is best explained by an account that explains self-awareness as resulting from the integrated functioning of hierarchical predictive models which posit the existence of a stable and unchanging entity to which representations are bound. (...) Combining recent work on the ‘integrative self' and the phenomenon of self-binding with predictive processing principles yields an explanation of ego dissolution according to which self-representation is a useful Cartesian fiction: an ultimately false representation of a simple and enduring substance to which attributes are bound which serves to integrate and unify cognitive processing across levels and domains. The self-model is not a mere narrative posit, as some have suggested; it has a more robust and ubiquitous cognitive function than that. But this does not mean, as others have claimed, that the self-model has the right attributes to qualify as a self. It performs some of the right kinds of functions, but it is not the right kind of entity. Ego dissolution experiences reveal that the self-model plays an important binding function in cognitive processing, but the self does not exist. (shrink)

The dignity approach to racist hate speech regulation maintains that hate speech ought to be regulated because it impugns targets’ dignity and poses a threat to their equal treatment. This approach faces the significant causal challenges of showing that hate speech has the power to erode its targets’ dignity and that regulations can successfully protect that dignity. My aim is to show how a friend of the dignity approach can resolve these challenges. To do so, I borrow insights from the (...) critical legal studies (CLS) approach to hate speech. Specifically, I argue that hate speech can erode its targets’ dignity 1) by constituting an act of discrimination, and 2) by enacting norms that call for treating targeted groups as inferior. Yet while I maintain that the CLS approach offers valuable resources for shoring up the dignity approach, I reject the CLS approach in favor of the dignity approach. (shrink)

It is natural to think that many of our beliefs are rational because they are based on seemings, or on the way things seem. This is especially clear in the case of perception. Many of our mathematical, moral, and memory beliefs also appear to be based on seemings. In each of these cases, it is natural to think that our beliefs are not only based on a seeming, but also that they are rationally based on these seemings—at least assuming there (...) is no relevant counterevidence. This piece is an introduction to a volume dedicated to the question of what the connection is between seemings and justified belief: under what conditions, if any, can a seeming justify its content? (shrink)

In replying to certain objections to the existence of God, Robert Adams, Bruce Langtry, and Peter van Inwagen assume that God can appropriately choose a suboptimal world, a world less good than some other world God could have chosen. A number of philosophers, such as Michael Slote and Klaas Kraay, claim that these theistic replies are therefore committed to the claim that satisficing can be appropriate. Kraay argues that this commitment is a significant liability. I argue, however, that the relevant (...) defenses of theism are committed to the appropriateness of, not satisficing, but motivated submaximization. When one submaximizes with motivation, one aims at the optimum but accepts the good enough because of a countervailing consideration. When one satisfices, one aims at the good enough and chooses the good enough because it realizes her aim at the good enough. While commitment to the appropriateness of satisficing may be a significant liability, commitment to the appropriateness of motivated submaximization is not. (shrink)

Guth provided a persuasive rationale for inflationary cosmology based on its ability to solve fine-tuning problems of big bang cosmology. Yet one of the most important consequences of inflation was only widely recognized a few years later: inflation provides a mechanism for generating small departures from uniformity, needed to seed formation of subsequent structures, by “freezing out” vacuum fluctuations to form classical density perturbations. This paper recounts the historical development of this aspect of inflation and puts it in context of (...) the development of ideas on structure formation in relativistic cosmology, before turning to the comparison between inflation and a competing account of structure formation based on topological defects. One aim is to assess in what sense inflation is empirically tested through its account of the formation of structure, in light of persistent debates among cosmologists regarding whether inflation is “falsifiable.”. (shrink)

The Neo-Moorean Deduction (I have a hand, so I am not a brain-in-a-vat) and the Zebra Deduction (the creature is a zebra, so isn’t a cleverly disguised mule) are notorious. Crispin Wright, Martin Davies, Fred Dretske, and Brian McLaughlin, among others, argue that these deductions are instances of transmission failure. That is, they argue that these deductions cannot transmit justification to their conclusions. I contend, however, that the notoriety of these deductions is undeserved. My strategy is to clarify, attack, defend, (...) and apply. I clarify what transmission and transmission failure really are, thereby exposing two questionable but quotidian assumptions. I attack existing views of transmission failure, especially those of Crispin Wright. I defend a permissive view of transmission failure, one which holds that deductions of a certain kind fail to transmit only because of premise circularity. Finally, I apply this account to the Neo-Moorean and Zebra Deductions and show that, given my permissive view, these deductions transmit in an intuitively acceptable way—at least if either a certain type of circularity is benign or a certain view of perceptual justification is false. (shrink)

This paper is an enquiry into the logical, metaphysical, and physical possibility of time travel understood in the sense of the existence of closed worldlines that can be traced out by physical objects. We argue that none of the purported paradoxes rule out time travel either on grounds of logic or metaphysics. More relevantly, modern spacetime theories such as general relativity seem to permit models that feature closed worldlines. We discuss, in the context of Gödel's infamous argument for the ideality (...) of time based on his eponymous spacetime, what this apparent physical possibility of time travel means. Furthermore, we review the recent literature on so-called time machines, i.e., of devices that produce closed worldlines where none would have existed otherwise. Finally, we investigate what the implications of the quantum behaviour of matter for the possibility of time travel might be and explicate in what sense time travel might be possible according to leading contenders for full quantum theories of gravity such as string theory and loop quantum gravity. (shrink)

This chapter addresses philosophical questions raised in contemporary work on cosmology. It provides an overview of the Standard Model for cosmology and argues that its deficiency in addressing theories regarding the very early universe can be resolved by introducing a dynamical phase of evolution that eliminates the need for a special initial state. The chapter also discusses recent hypotheses about dark matter and energy, issues that it relates to philosophical debates about underdetermination.

Many contemporary philosophers rate error theories poorly. We identify the arguments these philosophers invoke, and expose their deficiencies. We thereby show that the prospects for error theory have been systematically underestimated. By undermining general arguments against all error theories, we leave it open whether any more particular arguments against particular error theories are more successful. The merits of error theories need to be settled on a case-by-case basis: there is no good general argument against error theories.

According to the thesis of doxastic wronging, we can wrong people in virtue of having certain beliefs about them. In this chapter, I motivate and defend a similar view, the thesis of suspensive wronging, that we can wrong people in virtue of bearing an indecision attitude towards certain questions that bear on certain people. I explore the extent to which the thesis of suspensive wronging fits with certain prominent conceptions of suspension of judgment, including the sui generis attitude, higher-order, and (...) credence views, and argue that it aligns with each of them. I then argue that reflection on cases of suspensive wronging reveals that the common characterization of suspension of judgment as a kind of ‘neutrality’ is nevertheless problematic, arguing that we should distinguish between attitudinal neutrality and property neutrality—i.e., neutrality on the truth of an answer to a question vs. the neutrality of the properties of the attitude that responds to a question, which accommodates the sense in which 'being neutral' in a debate can sometimes be unjust but also still a genuine sort of neutrality. Finally, I consider whether widespread views about the involuntariness of belief and the right-kind of reasons for belief refutes the suspensive wronging thesis, arguing that this is not the case, concluding with some reflections on the relationship between the suspensive wronging thesis and moral encroachment on suspension of judgment. (shrink)

Looking out the window, I see that it's raining outside. Do I know that it’s raining outside? According to proponents of the Entailment Thesis, I do. If I see that p, I know that p. In general, the Entailment Thesis is the thesis that if S perceives that p, S knows that p. But recently, some philosophers (McDowell 2002, Turri 2010, Pritchard 2011, 2012) have argued that the Entailment Thesis is false. On their view, we can see p and not (...) know that p. In this paper, I argue that their arguments are unsuccessful. (shrink)

The chapter introduces and characterizes the notion of fittingness. It charts the history of the relation and its relevance to contemporary debates in normative and metanormative philosophy and proceeds to survey issues to do with fittingness covered in the volume’s chapters, including the nature and epistemology of fittingness, the relations between fittingness and reasons, the normativity of fittingness, fittingness and value theory, and the role of fittingness in theorizing about responsibility. The chapter concludes with a brief discussion of issues to (...) do with fittingness that aren’t covered extensively by the volume’s chapters in order to indicate avenues for further research. (shrink)

Subjective theories of well-being claim that how well our lives go for us is a matter of our attitudes towards what we get in life rather than the nature of the things themselves. This article explains in more detail the distinction between subjective and objective theories of well-being; describes, for each approach, some reasons for thinking it is true; outlines the main kinds of subjective theory; and explains their advantages and disadvantages.

It may seem that epistemic and practical rationality weigh reasons differently, because ties in practical rationality tend to generate permissions and ties in epistemic rationality tend to generate a requirement to withhold judgment. I argue that epistemic and practical rationality weigh reasons in the same way, but they have different "default biases". Practical rationality is biased toward every option being permissible whereas epistemic rationality is biased toward withholding judgment's being required.

We argue that if there are laws of nature, then there must also be accidents. If the “laws” in a world suffice to determine the world’s entire history, then these “laws” cannot play various central roles characteristic of laws, and thus (we conclude) they are not laws at all. Many proposed accounts of lawhood (primitivist accounts, universals accounts, the Best System Account, the Package Deal Account, essentialist accounts) inappropriately permit worlds with laws but no accidents. We identify two otherwise dissimilar (...) accounts that correctly (on our view) deem such worlds impossible; one is Humean and the other is non-Humean. (shrink)

Psychedelic ingestion and meditative practice are both ancient methods for altering consciousness that became widely known in Western society in the second half of the 20th century. Do the similarities begin and end there, or do these methods – as many have claimed over the years – share some deeper common elements? In this chapter I take a neurophilosophical approach to this question and argue that there are, indeed, deeper commonalities. Recent empirical studies show that psychedelics and meditation modulate overlapping (...) brain networks involved in the sense of self, salience, and attention; moreover, psychedelics can occasion lasting increases in “mindfulness-related capacities” for taking a non-reactive stance on one’s inner experience (e.g. Sampedro et al. 2017). The self-binding theory of psychedelic ego dissolution (Letheby and Gerrans 2017) offers a plausible explanation of these findings: by disrupting self-related beliefs implemented in high-level cortical networks, both psychedelics and meditation can “unbind” mental contents from one’s self-model, moving these contents along the continuum from phenomenal transparency to opacity (cf. Metzinger 2003). In other words, both psychedelics and meditation can expose and weaken our foundational beliefs about our own identity, allowing us to disidentify with these beliefs and see them as “just thoughts”. There are connections between these ideas and recent arguments suggesting that psychedelic use may have epistemic benefits consistent with philosophical naturalism (Letheby 2015, 2016, 2019). I conclude with a proposal: these connections may help in thinking about the putative epistemic benefits of meditation practice from a naturalistic perspective. (shrink)

One of the main challenges confronting Humean accounts of natural law is that Humean laws appear to be unable to play the explanatory role of laws in scientific practice. The worry is roughly that if the laws are just regularities in the particular matters of fact (as the Humean would have it), then they cannot also explain the particular matters of fact, on pain of circularity. Loewer (2012) has defended Humeanism, arguing that this worry only arises if we fail to (...) distinguish between scientific and metaphysical explanations. However, Lange (2013, 2018) has argued that scientific and metaphysical explanations are linked by a transitivity principle, which would undercut Loewer's defense and re-ignite the circularity worry for the Humean. I argue here that the Humean has antecedent reasons to doubt that there are any systematic connections between scientific and metaphysical explanations. The reason is that the Humean should think that scientific and metaphysical explanation have disparate aims, and therefore that neither form of explanation is beholden to the other in its pronouncements about what explains what. Consequently, the Humean has every reason to doubt that Lange's transitivity principle obtains. (shrink)

The inductive argument from evil to the non-existence of God contains the premise that, probably, there is gratuitous evil. Some skeptical theists object: one's justification for the premise that, probably, there is gratuitous evil involves an inference from the proposition that we don't see a good reason for some evil to the proposition that it appears that there is no good reason for that evil, and they use a principle, "CORNEA," to block that inference. The common sense problem of evil (...) threatens the CORNEA move, because the common sense problem of evil does not involve any inference to justify the belief that there is gratuitous evil. In this paper, I argue that the common sense problem of evil doesn't avoid CORNEA. CORNEA, or a reformulated version of it, can still prevent one from having justification for the belief that there is gratuitous evil. (shrink)

This article investigates the relationships between forms of humor that conjure up possible worlds and real-world social critiques. The first part of the article will argue that subversive humor, which is from or on behalf of historically and continually marginalized communities, constitutes a kind of aesthetic experience that can elicit enjoyment even in adversarial audiences. The second part will be a connecting piece, arguing that subversive humor can be constructed as brief narrative thought experiments that employ the use of fictionalized (...) scenarios to facilitate an open, playful attitude, encouraging a space for collaborative interpretation. This interaction between humorist and audience is an aesthetic experience that is enjoyable in and of itself, as the feelings of mirth are intrinsically valuable. But connected to the “Ha-ha!” experience of these sorts of humorous creations is an “Aha!” or potentially revelatory experience that is a mixture of cognitive comprehension and motivated (emotional) response. The third part of the article will attempt to go beyond the consciousness-raising element with an account of how such possible worlds created in the realm of imagination through subversive humor can bleed into the real world of flesh and blood people. Finally, an example of subversive humor will be analyzed. (shrink)

Just as theory of representation is deficient if it can’t explain how misrepresentation is possible, a theory of computation is deficient if it can’t explain how miscomputation is possible. Nonetheless, philosophers have generally ignored miscomputation. My primary goal in this paper is to clarify both what miscomputation is and how to adequately explain it. Miscomputation is a special kind of malfunction: a system miscomputes when it computes in a way that it shouldn’t. To explain miscomputation, you must provide accounts of (...) computational behavior, computational norms, and how computational behavior can deviate from computational norms. A secondary goal of this paper is to defend an (quasi-)individualist, mechanistic theory of miscomputation. Computational behavior is narrowly individuated. Computational norms are widely individuated. A system miscomputes when its behavior manifests a narrow computational structure that the widely individuated norms say that it should not have. (shrink)

In Faith and Humility, Jonathan Kvanvig argues for an account of two virtues that balance, or provide correction for, the other: faith and humility. Faith is the disposition to act in service of an ideal, a disposition that remains despite difficulties or setbacks. One can, however, pursue distorted ideals or pursue them in the wrong way—with unquestioning zeal, for example. Humility, which helps to correct this extreme, is the disposition to attend to the value of one’s aims and the extent (...) of one’s contribution toward accomplishing them. To establish these accounts, Kvanvig first argues for a method that directs his arguments, and he then develops the accounts as he articulates and responds to alternative views. In what follows, instead of summarizing the book chapter by chapter, I provide a summary of Kvanvig’s positions and his arguments for them as they are eventually developed throughout the book. (shrink)