Hans Kamp; IV*—Free Choice Permission, Proceedings of the Aristotelian Society, Volume 74, Issue 1, 1 June 1974, Pages 57–74, https://doi.org/10.1093/aristoteli.

Free choice permission, a crucial test case concerning the semantics/ pragmatics boundary, usually receives a pragmatic treatment. But its pragmatic features follow from its semantics. We observe that free choice inferences are defeasible, and defend a semantics of free choice permission as strong permission expressed in terms of a modal conditional in a nonmonotonic logic.

This paper addresses a little puzzle with a surprisingly long pedigree and a surprisingly large wake: the puzzle of Free Choice Permission. I begin by presenting a popular sketch of a pragmatic solution to the puzzle, due to Kratzer and Shimoyama, which has received a good deal of discussion, endorsement and elaboration in recent work :535–590, 2006; Fox, in: Sauerland and Stateva Presupposition and implicature in compositional semantics, 2007; Geurts, Mind Lang 24:51–79, 2009; von Fintel, Central APA (...) session on Deontic Modals, 2012). I then explain why the general form of the Kratzer and Shimoyama explanation is not extensionally adequate. This leaves us with two possibilities with regard to the original solution-sketch; either the suggested pragmatic route fails, or it succeeds in a particularly strange way: Free Choice permission is rendered a kind pragmatic illusion on the part of both speakers and hearers. Finally, I discuss some ramifications. (shrink)

It is quite plausible to say that you may read or write implies that you may read and you may write (though possibly not both at once). This so-called free choice principle is well-known in deontic logic. Sadly, despite being so intuitive and seemingly innocent, this principle causes a lot of worries. The paper briefly but critically examines leading accounts of free choice permission present in the literature. Subsequently, the paper suggests to accept the (...) class='Hi'>free choice principle, but only as a default (or defeasible) rule, issuing to it a ticket-of-leave, granting it some freedom, until it commits an undesired inference. (shrink)

In this paper, we apply relating semantics to the widely discussed problem of free choice between permitted actions or situations in normative systems. Leaving aside contexts in which the free choice principle is obviously unacceptable or uncontroversially valid, we concentrate on free choice for explicit permissions. In order to construct a formal representation of explicit permissions, we introduce a special constant, $\texttt {permit}$, which is analogous to the constant $\texttt {violation}$ used in the Andersonian–Kangerian (...) approach to deontic logic with respect to prohibition and obligation. Consequently, we define a permission operator on the basis of the $\texttt {permit}$ constant and a relation of legitimization. The general idea is that $P \varphi $ is true if and only if $\texttt {permit}$ is true, which means that a permission is actually issued and $\varphi $ is legitimized by $\texttt {permit}$. The intuitive notion of legitimization is formally represented by an operator of relating implication: a non-classical implication that is semantically defined by adding a constraint to the classical meaning of implication to the effect that arguments are related by a special relation. The properties of this relation are based on an informal, intuitive meaning of legitimization and determine the properties of the permission operator. We show that the resulting permission operator possesses the free choice property and avoids certain unwanted consequences that follow from alternative approaches. (shrink)

I argue that the conjunctive distribution of permissibility over or, which is a puzzling feature of free-choice permission is just one instance of a more general class of conjunctive occurrences of the word, and that these conjunctive uses are more directly explicable by the consideration that or is a descendant of oper than by reference to the disjunctive occurrences which logicalist prejudices may tempt us to regard as semantically more fundamental. I offer an account of how the (...) disjunctive uses of or may have come about through an intermediate discourse-adverbial use of or, drawing a parallel with but, which, etymologically, is disjunctive rather than conjunctive and whose conjunctive uses seem to represent just such a discourse-adverbial application. (shrink)

In this paper, a pragmatic approach to the phenomenon of free choice permission is proposed. Free choice permission is explained as due to taking the speaker (i) to obey certain Gricean maxims of conversation and (ii) to be competent on the deontic options, i.e. to know the valid obligations and permissions. The approach differs from other pragmatic approaches to free choice permission in giving a formally precise description of the class of (...) inferences that can be derived based on these two assumptions. This formalization builds on work of Halpern and Moses (1984) on the concept of ‘only knowing’, generalized by Hoek et al., (1999, 2000), and Zimmermann’s (2000) approach to competence. (shrink)

We introduce a new understanding of deontic modals that we callobligations as weakest permissions. We argue for its philosophical plausibility, study its expressive power in neighborhood models, provide a complete Hilbert-style axiom system for it and show that it can be extended and applied to practical norms in decision and game theory.

This paper develops a semantic solution to the puzzle of Free Choice permission. The paper begins with a battery of impossibility results showing that Free Choice is in tension with a variety of classical principles, including Disjunction Introduction and the Law of Excluded Middle. Most interestingly, Free Choice appears incompatible with a principle concerning the behavior of Free Choice under negation, Double Prohibition, which says that Mary can’t have soup or salad (...) implies Mary can’t have soup and Mary can’t have salad. Alonso-Ovalle 2006 and others have appealed to Double Prohibition to motivate pragmatic accounts of Free Choice. Aher 2012, Aloni 2018, and others have developed semantic accounts of Free Choice that also explain Double Prohibition. -/- This paper offers a new semantic analysis of Free Choice designed to handle the full range of impossibility results involved in Free Choice. The paper develops the hypothesis that Free Choice is a homogeneity effect. The claim possibly A or B is defined only when A and B are homogenous with respect to their modal status, either both possible or both impossible. Paired with a notion of entailment that is sensitive to definedness conditions, this theory validates Free Choice while retaining a wide variety of classical principles except for the transitivity of entailment. The homogeneity hypothesis is implemented in two different ways, homogeneous alternative semantics and homogeneous dynamic semantics, with interestingly different consequences. (shrink)

The article proposes an analysis of imperatives and possibility and necessity statements that (i) explains their differences with respect to the licensing of free choice any and (ii) accounts for the related phenomena of free choice disjunction in imperatives, permissions, and statements. Any and or are analyzed as operators introducing sets of alternative propositions. Free choice licensing operators are treated as quantifiers over these sets. In this way their interpretation can be sensitive to the (...) alternatives any and or introduce in their scope. (shrink)

We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action terms.

This paper refutes the widespread view that disjunctions of imperatives invariably grant free choice between the actions named by their disjuncts. Like other disjunctions they can also express a correlation with some factual distinction, but as with modalized declaratives used for non-assertive speech acts this needs to be indicated explicitly. A compositional analysis of one such indicator, depending on, constitutes the point of departure for a uniform analysis of disjunctions across clause types. Disjunctions are analyzed as sets of (...) propositional alternatives that correlate with a partition that the speaker may or may not be able to indicate explicitly. Free choice arises as the specific case where the partition is induced by the preferences of the addressee. (shrink)

This paper proposes a semantics for free choice permission that explains both the non-classical behavior of modals and disjunction in sentences used to grant permission, and their classical behavior under negation. It also explains why permissions can expire when new information comes in and why free choice arises even when modals scope under disjunction. On the proposed approach, deontic modals update preference orderings, and connectives operate on these updates rather than propositions. The success of (...) this approach stems from its capacity to capture the difference between expressing the preferences that give rise to permissions and conveying propositions about those preferences. (shrink)

This paper investigates inquisitive extensions of normal modal logic with an existential modal operator taken as primitive. The semantics of the existential modality is generalized to apply to questions, as well as statements. When the generalized existential modality is applied to a question, the result is a statement that roughly expresses that each way of resolving the question is consistent with the available information. I study the resulting logic both from a semantic and from a proof-theoretic point of view. I (...) argue that it can be used for reasoning about a general notion of ignorance, and for reasoning about choice-offering permissions and obligations. The main technical results are sound and complete axiomatizations, both for the class of all Kripke frames, and for any class of frames corresponding to a canonical normal modal logic. (shrink)

This paper offers an explanation of the fact that sentences of the form (1) ‘X may A or B’ may be construed as implying (2) ‘X may A and X may B’, especially if they are used to grant permission. It is suggested that the effect arises because disjunctions are conjunctive lists of epistemic possibilities. Consequently, if the modal may is itself epistemic, (1) comes out as equivalent to (2), due to general laws of epistemic logic. On the other (...) hand, on a deontic reading of may, (2) is only implied under exceptional circumstances – which usually obtain when (1) is used performatively. (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)

I propose a unified solution to two puzzles: Ross's puzzle and free choice permission. I begin with a pair of cases from the decision theory literature illustrating the phenomenon of act dependence, where what an agent ought to do depends on what she does. The notion of permissibility distilled from these cases forms the basis for my analysis of 'may' and 'ought'. This framework is then combined with a generalization of the classical semantics for disjunction — equivalent (...) to Boolean disjunction on the diagonal, but with a different two-dimensional character — that explains the puzzling facts in terms of semantic consequence. (shrink)

Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different. Their strength depends on a constant specification and on the available set of operations for combining different reasons. We present different consistency principles in justification logic and compare their logical strength. We propose a novel semantics for which justification logics with the explicit version of axiom D, jd⁠, are complete for arbitrary constant specifications. Consistency is (...) sometimes formulated in terms of permission. We therefore study permission in the context of justification logic, introducing a notion of free-choice permission for the first time. We then discuss the philosophical implications with regard to some deontic paradoxes. (shrink)

The semantics for a deontic action logic based on Boolean algebra is extended with an interpretation of action expressions in terms of sets of alternative actions, intended as a way to model choice. This results in a non-classical interpretation of action expressions, while sentences not in the scope of deontic operators are kept classical. A deontic structure based on Simons’ supercover semantics is used to interpret permission and obligation. It is argued that these constructions provide ways to handle (...) various problems related to free choice permission. The main result is a sound and complete axiomatization of the semantics. (shrink)

In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are semantically defined by means of relating semantics and how they provide a simple solution to the free choice permission problem. In short, these logics employ relating implication and a certain propositional constant. These two are in turn used to (...) define deontic operators similarly as in Andersonian-Kangerian reduction, which uses different intensional implications and constants. (shrink)

In this paper, we axiomatize the deontic logic in Fusco (2015), which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make (...) explicit the restrictions Fusco’s account must place on free-choice inferences. They are also of independent interest, as they raise difficult questions about how to “lift” a Kripke frame for a one-dimensional modal logic into two dimensions. (shrink)

This paper introduces deontic logic based on inquisitive semantics. A semantics for action formulas is introduced where each action formula is associated with a set of alternatives. Deontic operators are then interpreted as quantifying over all alternatives associated with the action formulas within their scope. It is shown how this construction provides solutions to problems related to free choice permissions and obligations, including issues concerning Hurford disjunctions. The main technical result is a complete axiomatization of the logic.

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 62.3 (2001) 381-399 [Access article in PDF] Permissive Natural Law and Property: Gratian to Kant Brian Tierney In his Doctrine of Right Kant set out to formulate a theory of property that would be based on purely rational argumentation, that would abstract "from all spatial and temporal conditions," and that would be applicable to any person, "merely because and insofar as he is (...) free and has practical reason." But from the time when the work first appeared Kant scholars have found many difficulties in the teaching that he presented. Many of them relate to the idea of permissive natural law that Kant introduced at a key point to his argument.In a previous, complementary article I discussed in detail various apparent aporias that arose in Kant's treatment of this concept and suggested that we might understand his problems better by setting them in a broader historical context than those considered in standard works like those of Reinhard Brandt and Wolfgang Kersting. 1 This is the theme that I want to explore further in the present paper.To sum up briefly some of the difficulties in the Doctrine of Right: A central problem for Kant was to explain how rightful possession of individual property could emerge from a hypothetical state of nature where everything was common to all, where everyone had a right to everything. His argument was grounded on a concept of freedom understood as "a pure rational concept." Kant maintained that every person had an innate right to freedom and from this he deduced a universal law of Right: "[S]o act externally that the free use of your choice can coexist with the freedom of everyone." 2 But the person who first seized for himself what had been common to all evidently did encroach on the freedom of others (their freedom to use the property that had been taken). [End Page 381]To address this problem Kant formulated a "postulate of practical reason" concerning property. Citing the Roman law doctrine of res nullius he argued that external things could in principle be acquired. 3 Then he restated the postulate as a permissive law that obliged others to respect the claim of a first occupant. "This postulate can be called a permissive law (lex permissiva) of practical reason which gives us an authorization... to put all others under an obligation, which they would not otherwise have...." 4 But to put others under an obligation is to encroach on their freedom, which would be a violation of the universal law of Right. For Kant, laws that could be discerned by reason alone without promulgation by a legislator, were understood to be natural laws. 5 The universal law of Right and the permissive law of practical reason were both laws of this kind. It seems therefore that natural law contradicted itself. It prohibited and permitted an action at the same time.Other difficulties arose as the argument proceeded. Kant repeatedly asserted that rightful possession must depend on consent expressed in "a collective general (common) and powerful will," "a will that is united originally and a priori"; 6 but he acknowledged that such a general will would not exist in a state of nature before the institution of civil society and that an act of original acquisition would necessarily proceed from a unilateral will. "But the will that a thing is to be mine... can be only unilateral." 7 And yet Kant also wrote, "By my unilateral choice I cannot bind another to refrain from using a thing, an obligation he would not otherwise have." 8 Kant never did explain how a permissive law, allowing a person to act unilaterally, could impose an obligation on others.In my earlier discussion of Kant's work I indicated that it might be fruitful to approach these difficulties by investigating some previous ways of using the language of permissive natural law, especially as it related to the origin of property rights. There is indeed a whole earlier tradition of thought to be considered. An investigation of this material... (shrink)

Some utterances of imperative clauses have directive force—they impose obligations. Others have permissive force—they extend permissions. The dominant view is that this difference in force is not accompanied by a difference in semantic content. Drawing on data involving free choice items in imperatives, I argue that the dominant view is incorrect.

The purpose of this paper is to consider the following question: To what extent is it permissible for a liberal democratic state to suppress the spread of illiberal ideas (including anti-democratic ideas)? I will discuss two approaches to this question. The first can be termed the clear and imminent danger approach, and the second the preventive approach. The clear and imminent danger approach implies that it is permissible for liberal states to suppress the spread of illiberal doctrines and ideas only (...) if they pose a clear and imminent danger to security and/or the stability of liberal democratic institutions. The preventive approach, which is the one that I will propose and defend, goes further than this: it implies that it can also be permissible for a liberal state to restrict the spread of illiberal doctrines and ideas in order to prevent certain extremist illiberal groups (which I will term offensive illiberal groups) from gaining increased popular and political support, and in order to prevent such groups from becoming significant and powerful political actors. However, the evaluation and choice of liberty-limiting suppressive measures should be guided and restricted by two principles or side-constraints: the significance principle and the least restrictive means principle. (shrink)

Liberty and Law examines a previously underappreciated theme in legal history―the idea of permissive natural law. The idea is mentioned only peripherally, if at all, in modern histories of natural law. Yet it engaged the attention of jurists, philosophers, and theologians over a long period and formed an integral part of their teachings. This ensured that natural law was not conceived of as merely a set of commands and prohibitions that restricted human conduct, but also as affirming a realm of (...) human freedom, understood as both freedom from subjection and freedom of choice. Freedom can be used in many ways, and throughout the whole period from 1100 to 1800 the idea of permissive natural law was deployed for various purposes in response to different problems that arose. It was frequently invoked to explain the origin of private property and the beginnings of civil government. Several kinds of permissive natural law were identified. Permission could be positive or negative, depending on whether it was specifically conceded by a legislator or only tacitly allowed. It could free from sin or merely remit some temporal punishment that was due. It could commend some conduct without commanding it or permit some evil without condoning it. Medieval canonists used the concept of permissive natural law to harmonize the discordant texts that they found in their sources; William of Ockham found it a powerful tool in his defense of Franciscan poverty against papal criticisms; for Richard Hooker it justified both the constitutional structure and the ritual practices of the Anglican church; John Selden used it to uphold the inviolability of contracts, most importantly the contract of government; Hugo Grotius made it a central theme in his treatment of the conduct permissible in waging war; in the eighteenth century Jean Barbeyrac and Jean-Jacques Burlamaqui associated the idea with the emerging doctrine of natural rights. In Liberty and Law, Tierney has presented us with a magisterial and provocative way of interpreting legal history. (shrink)

The ‘tobacco-free generation’ policy, which bans cigarette sales based on birth year, presents a bold public health initiative but raises significant ethical and practical concerns. As behaviours like drug use become legal and criminal penalties are reduced, singling out smoking for generational restriction appears inconsistent within an increasingly permissive society. Kniess1 critiques this approach for creating inequities by selectively limiting freedoms, conflicting with principles of fairness and adult autonomy. A more balanced public health strategy could involve uniform restrictions on (...) harmful substances or prioritising informed personal choice, supported by harm reduction and education to encourage healthier alternatives. The generational smoking ban targets specific birth cohorts, prohibiting tobacco sales to those born after a certain year. Unlike universal bans, it creates two distinct adult classes—those permitted to smoke and those who are not—resulting in an apparently arbitrary division. Critics, including Schmidt,2 point to the ethical inconsistency of restricting liberties for some while leaving others untouched. This policy design has been defended as a pragmatic compromise, aiming to protect future generations without infringing on the established habits of current smokers (Grill and Voigt).3 Kniess1 evaluates this selective restriction through relational egalitarianism which emphasises the importance of equal social relationships. The cut-off, …. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 62.2 (2001) 301-312 [Access article in PDF] Kant on Property: The Problem of Permissive Law Brian Tierney In a pathbreaking article published in 1982 Reinhold Brandt called attention to the significance of the concept of permissive natural law in Kant's political philosophy. Brandt noted that Kant's "rightful concept of practical reason" or "permissive law of practical reason" was of fundamental importance for understanding (...) the whole theory of the Rechtslehre, and he complained that the issue had been virtually ignored in the recent secondary literature. 1 Since then others have taken up the theme, but it remains relatively neglected in the vast modern literature on Kant. In the work of Brandt and in some other recent explorations of this question a primary concern has been to relate Kant's doctrine to other aspects of his critical theory. Brandt himself, for instance, compared the "provisional" and "peremptory" rights mentioned in the Doctrine of Right with the "problematic" and "assertoric" judgments of the Critique of Pure Reason. The problem that I want to consider is rather different. In the following study I want to consider primarily the internal structure of the Doctrine of Right and specifically to ask whether Kant's appeal to permissive natural law served a constructive purpose in the theory of property that he presented in that work or whether it was perhaps subversive of the argument that he developed. 2 This will require [End Page 301] some discussion of the other usages of the idea of permissive law that we find scattered in Kant's later writings. In pursuing such an inquiry we encounter various difficulties and apparent anomalies in Kant's teaching. I want finally to suggest that we might understand those difficulties better if we were to situate Kant's work in a broader historical context than those that have previously been considered, bearing in mind that the concept of permissive natural law had been discussed by jurists and political philosophers for several centuries before Kant took up the argument. Kant on Property When approaching Kant's Doctrine of Right it may be salutary to recall a remark of Mary Gregor, the translator of the work and a sympathetic reader of it. "Kant has never been accused of underestimating his readers," Gregor wrote, "but he seldom treats them so harshly." 3 The difficulty of the work is compounded by the fact that the text as we have it is apparently in a mutilated condition, with some passages transposed from their original contexts. Any reading of such a text will be open to dispute; but it seems necessary to attempt at least an outline of Kant's doctrine and to mention some of its complexities if we are to understand the function of permissive natural law in the argument presented.Kant's purpose was to formulate a doctrine of property based on reason alone, a doctrine in which "abstraction is made from all spatial and temporal conditions." 4 The principles he deduced were intended to apply to anyone "merely because and insofar as he is free and has practical reason." 5 The whole subsequent argument revolved around these concepts of practical reason and human freedom. Kant began by presenting some basic propositions and definitions. Obligation, he wrote, was "the necessity of a free action under a categorical imperative of reason." And an action was permitted or licit when it was not contrary to obligation. This freedom of action was called a moral faculty (facultas moralis). 6 According to Kant, the only innate right inhering in all persons was a right to freedom (defined as "independence from being coerced by another's [End Page 302] choice") insofar as this freedom could coexist with the freedom of all others. 7 A corresponding universal law of Right established the rule: "[S]o act externally that the free use of your choice can coexist with the freedom of everyone in accordance with a universal law." 8External laws imposed by another evidently did hinder one's freedom. Kant therefore held that a person was... (shrink)

This is a comprehensive study of the English word 'or', and the logical operators variously proposed to present its meaning. Although there are indisputably disjunctive uses of or in English, it is a mistake to suppose that logical disjunction represents its core meaning. 'Or' is descended from the Anglo-Saxon word meaning second, a form which survives in such expressions as "every other day." Its disjunctive uses arise through metalinguistic applications of an intermediate adverbial meaning which is conjunctive rather than disjunctive (...) in character. These conjunctive uses have puzzled philosophers and logicians, and have been discussed extensively under such headings as "free choice permission." This study examines the textbook myths that have clouded our understanding of how or and other "logical" vocabulary comes to have something approaching its logical meaning in natural languages. It considers the various historical conceptions of disjunction and its place in logic from the Stoics to the present day. (shrink)

I extend the previously given truth-maker semantics and logic for imperatives to deontic statements.

Deontic logic is standardly conceived as the logic of true statements about the existence of obligations and permissions. In his last writings on the subject, G. H. von Wright criticized this view of deontic logic, stressing the rationality of norm imposition as the proper foundation of deontic logic. The present paper is an attempt to advance such an account of deontic logic using the formal apparatus of update semantics and dynamic logic. That is, we first define norm systems and a (...) semantics of norm performatives as transformations of the norm system. Then a static modal logic for norm propositions is defined on that basis. In the course of this exposition we stress the performative nature of (i) free choice permission, (ii) the sealing legal principle and (iii) the social nature of permission. That is, (i) granting a disjunctive permission means granting permission for both disjuncts; (ii) non-prohibition does not entail permission, but the authority can declare that whatever he does not forbid is thereby permitted; and (iii) granting permission to one person means that all others are committed to not prevent the invocation of that permission. (shrink)

In this paper, we axiomatize the deontic logic in Fusco 2015, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make (...) explicit the restrictions Fusco’s account must place on free-choice inferences. They are also of independent interest, as they raise difficult questions about how to ‘lift’ a Kripke frame for a one- dimensional modal logic into two dimensions. (shrink)

In this thesis, I develop and investigate various novel semantic frameworks for deontic logic. Deontic logic concerns the logical aspects of normative reasoning. In particular, it concerns reasoning about what is required, allowed and forbidden. I focus on two main issues: free-choice reasoning and the role of norms in deontic logic. -/- Free-choice reasoning concerns permissions and obligations that offer choices between different actions. Such permissions and obligations are typically expressed by a disjunctive clause in the (...) scope of a deontic operator. For instance, the sentence "Jane may take an apple or a pear" intuitively offers Jane a choice between two permitted courses of action: she may take an apple, and she may take a pear. In the first part of the thesis, I develop semantic frameworks for deontic logic that account for free-choice reasoning. I show that the resulting logics avoid problems that arise for other logical accounts of free-choice reasoning. The main technical contributions are completeness results for axiomatizations of the different logics. -/- Semantic frameworks for deontic logic typically only talk about norms implicitly. In the second part of the thesis, I clarify the role of norms in deontic logic. I develop a formal model of normative systems where norms are represented explicitly. The model takes into account both the hierarchical structure of normative systems, and the function of norms to regulate agent behavior. I show how the model can be used to clarify issues in the study of normative systems. I also develop a norm-based semantics for deontic action logic based on the model. (shrink)

Stewart Shapiro has objected to the epistemicist theory of vagueness on grounds that it gives counterintuitive predictions about cases involving conditional obligation. This paper details a response on the epistemicist’s behalf. I first argue that Shapiro’s own presentation of the objection is unsuccessful as an argument against epistemicism. I then reconstruct and offer two alternative arguments inspired by Shapiro’s considerations, and argue that these fail too, given the information-sensitive nature of conditional obligations.

We present evidence that preschool children oftentimes understand disjunctive sentences as if they were conjunctive. The result holds for matrix disjunctions as well as disjunctions embedded under every. At the same time, there is evidence in the literature that children understand or as inclusive disjunction in downward-entailing contexts. We propose to explain this seemingly conflicting pattern of results by assuming that the child knows the inclusive disjunction semantics of or, and that the conjunctive inference is a scalar implicature. We make (...) two assumptions about implicature computation in the child: that children access only a proper subset of the adult alternatives, and that children possess the adult capacity to strengthen sentences with implicatures. As a consequence, children are expected to sometimes not compute any implicatures at all, but in other cases they are expected to compute an implicature that is different from the adult implicature. We argue that the child’s conjunctive strengthening of disjunctive sentences realizes the latter possibility: the adult infers that the conjunction is false but the child infers that the conjunction is true. This behaviour is predicted when our assumptions about child development are coupled with the assumption that a covert exhaustive operator is responsible for strengthening in both the child and the adult. Specifically, children’s conjunctive strengthening is predicted to follow from the same mechanism used by adults to compute conjunctive free choice implicatures in response to disjunctive permission sentences. We furthermore argue that this parallel between the child and the adult extends to disambiguation preferences. In particular, we present evidence that children prefer to strengthen disjunctions to conjunctions, in matrix and embedded positions ; this result mirrors previous findings that adults prefer to compute free choice, at the root and under every. We propose a disambiguation strategy that explains the preference for conjunctive strengthening – by both the child and the adult – even though there is no general preference for exhaustification. Specifically, we propose that the preference for a conjunctive strengthening follows from a pragmatic preference for a complete answer to the Question Under Discussion. (shrink)

Alexander Pruss’s Principle of Sufficient Reason states that every contingent true proposition has an explanation. Pruss thinks that he can plausibly maintain both his PSR and his account of libertarian free will. This is because his libertarianism has it that contingent true propositions reporting free choices are self-explanatory. But I don’t think Pruss can plausibly maintain both his PSR and libertarianism without a rift occurring in one or the other. Similar to the old luck/randomness objection, I contend that (...) Pruss’s libertarianism is susceptible to what I call “the inexplicability objection”, which attempts to show that agents’ free choices involve contingent brute facts. Pruss may be able to partially explain a proposition such that Jones freely chose A for reason R, but he cannot adequately explain a contrastive proposition such as that Jones freely chose A for R rather than B for R*. The result is that either PSR is too explanatorily permissive for libertarianism, or libertarianism is too explanatorily impermissive to satisfy PSR. After considering what I take to be Pruss’s best response to the inexplicability objection, I conclude that his attempt to reconcile PSR and libertarianism is unsuccessful. (shrink)

I demonstrate that a set of well-known objections defeat John Stuart Mill’s plural voting proposal, but do not defeat plural voting as such. I adopt the following as a working definition of political equality: a voting system is egalitarian if and only if departures from a baseline of equally weighted votes are normatively permissible. I develop an alternative proposal, called procedural plural voting, which allocates plural votes procedurally, via the free choices of the electorate, rather than according to a (...) substantive standard of competence. The alternative avoids standards objections to Mill’s proposal. Moreover, reflection on the alternative plural voting scheme disrupts our intuitions about what counts as an egalitarian voting system. Undue emphasis on Mill’s version of plural voting obscures three important reasons to reject plural voting in favor of strictly egalitarian voting systems: that certain choices that generate inequalities of political power are morally impermissible; that even... (shrink)

Can a state seek to promote a thick conception of the good (such as fostering a kind of meaning or excellence in people's lives) without treating its citizens disrespectfully? The predominant answer among friends of the principle of respect for persons is "no." The most powerful Kantian objection to non-liberalism or perfectionism is the claim that citizens who do not share the state's conception of the good would be wronged in that the state would treat a certain way of life (...) as more important than its citizens' capacities to choose their own ways of life. I sketch a new non-liberal principle for political decision-making and show that, unlike other forms of non-liberalism, it is not vulnerable to this major respect-based objection. 'Open perfectionism' is the view that state enforcement of a conception of the good favoured by the majority is permissible if and only if the minority has the substantial ability to avoid the territory in which the conception of the good is enforced. I argue that it is a realistic possibility for some non-liberal states to provide a fair opportunity to their dissenters to avoid the imposition of non-liberal policies and that the Kantian liberal's central complaint would not apply to non-liberal states if they were to provide such an opportunity. The principle of respect for persons grounds the most influential argument for liberalism, and so showing that open perfectionism is consistent with liberal intuitions about free choice promises to help to transcend the long-standing conflict between non-liberalism and Kantian liberalism. (shrink)

J. L. Mackie distinguished himself in twentieth-century philosophy by presenting an important objection to the traditional free will explanation for why God would allow evil: If evil is due to the free choice of creatures, why wouldn’t an omnipotent God simply create free creatures who would choose better? Alvin Plantinga, in turn, distinguished himself with his critique of Mackie. Plantinga’s main point is that Mackie made a mistake in assuming that it is within the power of (...) omnipotence fully to create just any possible world. However, Mackie made a second questionable assumption which Plantinga does not critique, and which I aim to clarify in this article. Mackie assumes that a God, as construed by classical theistic belief, who could create either of two people—one of whom would freely choose right and the other of whom would freely choose wrong—must create the one who would freely choose right. This assumption motivates Plantinga’s own account of trans-world depravity, which suggests that every free creature God might have created would have sinned had God created them. I consider Plantinga’s suggestion highly improbable. More importantly, under Mackie’s assumption, if there is at least one possible creature who would choose rightly, then there is no possibility of God ever allowing any other creature to sin, which would seem to be incompatible with their having any free will. -/- This version of the paper does have the same pagination as the published version. Permission has been granted from the Editor of Philosophia Christi to upload this contribution according to Philosophy Documentation Center terms of use. Learn more about the Journal by going to wwwepsociety. org/philchristi. (shrink)

Some have claimed that moral bioenhancement undermines freedom and authenticity – thereby making moral bioenhancement problematic or undesirable – whereas others have said that moral bioenhancement does not undermine freedom and authenticity – thereby salvaging its ethical permissibility. These debates are characterized by a couple of features. First, a positive relationship is assumed to hold between these agency-related concepts and the ethical permissibility of moral bioenhancement. Second, these debates are centered around individualistic conceptions of agency, like free choice (...) and authenticity, which hail from an atomistic tradition of autonomy. My view is that emphasizing individualistic conceptions of autonomy do not provide particularly strong foundations on which to argue about the issue of the permissibility of moral bioenhancement. This is because individualistic autonomy is not the kind of agency-related consideration we ought to value. Instead, I propose that we investigate the relationship between moral bioenhancement and a more relational kind of autonomy. Focusing on this latter relationship, on my view, clarifies the potential for moral bioenhancement to support or enhance people’s autonomy. (shrink)

The challenge in maintaining patient autonomy regarding medical decision-making and confidentiality lies not only in control over information transferred to and regarding patients, but in the ambiguity of autonomy itself. post-modernity is characterized by the recognition of not just numerous accounts of autonomy, but by the inability in a principled fashion to select one as canonical. Autonomy is understood as a good, a right-making condition, and an element of human flourishing. In each case, it can have a different content, depending (...) in part on whether it is given a nomological or a volitional construal. Different accounts of autonomy can lead to strikingly different understandings of appropriate behavior, including the argument that one ought on behalf of autonomy to liberate individuals from the sense of autonomy they themselves affirm. In the face of competing accounts of moral probity, autonomy in a secular morality and bioethics must by default be understood in terms of the permission of patients, which makes space for numerous moral accounts and different communal construals of free choice, which in turn will legitimate different practices of informing patients and maintaining confidentiality. (shrink)

A just society must provide a range of goods: police protection, education, medical care, legal representation, to name only a few. But how should a just society organize production of these goods? To ask this question is to broach the topic of productive justice. We need a theory of this topic in order to explain the content of the ideal of social justice. A certain theory of productive justice is now widely taken for granted. It has the following commitments. Every (...) able beneficiary of just institutions owes some productive contribution. There is no free-loading on just institutions. Therefore, income support from the state should normally be conditioned on working. Those who would be idle must find a way to support themselves. Beyond this general requirement, however, each citizen gets to decide his own contribution, because each citizen has a right to choose his occupation. The state may not assign occupations or specify anyone’s place of work. Nor may it direct anyone to work longer than he prefers, provided he is not loafing on public support. Instead, labor must be allocated through a market, where everyone is free to decline any given job offer. The labor market thus fixes the possibilities of just production: the socioeconomic goals that a society may justly accomplish are limited to those that can be pursued in or alongside a labor market. This theory is now widely accepted. I argue that its central elements are importantly mistaken. Income support from the state should not normally be conditioned on working. To think this is to misunderstand the nature of each citizen’s contributory duty. Nor is it the case that a just state may never assign urgent jobs or otherwise restrict occupational decisions. To think this is to misunderstand several of the basic rights and liberties of citizenship. In my dissertation, I defend a different theory, with three elements. The first is a theory of every citizen’s right to free choice of occupation. The second is a theory of the scope and basis of the economic duties of modern citizenship. The third is a theory of the permissibility conditions of restricting labor market liberties. Together these three elements comprise a new theory of productive justice. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:A Báñezian Grounding for Counterfactuals of Creaturely Freedom:A Response to James Dominic Rooney, O.P.Taylor Patrick O'NeillIntroductionIn a recently published article, James Rooney, O.P., critiques a fundamental aspect of Réginald Garrigou-Lagrange's articulation of the relation between divine causality and creaturely freedom, which I also defended in my recent book.1 Specifically, Rooney argues that at least some of what Garrigou-Lagrange holds is rooted in a Molinist rather than Báñezian understanding of (...) human freedom and divine causality. The aim of this paper is to articulate the basic objections raised by Rooney and to show why the objections fail. We shall not provide an exegetical or textual analysis of Báñez himself, but rather will establish a speculative grounding and agreement between basic principles of Báñezianism and Garrigou-Lagrange's articulation, ultimately affirming the necessity of positing creaturely counterfactuals for Báñezianism.Rooney makes two distinct (but related) objections to Garrigou-Lagrange's treatment. First, he claims that Báñezianism as a system rejects the notion of "alternative possibilities" when considering the creaturely will and its relation to divine causality, especially in regard to physical premotion. I shall argue that this is incorrect, and indeed misses one of the constitutive elements of Báñezianism—in fact the very grounding for its claim that infallibly moved actions remain free. Second, Rooney claims that Garrigou-Lagrange posits [End Page 651] a circular argument regarding the reality of sin. Garrigou-Lagrange's argument would be circular if it corresponded to a single order of causality or if counterfactuals of creaturely freedom were incompatible with Báñezianism. But we shall argue that they are not. As such, the argument is not only not circular, but rather elucidates a constitutive element of the Báñezian system, thereby refuting the objection. In short, Garrigou-Lagrange's articulation of Báñezian premotion admits of counterfactuals without relying upon divine passivity, and it remains internally coherent.Rooney's Critique of the So-called "Garrigou Manoeuvre"Rooney begins the essay by outlining a few of the major differences between a Molinist and Báñezian view of human freedom. Rooney's argument is that there is a potential "grounding problem" for Báñezianism, or at least for Báñezianism as articulated by Garrigou-Lagrange. As Rooney notes, Báñezianism posits that God's efficacious grace is ontologically antecedent to our good actions (and his permission of sin is ontologically antecedent to our sin). But how does this position retain free choice, if divine causation or permission is infallibly determinative and antecedent to creaturely choice? Rooney says:The Banezians need to account for how it is possible that a creature can do otherwise in the special case when God moves the creature to act through grace. Specifically, what grounds the truth of the claim that, even when God determines human free choices from eternity such that a human being has only one course of action open to them, those human beings are morally responsible for their actions? If the Banezian view entails that human beings, acting under grace, strictly lack any ability to do otherwise, then the view is incoherent.2As such, we can see that "the ability to do otherwise" is an essential, grounding element for defending Báñezianism against radically compatibilist or double-predestinarian views of human freedom, which have been condemned by the Church at Trent and in subsequent condemnations of Jansenism.3 Of course, the phrase "ability to do otherwise" is metaphysically [End Page 652] ambiguous, which Rooney admits. Various articulations of a more metaphysically precise grounding for the preservation of free choice under the influence of efficacious grace (or while efficacious grace is withheld) have been put forth, and Rooney focuses on a particular "strategy" which he associates with Garrigou-Lagrange and myself.4 He terms this strategy the "Garrigou Manoeuvre."Rooney notes that "Garrigou-Lagrange claims that there is something in virtue of which God denies someone efficacious grace, and that this is in the control of the sinner."5 He quotes Garrigou-Lagrange as saying that a person "is deprived of efficacious grace because by sinning he resists sufficient grace.... [Therefore,] God... (shrink)

Demands for improved access to innovative therapies have prompted a discourse that claims patients have rights to access treatments that may be of benefit, even if evidence that demonstrates safety and efficacy is lacking. This rights-based discourse is grounded in accounts of autonomy and assertions claiming that the state ought to not interfere with the free choices of patients and clinical decision-making. In this essay, we scrutinise these arguments to defend the ethical and legal permissibility of interference in contexts (...) where the uncertainty of benefit and potential for harm creates vulnerabilities that undermine patient capacity for self-determination. In support of this argument, we draw on two theoretical approaches to explore the limits of autonomy in innovative contexts and analyse the legal bases of the rights-based discourse. We then apply this analysis to the case example of stem cell transplantation as an innovative treatment for multiple sclerosis. (shrink)

Free Choice is the principle that possibly p or q implies and is implied by possibly p and possibly q. A variety of recent attempts to validate Free Choice rely on a nonclassical semantics for disjunction, where the meaning of p or q is not a set of possible worlds. This paper begins with a battery of impossibility results, showing that some kind of nonclassical semantics for disjunction is required in order to validate Free (...) class='Hi'>Choice. The paper then provides a positive account of Free Choice, by identifying a family of dynamic semantics for disjunction that can validate the inference. On all such theories, the meaning of p or q has two parts. First, p or q requires that our information is consistent with each of p and q. Second, p or q narrows down our information by eliminating some worlds. It turns out that this second component of or is well behaved: there is a strongest such meaning that p or q can express, consistent with validating Free Choice. The strongest such meaning is the classical one, on which p or q eliminates any world where both p and q are false. In this way, the classical meaning of disjunction turns out to be intimately related to the validity of Free Choice. (shrink)

It is well known that systems of action deontic logic emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law are subject to paradoxes. In general, paradoxes are acknowledged as such if we have intuitions telling us that things should be different. The aim of this paper is to introduce a paradox-free deontic action system by (i) identifying the basic intuitions leading to the emergence of (...) the paradoxes and (ii) exploiting these intuitions in order to develop a consistent deontic framework, where it can be shown why some phenomena seem to be paradoxical and why they are not so if interpreted in a correct way. (shrink)

This paper presents experimental data relevant to understanding the modal free choice effect (Kamp, 1973) when there are more than two disjuncts under the relevant modal operator. The results suggest that speakers' willingness to draw free choice inferences is correlated with whether the embedded disjuncts are *modally separable*, in a sense brought into focus by considering cases within which the relevant propositions fail to be pairwise redundant but are redundant as a set.

This paper discusses free-choice like effects in generics. Just as Jane may drink coffee or tea can be used to convey Jane may drink coffee and Jane may drink tea (she is free to choose ), some generics with disjunctive predicates can be used to convey conjunctions of simpler generics: elephants live in Africa or Asia can be used to convey elephants live in Africa and elephants live in Asia. Investigating these logically slightly more complex generics and (...) especially the free-choice like effects throws light on both the semantics of generics and the interaction between world knowledge and the interpretive options generics offer. This paper presents a package of semantic and pragmatic hypotheses to account for the data, including why the effect is absent in the superficially logically similar elephants live in Africa or give birth to live young. (shrink)

The Free Choice effect—whereby \\) seems to entail both \ and \—has traditionally been characterized as a phenomenon affecting the deontic modal ‘may’. This paper presents an extension of the semantic account of free choice defended by Fusco to the agentive modal ‘can’, the ‘can’ which, intuitively, describes an agent’s powers. On this account, free choice is a nonspecific de re phenomenon that—unlike typical cases—affects disjunction. I begin by sketching a model of inexact ability, (...) which grounds a modal approach to agency in a Williamson -style margin of error. A classical propositional semantics combined with this framework can reflect the intuitions highlighted by Kenny ’s dartboard cases, as well as the counterexamples to simple conditional views recently discussed by Mandelkern et al.. In Section 3, I turn to an independently motivated actual-world-sensitive account of disjunction, and show how it extends free choice inferences into an object language for propositional modal logic. (shrink)