Joshua Glasgow argues against the existence of races. His experimental philosophy asks subjects questions involving racial categorization to discover the ordinary concept of race at work in their judgments. The results show conflicting information about the concept of race, and Glasgow concludes that the ordinary concept of race is inconsistent. I conclude, rather, that Glasgow’s results fit perfectly fine with a social-kind view of races as real social entities. He also presents thought experiments to show that social-kind views give the (...) wrong results, but intuitions might differ on which results are the wrong ones, and social-kind views can resist the implications he derives from these cases. Widespread false beliefs about a concept or category need not undermine anything’s existence, and a sufficiently context-sensitive approach to races will allow for competing criteria for race-membership in different contexts without contradictory criteria in any one context. Glasgow’s arguments are therefore unsuccessful. (shrink)

The purpose of this essay will be to set out an analysis of a certain philosophical, metaethical angst, which I call “absurd angst,” defend angsty thinking (to the extent it can be), and offer up hopeful suggestions regarding consolation of this angst. In short, I take absurd angst to be a painful worry that there are no normative, non-instrumental reasons to act. This worry, it seems to me, can only come about under a certain moral conceptual scheme, and I will (...) devote a large amount of time here to understanding it. This moral conceptual scheme leads the angsty to accept several nontrivial beliefs about the relationships between moral concepts and their application in true/accurate moral ascriptions. The angsty are led to these beliefs by, I think, a strongly ingrained set of moral concepts which form the basis of their moral system(s). Ultimately, I argue that absurd angst arises in some because the angsty possess moral concepts which lead them to believe either that normative reasons require external reasons (reasons which do not depend, in some critical way, on the internal evaluative states of agents), or that normative reasons require external sources of normativity (grounds or explanations for the normative force and authority of reasons which do not depend, in some critical way, on the internal evaluative states of agents) (these possibilities are not exclusive). This worries the angsty. First, because external sources of normativity are theoretically problematic, and this is felt to, in some way, make moral claims problematic. Second, because a host of painful consequences are thought to follow from a lack of these external sources and a denial of normative reasons to act. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

Is the self narratively constructed? There are many who would answer yes to the question. Dennett (1991) is, perhaps, the most famous proponent of the view that the self is narratively constructed, but there are others, such as Velleman (2006), who have followed his lead and developed the view much further. Indeed, the importance of narrative to understanding the mind and the self is currently being lavished with attention across the cognitive sciences (Dautenhahn, 2001; Hutto, 2007; Nelson, 2003). Emerging from (...) this work, there appear to be a variety of ways in which we can think of the narrative construction of the self and the relationship between the narrative self and the embodied agent. I wish to examine two such ways in this paper. The first I shall call the abstract narrative account, this is because its proponents take the narrative self to be an abstraction (Dennett, 1991; Velleman, 2006). Dennett, for example, refers to the self as a centre of narrative gravity, to be thought of as analogous to a mathematical conception of the centre of gravity of an object. The second I shall call the embodied narrative account and this is the view that the self is constituted both by an embodied consciousness whose experiences are available for narration and narratives themselves, which can play a variety of roles in the agent’s psychological life. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

In an earlier paper, "Non-conceptual Content and the 'Space of Reasons'", I distinguished two forms of the view that perceptual content is non-conceptual, which I called the 'state view' and the 'content view'. On the latter, but not the former, perceptual states have a different kind of content than do cognitive states. Many have found it puzzling why anyone would want to make this claim and, indeed, what it might mean. This paper attempts to address these questions.

Tasks, tools, and techniques that we perform, use, and acquire, define the elements of expertise which we value as the hallmarks of goal-driven behavior. Somehow, the creation of tools enables us to define new tasks, or is it that the envisioning of new tasks drives us to invent new tools? Or maybe it is that new tools engender new techniques which then result in new tasks? This jumble of issues will be explored and discussed in this diverse collection of papers. (...) Individually, few of the papers are related to each other by topic or by techniques of analysis. Collectively, all focus on tasks performed using tools and discuss the techniques of tool use which enable differences in performance and expertise across individuals, societies, and (even) species. -/- . (shrink)

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

Frege held that referring expressions in general, and demonstratives and indexicals in particular, contribute more than just their reference to what is expressed by utterances of sentences containing them. Heck first attempts to get clear about what the essence of the Fregean view is, arguing that it rests upon a certain conception of linguistic communication that is ultimately indefensible. On the other hand, however, he argues that understanding a demonstrative (or indexical) utterance requires one to think of the object denoted (...) in an appropriate way. This fact makes it difficult to reconcile the view that referring expressions are "directly referential" with any view that seeks (as Grice's does) to ground meaning in facts about communication. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

In a series of papers over the past twenty years, and in a new book, Igor Douven has argued that Bayesians are too quick to reject versions of inference to the best explanation that cannot be accommodated within their framework. In this paper, I survey their worries and attempt to answer them using a series of pragmatic and purely epistemic arguments that I take to show that Bayes’ Rule really is the only rational way to respond to your evidence.

Many philosophers nowadays believe Frege was right about belief, but wrong about language: The contents of beliefs need to be individuated more finely than in terms of Russellian propositions, but the contents of utterances do not. I argue that this 'hybrid view' cannot offer no reasonable account of how communication transfers knowledge from one speaker to another and that, to do so, we must insist that understanding depends upon more than just getting the references of terms right.

Veritism says that the fundamental source of epistemic value for a doxastic state is the extent to which it represents the world correctly: that is, its fundamental epistemic value is deter...

All disciplines must define their basic units and core processes. In evolutionary biology, the core process is natural selection and the basic unit of selection and adaptation is the individual. To operationalize the theory of natural selection we must count individuals, as they are the bearers of fitness. While canonical individuals have often been taken to be multicellular organisms, the hierarchy of life shows that new kinds of individuals have evolved. A variety of criteria have been used to define biological (...) individuality. Some criteria rely on the presence/absence of a particular property while others advocate an approach that reflects the process of natural selection. The plethora of approaches to classifying individuality has resulted in confusion regarding how to study individuality in a given taxon. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.

Adaptive preferences give rise to puzzles in ethics, political philosophy, decision theory, and the theory of action. Like our other preferences, adaptive preferences lead us to make choices, take action, and give consent. In 'False Consciousness for Liberals', recently published in The Philosophical Review, David Enoch (2020) proposes a criterion by which to identify when these choices, actions, and acts of consent are less than fully autonomous; that is, when they suffer from what Natalie Stoljar (2014) calls an 'autonomy deficit'. (...) According to Enoch, such actions are not protected in the usual way against interference by others; there is not the same prohibition against trying to prevent someone from acting in a particular way when that action is motivated by such adaptive preferences and is an attempt to satisfy them. In this note, I raise two concerns about Enoch's criterion. (shrink)

In this article, we explore the implications of opposing domains theory for developing ethical leaders. Opposing domains theory highlights a neurological tension between analytic reasoning and socioemotional reasoning. Specifically, when we engage in analytic reasoning, we suppress our ability to engage in socioemotional reasoning and vice versa. In this article, we bring together the domains of neuroscience, psychology, and ethics, to inform our theorizing around ethical leadership. We propose that a key issue for ethical leadership is achieving a healthy balance (...) between analytic reasoning and socioemotional reasoning. We argue that organizational culture often encourages too heavy a reliance on nonemotional forms of reasoning to arrive at moral judgments. As a result, leaders run the risk of suppressing their ability to pay attention to the human side of moral dilemmas and, in doing so, dehumanize colleagues, particularly subordinates, and clients. (shrink)

We explore the ethics of deliberately exposing consenting adults to SARS-CoV-2 to induce immunity to the virus (“DEI” for short). We explain what a responsible DEI program might look like. We explore a consequentialist argument for DEI according to which DEI is a viable harm-reduction strategy. Then we consider a non-consequentialist argument for DEI that draws on the moral significance of consent. Additionally, we consider arguments for the view that DEI is unethical on the grounds that, given that large-scale DEI (...) would be highly likely to result in some severe illnesses and deaths, DEI amounts to a form of killing. Our thesis is that incorporating a DEI program alongside the status-quo “calibrate-the-curve” responses could have significant advantages at the early stages of pandemics. These potential advantages mean that, at a minimum, research into DEI would have been justified early in the COVID-19 pandemic, and that DEI programs should be explored as potential additions to our overall approach to emerging pandemics in the future. (shrink)

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

A brief reflection on the mind-body problem and its implications for the way we conceive of ourselves and live our lives.

The more the number of people who live on Earth grows, the more significant are the cuts individuals must accept in realization of their own freedom, so as not to limit the freedom of others. With the growing population on the finite planet the real space for freedom of each individual decreases. Moreover, the growth of complexity of the global industrial civilization increases the degree of interdependence on one hand, on the other the degree of mutual trust decreases as a (...) result of the imperative of growth and profit, and without it no human society can function in the long term. Access to sources necessary for the realization of fundamental freedoms is unequal, and, in fact, it thus limits its accessibility for the majority of human population. Philosophical reflection then should cope with question, whether the range of guaranteed freedoms can be broadened or at least sustained when the space for its realization with the growing human population struggling for increasingly limited resources narrows. (shrink)

This paper analyzes the current crisis of the global industrial civilization as a coincidence of external and internal reasons, mainly as a coincidence of economic and environmental crises tendencies. The analysis is based on Habermas´ distinction between four types of social formation, and according to their internal organizational principles and an extent of their social and system integration, also types of crises that can occur in the given type of the social formation. The paper shows that the common reason of (...) economic and environmental crises which are a part of system crisis of industrial civilization is an imperative of growth. This imperative, as Habermas points out, is the immanent principle of institutions and systems of capitalism. Economic and demographic growth of industrial civilization based on capitalism principles has reached its limits. However, all types of social formation, institutions and civilizations are also determined by the imperative of sustainability. The current crisis is then characterized as a display of antagonism between the imperative of growth and imperative of sustainability. This antagonism creates a new category of transformation for sustainable societies or revolution conflicts in states that break environmental and economic limits of growth. These conflicts result from food and water shortages and could bring a growing instability into the world or lead into the collapse of the industrial civilization. (shrink)

This paper considers a now familiar argument that the ubiquity of context -dependence threatens the project of natural language semantics, at least as that project has usually been conceived: as concerning itself with `what is said' by an utterance of a given sentence. I argue in response that the `anti-semantic' argument equivocates at a crucial point and, therefore, that we need not choose between semantic minimalism, truth-conditional pragmatism, and the like. Rather, we must abandon the idea, familiar from Kaplan and (...) others, that utterances express propositions `relative to contexts' and replace it with the Strawonian idea that speakers express propositions by making utterances in contexts. The argument for this claim consists in a detailed investigation of the particular case of demonstratives, which I argue demand such a Strawsonian treatment. I then respond to several objections, the most important of which allege that the Strawsonian account somehow undermines the project of natural language semantics, or threatens the semantics -pragmatics distinction. Please note that the paper posted here is an extended version of what was published. (shrink)

I here investigate the sense in which diagonalization allows one to construct sentences that are self-referential. Truly self-referential sentences cannot be constructed in the standard language of arithmetic: There is a simple theory of truth that is intuitively inconsistent but is consistent with Peano arithmetic, as standardly formulated. True self-reference is possible only if we expand the language to include function-symbols for all primitive recursive functions. This language is therefore the natural setting for investigations of self-reference.

All humans have an equal basic moral status. They possess the same fundamental rights, and the comparable interests of each person should count the same in calculations that determine social policy. Neither supposed racial differences, nor skin color, sex, sexual orientation, ethnicity, intelligence, nor any other differences among humans negate their fundamental equal worth and dignity. These platitudes are virtually universally affirmed. A white supremacist racist or an admirer of Adolf Hitler who denies them is rightly regarded as beyond the (...) pale of civilized dialogue. However, a very simple line of argument developed by Peter Singer challenges our understanding of these platitudes and forces us to rethink the basis and nature of the moral equality of all humans. What I call the “Singer Problem” arises if one accepts that the morally significant cognitive capacities that are relevant to the determination of the fundamental moral status of a being vary from individual to individual by degree. The problem is to specify a moral principle determining fundamental moral status that assigns a superior status to humans compared to other animals on the basis of the superior cognitive capacities of humans but also assigns all human persons an equal fundamental moral status regardless of their differing cognitive capacities. More broadly posed, the problem is to specify moral principles that yield intuitively satisfactory implications for the treatment of human individuals and other individual animals given that cognitive capacities differ across species and individuals. A search for a resolution of the Singer problem leads to disappointing results. (shrink)

to appear in Lambert, E. and J. Schwenkler (eds.) Transformative Experience (OUP) -/- L. A. Paul (2014, 2015) argues that the possibility of epistemically transformative experiences poses serious and novel problems for the orthodox theory of rational choice, namely, expected utility theory — I call her argument the Utility Ignorance Objection. In a pair of earlier papers, I responded to Paul’s challenge (Pettigrew 2015, 2016), and a number of other philosophers have responded in similar ways (Dougherty, et al. 2015, Harman (...) 2015) — I call our argument the Fine-Graining Response. Paul has her own reply to this response, which we might call the Authenticity Reply. But Sarah Moss has recently offered an alternative reply to the Fine-Graining Response on Paul’s behalf (Moss 2017) — we’ll call it the No Knowledge Reply. This appeals to the knowledge norm of action, together with Moss’ novel and intriguing account of probabilistic knowledge. In this paper, I consider Moss’ reply and argue that it fails. I argue first that it fails as a reply made on Paul’s behalf, since it forces us to abandon many of the features of Paul’s challenge that make it distinctive and with which Paul herself is particularly concerned. Then I argue that it fails as a reply independent of its fidelity to Paul’s intentions. (shrink)

This article outlines the role of globalized mass media in the perception of environmental and social threats and its reciprocal conditionality in the globalized society. It examines the reasons why the global environmental crisis will not lead to a world-wide environmental movement for change of the basic imperatives of the world economicpolitical system. Coherency between globalized mass media and wide-spreading of consumer lifestyle exists despite the fact that it deepens the devastation of environment and social conflicts. Globalized mass media owned (...) by transnational corporations are not only a part of the current global economic-political system, but also the prerequisite of its creation and existence, as well as social contradictions and conflicts. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

Our values change. What we value, want, desire, prefer, and how much; for nearly everyone, these will be different at different times in their life. These changes can be gradual or abrupt; they can be long-lasting or short-lived; and they can be induced by forces outside yourself or they can come from within or they can have no specific catalyst at all. Such preference change raises a number of questions for our theorising about rational choice, and these have been discussed (...) at length. In §2 and §3, I’ll outline two of these questions along with some of the putative solutions that have been proposed. But preference change also raises questions for our theorising about autonomy, and these have hardly been considered at all. In §4, I’ll outline three problems for personal autonomy; and in §5, I’ll outline one problem for political autonomy. In §6, I conclude. (shrink)

The Dutch Book Argument for Probabilism assumes Ramsey's Thesis (RT), which purports to determine the prices an agent is rationally required to pay for a bet. Recently, a new objection to Ramsey's Thesis has emerged (Hedden 2013, Wronski & Godziszewski 2017, Wronski 2018)--I call this the Expected Utility Objection. According to this objection, it is Maximise Subjective Expected Utility (MSEU) that determines the prices an agent is required to pay for a bet, and this often disagrees with Ramsey's Thesis. I (...) suggest two responses to Hedden's objection. First, we might be permissive: agents are permitted to pay any price that is required or permitted by RT, and they are permitted to pay any price that is required or permitted by MSEU. This allows us to give a revised version of the Dutch Book Argument for Probabilism, which I call the Permissive Dutch Book Argument. Second, I suggest that even the proponent of the Expected Utility Objection should admit that RT gives the correct answer in certain very limited cases, and I show that, together with MSEU, this very restricted version of RT gives a new pragmatic argument for Probabilism, which I call the Bookless Pragmatic Argument. (shrink)

This paper clarifies the usage of Albert Hirschman’s categories of market behaviour as of exit and voice in debates about workplace democracy by taking seriously his critique of the neoclassical analysis of competition. Pro-market liberals are generally hostile to the idea of workplace democracy and tend to favour top-down hierarchies as a way of organising labour. This hostility is generally inspired by the neoclassical analysis of exploitation and efficiency, which leads them to defend distributions achieved through exit-based competitive equilibria. Following (...) Hirschman, I propose to consider a hypothetical alternative: a democratic equilibrium, reached through the use of voice. I show that it would present the same appealing characteristics than its competitive counterpart while also accounting for the non-ideal conditions in which markets operate. Support for free markets should entail support for workplace democracy minimally understood as a strengthening of voice. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

In formal epistemology, we use mathematical methods to explore the questions of epistemology and rational choice. What can we know? What should we believe and how strongly? How should we act based on our beliefs and values? We begin by modelling phenomena like knowledge, belief, and desire using mathematical machinery, just as a biologist might model the fluctuations of a pair of competing populations, or a physicist might model the turbulence of a fluid passing through a small aperture. Then, we (...) explore, discover, and justify the laws governing those phenomena, using the precision that mathematical machinery affords. For example, we might represent a person by the strengths of their beliefs, and we might measure these using real numbers, which we call credences. Having done this, we might ask what the norms are that govern that person when we represent them in that way. How should those credences hang together? How should the credences change in response to evidence? And how should those credences guide the person’s actions? This is the approach of the first six chapters of this handbook. In the second half, we consider different representations—the set of propositions a person believes; their ranking of propositions by their plausibility. And in each case we ask again what the norms are that govern a person so represented. Or, we might represent them as having both credences and full beliefs, and then ask how those two representations should interact with one another. This handbook is incomplete, as such ventures often are. Formal epistemology is a much wider topic than we present here. One omission, for instance, is social epistemology, where we consider not only individual believers but also the epistemic aspects of their place in a social world. Michael Caie’s entry on doxastic logic touches on one part of this topic, but there is much more. Relatedly, there is no entry on epistemic logic, nor any on knowledge more generally. There are still more gaps. These omissions should not be taken as ideological choices. This material is missing, not because it is any less valuable or interesting, but because we v failed to secure it in time. Rather than delay publication further, we chose to go ahead with what is already a substantial collection. We anticipate a further volume in the future that will cover more ground. Why an open access handbook on this topic? A number of reasons. The topics covered here are large and complex and need the space allowed by the sort of 50 page treatment that many of the authors give. We also wanted to show that, using free and open software, one can overcome a major hurdle facing open access publishing, even on topics with complex typesetting needs. With the right software, one can produce attractive, clear publications at reasonably low cost. Indeed this handbook was created on a budget of exactly £0 (≈ $0). Our thanks to PhilPapers for serving as publisher, and to the authors: we are enormously grateful for the effort they put into their entries. (shrink)

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

A prominent defence of compulsory voting is based on the negative effects of a low turnout on democracy, which leads to an unequal representation of the most vulnerable citizens of our societies, since they are the least likely to vote voluntarily. This paper shows that this justification relies on the truth of an added premise – that voting is a proxy for use of political influence and power. However, the inclusion of this premise weakens the entire argument, which regains consistency (...) only through the adoption of a narrow understanding of what representation is. Introduction. (shrink)

General Relativity’s Schwarzschild solution describes a spherically symmetric gravitational field as an utterly static thing. The Space Generation Model describes it as an absolutely moving thing. The light propagation time-delay experiment of Shapiro-Reasenberg [1] and the falling atomic clock experiment of Vessot-Levine [2] provide the ideal context for illustrating how, though the respective world views implied by these models are radically di fferent, they make nearly the same prediction for the results of these experiments.

Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of which number is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of notation. The purpose of this article is to explore the relationship between (...) the notations acceptable for computation, the usual idealizations involved in theories of computability, flowing from Alan Turing’s monumental work, and de re propositional attitudes toward numbers and other mathematical objects. (shrink)

The UK has been ‘following the science’ in response to the COVID-19 pandemic in line with the national framework for the use of scientific advice in assessment of risk. We argue that the way in which it does so is unsatisfactory in two important respects. Firstly, pandemic policy making is not based on a comprehensive assessment of policy impacts. And secondly, the focus on reasonable worst-case scenarios as a way of managing uncertainty results in a loss of decision-relevant information and (...) does not provide a coherent basis for policy making. (shrink)

In the first half of this paper, I argue that group belief ascriptions are highly ambiguous. What's more, in many cases, neither the available contextual factors nor known pragmatic considerations are sufficient to allow the audience to identify which of the many possible meanings is intended. In the second half, I argue that this ambiguity often has bad consequences when a group belief ascription is heard and taken as testimony. And indeed it has these consequences even when the ascription is (...) true on the speaker's intended interpretation, when the speaker does not intend to mislead and indeed intends to cooperatively inform, and when the audience incorporates the evidence from the testimony as they should. I conclude by arguing that these consequences should lead us to stop using such ascriptions. (shrink)

Thought experiments involving The Matrix, brains-in-vats, or Cartesian demons have traditionally thought to describe skeptical possibilities. Chalmers has denied this, claiming that the simulations involved are real enough to at least sometimes defeat the skeptic. Through an examination of the meaning of kind terms in natural language I argue that, though the Chalmers view may be otherwise attractive, it is not an antidote to skepticism.

In this article I respond to the obligation to institute the policy of decoupled crop subsidies as is provided in Pilchman’s article “Money for Nothing: Are decoupled Crop Subsidies Just?” With growing problems of poor nutrition in the United States there have been two different but related phenomenon that have appeared. First, the obesity epidemic that has ravaged the nation and left an increasing number of people very unhealthy; and second, the phenomenon of food deserts where individuals are unable to (...) access fresh fruits and vegetables. A possible solution to this problem, as has been proposed by some, is to institute a decoupled crop subsidy that would increase the production of fruits and vegetables in the United States. In this paper I explore the possible unintended consequences of this policy and how it may violate liberal international conceptions of justice. I conclude that there must be further empirical research before anyone can call decoupled crop subsidies an obligation to justice. (shrink)