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

The 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)

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)

Moral debunking arguments are meant to show that, by realist lights, moral beliefs are not explained by moral facts, which in turn is meant to show that they lack some significant counterfactual connection to the moral facts (e.g., safety, sensitivity, reliability). The dominant, “minimalist” response to the arguments—sometimes defended under the heading of “third-factors” or “pre-established harmonies”—involves affirming that moral beliefs enjoy the relevant counterfactual connection while granting that these beliefs are not explained by the moral facts. We show that (...) the minimalist gambit rests on a controversial thesis about epistemic priority: that explanatory concessions derive their epistemic import from what they reveal about counterfactual connections. We then challenge this epistemic priority thesis, which undermines the minimalist response to debunking arguments (in ethics and elsewhere). (shrink)

Rose and Schaffer (forthcoming) argue that teleological thinking has a substantial influence on folk intuitions about composition. They take this to show (i) that we should not rely on folk intuitions about composition and (ii) that we therefore should not reject theories of composition on the basis of intuitions about composition. We cast doubt on the teleological interpretation of folk judgments about composition; we show how their debunking argument can be resisted, even on the assumption that folk intuitions have a (...) teleological source; and we argue that, even if folk intuitions about composition carry no weight, theories of composition can still be rejected on the basis of the intuitions of metaphysicians. (shrink)

In this chapter, we explore a tension between the mindshaping hypothesis and commonsense Western ideas about moral agency and its relation to the social world. To illustrate this tension, we focus on the phenomenon of virtue signaling. We argue that moral intuitions about the perniciousness of virtue signaling reflect an individualistic conception of agency that we call the inside-out ideal. We argue that this ideal fits poorly with the deeply social, interactive, and regulative portrait of human nature revealed by the (...) mindshaping hypothesis. As an alternative to the inside-out ideal, we advocate for a more outside-in conception of agency. We argue that recent work on self control fits with such a conception, and show how it provides the virtue signaler with a path towards genuine moral growth that is scaffolded by mindshaping dynamics connected to reputational incentives and communal support, and should be accepted as perfectly morally legitimate. (shrink)

Public discussions of political and social issues are often characterized by deep and persistent polarization. In social psychology, it’s standard to treat belief polarization as the product of epistemic irrationality. In contrast, we argue that the persistent disagreement that grounds political and social polarization can be produced by epistemically rational agents, when those agents have limited cognitive resources. Using an agent-based model of group deliberation, we show that groups of deliberating agents using coherence-based strategies for managing their limited resources tend (...) to polarize into different subgroups. We argue that using that strategy is epistemically rational for limited agents. So even though group polarization looks like it must be the product of human irrationality, polarization can be the result of fully rational deliberation with natural human limitations. (shrink)

It is commonly said that some standards, such as morality, are ‘normatively authoritative’ in a way that other standards, such as etiquette, are not; standards like etiquette are said to be ‘not really normative’. Skeptics deny the very possibility of normative authority, and take claims like ‘etiquette is not really normative’ to be either empty or confused. I offer a different route to defeat skeptics about authority: instead of focusing on what makes standards like morality special, we should focus on (...) what makes standards like etiquette ‘not really normative’. I defend a fictionalist theory on which etiquette is ‘not really normative’ in roughly the same way that Sherlock is ‘not really a detective’, and show that fictionalism about some normative standards helps us explain the possibility of normative authority. (shrink)

This chapter proposes a radically enactive account of remembering that casts it as creative, dynamic, and wide-reaching. It paints a picture of remembering that no longer conceives of it as involving passive recollections – always occurring wholly and solely inside heads. Integrating empirical findings from various sources, the chapter puts pressure on familiar cognitivist visions of remembering. Pivotally, it is argued, that we achieve a stronger and more elegant account of remembering by abandoning the widely held assumption that it is (...) rooted in the retrieval of stored information or content in order to represent past events. We demonstrate how a radically enactive account of the roots of remembering can successfully handle classic cases discussed in the extended memory literature while, at same time, accommodating experientially rich forms of episodic memory. (shrink)

An influential proposal is that knowledge involves safe belief. A belief is safe, in the relevant sense, just in case it is true in nearby metaphysically possible worlds. In this paper, I introduce a distinct but complementary notion of safety, understood in terms of epistemically possible worlds. The main aim, in doing so, is to add to the epistemologist’s tool-kit. To demonstrate the usefulness of the tool, I use it to advance and assess substantive proposals concerning knowledge and justification.

The is-ought gap is Hume’s claim that we can’t get an ‘ought’ from just ‘is’s. Prior (“The Autonomy of Ethics,” 1960) showed that its most straightforward formulation, a staple of introductory philosophy classes, fails. Many authors attempt to resurrect the claim by restricting its domain syntactically or by reformulating it in terms of models of deontic logic. Those attempts prove to be complex, incomplete, or incorrect. I provide a simple reformulation of the is-ought gap that closely fits Hume’s description of (...) it. My formulation of the gap avoids the proposed counterexamples from Prior and offers a natural explanation of why they seem compelling. Moreover, I show that my formulation of the gap is guaranteed by standard theories of the semantics of normative terms, and that provides a more general reason to accept it. (shrink)

It is commonly argued that a serious right to life is grounded only in actual, relatively advanced psychological capacities a being has acquired. The moral permissibility of abortion is frequently argued for on these grounds. Increasingly it is being argued that such accounts also entail the permissibility of infanticide, with several proponents of these theories accepting this consequence. We show, however, that these accounts imply the permissibility of even more unpalatable acts than infanticide performed on infants: organ harvesting, live experimentation, (...) sexual interference, and discriminatory killing. The stronger intuitions against the permissibility of these ‘pre-personal acts’ allow us to re-establish a comprehensive and persuasive reductio against psychological accounts of persons. (shrink)

Justification depends on context: even if E on its own justifies H, still it might fail to justify in the context of D. This sort of effect, epistemologists think, is due to defeaters, which undermine or rebut a would-be justifier. I argue that there is another fundamental sort of contextual feature, disqualification, which doesn't involve rebuttal or undercutting, and which cannot be reduced to any notion of screening-off. A disqualifier makes some would-be justifier otiose, as direct testimony sometimes does to (...) distal testimony, and as manifestly decisive evidence might do to gratuitous evidence on the same team. Basing a belief on disqualified evidence, moreover, is distinctively irrational. One is not necessarily irresponsible. Instead one is turning down a free upgrade to a sleeker, stabler basis for one's beliefs. Such an upgrade would prevent wastes of epistemic effort, since someone who bases her belief on a disqualified proposition E will need to remember E and rethink her belief should E ever be defeated. The upgrade might also reduce reliance on unwieldy evidence, if E is relevant only thanks to some labyrinthine argument; and if even ideal agents should doubt their ability to follow such arguments, even they should care about disqualifiers. (shrink)

On the shared-­ends account of close friendship, proper care for a friend as an agent requires seeing yourself as having important reasons to accommodate and promote the friend’s valuable ends for her own sake. However, that friends share ends doesn't inoculate them against disagreements about how to pursue those ends. This paper defends the claim that, in certain circumstances of reasonable disagreement, proper care for a friend as a practical and moral agent sometimes requires allowing her judgment to decide what (...) you are to do, even when you disagree with her judgment (and even when her judgment is in fact mistaken). In these instances, your friendship can make it the case that you may not act on your own practical and even moral judgments because, at those times, you have a duty as her close friend to defer to her judgments. As a result, treating your friend properly as a responsible agent can require that you assist her in committing what may in fact be serious moral wrongs. (shrink)

Well-being measurements are frequently used to support conclusions about a range of philosophically important issues. This is a problem, because we know too little about the intervals of the relevant scales. I argue that it is plausible that well-being measurements are non-linear, and that common beliefs that they are linear are not truth-tracking, so we are not justified in believing that well-being scales are linear. I then argue that this undermines common appeals to both hypothetical and actual well-being measurements; I (...) first focus on the philosophical literature on prioritarianism and then discuss Kahneman’s Peak-End Rule as a systematic bias. Finally, I discuss general implications for research on well-being, and suggest a better way of representing scales. (shrink)

The U.S. election in November 2016 raised and amplified doubts about first-past-the-post (“plurality rule”) electoral systems. Arguments against plurality rule and for alternatives like preferential voting tend to be consequentialist: it is argued that systems like preferential voting produce different, better outcomes. After briefly noting why the consequentialist case against plurality rule is more complex and contentious than it first appears, I offer an expressive alternative: plurality rule produces actual or apparent dilemmas for voters in ways that are morally objectionable, (...) and avoidable under preferential voting systems. This expressive case against plurality rule is both simpler and more ecumenical than its consequentialist counterpart, and it provides strong reasons to prefer alternatives to plurality rule. Moreover, it suggests a distinct way of evaluating different alternatives like preferential voting. (shrink)

Several quantitative surveys have been conducted internationally to gather empirical information about physicians’ general attitudes towards health care rationing. Are physicians ready to accept and implement rationing, or are they rather reluctant? Do they prefer implicit bedside rationing that allows the physician–patient relationship broad leeway in individual decisions? Or do physicians prefer strategies that apply explicit criteria and rules?

Mark Schroeder has recently proposed a new analysis of knowledge. I examine that analysis and show that it fails. More specifically, I show that it faces a problem all too familiar from the post-Gettier literature, namely, that it is delivers the wrong verdict in fake barn cases.

This paper is a response to two sets of published criticisms of the 'Reasons as Evidence’ thesis concerning normative reasons, proposed and defended in earlier papers. According to this thesis, a fact is a normative reason for an agent to Φ just in case this fact is evidence that this agent ought to Φ. John Broome and John Brunero have presented a number of challenging criticisms of this thesis which focus, for the most part, on problems that it appears to (...) confront when it comes to the topic of the weighing of reasons. Our paper responds to all of the criticisms that these critics have provided, shedding fresh light on this interesting topic in the process. (shrink)

Anna Smajdor and Joona Räsänen argue that we have good reason to classify pregnancy as a disease. They discuss five accounts of disease and argue that each account either implies that pregnancy is a disease or, if it does not, it faces problems. This strategy allows Smajdor and Räsänen to avoid articulating their own account of disease. Consequently, they cannot establish that pregnancy is a disease, only that plausible accounts of disease suggest this. Some readers will dismiss Smajdor and Räsänen’s (...) claims as counterintuitive. By analogy, if a mathematical proof concludes ‘2+2=5’, readers will know—without investigation—that an error occurred. Rather than dismiss Smajdor and Räsänen’s work, however, the easiest way to undermine their argument is to describe at least one plausible account of disease that (i) excludes pregnancy and (ii) avoids the problems they raise for it. This is our strategy. We focus on dysfunction accounts of disease. After outlining Smajdor and Räsänen’s main arguments against dysfunction accounts, we explain why pregnancy is not a disease on these accounts. Next, we defend dysfunction accounts against the three problems that Smajdor and Räsänen raise. If successful, then contra Smajdor and Räsänen, at least one plausible account of disease does not imply that pregnancy is a disease. We suspect that defenders of other accounts can respond similarly. Yet, we note that insofar as dysfunction accounts align with the commonsense intuition that pregnancy is not a disease, this, all else being equal, seems like a point in their favour. (shrink)

We argue that generic generalizations about racial groups are pernicious in what they communicate (both to members of that racial group and to members of other racial groups), and may be central to the construction of social categories like racial groups. We then consider how we should change and challenge uses of generic generalizations about racial groups.

I argue that existing objectivist accounts of subjective reasons face systematic problems with cases involving probability and possibility. I then offer a diagnosis of why objectivists face these problems, and recommend that objectivists seek to provide indirect analyses of subjective reasons.

Many believe that an upward-sloping life is better than a downward-sloping life because of its shape. This is a common way of formulating the shape of a life hypothesis. We argue that the hypothesis is mistaken. We need not assume that there is something intrinsically valuable in the shape of one’s life to justify the tendency to judge an upward-sloping life as better than a downward sloping one. Instead, we can appeal to more fundamental and less controversial claims to justify (...) such a judgment. What one might justifiably judge to be better are features of lives which are often (though not necessarily) correlated with, rather than constituted by, an upward slope. (shrink)

Neste ensaio, exploro como os princípios filosóficos de Kant podem oferecer uma abordagem que aindahoje é relevante para lidar com discursos intolerantes. Apresento a distinção entre o uso público e o uso privado darazão para Kant, visando demonstrar que, segundo o autor, um representante público eleito democraticamente quedefende ideias antidemocráticas deveria renunciar ao seu cargo. Utilizando-me do raciocínio do paradoxo datolerância de Popper, mostro que ser intolerante com discursos antidemocráticos é uma condição necessária parauma democracia existir. Porém, a partir de (...) um argumento parcialmente transcendental, mostro que isso não pode seaplicar a um indivíduo que acredita em um discurso antidemocrático. Ainda assim, mostro que podemos extrairconsiderações importantes a partir disso, a saber: o indivíduo antidemocrático está lutando pelo seu “direito” deexpressar somente seu próprio ponto de vista, enquanto o indivíduo genuinamente tolerante/democrático defende apossibilidade de vários pontos de vistas divergentes coexistirem. (shrink)

El presente artículo demuestra que el tránsito entre la naturaleza y la libertad —como es expuesto en la Introducción a la Crítica del Juicio— debe ser comprendido como un argumento teorético y práctico, cuyo propósito es demostrar la posibilidad del Sumo Bien en la naturaleza. Con este propósito, se reconstruye histórico-genéticamente el contexto en que aparece el tránsito dentro de la composición de la obra, justificando así su validez como sentido global de la Crítica. Después, se demuestra que el origen (...) de la exigencia sobre el tránsito proviene del proyecto arquitectónico, como es interpretado a partir de la Crítica de la razón pura, lo cual permite caracterizar las condiciones que debe cumplir para ser construido. Por último, se interpreta el tránsito desde el enfoque arquitectónico y se identifican los momentos de su construcción a lo largo de la crítica del Juicio estético y del teleológico, lo que demuestra su carácter argumental teorético y práctico. A partir de lo anterior, se pretende justificar la unidad del sentido de la Crítica del Juicio, así como la complementariedad entre sus dos momentos. (shrink)

The expressivist advances a view about how we explain the meaning of a fragment of language, such as claims about what we morally ought to do. Critics evaluate expressivism on those terms. This is a serious mistake. We don’t just use that fragment of language in isolation. We make claims about what we morally, legally, rationally, and prudentially ought to do. To account for this linguistic phenomenon, the expressivist owes us an account not just of each fragment of language, but (...) of how they weave together into a broader tapestry. I argue that expressivists face a dilemma in doing so: either they fail to explain the univocality of terms like 'ought', or they fail to explain when normative statements are and aren't inconsistent. (shrink)

It is intuitive that circumstantial ignorance, even when culpable, can mitigate blameworthiness for morally wrong behavior. In this paper I suggest an explanation of why this is so. The explanation offered is that an agent’s degree of blameworthiness for some action depends at least in part upon the quality of will expressed in that action, and that an agent’s level of awareness when performing a morally wrong action can make a difference to the quality of will that is expressed in (...) it. This explanation makes use of Holly Smith’s distinction between benighting and benighted actions as well as a notion developed here called “capture.”. (shrink)

In this paper, I outline a heuristic for thinking about the relation between explanation and understanding that can be used to capture various levels of “intimacy”, between them. I argue that the level of complexity in the structure of explanation is inversely proportional to the level of intimacy between explanation and understanding, i.e. the more complexity the less intimacy. I further argue that the level of complexity in the structure of explanation also affects the explanatory depth in a similar way (...) to intimacy between explanation and understanding, i.e. the less complexity the greater explanatory depth and vice versa. (shrink)

What do normative terms like “obligation” mean in legal contexts? On one view, which H.L.A. Hart may have endorsed, “obligation” is ambiguous in moral and legal contexts. On another, which is dominant in jurisprudence, “obligation” has a distinctively moralized meaning in legal contexts. On a third view, which is often endorsed in philosophy of language, “obligation” has a generic meaning in moral and legal con- texts. After making the nature of and disagreements between these views precise, I show how linguistic (...) data militates against both rivals to the generic meaning view, and argue that this has significant implications for jurisprudence. (shrink)

In this chapter, we will summarize recent empirical results highlighting how different groups of people solve pure coordination games. Such games are traditionally studied in behavioural economics, where two people need to coordinate without communicating with each other. Our results suggest that coordination choices vary across groups of people, and that people can adapt flexibly to these differences in order to coordinate between groups. We propose that pure coordination games are a useful empirical platform for studying aspects of mindshaping. Drawing (...) on existing psychological literature on alignment during interactions, we suggest that experience of successful interaction leads people to develop aligned intuitions about what is relevant and appropriate that support coordination when interaction and communication is not possible. Consistent with arguments made in the literature on mindshaping we believe that such alignment is more important for coordination than mindreading inferences about mental states, and indeed that mindreading is instead a form of coordination behaviour that is dependent upon intuitive alignment. (shrink)

Are there any deep or systematic connections between paternalism and people's rights? Perhaps the connection is definitional: part of what makes an action or policy paternalistic is that it violates a right. Or perhaps the connection is normative: paternalism is (always? often? only sometimes?) morally problematic because it violates people's rights (even if we don't define "paternalism" in terms of a rights violation). My main goal in this paper is to argue for the normative connection. Part of the task will (...) be to explain exactly what the normative connection is. That will involve answering the questions embedded in the claim as well as offering an account of the right(s) that is (are) connected to paternalism's normative status. (shrink)

Advancing a radically enactive account of cognition, we provide arguments in favour of the possibility that cultural factors permeate rather than penetrate cognition, such that cognition extensively and transactionally incorporates cultural factors rather than there being any question of cultural factors having to break into the restricted confines of cognition. The paper reviews the limitations of two classical cognitivist, modularist accounts of cognition and a revisionary, new order variant of cognitivism – a Predictive Processing account of Cognition, or PPC. It (...) argues that the cognitivist interpretation of PPC is conservatively and problematically attached to the idea of inner models and stored knowledge. In abandoning that way of understanding PPC, it offers a radically enactive alternative account of how cultural factors matter to cognition – one that abandons all vestiges of the idea that cultural factors might contentfully communicate with basic forms of cognition. In place of that idea, the possibility that culture permeates cognition is promoted. (shrink)

Mandatory minimum sentencing provisions have been a feature of the U.S. justice system since 1790. But they have expanded considerably under the war on drugs, and their use has expanded considerably under the Trump Administration; some states are also poised to expand drug-related mandatory minimums further in efforts to fight the current opioid epidemic. In this paper I outline and evaluate three prominent arguments for and against the use of mandatory minimums in the war on drugs—they appeal, respectively, to proportionality, (...) consistency, and efficiency. I ultimately defend the view that the use of mandatory minimums in the war on drugs is unjust. -/- . (shrink)

The existence of various sufferings has long been thought to pose a problem for the existence of a personal God: the Problem of Evil. In this paper, we propose an original version of POE, in which the geographic distribution of sufferings and of opportunities for flourishing or suffering is better explained if the universe, at bottom, is indifferent to the human condition than if, as theists propose, there is a personal God from whom the universe originates: the Problem of Geography. (...) POG moves beyond previous versions of POE because traditional responses to POE are less effective as responses to POG than they are to other versions of POE. (shrink)

It is traditional to ascribe to Locke the view that every person who acquires natural property rights by labouring on resources is obligated to leave sufficient resources for everyone else. But during the last several decades, a number of authors have contributed to a compelling textual case against this reading. Nevertheless, Locke clearly indicates that there is something wrong with distributions in which some suffer while others thrive. But if he does not endorse the traditional proviso, what exactly is the (...) problem? In this paper, I offer a solution to this puzzle. I argue that according to Locke, once people use their natural rights to acquire large properties, many individuals are unable to enjoy the material and moral wellbeing, or “preservation,” that is the end of natural law. For even if such large properties pose no problem for material preservation, they foster arbitrary power that offends against moral preservation. (shrink)

Since nothing about God is passive, and the perception of pain is inherently passive, then it seems that God does not know what it is like to experience pain. Nor would he be able to cause us to experience pain, for his experience would then be a sensation (which would require God to have senses, which he does not). My suggestion is that Berkeley avoids this situation by describing how God knows about pain “among other things” (i.e. as something whose (...) identity is intelligible in terms of the integrated network of things). This avoids having to assume that God has ideas (including pain) apart from his willing that there be perceivers who have specific ideas that are in harmony or not in harmony with one another. (shrink)

According to John Locke, the conditions of human happiness establish the content of natural law, but God’s commands make it morally binding. This raises two questions. First, why does moral obligation require an authority figure? Second, what gives God authority? I argue that, according to Locke, moral obligation requires an authority figure because to have an obligation is to be accountable to someone. I then argue that, according to Locke, God has a kind of parental authority inasmuch as he is (...) bound by covenant to guide us by revealing the content of the moral law. (shrink)

This chapter provides an introduction to possible worlds semantics in both logic and the philosophy of language, including a discussion of some of the advantages and challenges for possible worlds semantics.

Textual entailment is a relationship that obtains between fragments of text when one fragment in some sense implies the other fragment. The automation of textual entailment recognition supports a wide variety of text-based tasks, including information retrieval, information extraction, question answering, text summarization, and machine translation. Much ingenuity has been devoted to developing algorithms for identifying textual entailments, but relatively little to saying what textual entailment actually is. This article is a review of the logical and philosophical issues involved in (...) providing an adequate definition of textual entailment. We show that many natural definitions of textual entailment are refuted by counterexamples, including the most widely cited definition of Dagan et al. We then articulate and defend the following revised definition: T textually entails H = df typically, a human reading T would be justified in inferring the proposition expressed by H from the proposition expressed by T. We also show that textual entailment is context-sensitive, nontransitive, and nonmonotonic. (shrink)

Two recent and influential papers, van Rooij 2007 and Lassiter 2012, propose solutions to the proviso problem that make central use of related notions of independence—qualitative in the first case, probabilistic in the second. We argue here that, if these solutions are to work, they must incorporate an implicit assumption about presupposition accommodation, namely that accommodation does not interfere with existing qualitative or probabilistic independencies. We show, however, that this assumption is implausible, as updating beliefs with conditional information does not (...) in general preserve independencies. We conclude that the approach taken by van Rooij and Lassiter does not succeed in resolving the proviso problem. (shrink)

Pascal’s wager has received the attention of philosophers for centuries. Most of its criticisms arise from how the wager is often framed. We present Pascal’s wager three ways: in isolation from any further apologetic arguments, as leading toward a regimen intended to produce belief, and finally embedded in a larger apology that includes evidence for Christianity. We find that none of the common objections apply when the wager is presented as part of Pascal’s larger project. Pascal’s wager is a successful (...) argument in its proper place. However, the most interesting features of our first two presentations of the wager turn out to be either irrelevant or missing from our reading: infinite utility and the relativity of evidence. The successful wager is a boring wager. Still, this study shows us how the wager might profitably be incorporated into different apologetic contexts and why it often can’t. (shrink)

Analyzing the position of two philosophers whose views are recognizably divergent, W. O. Quine and M. Dummett, we intend to support a striking point of agreement between them: the idea that our logical principles constitute our principles about what there is, and therefore, that logic is metaphysics.

The aftermath of war is always messy and complicated. When should objects or resources that were unjustly taken in wartime be returned to the victims of misappropriation, or their heirs? This article advances two arguments that are intended to buttress claims for the restitution of property in general, and particularly claims advanced by the heirs of the original victims of misappropriation.

For those who find Dreyfus’s critique of AI compelling, the prospects for producing true artificial human intelligence are bleak. An important question thus becomes, what are the prospects for producing artificial non-human intelligence? Applying Dreyfus’s work to this question is difficult, however, because his work is so thoroughly human-centered. Granting Dreyfus that the body is fundamental to intelligence, how are we to conceive of non-human bodies? In this paper, I argue that bringing Dreyfus’s work into conversation with the work of (...) Mark Bickhard offers a way of answering this question, and I try to suggest what doing so means for AI research. (shrink)

Parties to a temporary marriage agree in advance that their marriage will only last for a fixed period of time unless renewed: that it will automatically expire after two years, for instance, or five, or twenty. This paper defends the claim that temporary marriages deserve state recognition. The main argument for this is an application of a principle of marriage equality. Some other arguments for are also canvassed, including an argument from religious freedom, and a number of arguments against recognition (...) are also discussed. The paper also discusses the question of whether such “temporary marriages” are in fact a kind of marriage, and defends the claim that they are, or would be, genuinely marriages. (shrink)

This paper aims to develop an understanding of how the culture industry still operates in the postcolonial era. To this end, the first part of this paper will look at Adorno and Horkheimer’s reading of modernity, touching on how instrumental reasoning can lend itself to barbarism, along with an exposition of Adorno’s analysis of the culture industry. The second part will present decolonial theory, its critique of European modernity and, particularly, its focus on neo-imperialism. This theory will then be put (...) alongside critical theory, analyzing their differences concerning racial issues and how their critique of capitalism may represent a meeting point between the two theories. Finally, the conclusion will consider all previous elements to explain the connection between the Culture industry and its current strategy in former colonial areas. (shrink)