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)

It is well-known that the global structure of every space-time model for relativistic cosmology is observationally underdetermined. In order to alleviate the severity of this underdetermination, it has been proposed that we adopt the Cosmological Principle because the Principle restricts our attention to a distinguished class of space-time models (spatially homogeneous and isotropic models). I argue that, even assuming the Cosmological Principle, the topology of space remains observationally underdetermined. Nonetheless, I argue that we can muster reasons to prefer various topological (...) properties over others. In particular, I favor the adoption of multiply connected universe models on grounds of (i) simplicity, (ii) Machian considerations, and (iii) explanatory power. We are able to appeal to such grounds because multiply connected topologies open up the possibility of finite universe models (consistent with our best data), which in turn avoid thorny issues concerning the postulation of an actually infinite universe. (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)

Causal reasoning and game-theoretic reasoning are fundamental topics in artificial intelligence, among many other disciplines: this paper is concerned with their intersection. Despite their importance, a formal framework that supports both these forms of reasoning has, until now, been lacking. We offer a solution in the form of (structural) causal games, which can be seen as extending Pearl's causal hierarchy to the game-theoretic domain, or as extending Koller and Milch's multi-agent influence diagrams to the causal domain. We then consider three (...) key questions: i) How can the (causal) dependencies in games - either between variables, or between strategies - be modelled in a uniform, principled manner? ii) How may causal queries be computed in causal games, and what assumptions does this require? iii) How do causal games compare to existing formalisms? To address question i), we introduce mechanised games, which encode dependencies between agents' decision rules and the distributions governing the game. In response to question ii), we present definitions of predictions, interventions, and counterfactuals, and discuss the assumptions required for each. Regarding question iii), we describe correspondences between causal games and other formalisms, and explain how causal games can be used to answer queries that other causal or game-theoretic models do not support. Finally, we highlight possible applications of causal games, aided by an extensive open-source Python library. (shrink)

Michael Ryan's Literary Theory: A Practical Introduction, Second Edition introduces students to the full range of contemporary approaches to the study of literature and culture, from Formalism, Structuralism, and Historicism to Ethnic Studies, Gender Studies, and Global English. Introduces readings from a variety of theoretical perspectives, on classic literary texts. Demonstrates how the varying perspectives on texts can lead to different interpretations of the same work. Contains an accessible account of different theoretical approaches An ideal resource for use in (...) introductory courses on literary theory and criticism. Designed to function both as a stand-alone text and a companion to Rivkin and Ryan’s Literary Theory: An Anthology, Second Edition. (shrink)

“If the concept of God has any validity or any use,” James Baldwin writes in The Fire Next Time, “it can only be to make us larger, freer, and more loving. If God cannot do this, then it is time we got rid of Him.” This essay is a meditation on Baldwin’s claim. I begin by presenting Baldwin’s account of a grave danger that characterizes our social lives – a source of profound estrangement from ourselves and from one another. (...) I draw on the work of the theologian Howard Thurman in order to explain how faith in a loving God can enable us to cope with this danger in a manner that may render us, in some sense, larger, freer, and more loving. Finally, I sketch Baldwin’s account of how we might cope with this danger not by relying on God’s love, but rather by relying in certain ways on our love for one another. (shrink)

We are immersed within an odorous sea of chemical currents that we parse into individual odors with complex structures. Odors have been posited as determined by the structural relation between the molecules that compose the chemical compounds and their interactions with the receptor site. But, naturally occurring smells are parsed from gaseous odor plumes. To give a comprehensive account of the nature of odors the chemosciences must account for these large distributed entities as well. We offer a focused review of (...) what is known about the perception of odor plumes for olfactory navigation and tracking, which we then connect to what is known about the role odorants play as properties of the plume in determining odor identity with respect to odor quality. We end by motivating our central claim that more research needs to be conducted on the role that odorants play within the odor plume in determining odor identity. (shrink)

Despite drives’ importance for Nietzsche’s explanation of individuals’ values, controversies persist over how to interpret Nietzsche’s attribution of normative capacities to the drives themselves. On one reading, drives evaluate their aims and recognize the normative authority of other drives’ aims. On another, drives’ normative properties reduce to nonnormative, causal properties. Neither approach is satisfying. The former commits Nietzsche to the homuncular fallacy by granting drives complex cognitive capacities. The latter reading either commits Nietzsche to the naturalistic fallacy, having him derive (...) normative conclusions from descriptive premises, or eliminates normativity from his thought altogether. In response to this impasse, this article advances a Leibniz-informed interpretation of Nietzsche’s drive psychology. By construing the normative and efficient causal orders as parallel modes of explanation distinguished by one’s perspective, a Leibniz-informed reading captures the benefits of extant interpretations while avoiding their drawbacks. (shrink)

After examining the problem that gratuitous suffering poses for Nietzsche's notion of life affirmation, I mount a skeptical response to this problem on Nietzsche's behalf. I then consider an orthogonal objection to Nietzschean life affirmation, which argues that the need to justify life is symptomatic of life denial and show how strengthening the skeptical defense sidesteps this worry. Nietzsche's skepticism about our all‐too‐human, epistemic position thus aids his project of life affirmation in two ways. First, it suggests that we are (...) unable to determine reliably whether a given instance of suffering is, in fact, gratuitous. Second, it provides a corrective to the moralistic need to redeem life, showing that all attempts to justify life as a whole are epistemically fraught. Before concluding, I examine Nietzsche's reasons for advancing such an epistemological argument and suggest how we might approach life affirmation in nonrational terms. (shrink)

Nietzsche criticizes Stoicism for overstating the significance of its ethical ideal of rational self-sufficiency and for undervaluing pain and passion when pursuing an unconditional acceptance of fate. Apparent affinities between Stoicism and Nietzsche’s philosophy, especially his celebration of self-mastery and his pursuit of amor fati, lead some scholars to conclude that Nietzsche cannot advance these criticisms without contradicting himself. In this article, I narrow the target and scope of Nietzsche’s complaints against Stoicism before showing how they follow from his other (...) philosophic commitments. I suggest that the first line of criticism follows from his denial of teleology and his skepticism toward moral values’ descriptive objectivity. I then suggest that the second line of criticism follows from Nietzsche’s account of overcoming as bestowing contributory value upon pain and suffering. Explaining Nietzsche’s criticisms of Stoicism in this way substantially qualifies similarities between his philosophy and that of Stoicism while absolving him of the charge of inconsistency. (shrink)

In Vagueness and Contradiction (2001), Roy Sorensen defends and extends his epistemic account of vagueness. In the process, he appeals to connections between vagueness and semantic paradox. These appeals come mainly in Chapter 11, where Sorensen offers a solution to what he calls the no-no paradox—a “neglected cousin” of the more famous liar—and attempts to use this solution as a precedent for an epistemic account of the sorites paradox. This strategy is problematic for Sorensen’s project, however, since, as we establish, (...) he fails to resolve the semantic pathology of the no-no paradox. (shrink)

The chapter presents Anselm’s incompatibilist account of human freedom within the context of his theodicy and presents two arguments against his account. Both arguments aim to show there is a genuine conflict between his account of freedom and the role of God’s grace in making agents just. The first argument, the problem of harmonization, highlights the conflict within the soteriological context where an agent changes from being unjust to being just. The second argument, the problem of just creation, highlights the (...) conflict within the context of the creation of agents prior to the presence of evil. Holding fixed his incompatibilist account and the necessity of divine grace, the upshot of both arguments is that Anselm must endorse a version of Pelagianism. (shrink)

After reconstructing three arguments for Nietzsche’s descriptive analysis of the self as complex, this article clarifies some of greatness’s psychological conditions. It then offers three arguments for why we should not focus on these internal conditions when seeking to verify or to achieve greatness. First, Nietzsche’s descriptive analysis of the self renders introspection too coarse-grained and error-prone to verify the subtle type of unity required for greatness. Second, Nietzsche associates introspective appraisal of one’s psyche with a moral project that weakens (...) and represses the drives, such that inquiry into whether greatness’s internal conditions are satisfied typically speaks against their realization. Finally, the actions characteristic of Nietzsche’s great individuals prohibit introspective preoccupation with oneself. These arguments suggest that we should attend to outwardly directed accomplishments, rather than psychology, when appraising the greatness of others and seeking to become great ourselves. (shrink)

Cells are cognitive entities possessing great computational power. DNA serves as a multivalent information storage medium for these computations at various time scales. Information is stored in sequences, epigenetic modifications, and rapidly changing nucleoprotein complexes. Because DNA must operate through complexes formed with other molecules in the cell, genome functions are inherently interactive and involve two-way communication with various cellular compartments. Both coding sequences and repetitive sequences contribute to the hierarchical systemic organization of the genome. By virtue of nucleoprotein complexes, (...) epigenetic modifications, and natural genetic engineering activities, the genome can serve as a read-write storage system. An interactive informatic conceptualization of the genome allows us to understand the functional importance of DNA that does not code for protein or RNA structure, clarifies the essential multidirectional and systemic nature of genomic information transfer, and emphasizes the need to investigate how cellular computation operates in reproduction and evolution. (shrink)

An appreciation of the life and word of Barbara McClintock, with special emphasis on what made her a unique and visionary scientist. The obituary indicates unappreciated aspects of her work on biological sensing and how organisms restructure their genomes in response to challenges.

Bacteria do many things as organized populations. We have recently learned much about the molecular basis of intercellular communication among prokaryotes. Colonies display bacterial capacities for multicellular coordination which can be useful in nature where bacteria predominantly grow as films, chains, mats and colonies. E. coli colonies are organized into differentiated non-clonal populations and undergo complex morphogenesis. Multicellularity regulates many aspects of bacterial physiology, including DNA rearrangement systems. In some bacterial species, colony development involves swarming (active migration of cell groups). (...) Swarm colony development displays precise geometrical controls and periodic phenomena. Motile E. coli cells in semi-solid media form organized patterns due to chemotactic autoaggregation. On poor media, B. subtilis forms branched colonies using group motility and long-range chemical signalling. The significances of bacterial colony patterns thus reside in a deeper understanding of prokaryotic biology and evolution and in experimental systems for studying self-organization and morphogenesis. (shrink)

Belief-state ascription — determining what someone “knew,” “believed,” was “aware of,” etc. — is central to many areas of law. In criminal law, the distinction between knowledge and recklessness, and the use of broad jury instructions concerning other belief states, presupposes a common and stable understanding of what those belief-state terms mean. But a wealth of empirical work at the intersection of philosophy and psychology — falling under the banner of “Experimental Epistemology” — reveals how laypeople’s understandings of mens rea (...) concepts differ systematically from what scholars, courts, and perhaps legislators, have assumed. -/- As implemented, mens rea concepts are much more context-dependent and normatively evaluative than the conventional wisdom suggests, even assuming that jurors are following jury instructions to the letter. As a result, there is less difference between knowledge and recklessness than is typically assumed; jurors consistently “over”-ascribe knowledge to criminal defendants; and concepts like “belief,” “awareness,” and “conscious disregard” mean different things in different contexts, resulting in mens rea findings systematically responsive to aspects of the case traditionally considered irrelevant to the meaning of those terms. -/- This Article provides the first systematic account of the factors driving jurors’ ascriptions of the specific belief states criminal law invokes. After surveying mens rea jury instructions, introducing the Experimental Epistemology literature to the legal literature on mens rea, and examining the implications of that literature for criminal law, this Article considers ways to begin bridging the surprisingly large gap between mens rea theory and practice. (shrink)

Luke, steeped in the Old Testament, makes clear that to understand what God was doing in Christ, one has to know Scripture; and especially the Book of Isaiah.

To approach the many challenges involved in the notion of engineering concepts, it is important to have a clear idea of the starting point – the concepts that people use in their everyday lives, in conversations and in expressing beliefs, desires, intentions and so forth. The first Section of this chapter introduces evidence that I have accumulated over the last many years concerning the flexibility, context-dependence, and vagueness of such common concepts. The concept engineer needs to understand the structure of (...) the “raw material” with which she is working. In Section 2, I summarise some results concerning the amount of individual variation that exists within a single relatively homogenous population of individuals, both in what examples are considered most typical of a category, and in what properties are considered most central to a category (Hampton & Passanisi, 2016). The demonstration of a significant degree of reliable variation in responses to these questions, that is stable over time, illustrates the potential for conceptual engineering interventions to affect individuals’ concepts. Concepts are rarely fixed or uniformly understood in the same way. I then discuss the different ways in which concepts track the world, and I speculate about how different conceptual domains are governed by different criteria of validity or acceptability. This reflection will lead to Section 3 in which I summarise some results from recent research (Thorne, Quilty-Dunn, Smortchova, Shea, & Hampton, 2021), investigating for the first time how people view the value of different familiar concepts. Knowing how people appraise concepts will be a key to developing ideas for improving the reliability and validity of the concepts that they commonly use. A final section contains some (largely speculative) discussion about the implications of work in psychology of concepts for the project of conceptual engineering. (shrink)

We argue that if Stephen Yablo (2005) is right that philosophers of mathematics ought to endorse a fictionalist view of number-talk, then there is a compelling reason for deflationists about truth to endorse a fictionalist view of truth-talk. More specifically, our claim will be that, for deflationists about truth, Yablo’s argument for mathematical fictionalism can be employed and mounted as an argument for truth-theoretic fictionalism.

Note: This is a "pre-review" version, not the final version that will be published. -/- In “Nothing is True,” Will Gamester defends a form of alethic nihilism that still grants truth-talk a kind of legitimacy: an expressive role that is implemented via a pretense. He argues that this view has all of the strengths of deflationism, while also providing an elegant resolution of the Liar Paradox and its kin. For the alethic nihilist, Liar and related sentences are not true, and (...) that is the end of the story. No contradiction arises because it does not thereby follow that any of these sentences are also true, since nothing is. Gamester concludes that the simplicity of this response to the semantic paradoxes makes alethic nihilism an attractive approach. We disagree. In addition to providing insurmountable obstacles for his form of alethic nihilism, we contend that a certain form of non-nihilist deflationism is better placed to deal with the paradoxes and to account for truth-talk more generally. (shrink)

In this paper, we do two things. First, we provide some support for adopting a version of the meaningless strategy with respect to the liar paradox, and, second, we extend that strategy, by providing, albeit tentatively, a solution to that paradox—one that is semantic, rather than logical.

It is our contention that an ontological commitment to propositions faces a number of problems; so many, in fact, that an attitude of realism towards propositions—understood the usual “platonistic” way, as a kind of mind- and language-independent abstract entity—is ultimately untenable. The particular worries about propositions that marshal parallel problems that Paul Benacerraf has raised for mathematical platonists. At the same time, the utility of “proposition-talk”—indeed, the apparent linguistic commitment evident in our use of 'that'-clauses (in offering explanations and making (...) predictions)—is also in need of explanation. We account for this with a fictionalist analysis of our use of 'that'-clauses. Our account avoids certain problems that arise for the usual error-theoretic versions of fictionalism because we apply the notion of semantic pretense to develop an alternative, pretense-involving, non-error-theoretic, fictionalist account of proposition-talk. (shrink)

In a series of articles, Dan Lopez De Sa and Elia Zardini argue that several theorists have recently employed instances of paradoxical reasoning, while failing to see its problematic nature because it does not immediately (or obviously) yield inconsistency. In contrast, Lopez De Sa and Zardini claim that resultant inconsistency is not a necessary condition for paradoxicality. It is our contention that, even given their broader understanding of paradox, their arguments fail to undermine the instances of reasoning they attack, either (...) because they fail to see everything that is at work in that reasoning, or because they misunderstand what it is that the reasoning aims to show. (shrink)

In this paper, we show how an internal tension in Wilfrid Sellars’s understanding of truth, as well as an external tension in his account of meaning attribution, can be resolved while adhering to a Sellarsian spirit, by appealing to the particular fictionalist accounts of truth-talk and proposition-talk that we have developed elsewhere.

The present study aimed to understand how status-oriented individual differences such as narcissistic antagonism, narcissistic extraversion, and moral grandstanding motivations may have longitudinally predicted both behavioral and social media responses during the early stages of the COVID-19 pandemic. Via YouGov, a nationally representative sample of U.S. adults was recruited in August of 2019 (N = 2,519; Mage = 47.5, SD = 17.8; 51.4% women) and resampled in May of 2020, (N = 1,533). Results indicated that baseline levels of narcissistic antagonism (...) were associated with lower levels of social distancing and lower compliance with public health recommended behaviors. Similarly, dominance oriented moral grandstanding motivations predicted greater conflict with others over COVID-19, greater engagement in status-oriented social media behaviors about COVID-19, and lower levels of social distancing. (shrink)

Psychopathic individuals display a callous-coldhearted approach to interpersonal and affective situations and engage in impulsive and antisocial behaviors. Despite early conceptualizations suggesting that psychopathy is related to enhanced cognitive functioning, research examining executive functioning (EF) in psychopathy has yielded few such findings. It is possible that some psychopathic trait dimensions are more related to EF than others. Research using a 2-factor or 4-facet model of psychopathy highlights some dimension-specific differences in EF, but this research is limited in scope. Another complicating (...) factor in teasing apart the EF–psychopathy relationship is the tendency to use different psychopathy assessments for incarcerated versus community samples. In this study, an EF battery and multiple measures of psychopathic dimensions were administered to a sample of male prisoners (N. (shrink)

Public discourse is often caustic and conflict-filled. This trend seems to be particularly evident when the content of such discourse is around moral issues (broadly defined) and when the discourse occurs on social media. Several explanatory mechanisms for such conflict have been explored in recent psychological and social-science literatures. The present work sought to examine a potentially novel explanatory mechanism defined in philosophical literature: Moral Grandstanding. According to philosophical accounts, Moral Grandstanding is the use of moral talk to seek social (...) status. For the present work, we conducted six studies, using two undergraduate samples (Study 1, N = 361; Study 2, N = 356); a sample matched to U.S. norms for age, gender, race, income, Census region (Study 3, N = 1,063); a YouGov sample matched to U.S. demographic norms (Study 4, N = 2,000); and a brief, one-month longitudinal study of Mechanical Turk workers in the U.S. (Study 5, Baseline N = 499, follow-up n = 296), and a large, one-week YouGov sample matched to U.S. demographic norms (Baseline N = 2,519, follow-up n = 1,776). Across studies, we found initial support for the validity of Moral Grandstanding as a construct. Specifically, moral grandstanding motivation was associated with status-seeking personality traits, as well as greater political and moral conflict in daily life. (shrink)

The present work posits that social motives, particularly status seeking in the form of moral grandstanding, are likely at least partially to blame for elevated levels of affective polarization and ideological extremism in the U.S. In Study 1, results from both undergraduates (N = 981; Mean age = 19.4; SD = 2.1; 69.7% women) and a cross-section of U.S. adults matched to 2010 census norms (N = 1,063; Mean age = 48.20, SD = 16.38; 49.8% women) indicated that prestige-motived grandstanding (...) was consistently and robustly related to more extreme ideological views on a variety of issues. In Study 2, results from a weighted, nationally-representative cross-section of U.S. adults (N = 2,519; Mean age = 47.5, SD = 17.8; 51.4% women) found that prestige motivated grandstanding was reliably related to both ideological extremism and affective polarization. (shrink)

Interoperability across data sets is a key challenge for quantitative histopathological imaging. There is a need for an ontology that can support effective merging of pathological image data with associated clinical and demographic data. To foster organized, cross-disciplinary, information-driven collaborations in the pathological imaging field, we propose to develop an ontology to represent imaging data and methods used in pathological imaging and analysis, and call it Quantitative Histopathological Imaging Ontology – QHIO. We apply QHIO to breast cancer hot-spot detection with (...) the goal of enhancing reliability of detection by promoting the sharing of data between image analysts. (shrink)

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)

Coronavirus disease 2019 can lead to respiratory failure. Some patients require extracorporeal membrane oxygenation support. During the current pandemic, health care resources in some cities have been overwhelmed, and doctors have faced complex decisions about resource allocation. We present a case in which a pediatric hospital caring for both children and adults seeks to establish guidelines for the use of extracorporeal membrane oxygenation if there are not enough resources to treat every patient. Experts in critical care, end-of-life care, bioethics, and (...) health policy discuss if age should guide rationing decisions. (shrink)

In this paper we apply the popular Best System Account of laws to typical eternal worlds – both classical eternal worlds and eternal worlds of the kind posited by popular contemporary cosmological theories. We show that, according to the Best System Account, such worlds will have no laws that meaningfully constrain boundary conditions. It’s generally thought that lawful constraints on boundary conditions are required to avoid skeptical arguments. Thus the lack of such laws given the Best System Account may seem (...) like a severe problem for the view. We show, however, that at eternal worlds, lawful constraints on boundary conditions do little to help fend off skeptical worries. So with respect to handling these skeptical worries, the proponent of the Best System Account is no worse off than their competitors. (shrink)

Serious actualism is the view that it is metaphysically impossible for an entity to have a property, or stand in a relation, and not exist. Fine (1985) and Pollock (1985) influentially argue that this view is false. In short, there are properties like the property of nonexistence, and it is metaphysically possible that some entity both exemplifies such a property and does not exist. I argue that such arguments are indeed successful against the standard formulation of serious actualism. However, I (...) also argue that we should distinguish a weaker formulation of serious actualism using the actualist distinction between truth in, and truth at, a possible world. This weaker formulation is then shown to be consistent with the existence and possible exemplification of properties like the property of nonexistence. I end with a novel argument for the truth of the weaker formulation. (shrink)

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent with propositional (...) contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

Williams Syndrome provides a striking test case for discourses on disability, because the characteristics associated with Williams Syndrome involve a combination of “abilities” and “disabilities”. For example, Williams Syndrome is associated with disabilities in mathematics and spatial cognition. However, Williams Syndrome individuals also tend to have a unique strength in their expressive language skills, and are socially outgoing and unselfconscious when meeting new people. Children with Williams are said to be typically unafraid of strangers and show a greater interest in (...) contact with adults than with their peers. This apparently keen social knowledge is a counterexample to the discussion of disability among academic philosophers, especially philosophers of the early modern period. Locke infamously used the example of disability to claim that Descartes’ arguments in favor of innate ideas were incorrect. On the contrary, Williams Syndrome may stand as an example of innate social knowledge; something that could benefit current discourse in philosophy, disability theory, and medical ethics. (shrink)

Let serious propositional contingentism (SPC) be the package of views which consists in (i) the thesis that propositions expressed by sentences featuring terms depend, for their existence, on the existence of the referents of those terms, (ii) serious actualism—the view that it is impossible for an object to exemplify a property and not exist—and (iii) contingentism—the view that it is at least possible that some thing might not have been something. SPC is popular and compelling. But what should we say (...) about possible worlds, if we accept SPC? Here, I first show that a natural view of possible worlds, well-represented in the literature, in conjunction with SPC is inadequate. Though I note various alternative ways of thinking about possible worlds in response to the first problem, I then outline a second more general problem—a master argument—which generally shows that any account of possible worlds meeting very minimal requirements will be inconsistent with compelling claims about mere possibilia which the serious propositional contingentist should accept. (shrink)

The mental health crisis and loneliness epidemic have sparked a growing interest in leveraging artificial intelligence (AI) and chatbots as a potential solution. This report examines the benefits and risks of incorporating chatbots in mental health treatment. AI is used for mental health diagnosis and treatment decision-making and to train therapists on virtual patients. Chatbots are employed as always-available intermediaries with therapists, flagging symptoms for human intervention. But chatbots are also sold as stand-alone virtual therapists or as friends and lovers. (...) There is evidence that these uses of AI and chatbots can provide better quality service, improve accessibility, and lower costs. The systems can reduce the stigma and shame of sharing their problems and leverage a mass of biometric and behavioral data to supplement self-reports. As the systems' intelligence rapidly improves, they will need to be rigorously tested for the accuracy and precision of their diagnoses and the quality of their interactions with patients. As chatbots become indistinguishable from humans and leverage their superhuman capacity to detect affect and draw on knowledge of a patient’s life, patients will be drawn to attribute personality to and relationship with the chatbot. Consequently, it will be essential to study what the “therapeutic alliance” with an actual human counselor provides and the risks of patients attributing such a relationship to a one-sided or “parasocial” relationship. (shrink)

Bilateral proof systems, which provide rules for both affirming and denying sentences, have been prominent in the development of proof-theoretic semantics for classical logic in recent years. However, such systems provide a substantial amount of freedom in the formulation of the rules, and, as a result, a number of different sets of rules have been put forward as definitive of the meanings of the classical connectives. In this paper, I argue that a single general schema for bilateral proof rules has (...) a reasonable claim to inferentially articulating the core meaning of all of the classical connectives. I propose this schema in the context of a bilateral sequent calculus in which each connective is given exactly two rules: a rule for affirmation and a rule for denial. Positive and negative rules for all of the classical connectives are given by a single rule schema, harmony between these positive and negative rules is established at the schematic level by a pair of elimination theorems, and the truth-conditions for all of the classical connectives are read off at once from the schema itself. (shrink)

The puzzle of petitionary prayer: if we ask for the best thing, God was already going to do it, and if we ask for something that's not the best, God's not going to grant our request. In this paper, we give a new solution to the puzzle.

It has generally been assumed that rapid visual search is based on simple features and that spatial relations between features are irrelevant for this task. Seven experiments involving search for line drawings contradict this assumption; a major determinant of search is the presence of line junctions. Arrow- and Y-junctions were detected rapidly in isolation and when they were embedded in drawings of rectangular polyhedra. Search for T-junctions was considerably slower. Drawings containing T-junctions often gave rise to very slow search even (...) when distinguishing arrow- or Y-junctions were present. This sensitivity to line relations suggests that preattentive processes can extract 3-dimensional orientation from line drawings. A computational model is outlined for how this may be accomplished in early human vision. (shrink)

Brauer (2022) has recently argued that if it is possible that there is nothing, then the correct modal logic for metaphysical modality cannot include D. Here, I argue that Brauer’s argument is unsuccessful; or at the very least significantly weaker than presented. First, I outline a simple argument for why it is not possible that there is nothing. I note that this argument has a well-known solution involving the distinction between truth in and truth at a possible world. However, I (...) then argue that once the semantics presupposed by Brauer’s argument is reformulated in terms of truth at a world, we have good reasons to think that a crucial semantic premise in Brauer’s argument should be rejected in favour of an alternative. Brauer’s argument is, however, no longer valid with this alternative premise. Thus, plausibly Brauer’s argument against D is only valid, if it is not sound. (shrink)

The task of visual search is to determine as rapidly as possible whether a target item is present or absent in a display. Rapidly detected items are thought to contain features that correspond to primitive elements in the human visual system. In previous theories, it has been assumed that visual search is based on simple two-dimensional features in the image. However, visual search also has access to another level of representation, one that describes properties in the corresponding three-dimensional scene. Among (...) these properties are three dimensionality and the direction of lighting, but not viewing direction. These findings imply that the parallel processes of early vision are much more sophisticated than previously assumed. (shrink)

According to Quine’s indispensability argument, we ought to believe in just those mathematical entities that we quantify over in our best scientific theories. Quine’s criterion of ontological commitment is part of the standard indispensability argument. However, we suggest that a new indispensability argument can be run using Armstrong’s criterion of ontological commitment rather than Quine’s. According to Armstrong’s criterion, ‘to be is to be a truthmaker (or part of one)’. We supplement this criterion with our own brand of metaphysics, 'Aristotelian (...) (...) realism', in order to identify the truthmakers of mathematics. We consider in particular as a case study the indispensability to physics of real analysis (the theory of the real numbers). We conclude that it is possible to run an indispensability argument without Quinean baggage. (shrink)

Control measures, such as “lockdowns”, have been widely used to suppress the COVID-19 pandemic. Under some conditions, they prevent illness and save lives. But they also exact an economic toll. How should we balance the impact of such policies on individual lives and livelihoods (and other dimensions of concern) to determine which is best? A widely used method of policy evaluation, benefit–cost analysis (BCA), answers these questions by converting all the effects of a policy into monetary equivalents and then summing (...) them up. A different method, social welfare analysis, proceeds by determining the effects of a policy on individual wellbeing and then applying an aggregation formula to them to evaluate the overall effects of a policy. In this chapter, we survey these methods and argue that social welfare analysis has important advantages. One crucial advantage is that it enables ethical considerations relating to the impact of policies on individual wellbeing and its distribution to be incorporated into policy assessments in a transparent way. We illustrate this with a simple numerical model for evaluating pandemic policies that vary in terms of the stringency of the controls that they impose on individual behaviour, showing how the evaluation depends on the ethical significance accorded to their impact on the wellbeing of different age and income groups. (shrink)

This review essay assesses Michael Jackson’s ongoing project of staging an encounter between anthropology and philosophy in two books: Lifeworlds (2013) and As Wide as the World Is Wise (2016). Considering his philosophical enrichment of ethnographic theory and method, this essay addresses foundational questions about the prospects and practices of interdisciplinary engagement. It also suggests future avenues for continued dialogue between philosophy and anthropology.

Serious actualists take it that all properties are existence entailing. I present a simple puzzle about sentence tokens which seems to show that serious actualism is false. I then consider the most promising response to the puzzle. This is the idea that the serious actualist should take ordinary property-talk to contain an implicit existential presupposition. I argue that this approach does not work: it fails to generalise appropriately to all sentence types and tokens. In particular, it fails to capture the (...) right distinctions we ought to make between what I call _typographical sentence types_—an interesting and previously undiscussed class of fine-grained sentence types which are partially individuated by their typography, or how they look when written out. (shrink)

An “inferentialist” semantic theory for some language L aims to account for the meanings of the sentences of L solely in terms of the inferential rules governing their use. A “hyper-inferentialist” theory admits into the semantics only “narrowly inferential” rules that normatively relate sentences of L to other sentences of L. A “strong inferentialist” theory also admits into the semantics “broadly inferential” rules that normatively relate perceptual states to sentences of L or sentences of L to intentional actions. It is (...) widely thought that only the latter of these two sorts of semantic theories is at all viable. I argue here that the opposite is so. Negatively, strong inferentialism is viciously circular: including rules into the semantic theory that relate perceptual states to sentences of the language requires us to appeal, in individuating those perceptual states, to the very meanings for which we are supposed to be inferentially accounting. Hyper-inferentialism does not face this problem because it does not appeal to any nonlinguistic states. Positively, though hyper-inferentialism is widely thought to be a theoretical non-starter, I argue here that it is a genuine theoretical possibility insofar as it essentially includes cross-perspectival inferences, inferences along the lines of the one from the sentences “The ball is in front of n,” “The ball is red,” and “The lighting is good” to the sentence “n sees that the ball is red.” I make the further exegetical claim that Robert Brandom, though unanimously taken to be a strong inferentialist, is in fact a hyper-inferentialist. (shrink)

According to an argument that I will call the argument from loose lips, we can safely reject certain notorious conspiracy theories because they posit conspiracies that would be nearly impossible to keep secret. I distinguish between three versions of this argument: the epistemic argument, the alethic argument, and the statistical argument. I, then, discuss several limitations of the argument from loose lips. The first limitation is that only the statistical argument can be applied to new conspiracy theories. The second limitation (...) is that no version of the argument suffices to rule out the existence of small initial conspiracies that have no need to add further conspirators. The third limitation is that no version of the argument is dialectically efficacious in the context of arguing with the relevant conspiracy theorists because nothing is said to address the alleged evidence that they cite. (shrink)