This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

It is natural to think that at root, agents are beings that act. Agents do more than this, however – agents omit to act. Sometimes agents do so intentionally. How should we understand intentional omission? Recent accounts of intentional omission have given causation a central theoretical role. The move is well-motivated. If some form of causalism about intentional omission can successfully exploit similarities between action and omission, it might inherit the broad support causalism about intentional action enjoys. In this paper (...) I consider the prospects for causalism about intentional omission. I examine two recent proposals: one Carolina Sartorio (2009) defends, and one Randolph Clarke (2010a) defends. I argue these versions fail, and for a similar reason. Reflection on the function of intention for agency brings this reason to light, and motivates a novel causalism about intentional omission. On the account I go on to defend necessarily, an agent J intentionally omits to A only if an intention of J’s with relevant content (or the intention’s acquisition) causes in J a disposition not to A. Though the causal work done by intentions to omit differs in some cases from the causal work done by intentions to act, it turns out that causalism about intentional behavior (i.e., about action and omission) is viable. (shrink)

The Humean conception of the self consists in the belief-desire model of motivation and the utility-maximizing model of rationality. This conception has dominated Western thought in philosophy and the social sciences ever since Hobbes’ initial formulation in Leviathan and Hume’s elaboration in the Treatise of Human Nature. Bentham, Freud, Ramsey, Skinner, Allais, von Neumann and Morgenstern and others have added further refinements that have brought it to a high degree of formal sophistication. Late twentieth century moral philosophers such as Rawls, (...) Brandt, Frankfurt, Nagel and Williams have taken it for granted, and have made use of it to supply metaethical foundations for a wide variety of normative moral theories. But the Humean conception of the self also leads to seemingly insoluble problems about moral motivation, rational final ends, and moral justification. Can it be made to work? (shrink)

Anscombe famously said that there are some act types that can only be done intentionally. We defend this claim: some act types are essentially intentional. We argue that Ving intentionally is itself essentially intentional: it is not possible to be non-intentionally Ving intentionally. And we show how this explains why various other act types—such as trying, lying, and thanking—are essentially intentional. Finally, building on Piñeros Glassock (2020) and Beddor & Pavese (2022), we explain how this makes trouble for the thesis (...) that if I am Ving intentionally, I know that I am Ving. (shrink)

Contrary to popular philosophical belief, judgment can indeed be an intentional action. That's because an intentional judgment, even one with content p, need not be intentional as a judgment that p. It can instead be intentional just as a judgment wh- for some specific wh- question—e.g. a judgment of which x is F or a judgment whether p. This paper explains how this is possible by laying out a means by which you can perform such an intentional action. This model (...) of intentional judgment does not stand in tension with the fact that judgment is causally regulated for truth, and that it is correct only if it is true. On the contrary, the structure of intentional action explains how an intentional judgment has these features. An extended example is developed, and sufficient conditions on intentional judgment are laid out. (shrink)

An action is agentially perfect if and only if, if a person tries to perform it, they succeed, and, if a person performs it, they try to. We argue that trying itself is agentially perfect: if a person tries to try to do something, they try to do it; and, if a person tries to do something, they try to try to do it. We show how this claim sheds new light on questions about basic action, the logical structure of (...) intentional action, and the notion of "options" in decision theory. On the way to these central ideas, we argue that a person can try to do something even if they believe it is impossible that they will succeed, that a person can try to do something even if they do not want to succeed, and that a person can try to do something even if they do not intend to succeed. (shrink)

This paper argues that the types of intention can be modeled both as modal operators and via a multi-hyperintensional semantics. I delineate the semantic profiles of the types of intention, and provide a precise account of how the types of intention are unified in virtue of both their operations in a single, encompassing, epistemic space, and their role in practical reasoning. I endeavor to provide reasons adducing against the proposal that the types of intention are reducible to the mental states (...) of belief and desire, where the former state is codified by subjective probability measures and the latter is codified by a utility function. I argue, instead, that each of the types of intention -- i.e., intention-in-action, intention-as-explanation, and intention-for-the-future -- has as its aim the value of an outcome of the agent's action, as derived by her partial beliefs and assignments of utility, and as codified by the value of expected utility in evidential decision theory. (shrink)

The Shape of Agency offers interlinked explanations of the basic building blocks of agency, as well as its exemplary instances. The first part offers accounts of a collection of related phenomena that have long troubled philosophers of action: control over behaviour, non-deviant causation, and intentional action. These accounts build on earlier work in the causalist tradition, and undermine the claims made by many that causalism cannot offer a satisfying account of non-deviant causation, and therefore fails as an account of intentional (...) action. The second part turns to modes of agentive excellence—ways that agents display quality of form—providing a novel account of skill, including an account of the ways that agents display more or less skill. Shepherd discusses the role of knowledge in skill, and concludes that while knowledge is often important, it is inessential. This leads to a discussion of the way that knowledge of action and knowledge of how to act informs action execution. Knowledgeable action includes a unique epistemic underpinning: in knowledgeable action, the agent has authoritative knowledge of what she is doing and how she is doing it when and because she is poised to control her action by way of practical reasoning. (shrink)

Strategies are mentioned across a variety of domains, from business ethics, to the philosophy of war, philosophy of sport, game theory, and others. However, despite their wide use, very little has been said about how to think about what strategies are or how they relate to other prominently discussed concepts. In this article, I probe the close connection between strategies and plans, which have been much more thoroughly characterized in the philosophy of action. After highlighting the challenges of analyzing strategies (...) in terms of plans, I show how the work done on the connection between plans and intentions can inspire further questions about the nature of strategy. I conclude by showing how one particular innovation in the understanding of plans—how they can be more or less partial—can be used to help us to mark what makes for a good strategy. (shrink)

Mind wandering is typically operationalized as task-unrelated thought. Some argue for the need to distinguish between unintentional and intentional mind wandering, where an agent voluntarily shifts attention from task-related to task-unrelated thoughts. We reveal an inconsistency between the standard, task-unrelated thought definition of mind wandering and the occurrence of intentional mind wandering (together with plausible assumptions about tasks and intentions). This suggests that either the standard definition of mind wandering should be rejected or that intentional mind wandering is an incoherent (...) category. Solving this puzzle is critical for advancing theoretical frameworks of mind wandering. (shrink)

The moral of Buridan's Ass is that it can sometimes be rational to perform one action rather than another even though one lacks stronger reason to do so. Yet it is also commonly believed that it cannot ever be rational to believe one proposition rather than another if one lacks stronger reason to do so. This asymmetry has been taken to indicate a deep difference between epistemic and practical rationality. According to the view articulated here, the asymmetry should instead be (...) explained by the difference between rational intentions and rational actions. Thus, it turns out, Buridan's Ass-style cases do not indicate an asymmetry between epistemic and practical rationality as such. (shrink)

An object being non-art appears only trivially informative. Some non-art objects, however, could be saliently 'almost' art, and therefore objects for which being non-art is non-trivially informative. I call these kinds of non-art objects 'failed-art' objects—non-art objects aetiologically similar to art-objects, diverging only in virtue of some relevant failure. I take failed-art to be the right sort of thing, to result from the right sort of action, and to have the right sort of history required to be art, but to (...) be non-art by having failure where being art requires success. I assume that for something to be art that thing must be the product of intention-directed action. I then offer an account of attempts that captures the success conditions governing the relationship between intention-directed actions and their products. From this, I claim that to be failed-art is to be the product of a failed art-attempt, i.e., to be non-art as the result of the particular way in which that art-attempt failed. An art-attempt I take to be an attempt with success conditions, that, if satisfied, entail the satisfaction of the conditions for being art—whatever those may be. To be art, then, is to be the product of a successful art-attempt. As such, any art theory incompatible with my account of failed-art is an art theory for which the notions of success and failure do not matter, and therefore an art theory for which being art needn't be substantively intention-dependent. So, any theory of art unable to accommodate my account of failed-art is _ipso facto_ false. (shrink)

The problem of weakness of the will is often thought to arise because of an assumption that freely, deliberately and intentionally doing something must correspond to the agent's positive evaluation of doing that thing. In contemporary philosophy, a very common response to the problem of weakness has been to adopt the view that free, deliberate action does not need to correspond to any positive evaluation at all. Much of the support for this view has come from the difficulties the denial (...) of it has been thought to give rise to, both with respect to giving an account of weakness, as well as explaining the future-directed nature of intentions. In this paper I argue that most of these difficulties only arise for one particular version of the view that free, deliberate action must correspond to a positive evaluation, a version associated with Donald Davidson's account of weakness. However, another version of this view is possible, and I argue that it escapes the standard objections to the Davidsonian account. (shrink)

Side effects are ubiquitous in medicine and they often play a role in treatment decisions for patients and clinicians alike. Philosophers and health researchers often use side effects to illustrate issues with contemporary medical research and practice. However, technical definitions of ‘side effect’ differ among health authorities. Thus, determining the side effects of an intervention can differ depending on whose definition we assume. Here I review some of the common definitions of side effect and highlight their issues. In response, I (...) offer an account of side effects as jointly (i) unintended and (ii) effects due to the causal capacities or invariances of an intervention. I discuss (i) by examining the intentions or reasons behind therapeutic interventions, and I discuss (ii) by appealing to a manipulationist model of causation. The analysis here highlights that side effects are conceptually distinct from related outcomes like adverse events, adverse drug reactions, and placebo effects. The analysis also allows for reflection on the utility of ‘side effect’ as a technical term in medical research and practice. (shrink)

Smartphone use plays an increasingly important role in our daily lives. Philosophical research that has used first wave or second wave theories of extended cognition in order to understand our engagement with digital technologies has focused on the contribution of these technologies to the completion of specific cognitive tasks (e.g., remembering, reasoning, problem-solving, navigation).However, in a considerable number of cases, everyday smartphone use is task-unrelated. In psychological research, these cases have been captured by notions such as absent-minded smart-phone use (Marty-Dugas (...) et al., 2018) or smartphone-related inattentiveness (Liebherr et al., 2020).Given the prevalence of these cases, we develop a conceptual framework that can accommodate the functional and phenomenological characteristics of task-unrelated smartphone use. To this end, we will integrate research on second wave extended cognition with mind-wandering research and introduce the concept of ‘extended mind-wandering’. Elaborating the family resemblances approach to mind-wandering (Seli, Kane, Smallwood, et al., 2018), we will argue that task-unrelated smartphone use shares many characteristics with mind-wandering. We will suggest that an empirically informed conceptual analysis of cases of extended mind-wandering can enrich current work on digitally extended cognition by specifying the influence of the attention economy on our cognitive dynamics. (shrink)

By focusing on the idea that agency involves causal sensitivity to reasons, Rowland Stout shows how agency is one of the most useful ways into the philosophy of mind: if one can understand what it is to be a free and rational agent, then one can understand what it is to be a conscious subject of experience. Some of the questions considered include: Is all action intentional action? Is intentional action characterized by its relation with possible justification? Do beliefs motivate (...) actions or do facts? What is the nature of the causal process of acting? Are intentions independent components in the explanation of action? (shrink)

Are predictions about how one will freely and intentionally behave in the future ever relevant to how one ought to behave? There is good reason to think they are. As imperfect agents, we have responsibilities of self-management, which seem to require that we take account of the predictable ways we're liable to go wrong. I defend this conclusion against certain objections to the effect that incorporating predictions concerning one's voluntary conduct into one's practical reasoning amounts to evading responsibility for that (...) conduct. There is, however, some truth to this sort of objection. To understand the legitimate role of self-prediction in practical reasoning, we need to distinguish instances of coping responsibly with an anticipated failure to behave as one ought, on the one hand, from mere acquiescence in one's flaws, on the other. I argue that, to draw this distinction, we must recognize certain limits on the use of self-prediction as a ground of choice. (shrink)

The last decade has witnessed the mass distribution and adoption of smart home systems and devices powered by artificial intelligence systems ranging from household appliances like fridges and toasters to more background systems such as air and water quality controllers. The pervasiveness of these sociotechnical systems makes analyzing their ethical implications necessary during the design phases of these devices to ensure not only sociotechnical resilience, but to design them for human values in mind and thus preserve meaningful human control over (...) them. This paper engages in a conceptual investigations of how meaningful human control over smart home devices can be attained through design. The value sensitive design (VSD) approach is proposed as a way of attaining this level of control. In the proposed framework, values are identified and defined, stakeholder groups are investigated and brought into the design process and the technical constraints of the technologies in question are considered. The paper concludes with some initial examples that illustrate a more adoptable way forward for both ethicists and engineers of smart home devices. (shrink)

In this article, I challenge the dominant view of the importance of the debate over action-individuation. On the dominant view, it is held that the conclusions we reach about action-individuation make little or no difference for other debates in the philosophy of action, much less in other areas of philosophy. As a means of showing that the dominant view is mistaken, I consider the implications of accepting a given theory of action-individuation for thinking about doxastic agency. In particular, I am (...) interested in the implications for thinking about the variety of evaluative control we can exercise over the formation of our doxastic attitudes. I show that our assumptions about how to individuate actions matters for how we think about doxastic agency and, hence, the conclusions we reach about action-individuation are of greater significance than some have thought. (shrink)

Much of the recent work in action theory can be organized around a set of objections facing the Simple View and other intention-based accounts of intentional action. In this paper, I review three of the most popular objections to the Simple View and argue that all three objections commit a common fallacy. I then draw some more general conclusions about the relationship between intentional action and moral responsibility.

Moral responsibility requires that we are in control of what we do. Many contemporary accounts of responsibility cash out this control in terms of abilities and hold that the relevant abilities are strong abilities, like general abilities. This paper raises a problem for strong abilities views: an agent can plausibly be morally responsible for an action or omission, despite lacking any strong abilities to do the relevant thing. It then offers a way forward for ability‐based views, arguing that very weak (...) abilities can form the basis of moral responsibility for both actions and omissions. (shrink)

An object being non-art appears only trivially informative. Some non-art objects, however, could be saliently ‘almost’ art, and therefore objects for which being non-art is non-trivially informative. I call these kinds of non-art objects ‘failed-art’ objects—non-art objects aetiologically similar to art-objects, diverging only in virtue of some relevant failure. I take failed-art to be the right sort of thing, to result from the right sort of action, and to have the right sort of history required to be art, but to (...) be non-art by having failure where being art requires success. I assume that for something to be art that thing must be the product of intention-directed action. I then offer an account of attempts that captures the success conditions governing the relationship between intention-directed actions and their products. From this, I claim that to be failed-art is to be the product of a failed art-attempt, i.e., to be non-art as the result of the particular way in which that art-attempt failed. An art-attempt I take to be an attempt with success conditions, that, if satisfied, entail the satisfaction of the conditions for being art—whatever those may be. To be art, then, is to be the product of a successful art-attempt. As such, any art theory incompatible with my account of failed-art is an art theory for which the notions of success and failure do not matter, and therefore an art theory for which being art needn't be substantively intention-dependent. So, any theory of art unable to accommodate my account of failed-art is ipso facto false. (shrink)