The article discusses the varying conceptions of the faculty of ‘the understanding’ in 18th-century British philosophy and logic. Topics include the distinction between the understanding and the will, the traditional division of three acts of understanding and its critics, the naturalizing of human understanding, conceiving of the limits of human understanding, British innatism and the critique of empiricist conceptions of the understanding, and reconceiving the understanding and the elimination of scepticism. Authors discussed include Richard Price, James Harris, Zachary Mayne, (...) Edward Bentham, Isaac Watts, Dugald Stewart, John Norris—as well as Locke, Berkeley, Hume and Reid. (shrink)

Biological sex should be “acknowledged” and “accepted”—but which responses to gender dysphoria might this preclude? Trans-identified people may factually acknowledge their biological sex and regard transition as purely palliative. While generally some level of self-deception and even a high level of nonlying deception of others are sometimes justified, biological sex is important, and there is a nontrivial onus against even palliative, nonsexually motivated cross-dressing. The onus is higher against co-opting the body, even in a minor and/or reversible way, to make (...) a false communication concerning one’s sex. Hardest to defend is the destruction of sexual–reproductive functions and causally downstream functions such as lactation: due to the transcendent nature of sexual–reproductive functions, an appeal to the “principle of totality” here is misplaced. This is not to say that social, and milder medical, transition is absolutely excluded even for severe unmanageable dysphoria, nor that subsequent to any transition, detransition is necessarily required. (shrink)

The term “value of life” can refer to life’s intrinsic dignity: something nonincremental and time-unaffected in contrast to the fluctuating, incremental “value” of our lives, as they are longer or shorter and more or less flourishing. Human beings are equal in their basic moral importance: the moral indignities we condemn in the treatment of e.g. those with dementia reflect the ongoing human dignity that is being violated. Indignities licensed by the person in advance remain indignities, as when people might volunteer (...) their living, unconscious bodies for surrogacy or training in amputation techniques. Respect for someone’s dignity is significantly impacted by a failure to value that person’s very existence, whatever genuine respect and good will is shown by wanting the person’s life to go well. Valuing and respecting life is not, however, vitalism: there can be good and compelling reasons for eschewing some means of prolonging life. (shrink)

Is the “act itself” of separating a pregnant woman and her previable child neither good nor bad morally, considered in the abstract? Recently, Maureen Condic and Donna Harrison have argued that such separation is justified to protect the mother’s life and that it does not constitute an abortion as the aim is not to kill the child. In our article on maternal–fetal conflicts, we agree there need be no such aim to kill (supplementing aims such as to remove). However, we (...) argue that to understand “abortion” as performed only where the death of the child is intended is to define the term too narrowly. Respect for the mother, the fetus, and the bond between them goes well beyond avoiding any such aim. We distinguish between legitimate maternal treatments simply aimed at treating or removing a damaged part of the woman and illegitimate treatments that focus harmfully on the fetal body and its presence within the mother’s body. In obstetrics as elsewhere, not all side effects for one subject of intervention can be outweighed by intended benefits for another. Certain side effects of certain intended interventions are morally conclusive. (shrink)

In the first part of this essay (Sections I and II), I argue that Kierkegaard's work helps us to articulate and defend two basic requirements on searching for knowledge of one's own judgements: first, that searching for knowledge whether one judges that P requires trying to make a judgement whether P; and second that, in an important range of cases, searching for knowledge of one's own judgements requires attending to how one's acts of judging are performed. In the second part (...) of the essay (Sections III and IV), I consider two prima facie problems regarding this conception of searching for knowledge of one's own judgements. The first problem concerns how in general one can coherently try to meet both these requirements at once; the second, how in particular one can try to attend to one's own acts of judging. I show how Kierkegaard's work is alive to both these problems, and helps us to see how they can be resolved. (shrink)

Fetuses and their mothers (and other adults) share many objective interests. These include interests in disjunctive ways of achieving human well-being, including the formation and success of good projects such as particular friendships. Pursuing such good projects is in the individual’s interests and is what growing up is all about. Some interests are time-sensitive, and determining which interests apply at what stages in life requires asking which benefits are in some sense appropriate to the individual and still in his/her actual (...) or possible or even hypothetical future. Human individuals not only have interests in unconditional benefits to them, including the welfare of existing family members, but in conditional benefits to them, including the welfare of possible future family members. Even if not all interests apply to the individual at every stage, if an adult-type benefit is still in the (long-term) future, the young individual including the fetus has a stake in that benefit, conditional as the benefit may sometimes be. Fulfilment is enhanced by pursuit and conscious enjoyment of ‘human goods’, but as with adults, the stake in these remains strong even if psychological links with the long-term future in which this happens are tenuous or non-existent. (shrink)

This essay offers an account of Kierkegaard’s view of the limits of thought and of what makes this view distinctive. With primary reference to Philosophical Fragments, and its putative representation of Christianity as unthinkable, I situate Kierkegaard’s engagement with the problem of the limits of thought, especially with respect to the views of Kant and Hegel. I argue that Kierkegaard builds in this regard on Hegel’s critique of Kant but that, against Hegel, he develops a radical distinction between two types (...) of thinking and inquiry: the ‘aesthetic-intellectual’ and the ‘ethico-religious’. I clarify this distinction and show how it guides Kierkegaard’s conception of a form of philosophical practice that involves drawing limits to the proper sphere of disinterested contemplation. With reference to two rival interpretations of Kierkegaard’s approach to the limits of thought—which I call ‘bullet-biting’ and ‘relativizing’—I further show how my ‘disambiguating’ account can better explain how, and why, his work courts a form of self-referential incoherence, in which it appears that certain limits of thought are at once affirmed and violated. (shrink)

The “principle of double effect” is a vital tool for moral decision making and is applicable to all areas of medical practice, including (for example) end-of-life care, transplant medicine, and cases of conscientious objection. Both our ultimate and our more immediate intentions are relevant in making and evaluating choices— though side effects must be kept proportionate and can be morally conclusive when linked with some intentions. Intentions help to form the character of doctors, and of human beings generally. While hypocrisy (...) is certainly possible in regard to this form (and other forms) of moral reasoning, double effect reasoning, sincerely practised, remains indispensable in identifying moral problems and solutions. (shrink)

Cooperation in wrongdoing is an everyday matter for all of us, though we need to discern when such cooperation is morally excluded as constituting formal cooperation, as opposed to material (unintended) cooperation whether justified or otherwise. In this paper, I offer examples of formal cooperation such as referral of patients for certain procedures where the cooperating doctor intends an intrinsically wrongful plan of action on the part of the patient and a medical colleague. I also consider a case of formal (...) cooperation where the cooperator intends a choice on the part of another person that is not intrinsically wrong, but wrong in the circumstances because the person believes it will cause serious uncompensated harm. (shrink)

According to proponents of the extended mind, bio-external resources, such as a notebook or a smartphone, are candidate parts of the cognitive and mental machinery that realises cognitive states and processes. The present chapter discusses three areas of ethical concern associated with the extended mind, namely mental privacy, mental manipulation, and agency. We also examine the ethics of the extended mind from the standpoint of three general normative frameworks, namely, consequentialism, deontology, and virtue ethics.

This essay re-examines Kierkegaard's view of Socrates. I consider the problem that arises from Kierkegaard's appeal to Socrates as an exemplar for irony. The problem is that he also appears to think that, as an exemplar for irony, Socrates cannot be represented. And part of the problem is the paradox of self-reference that immediately arises from trying to represent x as unrepresentable. On the solution I propose, Kierkegaard does not hold that, as an exemplar for irony, Socrates is in no (...) way representable. Rather, he holds that, as an exemplar for irony, Socrates cannot be represented in a purely disinterested way. I show how, in The Concept of Irony, Kierkegaard makes use of 'limiting cases' of representation in order to bring Socrates into view as one who defies purely disinterested representation. I also show how this approach to Socrates connects up with Kierkegaard's more general interest in the problem of ethical exemplarity, where the problem is how ethical exemplars can be given as such, that is, in such a way that purely disinterested contemplation is not the appropriate response to them. (shrink)

This paper falls into three parts. The first looks at wh-constructions, focussing on the so-called factual whs, ‘X knows where… ’, ‘when’, ‘who’, ‘what’ etc. I suggest, drawing on both linguistic considerations and evidence from developmental psychology, that these constructions take things as their objects, not propositions; and that this may be why they are learned before those taking sentential complements. The second part moves to the case of telling-wh: to constructions such as telling someone who is at the door. (...) This construction brings a very particular set of requirements, not just to tell the truth, but to tell all the relevant truths and nothing but. The third section, in a critical discussion of Katherine Hawley's work, argues that an account of trust and testimony focussing on the telling-wh construction brings better results than one focussed on the blander idea of assertion. (shrink)

Alongside existing research into the social, political and economic impacts of the Web, there is a need to study the Web from a cognitive and epistemic perspective. This is particularly so as new and emerging technologies alter the nature of our interactive engagements with the Web, transforming the extent to which our thoughts and actions are shaped by the online environment. Situated and ecological approaches to cognition are relevant to understanding the cognitive significance of the Web because of the emphasis (...) they place on forces and factors that reside at the level of agent–world interactions. In particular, by adopting a situated or ecological approach to cognition, we are able to assess the significance of the Web from the perspective of research into embodied, extended, embedded, social and collective cognition. The results of this analysis help to reshape the interdisciplinary configuration of Web Science, expanding its theoretical and empirical remit to include the disciplines of both cognitive science and the philosophy of mind. (shrink)

This essay considers the critical response to Hegel's view of Socrates we find in Kierkegaard's dissertation, The Concept of Irony. I argue that this dispute turns on the question whether or not the examination of particular thinkers enters into Socrates’ most basic aims and interests. I go on to show how Kierkegaard's account, which relies on an affirmative answer to this question, enables him to provide a cogent defence of Socrates' philosophical practice against Hegel's criticisms.

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)

My central claim in this paper is that Kierkegaard’s Fear and Trembling is governed by the basic aim to articulate a real dilemma, and to elicit its proper recognition as such. I begin by indicating how Kierkegaard’s works are shaped in general by this aim, and what the aim involves. I then show how the dilemmaticstructure of Fear and Trembling is obscured in a recent dispute between Michelle Kosch and John Lippitt regarding the basic aims and upshot of the book. (...) Finally, I consider two critical questions: Why does Kierkegaard present his dilemmatic reasoning in the form of a “dialectical lyric”? And why does he write a book that aims only to articulate a dilemma, and not also to resolve it? (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

Touch is standardly taken to be a proximal sense, principally constituted by capacities to detect proximal pressure and thermal stimulation, and contrasted with the distal senses of vision and audition. It has, however, recently been argued that the scope of touch extends beyond proximal perception; touch can connect us to distal objects. Hence touch generally should be thought of as a connection sense. In this paper, I argue that whereas pressure perception is a connection sense, thermal perception is not. Thermal (...) perception is a proximal sense distinct from touch. One significant consequence of this is that it motivates an alternative explanation of how we detect the thermal properties of the things we touch and what they are. (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.

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 present a new understanding of Christ’s real presence in the Eucharist on the model of Stump’s account of God’s omnipresence and Green and Quan’s account of experiencing God in Scripture. On this understanding, Christ is derivatively, rather than fundamentally, located in the consecrated bread and wine, such that Christ is present to the believer through the consecrated bread and wine, thereby making available to the believer a second-person experience of Christ, where the consecrated bread and wine are the way (...) in which she shares attention with him. The consecrated bread and wine are then, in a sense, icons of Christ. (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)

This paper reexamines Kierkegaard's work with respect to the question whether truth is one or many. I argue that his famous distinction between objective and subjective truth is grounded in a unitary conception of truth as such: truth as self-coincidence. By explaining his use in this context of the term ‘redoubling’ [Fordoblelse], I show how Kierkegaard can intelligibly maintain that truth is neither one nor many, neither a simple unity nor a complex multiplicity. I further show how these points shed (...) much-needed light on the relationship between objective and subjective truth, conceived not as different kinds or species of truth but as different ways in which truth manifests itself as a standard of success across different contexts of inquiry. (shrink)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

Is it possible to donate unpaired vital organs, foreseeing but not intending one's own death? We argue that this is indeed psychologically possible, and thus far agree with Charles Camosy and Joseph Vukov in their recent paper on 'double effect donation.' Where we disagree with these authors is that we see double effect donation not as a morally praiseworthy act akin to martyrdom but as a morally impermissible act that necessarily disrespects human bodily integrity. Respect for bodily integrity goes beyond (...) avoiding the aim to kill: not all side effects of deliberate bodily interventions can be outweighed by intended benefits for another even if the subject fully consents. It is not any necessary intention to kill or harm another or oneself that makes lethal donation/harvesting illicit but the more immediate intention to accept or perform surgery on an (innocent) person combined with the foresight of lethal harm and no health-related good for him or her. Double effect donation falls foul of the first condition of double effect reasoning in that the immediate act is wrong in itself. We argue further that the wider effects of such donation would be socially disastrous and corrupting of the medical profession: doctors should retain a sense of nonnegotiable respect for bodily integrity even when they intervene on willing subjects for the benefit of others. (shrink)

This paper reconsiders certain of Kierkegaard's criticisms of Hegel's theoretical philosophy in the light of recent interpretations of the latter. The paper seeks to show how these criticisms, far from being merely parochial or rhetorical, turn on central issues concerning the nature of thought and what it is to think. I begin by introducing Hegel's conception of "pure thought" as this is distinguished by his commitment to certain general requirements on a properly philosophical form of inquiry. I then outline Hegel's (...) strategy for resolving a crucial problem he takes himself to face. For his account of the nature of thought depends upon the idea of a form of inquiry in which nothing whatsoever is presupposed; but this idea appears basically paradoxical inasmuch as the mere act of beginning to inquire in a certain way embodies an assumption about how it is appropriate to begin. Turning to Kierkegaard, I consider a key objection to the effect that Hegel's strategy for resolving this paradox depends on the incoherent idea of a purely reflexive act of thinking. Finally, I draw out some central features of the alternative account of "situated" thought and inquiry which Kierkegaard presents as distinctively Socratic. (shrink)

Development plans at different levels – from local to global – aspire to eliminate poverty, famine, to make health care accessible, to create better access to education, to improve transportation, employment, and the quality of life, all within next decades. Yet, these plans collide with the reality of climate change, more precisely the Anthropocene, which already creates high-dimensional conflicts. These will only intensify within decades because climate change and other consequences of the environment global devastation lead to a real decrease (...) of resources. These resources enable not only development but also an elementary reproduction of the essential preconditions of life. The current model of development has substantially contributed to the intensification of unequal accessibility to resources and existing conflicts have thus heightened and new ones have emerged. Water as an essential resource will cause new conflicts. Growing population, expansion of deserts and a sea level rise then increase conflicts for the land. Heat waves occur more often which strengthens conflicts for land suitable for human life, meaning that inhabitable areas are spreading. Therefore there is a need to re-evaluate the character and hierarchy of resources and their accessibility, and also concepts of development. The existing development of humankind has been done at the expense of others in many cases and mainly at the expense of the environment. The current situation raises a question of climate justice from both historical and systematic viewpoints. It opens a need to reformulate the concept of human rights from the perspective of their essential environmental preconditions and to define the status of environmental migrants. (shrink)

We often learn the opinions of others without hearing the evidence on which they're based. The orthodox Bayesian response is to treat the reported opinion as evidence itself and update on it by conditionalizing. But sometimes this isn't feasible. In these situations, a simpler way of combining one's existing opinion with opinions reported by others would be useful, especially if it yields the same results as conditionalization. We will show that one method---upco, also known as multiplicative pooling---is specially suited to (...) this role when the opinions you wish to pool concern hypotheses about chances. The result has interesting consequences: it addresses the problem of disagreement between experts; and it sheds light on the social argument for the uniqueness thesis. (shrink)

Health services internationally struggle to ensure health care is “person-centered” (or similar). In part, this is because there are many interpretations of “person-centered care” (and near synonyms), some of which seem unrealistic for some patients or situations and obscure the intrinsic value of patients’ experiences of health care delivery. The general concern behind calls for person-centered care is an ethical one: Patients should be “treated as persons.” We made novel use of insights from the capabilities approach to characterize person-centered care (...) as care that recognizes and cultivates the capabilities associated with the concept of persons. This characterization unifies key features from previous characterisations and can render person-centered care applicable to diverse patients and situations. By tying person-centered care to intrinsically valuable capability outcomes, it incorporates a requirement for responsiveness to individuals and explains why person-centered care is required independently of any contribution it may make to health gain. (shrink)

Abstract This paper offers an appraisal of Phillip Pettit's approach to the problem how a merely finite set of examples can serve to represent a determinate rule, given that indefinitely many rules can be extrapolated from any such set. I argue that Pettit's so-called ethnocentric theory of rule-following fails to deliver the solution to this problem he sets out to provide. More constructively, I consider what further provisions are needed in order to advance Pettit's general approach to the problem. I (...) conclude that what is needed is an account that, whilst it affirms the view that agents' responses are constitutively involved in the exemplification of rules, does not allow such responses the pride of place they have in Pettit's theory. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

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)

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

The primary goal of this essay is to provide a comprehensive overview and analysis of the various relations between material artifacts and the embodied mind. A secondary goal of this essay is to identify some of the trends in the design and use of artifacts. First, based on their functional properties, I identify four categories of artifacts co-opted by the embodied mind, namely (1) embodied artifacts, (2) perceptual artifacts, (3) cognitive artifacts, and (4) affective artifacts. These categories can overlap and (...) so some artifacts are members of more than one category. I also identify some of the techniques (or skills) we use when interacting with artifacts. Identifying these categories of artifacts and techniques allows us to map the landscape of relations between embodied minds and the artifactual world. Second, having identified categories of artifacts and techniques, this essay then outlines some of the trends in the design and use of artifacts, focussing on neuroprosthetics, brain-computer interfaces, and personalisation algorithms nudging their users towards particular epistemic paths of information consumption. (shrink)

I discuss a puzzle that arises as an apparent tension between plausible theories of good guessing and intuitive constraints on rational inquiry. Clearly, our best guess at a question should reflect the likelihoods we assign to its possible answers. Your best guess is the answer you judge most likely. Additionally, it seems like a requirement of rational inquiry that our guesses be coherent. Thus, our best guess to a constituent (wh-) questions should cohere with our best guess to a polar (...) (yes/no) question whenever answers to the former entail answers to the latter. I argue that these requirements are in conflict and that a familiar form of contextualism doesn’t resolve the issue. The puzzle stands as a challenge to existing accounts of rational inquiry and question directed attitudes like guessing. (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)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

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)

Mathematical formalism is the the view that numbers are "signs" and that arithmetic is like a game played with such signs. Frege's colleague Thomae defended formalism using an analogy with chess, and Frege's critique of this analogy has had a major influence on discussions in analytic philosophy about signs, rules, meaning, and mathematics. Here I offer a new interpretation of formalism as defended by Thomae and his predecessors, paying close attention to the mathematical details and historical context. I argue that (...) for Thomae, the formal standpoint is an _algebraic perspective_ on a domain of objects, and a "sign" is not a linguistic expression or mark, but a representation of an object within that perspective. Thomae exploits a shift into this perspective to give a purely algebraic construction of the real numbers from the rational numbers. I suggest that Thomae's chess analogy is intended to provide a model for such shifts in perspective. (shrink)

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

Is it reasonable to believe in a God of love in the face of life's many evils? In this essay I consider how the biblical book of Job raises and responds to this question.

What endogenous factors contribute to minority (Red Queen) or majority (Red King) domination under conditions of coercive bargaining? We build on previous work demonstrating minority disadvantage in non-coercive bargaining games to show that under neutral initial conditions, majorities are advantaged in high conflict situations, and minorities are advantaged in low conflict games. These effects are a function of the relationship between (1) relative proportions of the majority and minority groups and (2) costs of conflict. Although both Red King and Red (...) Queen effects can occur, we further show that agents’ increased initial propensity toward conflict advantages majorities. (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.

Longtermism is the view that the most urgent global priorities, and those to which we should devote the largest portion of our resources, are those that focus on (i) ensuring a long future for humanity, and perhaps sentient or intelligent life more generally, and (ii) improving the quality of the lives that inhabit that long future. While it is by no means the only one, the argument most commonly given for this conclusion is that these interventions have greater expected goodness (...) per unit of resource devoted to them than each of the other available interventions, including those that focus on the health and well-being of the current population. In this paper, I argue that, even if we grant the consequentialist ethics upon which this argument depends, and even if we grant one of the axiologies that are typically paired with that ethics to give the argument, we are not morally required to choose an option that maximises expected utility; indeed, we might not even be permitted to do so. Instead, I will argue, if the argument's consequentialism is correct, we should choose using a decision theory that is sensitive to risk, and allows us to give greater weight to worse-case outcomes than expected utility theory does. And, I will show, such decision theories do not always recommend longtermist interventions. Indeed, sometimes, they recommend exactly the opposite: sometimes, they recommend hastening human extinction. Many, though not all, will take this as a reductio of the consequentialism or the axiology of the argument. I remain agnostic on the conclusion we should draw. (shrink)

One goal of this paper is to argue that autobiographical memories are extended and distributed across embodied brains and environmental resources. This is important because such distributed memories play a constitutive role in our narrative identity. So, some of the building blocks of our narrative identity are not brain-bound but extended and distributed. Recognising the distributed nature of memory and narrative identity, invites us to find treatments and strategies focusing on the environment in which dementia patients are situated. A second (...) goal of this paper is to suggest various of such strategies, including lifelogging technologies such as SenseCams, life story books, multimedia biographies, memory boxes, ambient intelligence systems, and virtual reality applications. Such technologies allow dementia patients to remember their personal past in a way that wouldn’t be possible by merely relying on their biological memory, in that way aiding in preserving their narrative identity and positively contributing to their sense of well-being. (shrink)

The discovery of a 1932 typewriter apparently signed by Heidegger raises questions about its authenticity and purpose, and prompts us to reconsider the validity of Heidegger’s portrayal of typewriters as devices that alienate writing from the hand and exemplify the modern oblivion of being.

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)