We present a new puzzle about logical truth, necessity, and moral responsibility. We defend one solution to the puzzle. A corollary of our preferred solution is that prominent arguments for the incompatibility of determinism and moral responsibility are invalid.

Rigidity does interesting philosophical work, with important consequences felt throughout metaphysics, epistemology, philosophy of mind, and so on. The authors’ aim in this article is to show that rigidity has yet another role to play, with surprising consequences for the problem of free will and determinism, for the phenomenon of rigidity has the upshot that some metaphysically necessary truths are up to us. The significance of this claim is shown in the context of influential arguments against free will. The authors (...) show that some virtually indisputable inference rules employed in formulations of the Consequence Argument, as well as in fatalistic arguments, fail with a variety of counter-examples. Along the way, the authors compare the present arguments to other, similar arguments made in recent years. (shrink)

In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...) for a different approach to explain world-indexed truths whose upshot is that we may be morally responsible for some of them. The result to the effect that there are no maximally consistent states of affairs is independently interesting though, since this notion motivates an account of the nature of possible worlds in the metaphysics of modality. We also register in this article, independently of our response to Turner and Capes, and in the spirit of Russell’s aforementioned paradox and many other versions thereof, a proof of the claim that there is no set of all true propositions one can render false. (shrink)

In the early 1980’s van Inwagen presented the Direct Argument for the incompatibility of determinism with moral responsibility. In the course of the ensuing debate, Fischer, McKenna and Loewenstein have replied, each in their own way, that versions of the Direct Argument do not pose even a prima facie threat to compatibilism. Their grounds were that versions of the Direct Argument all use the “Transfer NR” inference rule in a dialectically problematic way. I rebut these replies here. By so doing, (...) I hope to set the Direct Argument debate on a more fruitful path. (shrink)

Although convinced by Frankfurt-style cases that moral responsibility does not require the ability to do otherwise, semicompatibilists have not wanted to accept a parallel claim about moral responsibility for omissions, and so they have accepted asymmetrical requirements on moral responsibility for actions and omissions. In previous work, I have presented a challenge to various attempts at defending this asymmetry. My view is that semicompatibilists should give up these defenses and instead adopt symmetrical requirements on moral responsibility for actions and omissions, (...) and in this paper I highlight three advantages of doing so: first, it avoids a strange implication of the truth of determinism; second, it allows for a principled reply to Philip Swenson’s recent ‘No Principled Difference Argument’; third, it provides a reason to reject a crucial inference rule invoked by Peter van Inwagen’s ‘Direct Argument’ for the incompatibility of moral responsibility and determinism. (shrink)

In a recent paper, Pruss proves the validity of the rule beta-2 relative to Lewis’s semantics for counterfactuals, which is a significant step forward in the debate about the consequence argument. Yet, we believe there remain intuitive counter-examples to beta-2 formulated with the actuality operator and rigidified descriptions. We offer a novel and two-dimensional formulation of the Lewisian semantics for counterfactuals and prove the validity of a new transfer rule according to which a new version of the consequence argument can (...) be formulated. This new transfer rule is immune to the counter-examples involving the actuality operator and rigidified descriptions. However, we show that counter-examples to this new rule can also be generated, demanding that the Lewisian semantics be generalized for higher dimensions where counter-examples can always be generated. (shrink)

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

According to a widely held principle—the poss-ability principle—an agent, S, is able to only if it is metaphysically possible for S to. I argue against the poss-ability principle by developing a novel class of counterexamples. I then argue that the consequences of rejecting the poss-ability principle are interesting and far-reaching.

Arguments for the incompatibility of determinism and moral responsibility sometimes make use of various transfer of non-responsibility principles. These principles purport to specify conditions in which lack of moral responsibility is transmitted to the consequences of things for which people are not morally responsible. In this paper, after developing what I take to be the most serious objections to extant principles of this sort, I identify and defend a new transfer of non-responsibility principle that is immune to these and other (...) objections. This new principle says, roughly, that if you are not morally responsible for any of the circumstances that led to a particular outcome, and if you are not morally responsible for those circumstances leading to that outcome, then you are not morally responsible for the outcome either. After defending this principle against a number of objections, I use it to argue for the conclusion that no one is even partly morally responsible for anything, if determinism is true. (shrink)

Most philosophers who study moral responsibility have done so in isolation of the concept of truth. Here, I show that thinking about the nature of truth has profound consequences for discussions of moral responsibility. In particular, by focusing on the very trivial nature of truth—that truth depends on the world and not the other way around—we can see that widely accepted counterexamples to one of the most influential incompatibilist arguments can be shown not only to be false, but also impossible.

I argue that no one knows whether there is free will.

Current orthodoxy in modal logic and metaphysics has it that actuality is non-contingent in the following sense: for all p, if actually, p, then necessarily, actually, p. Call this thesis (Actuality) Necessitism and its negation (Actuality) Contingentism. Thus, according to Contingentism, there is at least one proposition p which is actually true but which could have been actually false. In another paper, one of us (Glazier 2023) has recently defended Contingentism. The present paper explores the logic of actuality under Contingentism. (...) After informally introducing Contingentism and outlining what we take to be the main motivations for accepting it, we consider how contingent actuality should be taken to be. We argue that the nature, or essence, of actuality imposes certain limits on the extent to which actuality could have been different, and these then inform our view of the logic of actuality. Turning to the formal study of the logic of contingent actuality, we specify a formal language and a possible world semantics for that language and distinguish a number of natural notions of validity and consequence to which it gives rise. We present axiomatizations of the different resulting logics and examine the variety of iterated modalities in our systems. We establish soundness and completeness results. (shrink)

Nesta monografia, discutirei o Argumento Direto pelo incompatibilismo. Incompatibilismo ´e a tese de que responsabilidade moral ´e incompat´ıvel com o determinismo nomol´ogico. De ma- neira simplificada, o argumento ´e o seguinte: N´os n˜ao somos respons´aveis pelo passado e pelas leis da natureza. Se o determinismo for verdadeiro, nossas ac¸ ˜oes s˜ao consequˆencia do passado e das leis da natureza. Portanto, se o determinismo for verdadeiro, n˜ao somos respons´aveis por nossas ac¸ ˜oes. Defendo ao longo da monografia que o Argumento Direto (...) ´e nem prima facie uma ameac¸a ao compatibilismo – a posic¸ ˜ao oposta ao incompatibilismo –, j´a que os proponen- tes do argumento falham em motivar com sucesso o argumento. A monografia se divide em trˆes cap´ıtulos. No primeiro, apresento a formulac¸ ˜ao do Argumento Direto proposta por Peter van Inwagen (1983). Sua formulac¸ ˜ao se vale de um operador modal de n˜ao-responsabilidade, para o qual van Inwagen define duas regras dedutivas. Nos dois cap´ıtulos subsequentes, discuto algumas das cr´ıticas encontradas na literatura contra essas regras e apresento minhas pr´oprias cr´ıticas. Na conclus˜ao, considero alguns modos pelo qual o debate pode avanc¸ar. (shrink)

The direct argument is among the most prominent arguments for the incompatibility of determinism and moral responsibility. Some critics of the argument have accused it, or certain defenses of its central premise, of begging the question. This article responds to that accusation.

The Direct Argument is an important argument for demonstrating that moral responsibility is incompatible with determinism because it makes no presuppositions about the nature of free will. One of the inference rules employed in the Direct Argument is rule A: If a proposition is broadly logically necessary, then it is true and no one is, nor ever has been, even partially morally responsible for the fact that the proposition is true. While inference rule A is assumed by all parties to (...) the debate, I demonstrate that the rule is invalid. (shrink)

Commanders gain authority from obedience and lose authority from disobedience. We should expect commanders to therefore devise commands that reduce the probability of disobedience. To aid recognition of these techniques for reducing the risk of disobedience, I focus on the extreme of case of commands that reduce the probability to zero. Each of my ten commandments illustrates a logical technique for engineering out disobedience. Once you master these safety measures, you can confidently legislate your own universal maxims. Your innovations will (...) be good news for Immanuel Kant’s characterization of morality in terms of categorical imperatives. The commandments also raise interesting questions about responsibility for necessities and the nature of rule following. (shrink)

Charles Hermes argues that the Direct Argument for the incompatibility of determinism and moral responsibility fails because one of the inference rules on which it relies, Rule A, is invalid. Rule A states that if a proposition p is broadly logically necessary, then p is true and no one is, or ever has been, even partly morally responsible for the fact that p. Hermes purports to offer a counterexample to Rule A which focuses on agents’ moral responsibility for disjunctions. Hermes’s (...) objection is motivated by the idea that the logic of moral responsibility ought to be based on the logic of truthmakers rather than the logic of propositions. I show that the logic of moral responsibility does not track the logic of truthmakers and defend the validity of Rule A against Hermes’s objection. (shrink)

Rule A: if it's metaphysically necessary that p, we may validly infer that no one is even partly morally responsible for the fact that p. Our principal aim in this article is to highlight the importance of this rule and to respond to two recent challenges to it. We argue that rule A is more important to contemporary theories of moral responsibility than has previously been recognized. We then consider two recent challenges to the rule and argue that neither challenge (...) successfully undermines the rule's initial appeal. (shrink)

The so-called Direct Argument for the incompatibility of moral responsibility and causal determinism depends on a rule of inference called Rule A, a rule that says no one is even partly morally responsible for a necessary truth. While most philosophers think that Rule A is valid, Stephen Kearns has recently offered several alleged counterexamples to the rule. In the paper, I show that Kearns’ counterexamples are unsuccessful.