Science frequently gives us multiple, compatible ways of solving the same problem or formulating the same theory. These compatible formulations change our understanding of the world, despite providing the same explanations. According to what I call "conceptualism," reformulations change our understanding by clarifying the epistemic structure of theories. I illustrate conceptualism by analyzing a typical example of symmetry-based reformulation in chemical physics. This case study poses a problem for "explanationism," the rival thesis that differences in understanding require ontic explanatory differences. (...) To defend conceptualism, I consider how prominent accounts of explanation might accommodate this case study. I argue that either they do not succeed, or they generate a skeptical challenge. (shrink)

We argue that Hamiltonian mechanics is more fundamental than Lagrangian mechanics. Our argument provides a non-metaphysical strategy for privileging one formulation of a theory over another: ceteris paribus, a more general formulation is more fundamental. We illustrate this criterion through a novel interpretation of classical mechanics, based on three physical conditions. Two of these conditions suffice for recovering Hamiltonian mechanics. A third condition is necessary for Lagrangian mechanics. Hence, Lagrangian systems are a proper subset of Hamiltonian systems. Finally, we provide (...) a geometric interpretation of the principle of stationary action and rebut arguments for privileging Lagrangian mechanics. (shrink)

Orthodox semantics for natural language modals give rise to two puzzles for their interactions with disjunction: Ross’s puzzle and the puzzle of free choice permission. It is widely assumed that each puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from the truth of a possibility or necessity modal with an embedded disjunction, hearers infer that each disjunct is compatible with the relevant set of worlds. I argue that Diversity inferences are too weak to explain the full (...) range of data. Instead, I argue, modals with embedded disjunctions license ‘Independence’ inferences: from the truth of a modal with an embedded disjunction, hearers infer that each disjunct is an independent alternative among the relevant set of worlds. I then develop a bilateral inquisitive semantics for modals that predicts the validity of these Independence inferences. My account vindicates common intuitions about both Ross’s puzzle and the puzzle of free choice permission, and explains the full range of data. (shrink)

Our ordinary assertions are often imprecise, insofar as the way we represent things as being only approximates how things are in the actual world. The phenomenon of assertoric imprecision raises a challenge to standard accounts of both the norm of assertion and the connection between semantics and the objects of assertion. After clarifying these problems in detail, I develop a framework for resolving them. Specifically, I argue that the phenomenon of assertoric imprecision motivates a rejection of the widely held belief (...) that a semantic theory for a language associates a single semantic value with each of the simple and complex expressions of that language, relative to the contexts in which they occur. Instead, I propose that we adopt a framework I call semantic pluralism. (shrink)

In a series of papers, Donald Davidson :3–17, 1984, The philosophical grounds of rationality, 1986, Midwest Stud Philos 16:1–12, 1991) developed a powerful argument against the claim that linguistic conventions provide any explanatory purchase on an account of linguistic meaning and communication. This argument, as I shall develop it, turns on cases of what I call lexical innovation: cases in which a speaker uses a sentence containing a novel expression-meaning pair, but nevertheless successfully communicates her intended meaning to her audience. (...) I will argue that cases of lexical innovation motivate a dynamic conception of linguistic conventions according to which background linguistic conventions may be rapidly expanded to incorporate new word meanings or shifted to revise the meanings of words already in circulation. I argue that this dynamic account of conventions both resolves the problem raised by cases of lexical innovation and that it does so in a way that is preferable to those who—like Davidson—deny important explanatory roles for linguistic conventions. (shrink)

For Quassim Cassam, intellectual vices obstruct knowledge. On his view, that’s what makes them vices. But obstructing knowledge seems unnecessary. Some intellectual vices can manifest passively, without obstructing knowledge. What’s more, obstructing knowledge seems insufficient. Some traits of intellectual character, not yet matured to full virtues, obstruct knowledge but earn us no blame or criticism. A motive-based theory of intellectual vice – a rival theory – can handle both of these issues.

Initiatives relying on artificial intelligence (AI) to deliver socially beneficial outcomes—AI for social good (AI4SG)—are on the rise. However, existing attempts to understand and foster AI4SG initiatives have so far been limited by the lack of normative analyses and a shortage of empirical evidence. In this Perspective, we address these limitations by providing a definition of AI4SG and by advocating the use of the United Nations’ Sustainable Development Goals (SDGs) as a benchmark for tracing the scope and spread of AI4SG. (...) We introduce a database of AI4SG projects gathered using this benchmark, and discuss several key insights, including the extent to which different SDGs are being addressed. This analysis makes possible the identification of pressing problems that, if left unaddressed, risk hampering the effectiveness of AI4SG initiatives. (shrink)

This article reports the findings of AI4People, an Atomium—EISMD initiative designed to lay the foundations for a “Good AI Society”. We introduce the core opportunities and risks of AI for society; present a synthesis of five ethical principles that should undergird its development and adoption; and offer 20 concrete recommendations—to assess, to develop, to incentivise, and to support good AI—which in some cases may be undertaken directly by national or supranational policy makers, while in others may be led by other (...) stakeholders. If adopted, these recommendations would serve as a firm foundation for the establishment of a Good AI Society. (shrink)

Reformulating a scientific theory often leads to a significantly different way of understanding the world. Nevertheless, accounts of both theoretical equivalence and scientific understanding have neglected this important aspect of scientific theorizing. This essay provides a positive account of how reformulation changes our understanding. My account simultaneously addresses a serious challenge facing existing accounts of scientific understanding. These accounts have failed to characterize understanding in a way that goes beyond the epistemology of scientific explanation. By focusing on cases in which (...) we have differences in understanding without differences in explanation, I show that understanding does not reduce to explanation. (shrink)

In this paper, I explore two contrasting conceptions of the social character of language. The first takes language to be grounded in social convention. The second, famously developed by Donald Davidson, takes language to be grounded in a social relation called triangulation. I aim both to clarify and to evaluate these two conceptions of language. First, I propose that Davidson’s triangulation-based story can be understood as the result of relaxing core features of conventionalism pertaining to both common-interest and diachronic stability—specifically, (...) Davidson does not require uses of language to be self-perpetuating, in the way required by conventionalism, in order to be bona fide components of linguistic systems. Second, I argue that Davidson’s objections to conventionalism from language innovation and language variation fail, and that certain kinds of negative data in language use require an appeal to diachronic social relations. However, I also argue that recent work on communication in the a.. (shrink)

That AI will have a major impact on society is no longer in question. Current debate turns instead on how far this impact will be positive or negative, for whom, in which ways, in which places, and on what timescale. In order to frame these questions in a more substantive way, in this prolegomena we introduce what we consider the four core opportunities for society offered by the use of AI, four associated risks which could emerge from its overuse or (...) misuse, and the opportunity costs associated with its under use. We then offer a high-level view of the emerging advantages for organisations of taking an ethical approach to developing and deploying AI. Finally, we introduce a set of five principles which should guide the development and deployment of AI technologies. The development of laws, policies and best practices for seizing the opportunities and minimizing the risks posed by AI technologies would benefit from building on ethical frameworks such as the one offered here. (shrink)

Many feminists (e.g. T. Bettcher and B. R. George) argue for a principle of first person authority (FPA) about gender, i.e. that we should (at least) not disavow people's gender self-categorisations. However, there is a feminist tradition resistant to FPA about gender, which I call "radical feminism”. Feminists in this tradition define gender-categories via biological sex, thus denying non-binary and trans self-identifications. Using a taxonomy by B. R. George, I begin to demystify the concept of gender. We are also able (...) to use the taxonomy to model various feminist approaches. It becomes easier to see how conceptualisations ofgender which allow for FPA often do not allow for understanding female subjugation as being rooted in reproductive biology. I put forward a conceptual scheme: radical FPA feminism. If we accept FPA, but also radical feminist concerns, radical FPA feminism is an attractive way of conceptualising gender. (shrink)

This paper explores the significance of intelligent social behavior among non-human animals for philosophical theories of communication. Using the alarm call system of vervet monkeys as a case study, I argue that interpersonal communication (or what I call “minded communication”) can and does take place in the absence of the production and recognition of communicative intentions. More generally, I argue that evolutionary theory provides good reasons for maintaining that minded communication is both temporally and explanatorily prior to the use of (...) communicative intentions. After developing these negative points about the place of communicative intentions in detail, I provide a novel alternative account according to which minded communication is characterized in terms of patterns of action and response that function to coordinate the representational mental states of agents. I show that an account which centers on patterns of representational coordination of this sort is well suited to capture the theoretical roles associated with minded communication and that it does so in a way that provides a good fit with comparative facts about the presence of minded communication among non-human animals. (shrink)

In the tripartite psychology of the Republic, Plato characterizes the “spirited” part of the soul as the “ally of reason”: like the auxiliaries of the just city, whose distinctive job is to support the policies and judgments passed down by the rulers, spirit’s distinctive “job” in the soul is to support and defend the practical decisions and commands of the reasoning part. This is to include not only defense against external enemies who might interfere with those commands, but also, and (...) most importantly, defense against unruly appetites within the individual’s own soul.1 Spirit, according to this picture, is by nature reason’s faithful auxiliary in the soul, while appetite is always a potential enemy to be watched .. (shrink)

In this paper, I critically assess Mark Richard’s interesting and important development of the claim that linguistic meanings can be fruitfully analogized with biological species. I argue that linguistic meanings qua cluster of interpretative presuppositions need not and often do not display the population-level independence and reproductive isolation that is characteristic of the biological species concept. After developing these problems in some detail, I close with a discussion of their implications for the picture that Richard paints concerning the dangers of (...) conceptual engineering and the prospects for dynamic notions of semantic stability. (shrink)

Accounts of scientific explanation disagree about what’s required for a cause, law, or other fact to be a reason why an event occurs. In short, they disagree about the conditions for explanatory relevance. Nonetheless, most accounts presuppose that claims about explanatory relevance play a descriptive role in tracking reality. By rejecting the need for this descriptivist assumption, I develop an expressivist account of explanatory relevance and explanation: to judge that an answer is explanatory is to express an attitude of _being (...) for being satisfied by that answer_. I show how expressivism vindicates ordinary scientific discourse about explanation, including claims about the objectivity and mind-independence of explanations. By avoiding commitment to ontic relevance relations, I rehabilitate an irrealist conception of explanation. (shrink)

Normally this is not how we think material objects work. I, for example, am a material object that is located in multiple places: this place to my left where my left arm is, and this, distinct, place to my right, where my right arm is. But I am only partially located in each place. My left arm is a part of me that fills exactly the place to my left, and my right arm is a distinct part of me that (...) fills exactly the place to my right. I am located in multiple places by virtue of having distinct parts in those places. So entension is not happening to me — I do not entend. (shrink)

Upward monotonic semantics for necessity modals give rise to Ross’s Puzzle: they predict that □φ entails □(φ ∨ ψ), but common intuitions about arguments of this form suggest they are invalid. It is widely assumed that the intuitive judgments involved in Ross’s Puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from □(φ ∨ ψ), interpreters infer that the truth of each disjunct (φ, ψ) is compatible with the relevant set of worlds. I introduce two pieces of (...) data that this analysis fails to explain. Analyzing this data, I argue, suggests that necessity modals with embedded disjunctions license ‘Independence’ inferences: from the truth of □(φ ∨ ψ), interpreters infer that φ-without-ψ and ψ-without-φ are each compatible with the relevant set of worlds. I outline a bilateral inquisitive semantics for necessity modals that predicts the validity of the Independence inferences. I then argue that the resulting theory should be understood as one on which disjunctions denote pluralities of propositions, and necessity modals behave like collective predicates applied to these pluralities. (shrink)

The central claim of my paper is that pragmatics has a wider scope of application than has been generally appreciated. In particular, I will argue that many discussions of pragmatics are guilty of a problematic form of provincialism. The provincialism at issue restricts the class of target systems of study to those involving groups of developmentally typical humans (or slightly idealized versions thereof), either explicitly as a matter of principle or implicitly as consequence of how it construes the underlying pragmatic (...) notions. In what follows, I will argue that this kind of provincialism is problematic because there are patterns of non-human animal social interaction that cannot be properly explained without recourse to the theoretical tool-kit of pragmatics. Crucially, rejecting provincialism about pragmatics does not entail that there are not important theoretical differences between human and non-human systems of pragmatics. It does, however, require that our core philosophical theories of social interaction and communication be centered on features independent not merely of those at work in human languages but also of uniquely human features of cognition and sociality more generally. (shrink)

(Penultimate Draft). I consider common ground in its evolutionary context and argue for several claims. First, common ground is widely (though not universally) distributed among social animals. Second, the use of common ground is favored (i.e. is predicted to emerge and subsequently persist) among populations of animals whose members face recurrent interdependent decision-making problems in which the benefit of their courses of action are contingent on the variable choices of their stable social partner(s). Third, humans deploy cognitive and social mechanisms (...) for establishing and updating common ground that are not deployed by other living animals—the use of common ground has not only persisted within the human lineage but been amplified as well. Finally, I suggest that some of these points count against the iterative construal of common ground. In its place, I propose an alternative psychological construal of common ground in terms of what I will call reciprocal responsiveness. (shrink)

Following Robert Adams's account of idolatry, this paper develops the concept of epistemic idolatry. Where there is devotion belonging to truth but given to a particular epistemic good, there we find epistemic idolatry. With this concept in hand, motivationalist virtue epistemologists gain two theoretical advantages: their list of defective motives can include intellectual motivation in excess without the implausible claim that, intellectually, one can be too motivated by truth; and the disvalue of many intellectual vices, including some putative counterexamples to (...) their theory of intellectual vice, can be explained in terms of epistemic idolatry. (shrink)

Suboptimality of decision making needs no explanation. High level accounts of suboptimality in diverse tasks cannot add up to a mechanistic theory of perceptual decision making. Mental processes operate on the contents of information brought by the experimenter and the participant to the task, not on the amount of information in the stimuli without regard to physical and social context.

It has been widely believed since the nineteenth century that modern science provides a serious challenge to religion, but less agreement as to the reason. One main complication is that whenever there has been broad consensus for a scientific theory that challenges traditional religious doctrines, one finds religious believers endorsing the theory or even formulating it. As a result, atheists who argue for the incompatibility of science and religion often go beyond the religious implications of individual scientific theories, arguing that (...) the sciences taken together provide a comprehensive challenge to religious belief. Scientific theories, on this view, can be integrated to form a general vision of humans and our place in nature, one that excludes the existence of supernatural phenomena to which many religious traditions refer. The most common name given to this general vision is the scientific worldview. The purpose of my paper is to argue that the relation of a worldview to science is more complex and ambiguous than this position allows, drawing upon recent work in the history and philosophy of science. While there are other ways to complicate the picture, this paper will focus on differing views that scientists and philosophers have on the proper scope and limits of scientific inquiry. I will identify two different types of science—Baconian and Cartesian—that have different ambitions with respect to scientific theories, and thus different answers about the possibility of a scientific worldview. The paper will conclude by showing how their differing intuitions about scientific inquiry are evident in contemporary debates about reductionism, drawing upon the work of two physicists, Steven Weinberg and John Polkinghorne. History is more complex than this simple schema allows, of course, but these types provide a useful first approximation into the ambiguities of modern science. (shrink)

In this chapter, we analyze intellectual patience as a character trait. We look at the contexts that call for patience and at what patience demands in those contexts. Together these constitute our account of patience, though the focus is on patience in the life of the mind. We also consider how patience and perseverance differ, which offers a better understanding of the former and sheds light on how character traits can cooperate. We then consider how to become virtuously patient. We (...) conclude reflecting on some remarks made by the poet Rilke. (shrink)

One desideratum for contemporary theories of emotion both in philosophy and affective science is an explanation of the relation between emotions and objects that illicit them. According to one research tradition in emotion theory, the Evaluative Tradition, the explanation is simple: emotions just are evaluative judgments about their objects. Growing research in affective science supports this claim suggesting that emotions constitute (or contribute to) evaluative judgments such as moral judgments about right and wrong. By contrast, recent scholarship in two historical (...) emotion theories, Augustinian and Thomistic, emphasize their sharp distinction between cognitive judgments and affectivity or between reason and emotion. For these historical models, reason, not emotion, is responsible for moral judgment. Are the evaluative and historical models at irreconcilable odds? Should we discard old models that fail to satisfy intuitions about the intricate role of emotions in moral judgment? This paper compares these research programs and suggests a roadmap for collaboration. (shrink)

This article gives a brief history of chance in the Christian tradition, from casting lots in the Hebrew Bible to the discovery of laws of chance in the modern period. I first discuss the deep-seated skepticism towards chance in Christian thought, as shown in the work of Augustine, Aquinas, and Calvin. The article then describes the revolution in our understanding of chance—when contemporary concepts such as probability and risk emerged—that occurred a century after Calvin. The modern ability to quantify chance (...) has transformed ideas about the universe and human nature, separating Christians today from their predecessors, but has received little attention by Christian historians and theologians. (shrink)

The idea of artificial intelligence for social good is gaining traction within information societies in general and the AI community in particular. It has the potential to tackle social problems through the development of AI-based solutions. Yet, to date, there is only limited understanding of what makes AI socially good in theory, what counts as AI4SG in practice, and how to reproduce its initial successes in terms of policies. This article addresses this gap by identifying seven ethical factors that are (...) essential for future AI4SG initiatives. The analysis is supported by 27 case examples of AI4SG projects. Some of these factors are almost entirely novel to AI, while the significance of other factors is heightened by the use of AI. From each of these factors, corresponding best practices are formulated which, subject to context and balance, may serve as preliminary guidelines to ensure that well-designed AI is more likely to serve the social good. (shrink)

As part of Timothy Williamson’s inquiry into how we gain knowledge from thought experiments he submits various ways of representing the argument underlying Gettier cases in modal and counterfactual terms. But all of these ways run afoul of the problem of deviance - that there are cases that might satisfy the descriptions given by a Gettier text but still fail to be counterexamples to the justified true belief model of knowledge). Problematically, this might mean that either it is too hard (...) to know the truth of the premises of the arguments Williamson presents or that the relevant premises might be false. I argue that the Gettier-style arguments can make do with weaker premises (and a slightly weaker conclusion) that suffice to show that “necessarily, if one justifiably believes some true proposition p, then one knows p” is not true. The modified version of the argument is preferable because it is not troubled by the existence of deviant Gettier cases. (shrink)

In July 2017, China’s State Council released the country’s strategy for developing artificial intelligence, entitled ‘New Generation Artificial Intelligence Development Plan’. This strategy outlined China’s aims to become the world leader in AI by 2030, to monetise AI into a trillion-yuan industry, and to emerge as the driving force in defining ethical norms and standards for AI. Several reports have analysed specific aspects of China’s AI policies or have assessed the country’s technical capabilities. Instead, in this article, we focus on (...) the socio-political background and policy debates that are shaping China’s AI strategy. In particular, we analyse the main strategic areas in which China is investing in AI and the concurrent ethical debates that are delimiting its use. By focusing on the policy backdrop, we seek to provide a more comprehensive and critical understanding of China’s AI policy by bringing together debates and analyses of a wide array of policy documents. (shrink)

It is tough to relate visual perception or other achievements to physiological processing in the central nervous system. The diagrammatic, algebraic, and verbal pictures of how sights seem to Lehar do not advance understanding of how we manage to see what is in the world. There are well-known conceptual reasons why no such purely introspective approach can be productive.

Linguistic intervention in rational decision making is standardly captured in terms of information change. But the standard view gives us no way to model interventions involving expressions that only have an attentional effects on conversational contexts. How are expressions with non‐informational content – like epistemic modals – used to intervene in rational decision making? We show how to model rational decision change without information change: replace a standard conception of value (on which the value of a set of worlds reduces (...) to values of individual worlds in the set) with one on which the value of a set of worlds is determined by a selection function that picks out a generic member world. We discuss some upshots of this view for theorizing in philosophy and formal semantics. (shrink)

Artificial Intelligence (AI) is already having a major impact on society. As a result, many organizations have launched a wide range of initiatives to establish ethical principles for the adoption of socially beneficial AI. Unfortunately, the sheer volume of proposed principles threatens to overwhelm and confuse. How might this problem of ‘principle proliferation’ be solved? In this paper, we report the results of a fine-grained analysis of several of the highest-profile sets of ethical principles for AI. We assess whether these (...) principles converge upon a set of agreed-upon principles, or diverge, with significant disagreement over what constitutes ‘ethical AI.’ Our analysis finds a high degree of overlap among the sets of principles we analyze. We then identify an overarching framework consisting of five core principles for ethical AI. Four of them are core principles commonly used in bioethics: beneficence, non-maleficence, autonomy, and justice. On the basis of our comparative analysis, we argue that a new principle is needed in addition: explicability, understood as incorporating both the epistemological sense of intelligibility (as an answer to the question ‘how does it work?’) and in the ethical sense of accountability (as an answer to the question: ‘who is responsible for the way it works?’). In the ensuing discussion, we note the limitations and assess the implications of this ethical framework for future efforts to create laws, rules, technical standards, and best practices for ethical AI in a wide range of contexts. (shrink)

It’s now commonplace — since Korsgaard (1996) — in ethical theory to distinguish between two distinctions: on the one hand, the distinction between value an object has in virtue of its intrinsic properties vs. the value it has in virtue of all its properties, intrinsic or extrinsic; and on the other hand, the distinction between the value has an object as an end, vs. the value it has as a means to something else. I’ll call the former distinction the distinction (...) between intrinsic and nonintrinsic value; the latter is between value as-an-end and instrumental value. (shrink)

This paper began life as a short section of a more general paper about non-classical mereologies. In that paper I had a mereological theory that I wanted to show could be applied to all sorts of different metaphysical positions — notably, to those positions that believe in mereological vagueness in re — in “vague individuals”. To do that I felt I first had to dispatch the leading rival theory of vague individuals, which is due to Peter van Inwa-gen, and holds (...) that the part-whole relation admits of degrees. It seemed to me that this theory had a serious technical problem, or at best a serious gap. I sat down to write a paragraph or two highlighting the gap, preferably showing that it couldn’t be filled. This paper is the result. (shrink)

Science and mathematics continually change in their tools, methods, and concepts. Many of these changes are not just modifications but progress---steps to be admired. But what constitutes progress? This dissertation addresses one central source of intellectual advancement in both disciplines: reformulating a problem-solving plan into a new, logically compatible one. For short, I call these cases of compatible problem-solving plans "reformulations." Two aspects of reformulations are puzzling. First, reformulating is often unnecessary. Given that we could already solve a problem using (...) an older formulation, what do we gain by reformulating? Second, some reformulations are genuinely trivial or insignificant. Merely replacing one symbol with another does not lead to intellectual progress. What distinguishes significant reformulations from trivial ones? According to what I call "conceptualism" (or "conceptual empiricism"), reformulations are intellectually significant when they provide a different plan for solving problems. Significant reformulations provide inferentially different routes to the same solution. In contrast, trivial reformulations provide exactly the same problem-solving plans, and hence they do not change our understanding. This answers the second question about what distinguishes trivial from significant reformulations. However, the first question remains: what makes a new way of solving an old problem valuable? Here, a bevy of practical considerations come to mind: one formulation might be faster, less complicated, or use more familiar concepts. According to "instrumentalism," these practical benefits are all there is to reformulating. Some reformulations are simply more instrumentally valuable for meeting the aims of science than others. At another extreme, "fundamentalism" contends that a reformulation is valuable when it provides a more fundamental description of reality. According to this view, some reformulations directly contribute to the metaphysical aim of carving reality at its joints. Conceptualism develops a middle ground between instrumentalism and fundamentalism, preserving their benefits without their costs. I argue that the epistemic value of significant reformulations does not reduce to either practical or metaphysical value. Reformulations are valuable because they are a constitutive part of problem-solving. Both science and mathematics aim at solving all possible problems within their respective domains. Meeting this aim requires being able to plan for any possible problem-solving context, and this requires reformulating. By reformulating, we clarify what we need to know to solve problems. Still, one might wonder whether the value of reformulations requires underlying differences in explanatory power. According to "explanationism," a reformulation is valuable only when it provides a better explanation. Explanationism stands as a rival middle ground position to my own. However, it faces numerous counterexamples. In many cases, two reformulations provide the same explanation while nonetheless providing different ways of understanding a phenomenon. Hence, reformulating can be valuable even when neither formulation is more explanatory. Methodologically, I draw on a variety of case studies to support my account of reformulation. These range from classical mechanics to quantum chemistry, along with examples from mathematics. Symmetry arguments provide a paradigmatic example: the mathematics of symmetry groups radically recasts quantum mechanics and quantum chemistry. Nevertheless, elementary approaches exist that eschew this additional mathematical apparatus, solving problems in a more tedious but less mathematically-demanding manner. Further examples include reformulations of quantum field theory, Arabic vs. Roman numerals, and Fermat's little theorem in number theory. In each case, my account identifies how reformulations change and improve our understanding of science and mathematics. (shrink)

An imperative conditional is a conditional in the imperative mood (by analogy with “indicative conditional”, “subjunctive conditional”). What, in general, is the meaning and the illocutionary effect of an imperative conditional? I survey four answers: the answer that imperative conditionals are commands to the effect that an indicative conditional be true; two versions of the answer that imperative conditionals express irreducibly conditional commands; and finally, the answer that imperative conditionals express a kind of hybrid speech act between command and assertion.

For Julia Driver, some virtues involve ignorance. Modesty, for example, is a disposition to underestimate self-worth, and blind charity is a disposition not to see others’ defects. Such “virtues of ignorance,” she argues, serve as counterexamples to the Aristotelian view that virtue requires intellectual excellence. But Driver seems to face a dilemma: if virtues of ignorance involve ignorance of valuable knowledge, then they do not merit virtue status; but if they involve ignorance of trivial knowledge, then they do not preclude (...) intellectual excellence. So, either there are no _virtues_ of ignorance, or there are no virtues of _ignorance_ – at least not the sort of ignorance that precludes intellectual excellence. Virtues of ignorance therefore fail as counterexamples to Aristotelian virtue theory. (shrink)

Paper begins: I have two gloves, a left glove and a right glove. I can fit the left glove onto my left hand, but not the right glove. Why? Because the right glove is the wrong shape to go on my left hand. So the two gloves are different shapes….

This paper presents an argument that certain AI safety measures, rather than mitigating existential risk, may instead exacerbate it. Under certain key assumptions - the inevitability of AI failure, the expected correlation between an AI system's power at the point of failure and the severity of the resulting harm, and the tendency of safety measures to enable AI systems to become more powerful before failing - safety efforts have negative expected utility. The paper examines three response strategies: Optimism, Mitigation, and (...) Holism. Each faces challenges stemming from intrinsic features of the AI safety landscape that we term Bottlenecking, the Perfection Barrier, and Equilibrium Fluctuation. The surprising robustness of the argument forces a re-examination of core assumptions around AI safety and points to several avenues for further research. (shrink)

After a number of decades of research into the dynamics of rational belief, the belief revision theory community remains split on the appropriate handling of sequences of changes in view, the issue of so-called iterated revision. It has long been suggested that the matter is at least partly settled by facts pertaining to the results of various single revisions of one’s initial state of belief. Recent work has pushed this thesis further, offering various strong principles that ultimately result in a (...) wholesale reduction of iterated to one-shot revision. The present paper offers grounds to hold that these principles should be significantly weakened and that the reductionist thesis should ultimately be rejected. Furthermore, the considerations provided suggest a close connection between the logic of iterated belief change and the logic of evidential relevance. (shrink)

Technologies to rapidly alert people when they have been in contact with someone carrying the coronavirus SARS-CoV-2 are part of a strategy to bring the pandemic under control. Currently, at least 47 contact-tracing apps are available globally. They are already in use in Australia, South Korea and Singapore, for instance. And many other governments are testing or considering them. Here we set out 16 questions to assess whether — and to what extent — a contact-tracing app is ethically justifiable.

Truthmaker theorists typically claim not only that all truths have truthmakers (Truthmaker Maximalism), but also that there is some enlightening metaphysical theory to be given of the nature of those truthmakers (e.g. that they are Armstrongian states of affairs, or tropes, or concrete individuals). Call this latter thesis the "Material Theory Thesis" (it is the thesis that there is some true material theory of truthmakers). I argue that the Material Theory Thesis is inconsistent with Truthmaker Maximalism.

Analytic philosophers usually think about modality in terms of possible worlds. According to the possible worlds framework, a proposition is necessary if it is true according to all possible worlds; it is possible if it is true according to some possible world. There are as many possible worlds as there are ways the actual world might be. Only one world is actual.

The problem of imperative consequence consists in the fact that theses (i) through (iii) are inconsistent; but yet all three are attractive (for the reasons sketched above). A solution to the problem consists in the denial of one of the three theses; I describe solutions as belonging to type 1, type 2, or type 3, depending on which thesis they deny. For the purposes of this paper, I would like to focus on a certain variety of type 3 solution – (...) a solution that offers a revised criterion of validity of a particular kind. (shrink)

This logic has a standard one-dimensional possible worlds semantics with an accessibility relation (I will call this, for short, the accessibility semantics for KDDc4, contrasting with the preposcription semantics given in “Command and consequence”). In the accessibility semantics, the semantic value of a sentence is a world (rather than a pair of worlds).