We consider HA*, that is Heyting's Arithmetic extended with transfinite induction over all recursive well orderings, which may be viewed as defining constructive truth, since PA* agrees with classical truth. We prove that Markov's Principle, as a schema, is not provable in HA*, but that HA* is closed under Markov's Rule.

We propose a rudimentary formal framework for reasoning about recursion equations over inductively generated data. Our formalism admits all equational programs , and yet singles out none. While being simple, this framework has numerous extensions and applications. Here we lay out the basic concepts and definitions; show that the deductive power of our formalism is similar to that of Peano's Arithmetic; prove a strong normalization theorem; and exhibit a mapping from natural deduction derivations to an applied λ -calculus, à la (...) Curry–Howard, which provides a transparent proof of Gödel's result that the provably recursive functions of PA are definable by primitive recursion in finite types. Also of interest is the extent, uncommon among similar constructions, to which our mapping is oblivious to first order terms, including first order quantification and equality. Additional applications and extensions of the method will be presented in sequel papers. In particular, the methodology introduced here lends itself to systematic links between natural sub-formalisms and computational complexity classes. Since these sub-formalisms are largely transparent, allowing one to reason formally in the full system while leaving to automatic software tools the task of verifying that restrictions are complied with, the framework is particularly attractive for the development of Feasible Mathematics. (shrink)

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and (...) natural language and reasoning. (shrink)

A pioneering work in the philosophy of mind, Content and Consciousness brings together the approaches of philosophers and scientists to the mind--a connection that must occur if genuine analysis of the mind is to be made. This unified approach permits the most forbiddingly mysterious mental phenomenon--consciousness--to be broken down into several distinct phenomena, and these are each given a foundation in the physical activity of the brain. This paperback edition contains a preface placing the book in the context of recent (...) work in the area. (shrink)

In this book by the award-winning author of Just Healthcare, Norman Daniels develops a comprehensive theory of justice for health that answers three key questions: what is the special moral importance of health? When are health inequalities unjust? How can we meet health needs fairly when we cannot meet them all? Daniels' theory has implications for national and global health policy: can we meet health needs fairly in ageing societies? Or protect health in the workplace while respecting individual liberty? Or (...) meet professional obligations and obligations of justice without conflict? When is an effort to reduce health disparities, or to set priorities in realising a human right to health, fair? What do richer, healthier societies owe poorer, sicker societies? Just Health: Meeting Health Needs Fairly explores the many ways that social justice is good for the health of populations in developed and developing countries. (shrink)

In this book Daniel Wegner offers a novel understanding of the relation of consciousness, the will, and our intentional and voluntary actions. Wegner claims that our experience and common sense view according to which we can influence our behavior roughly the way we experience that we do it is an illusion.

The _Physics_ is a foundational work of western philosophy, and the crucial one for understanding Aristotle's views on matter, form, essence, causation, movement, space, and time. This richly annotated, scrupulously accurate, and consistent translation makes it available to a contemporary English reader as no other does—in part because it fits together seamlessly with other closely associated works in the New Hackett Aristotle series, such as the _Metaphysics_, _De Anima_, and forthcoming _De Caelo_ and _On Coming to Be and Passing Away_. (...) Eventually the series will include all of Aristotle's works. Sequentially numbered endnotes provide the information most needed at each juncture, while a detailed Index of Terms indicates places where focused discussion of key notions occurs. An illuminating general Introduction describes the book that lies ahead, explaining what sort of work it is and what sorts of evidence it relies on. (shrink)

How should medical services be distributed within society? Who should pay for them? Is it right that large amounts should be spent on sophisticated technology and expensive operations, or would the resources be better employed in, for instance, less costly preventive measures? These and others are the questions addreses in this book. Norman Daniels examines some of the dilemmas thrown up by conflicting demands for medical attention, and goes on to advance a theory of justice in the distribution of health (...) care. The central argument is that health care, both preventive and acute, has a crucial effect on equality of opportunity, and that a principle guaranteeing equality of opportunity must underly the distribution of health-care services. Access to care, preventive measures, treatment of the elderly, and the obligations of doctors and medical administrations are fully discussed, and the theory is shown to underwrite various practical policies in the area. (shrink)

Reasoning about situations we take to be impossible is useful for a variety of theoretical purposes. Furthermore, using a device of impossible worlds when reasoning about the impossible is useful in the same sorts of ways that the device of possible worlds is useful when reasoning about the possible. This paper discusses some of the uses of impossible worlds and argues that commitment to them can and should be had without great metaphysical or logical cost. The paper then provides an (...) account of reasoning with impossible worlds, by treating such reasoning as reasoning employing counterpossible conditionals, and provides a semantics for the proposed treatment. (shrink)

Précis for a book symposium, with contributions from Meg Wallace, Louis deRosset, and Chris Tillman and Joshua Spencer.

Our ability to locate moral responsibility is often thought to be a necessary condition for conducting morally permissible medical practice, engaging in a just war, and other high-stakes endeavors. Yet, with increasing reliance upon artificially intelligent systems, we may be facing a wideningresponsibility gap, which, some argue, cannot be bridged by traditional concepts of responsibility. How then, if at all, can we make use of crucial emerging technologies? According to Colin Allen and Wendell Wallach, the advent of so-called ‘artificial moral (...) agents’ (AMAs) is inevitable. Still, this notion may seem to push back the problem, leaving those who have an interest in developing autonomous technology with a dilemma. We may need to scale-back our efforts at deploying AMAs (or at least maintain human oversight); otherwise, we must rapidly and drastically update our moral and legal norms in a way that ensures responsibility for potentially avoidable harms. This paper invokes contemporary accounts of responsibility in order to show how artificially intelligent systems might be held responsible. Although many theorists are concerned enough to develop artificial conceptions ofagencyor to exploit our present inability to regulate valuable innovations, the proposal here highlights the importance of—and outlines a plausible foundation for—a workable notion ofartificial moral responsibility. (shrink)

One of the world’s leading philosophers offers aspiring thinkers his personal trove of mind-stretching thought experiments. Over a storied career, Daniel C. Dennett has engaged questions about science and the workings of the mind. His answers have combined rigorous argument with strong empirical grounding. And a lot of fun. Intuition Pumps and Other Tools for Thinking offers seventy-seven of Dennett’s most successful "imagination-extenders and focus-holders" meant to guide you through some of life’s most treacherous subject matter: evolution, meaning, mind, (...) and free will. With patience and wit, Dennett deftly deploys his thinking tools to gain traction on these thorny issues while offering readers insight into how and why each tool was built. Alongside well-known favorites like Occam’s Razor and reductio ad absurdum lie thrilling descriptions of Dennett’s own creations: Trapped in the Robot Control Room, Beware of the Prime Mammal, and The Wandering Two-Bitser. Ranging across disciplines as diverse as psychology, biology, computer science, and physics, Dennett’s tools embrace in equal measure light-heartedness and accessibility as they welcome uninitiated and seasoned readers alike. As always, his goal remains to teach you how to "think reliably and even gracefully about really hard questions." A sweeping work of intellectual seriousness that’s also studded with impish delights, Intuition Pumps offers intrepid thinkers—in all walks of life—delicious opportunities to explore their pet ideas with new powers. (shrink)

In this paper I will present a puzzle about epistemic akrasia, and I will use that puzzle to motivate accepting some non-standard views about the nature of epistemological judgment. The puzzle is that while it seems obvious that epistemic akrasia must be irrational, the claim that epistemic akrasia is always irrational amounts to the claim that a certain sort of justified false belief—a justified false belief about what one ought to believe—is impossible. But justified false beliefs seem to be possible (...) in any domain, and it’s hard to see why beliefs about what one ought to believe should be an exception. I will argue that when we get clearer about what sort of psychological state epistemic akrasia is, we can resolve the puzzle in favor of the intuitive view that epistemic akrasia is always irrational. (shrink)

This collection of essays explores the metaphysical thesis that the living world is not made up of substantial particles or things, as has often been assumed, but is rather constituted by processes. The biological domain is organised as an interdependent hierarchy of processes, which are stabilised and actively maintained at different timescales. Even entities that intuitively appear to be paradigms of things, such as organisms, are actually better understood as processes. Unlike previous attempts to articulate processual views of biology, which (...) have tended to use Alfred North Whitehead’s panpsychist metaphysics as a foundation, this book takes a naturalistic approach to metaphysics. It submits that the main motivations for replacing an ontology of substances with one of processes are to be found in the empirical findings of science. Biology provides compelling reasons for thinking that the living realm is fundamentally dynamic, and that the existence of things is always conditional on the existence of processes. The phenomenon of life cries out for theories that prioritise processes over things, and it suggests that the central explanandum of biology is not change but rather stability, or more precisely, stability attained through constant change. This edited volume brings together philosophers of science and metaphysicians interested in exploring the consequences of a processual philosophy of biology. The contributors draw on an extremely wide range of biological case studies, and employ a process perspective to cast new light on a number of traditional philosophical problems, such as identity, persistence, and individuality. (shrink)

The potential to collect brain data more directly, with higher resolution, and in greater amounts has heightened worries about mental and brain privacy. In order to manage the risks to individuals posed by these privacy challenges, some have suggested codifying new privacy rights, including a right to “mental privacy.” In this paper, we consider these arguments and conclude that while neurotechnologies do raise significant privacy concerns, such concerns are—at least for now—no different from those raised by other well-understood data collection (...) technologies, such as gene sequencing tools and online surveillance. To better understand the privacy stakes of brain data, we suggest the use of a conceptual framework from information ethics, Helen Nissenbaum’s “contextual integrity” theory. To illustrate the importance of context, we examine neurotechnologies and the information flows they produce in three familiar contexts—healthcare and medical research, criminal justice, and consumer marketing. We argue that by emphasizing what is distinct about brain privacy issues, rather than what they share with other data privacy concerns, risks weakening broader efforts to enact more robust privacy law and policy. (shrink)

This paper proposes a new account of bounded or minimal doxastic rationality (in the sense of Cherniak 1986), based on the notion that beliefs are answers to questions (à la Yalcin 2018). The core idea is that minimally rational beliefs are linked through thematic connections, rather than entailment relations. Consequently, such beliefs are not deductively closed, but they are closed under parthood (where a part is an entailment that answers a smaller question). And instead of avoiding all inconsistency, minimally rational (...) believers only avoid blatant inconsistencies (where some beliefs are blatantly inconsistent when they contradict one another on a particular question). Rather than cohering into a single overall world view, beliefs are more loosely connected in what is best described as a web of questions. This view of minimally rational belief naturally gives rise to an account of deductive inquiry on which deductive reasoning is a matter of posing new questions. (shrink)

Supporters of open borders sometimes argue that the state has no pro tanto right to restrict immigration, because such a right would also entail a right to exclude existing citizens for whatever reasons justify excluding immigrants. These arguments can be defeated by suggesting that people have a right to stay put. I present a new form of the exclusion argument against closed borders which escapes this “right to stay put” reply. I do this by describing a kind of exclusion that (...) has not been discussed in depth, which I call “territorial exclusion.” Territorial exclusion is the process according to which the group that wishes to exclude current citizens secedes from the territory in which those citizens reside. I argue that the wrongness of territorial exclusion explains why there is no pro tanto right for a state to exclude immigrants, because otherwise there would be a pro tanto right for the state to kick people out by seceding from the territory they inhabit. Because kicking people out like this is typically wrong, borders cannot be closed. (shrink)

I defend the cosmopolitan instrumentalist theory of secession, according to which a group has a right to secede only if this would promote cosmopolitan justice. I argue that the theory is preferable to other theories of secession because it is an entailment of cosmopolitanism, which is independently attractive, and because, unlike other theories of secession, it allows us to give the answers we want to give in cases like secession of the rich or secession that would make things worse for (...) minorities. I defend the view against the objections that it allows for colonialism and annexation, that it is not a distinct theory, and that it is impractical. (shrink)

While the contemporary philosophical literature is replete with discussion of the control or freedom required for moral responsibility, only more recently has substantial attention been devoted to the knowledge or awareness required, otherwise called the epistemic condition. This area of inquiry is rapidly expanding, as are the various positions within it. This chapter introduces two major positions: the reasonable expectation view and the quality of will view. The chapter then explores two dimensions of the epistemic condition that serve as fault (...) lines along which these two views diverge. The first dimension concerns different kinds of ignorance. The second concerns what agents can be directly blameworthy for. The chapter closes by sketching a novel approach that incorporates advantages of opposing positions on this topic. (shrink)

This chapter introduces readers to the view that praise is a form of address, or is communicative in the sense of seeking uptake from its target. The proposal that praise is communicative will seem counterintuitive if we take blame to be our paradigm of what it is for a responsibility-response to be communicative. This is because blame is communicative in a manner that intuitively presupposes some normative failure; it involves calling its target to account (or answer) for some wrongdoing. But, (...) the ‘rightdoer’ already properly regarded the relevant reasons in acting praiseworthily. So, there is nothing for which the praiseworthy agent must similarly account or answer for. How then could praise be communicative in sense of seeking uptake from its target? This chapter develops the view that praise is communicative in that it invites the praiseworthy agent to accept credit by co-valuing their action in the evaluative terms supplied by the praiser. This proposal is defended against three objections, namely that it is descriptively inadequate regarding our actual practices, that it is morally mistaken about when we owe others a response, and that it implies redundant communication. (shrink)

This volume provides a detailed account of the syntax of expressive language, that is, utterances that express, rather than describe, the emotions and attitudes of the speaker... Daniel Gutzmann demonstrates that expressivity has strong syntactic reflexes that interact with the semantic and pragmatic interpretation of these utterances, and argues that expressivity is in fact a syntactic feature on a par with other established features such as tense and gender. Evidence for this claim is drawn from three detailed case studies (...) of expressive adjectives, intensifiers, and vocatives; their puzzling properties are accounted for through a minimalist approach to syntactic features and agreement, which shows that expressivity can partake in agreement operations, trigger movement, and be selected for syntactically. The analysis not only supports the hypothesis of expressive syntax, but also highlights the hidden role that grammar may play in phenomena that are traditionally considered to be solely semantic in nature" -- Publisher. (shrink)

Choices confront us with questions. How we act depends on our answers to those questions. So the way our beliefs guide our choices is not just a function of their informational content, but also depends systematically on the questions those beliefs address. This paper gives a precise account of the interplay between choices, questions and beliefs, and harnesses this account to obtain a principled approach to the problem of deduction. The result is a novel theory of belief-guided action that explains (...) and predicts the decisions of agents who, like ourselves, fail to be logically omniscient: that is, of agents whose beliefs may not be deductively closed, or even consistent. (Winner of the 2021 Isaac Levi Prize.). (shrink)

After 50 years of debate, the ethics of aggregation has reached a curious stalemate, with both sides arguing that only their theory treats people as equals. I argue that, on the issue of equality, both sides are wrong. From the premise that “each counts for one,” we cannot derive the conclusion that “more count for more”—or its negation. The familiar arguments from equality to aggregation presuppose more than equality: the Kamm/Scanlon “Balancing Argument” rests on what social choice theorists call “(Positive) (...) Responsiveness,” Kamm’s “Aggregation Argument” assumes that “equal” lives are fungible, and Hsieh et al. have it that spreading goods broadly best approximates equality. In each case, the crucial premise is not equality itself but a further idea that Taurek, I argue, can safely reject. I conclude with a conjecture: there is no theory-neutral argument that settles the question of whether the numbers count. (shrink)

This paper presents a new interpretation of Michel Foucault’s critical project. It is well known that Foucault’s genealogical critique does not focus on issues of justification, but instead tackles “aspectival captivity,” that is, apparently inevitable limits of thought that constrain the agent’s freedom but that, in fact, can be transformed. However, it has not been recognized that, according to Foucault, critique can proceed along two distinct paths. In a key passage of “What Is Critique?,” Foucault states that critique is tasked (...) with questioning truth about its effects of power and with questioning power about its discourses of truth. We show that this “double movement” organizes Foucault’s critical project as a whole, giving it a significantly wider scope and a more complex structure than has been previously acknowledged. At the heart of the above-mentioned bifurcation lies an apparent tension between two contrastive roles Foucault assigns to truth-telling in the context of critique: on the one hand, truth-telling (as avowal) is a target of critique; on the other, truth-telling (as parrhesia) is one of critique’s methods. We argue that combining these two dimensions in a unified account is crucial for understanding and re-evaluating Foucault’s critical project as a whole. By showing that truth-telling remains an essential element of Foucauldian critique, this paper also rectifies some influential misinterpretations according to which Foucault’s critical project seeks to eliminate truth from the picture. (shrink)

In this volume of newly commissioned essays, leading moral philosophers offer a comprehensive overview of virtue ethics.

This chapter draws on insights from non-equilibrium thermodynamics to demonstrate the ontological inadequacy of the machine conception of the organism. The thermodynamic character of living systems underlies the importance of metabolism and calls for the adoption of a processual view, exemplified by the Heraclitean metaphor of the stream of life. This alternative conception is explored in its various historical formulations and the extent to which it captures the nature of living systems is examined. Following this, the chapter considers the metaphysical (...) implications of reconceptualizing the organism from complex machine to flowing stream. What do we learn when we reject the mechanical and embrace the processual? Three key lessons for biological ontology are identified. The first is that activity is a necessary condition for existence. The second is that persistence is grounded in the continuous self-maintenance of form. And the third is that order does not entail design. (shrink)

I argue that the phenomenon underlying Bernard Williams’ (1976) “agent-regret” is considerably broader than appreciated by Williams and others. Agent-regret— an anguished response that agents have for harms they have caused, even if faultlessly— I maintain, is a species of a more general response to harms that need not be one’s fault, but which nonetheless impact one’s practical identity in a special way. This broader genus includes as a species what I call “relation-regret”, a pained response to harm caused by (...) a person to whom one is intimately related, as a co-member of a group partly constitutive of one’s practical identity (e.g. one’s family). After providing an account of the moral psychology of relation-regret, I attend to its normative significance, proposing in particular that acceptance of relation-regret provides us with reasons for accepting a novel form of moral luck, namely associative luck: the luck of being vulnerable to responsibility-responses in virtue of one’s attachments to others, despite one’s personal faultlessness. (shrink)

We propose to analyze well-known cases of "imaginative resistance" from the philosophical literature (Gendler, Walton, Weatherson) as involving the inference that particular content should be attributed to either: (i) a character rather than the narrator or, (ii) an unreliable, irrational, opinionated, and/or morally deviant "first person" narrator who was originally perceived to be a typical impersonal, omniscient, "effaced" narrator. We model the latter type of attribution in terms of two independently motivated linguistic mechanisms: accommodation of a discourse referent (Lewis, Stalnaker, (...) Kamp) and 'cautious' updating as a model of non-cooperative information exchange (Eckardt). (shrink)

As a strategy for exploring the relationship between understanding and knowledge, we consider whether epistemic luck – which is typically thought to undermine knowledge – undermines understanding. Questions about the etiology of understanding have also been at the heart of recent theoretical debates within epistemology. Kvanvig (2003) put forward the argument that there could be lucky understanding and produced an example that he deemed persuasive. Grimm (2006) responded with a case that, he argued, demonstrated that there could not be lucky (...) understanding. In this paper, we empirically examine how participants' patterns of understanding attributions line up with the predictions of Kvanvig and Grimm. We argue that the data challenge Kvanvig's position. People do not differentiate between knowing-why and understanding-why on the basis of proper etiology: attributions of knowledge and understanding involve comparable (and minimal) roles for epistemic luck. We thus posit that folk knowledge and understanding are etiologically symmetrical. (shrink)

From an early age, humans exhibit a tendency to identify, adopt, and enforce the norms of their local communities. Norms are the social rules that mark out what is appropriate, allowed, required, or forbidden in different situations for various community members. These rules are informal in the sense that although they are sometimes represented in formal laws, such as the rule governing which side of the road to drive on, they need not be explicitly codified to effectively influence behavior. There (...) are rules that forbid theft or the breaking of promises, but also rules which govern how close it is appropriate to stand to someone while talking to them, or how loud one should talk during the conversation. Thus understood, norms regulate a wide range of activity. They exhibit cultural variability in their prescriptions and proscriptions, but the presence of norms in general appears to be culturally universal. Some norms exhibit characteristics that are often associated with morality, such as a rule that applies to everyone and prohibits causing unnecessary harm. Others norms apply only to certain people, such as those that delimit appropriate clothing for members of different genders, or those concerning the expectations and responsibilities ascribed to individuals who occupy positions of leadership. The norms that prevail in a community can be more or less fair, reasonable, or impartial, and can be subject to critique and change. This entry provides an overview of interdisciplinary research into the psychological capacity for norm-guided cognition, motivation, and behavior. The notions of a norm and normativity occur in an enormous range of research that spans the humanities and behavioral sciences. Researchers primarily concerned with the psychology distinctive of norm-governed behavior take what can be called “cognitive-evolutionary” approaches to their subject matter. These approaches, common in the cognitive sciences, draw on a variety of resources and evidence to investigate different psychological capacities. This entry describes how these have been used to construct accounts of those cognitive and motivational features of minds that underpin the capacity to acquire, conform to, and enforce norms. It also describes how theories of the selective pressures and adaptive challenges prominent in recent human evolution have helped to inform and constrain theorizing about this psychological capacity, as well as how its features can influence the transmission and cultural evolution of norms. By way of organization, the entry starts with basics and proceeds to add subsequent layers of intricacy and detail. Researchers taking cognitive-evolutionary approaches to norms come from a wide range of disciplines, and have formulated, explored, and debated positions on a large number of different issues. In order to present a comprehensible overview of these interconnected literatures, the entry starts by laying out main contours and central tenets, the key landmarks in the conceptual space common to different theories and claims. It goes on to provide a more detailed description of the kinds of theoretical resources that researchers have employed, and identifies important dimensions along which more specific accounts of the psychology of norms have varied. It then canvasses different sources of empirical evidence that have begun to illuminate other philosophically interesting features of the capacity for norms. Finally, it ends with a discussion of the relationship between norm cognition and morality, with a few illustrations drawn from recent debates in moral theory. (shrink)

My subject is the kind of Epistemic Conservatism (EC) that says that an agent is in some measure justified in maintaining a belief simply in virtue of the fact that the agent has that belief. Quine’s alternative to positivist foundationalism, Chisholmian particularism, Rawls’s reflective equilibrium, and Bayesianism all seem to rely on EC. I argue that, in order to evaluate EC, we must consider an agent holding a bare belief, that is, a belief stripped of all personal memory and epistemic (...) context. Taking a stylistic cue from Peter Strawson, I argue that, though it does not seem to be self-contradictory to suppose that someone has a bare belief, and so it is not absolutely inconceivable that bare beliefs exist, it is, for us as we are, practically inconceivable that bare beliefs exist. It does not seem practically feasible, then, to evaluate EC on its own terms. (shrink)

This Handbook maps a central terrain of philosophy, and provides the definitive guide to it. An illustrious team of philosophers explore the concept of a reason to do or believe something, in order to determine what these reasons are and how they work. And they investigate the nature of 'normative' claims about what we ought to do or believe.