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)

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)

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 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)

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)

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)

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)

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)

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)

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)

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 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)

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)

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)

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)

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)

"Translated with an uncanny sense for the overall point of Augustine's doctrine. In short, a very good translation. The Introduction is admirably clear." --Paul Vincent Spade, Indiana University.

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)

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)

This paper will be concerned with the conjunctive interpretation of a family of disjunctive constructions. The relevant conjunctive interpretation, sometimes referred to as a “free choice effect,” (FC) is attested when a disjunctive sentence is embedded under an existential modal operator. I will provide evidence that the relevant generalization extends (with some caveats) to all constructions in which a disjunctive sentence appears under the scope of an existential quantifier, as well as to seemingly unrelated constructions in which conjunction (...) appears under the scope of negation and a universal quantifier. (shrink)

In medical practice, the doctrine of informed consent is generally understood to have priority over the medical practitioner’s duty of care to her patient. A common consequentialist argument for the prioritisation of informed consent above the duty of care involves the claim that respect for a patient’s free choice is the best way of protecting that patient’s best interests; since the patient has a special expertise over her values and preferences regarding non-medical goods she is ideally placed to (...) make a decision that will protect her interests. In this paper I argue against two consequentialist justifications for a blanket prioritisation of informed consent over the duty of care by considering cases in which patients have imperfect access to their overall best interests. Furthermore, I argue that there are cases where the mere presentation of choice under the doctrine of informed consent is detrimental to patient best interests. I end the paper by considering more nuanced approaches to resolving the conflict between informed consent and the duty of care and consider the option of permitting patients to waive informed consent. (shrink)

This paper examines the libertarian account of free choice advanced by Robert Kane in his recent book, The Significance of Free Will. First a rather simple libertarian view is considered, and an objection is raised against it the view fails to provide for any greater degree of agent-control than what could be available in a deterministic world. The basic differences between this simple view and Kane's account are the requirements, on the latter, of efforts of will and (...) of an agent's wanting more to do a certain thing than he wants to do anything else. It is argued here that neither of these features yields any improvement over the simple libertarian view; neither helps to meet the objection that was raised against the simple view. Finally, it is suggested that a modest defense of that view might be available. (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)

A disjunctive sentence like Olivia took Logic or Algebra conveys that Olivia didn’t take both classes and that the speaker doesn’t know which of the two classes she took. The corresponding sentence with a possibility modal, Olivia can take Logic or Algebra, conveys instead that she can take Logic and that she can take Algebra. These exclusivity, ignorance and free choice inferences are argued by many to be scalar implicatures. Recent work has looked at cases in which exclusivity (...) and ignorance appear to be computed instead at the presupposition level, independently from the assertion. On the basis of those data, Spector and Sudo :473–517, 2017) have argued for a hybrid account relying on a pragmatic principle for deriving implicatures in the presupposition. In this paper, we observe that a sentence like Noah is unaware that Olivia can take Logic or Algebra has a reading on which free choice appears in the presupposition, but not in the assertion, and we show that deriving this reading is challenging on Spector and Sudo’s hybrid account. Following the dialectic in Fox, we argue against a pragmatic approach to presupposition-based implicatures on the ground that it is not able to account for presupposed free choice. In addition, we raise a novel challenge for Spector and Sudo’s account coming from the conflicting presupposed ignorance triggered by sentences like #Noah is unaware that I have a son or a daughter, which is infelicitous even if it’s not common knowledge whether the speaker has a son or a daughter. More generally, our data reveals a systematic parallelism between the assertion and presupposition levels in terms of exclusivity, ignorance, and free choice. We argue that such parallels call for a unified analysis and we sketch how a grammatical theory of implicatures where meaning strengthening operates in a similar way at both levels :31–57, 2012; Magri in A theory of individual-level predicates based on blind mandatory scalar implicatures, MIT dissertation, 2009; Marty in Implicatures in the DP domain, MIT dissertation, 2017) can account for such parallels. (shrink)

We propose a modification of the exhaustivity operator from Fox Presupposition and implicature in compositional semantics, Palgrave Macmillan, London, pp 71–120, 2007. https://doi.org/10.1057/9780230210752_4) that on top of negating all the Innocently Excludable alternatives affirms all the ‘Innocently Includable’ ones. The main result of supplementing the notion of Innocent Exclusion with that of Innocent Inclusion is that it allows the exhaustivity operator to identify cells in the partition induced by the set of alternatives whenever possible. We argue for this property of (...) ‘cell identification’ based on the simplification of disjunctive antecedents and the effects on free choice that arise as the result of the introduction of universal quantifiers. We further argue for our proposal based on the interaction of only with free choice disjunction. (shrink)

This paper contributes to the semantic typology of dependent indefinites, by accounting for the distribution and interpretation of the Romanian indefinite vreun. It is shown that its occurrences are restricted to negative polarity and a subset of modal contexts. More specifically, the study of its behavior in intensional environments reveals that vreun is systematically incompatible with non-epistemic operators, a restriction we capture by proposing a novel empirical generalization (‘the epistemic constraint’). To account for the observed pattern, we adopt the unitary (...) approach to polarity in Chierchia (Logic in Grammar: polarity, free choice and intervention, 2013a; in: Fălăuş (ed.) Alternatives in semantics, 2013b) and derive the properties of vreun from its obligatory association with alternatives. Its distributional restrictions are argued to follow from the interplay between the types of alternatives it activates (scalar and subdomain alternatives), the way these alternatives are factored into meaning (via an independently motivated mechanism of exhaustification) and the lexical semantics of the operators in the context of occurrence. We propose that the epistemic constraint arises from the lexicalization of an inference (anti-total variation) that non-epistemic operators can never satisfy. (shrink)

. Fresh evidence from Free Choice Items (FCIs) in French question the current perception of the class. The role of some standard distinctions found in the literature is weakened or put in a new perspective. The distinction between universal and existential is no longer an intrinsic property of FCIs. Similarly, the opposition between variation-based vs intension-based analyses is relativized. We show that the regime of free choiceness can be characterized by an abstract constraint, that we call Non-Individuation (...) (NI), and which can be satisfied in different ways that match current distinctions. NI says that the information conveyed by a sentence containing a FCI should not be reducible to a referential situation, that is a situation in which particular individuals satisfy the sentence in the current world. The widely used resource of modal variation becomes a particular scenario of free-choiceness, not its essence. In fact, we show that under certain conditions, FCIs can occur in episodic, non-modal sentences, a fact that NI can accommodate. We also discuss more fine-grained aspects of the semantics of FCIs, such as their emotional colour. (. . .) the tripod fell spontaneously, because, though it stood on its feet so as to serve for a seat, it did not fall so as to serve for a seat. Aristotle, Physics II,6. (shrink)

Sentences such as Olivia can take Logic or Algebra (‘♢∨-sentences’) are typically interpreted as entailing that Olivia can take Logic and can take Algebra. Given a standard semantics for modals and disjunction, those ‘Free choice’ (FC) readings are not predicted from the surface form of ♢∨-sentences. Yet the standard semantics is appropriate for the ‘double prohibition’ reading typically assigned to ¬♢∨-sentences like Olivia can’t take Logic or Algebra. Several extant approaches to FC can account for those two cases, (...) but face challenges when ♢∨, ¬♢∨ and related sentences appear embedded in certain environments. In this paper, we present a novel account of FC that builds on a ‘grammatical’ theory of scalar implicatures — proposed by Bassi et al. (2021) and Del Pinal (2021) — according to which covert exhaustification is a presupposition trigger such that the prejacent forms the assertive content while any excludable or includable alternatives are incorporated at the non-at issue, presuppositional level. Applied to ♢∨, ¬♢∨, and similar sentences, ‘presuppositional exhaustification’ predicts that their default interpretations have an assertive component (roughly, the classical interpretation of the prejacent) and a homogeneity presupposition which projects in standard ways. Those predictions, we then show, support a uniform account of the puzzling behavior of ♢∨, ¬♢∨, and related sentences when embedded under (negative) factives (Marty & Romoli 2020), disjunctions (Romoli & Santorio 2019), and in the scope of universal, existential (Bar-Lev & Fox 2020) and non-monotonic quantifiers (Gotzner et al. 2020). (shrink)

This paper sketches a way of supplementing classical mathematics with a motivation for a Brouwerian theory of free choice sequences. The idea is that time is unending, i.e. that one can never come to an end of it, but also indeterminate, so that in a branching time model only one branch represents the ‘actual’ one. The branching can be random or subject to various restrictions imposed by the creating subject. The fact that the underlying mathematics is classical makes (...) such perhaps delicate issues as the fan theorem no longer problematic. On this model, only intuitionistic logic applies to the Brouwerian free choice sequences, and there it applies not because of any skepticism about classical mathematics, but because there is no ‘end of time’ from the standpoint of which everything about the sequences can be decided. (shrink)

There are two inspirations for the theory presented. One is the Kantian idea that a free choice affects a deterministic sequence of events globally rather than just locally. The second is the Leibnizian idea that God chooses for actuality the possible world he deems best. But instead of God choosing, suppose free agents collectively do. Let actuality be an office which deterministic possible worlds are voted in and not of. In this way free choice can (...) change things even if every event is fully governed by deterministic laws: free choice substitutes one deterministic world for another. One way to look at the actual world on this theory is as a patchwork of segments of possible worlds. This gives the theory two advantages over familiar compatibilisms: it explains how the future is unsettled until chosen, and it allows that free choices are spontaneous. (shrink)

This article examines Aquinas’s theory of free choice and moral responsibility throughout his De malo and provides a careful analysis of question 6 “on human choice.” We argue that Aquinas here proposes an account of free choice as incompatible with determinism. We also show briefly that Aquinas’s account of the fall of the angels in the De malo confirms our interpretation.

This paper deals with the interpretation and distribution of universal Free Choice (FC) items, such as English FC any or Spanish cualquiera. Crosslinguistically, universal FC items can be characterized as follows. First, they have a restricted distribution. Second, they express freedom of choice: the sentence You can take any card conveys the information that the addressee is free to pick whichever card she chooses. Under standard assumptions, the truth conditions of sentences like You can take any (...) card are taken to be captured by formalizations in which a universal quantifier ranging over individuals has wide scope over the possibility modal. The crucial observation that informs the account in this paper is that this type of formalization cannot capture the freedom of choice component. I will argue that in order to derive the right interaction between possibility modals and FC items, we need to add an exclusiveness condition to the standard wide scope paraphrases. The same proposal that guarantees freedom of choice will automatically account for the distribution restrictions of FC items. The formal implementation of this proposal is cast in the Hamblin semantics proposed in Kratzer and Shimoyama (Indeterminate phrases: The view from Japanese, 2002). (shrink)

In a recent issue ofSophia Joel Tierno contends that free will theodicies are fundamentally flawed insofar as they claim to provide an adequate explanation for God’s permission of moral evil. Free will, according to Tierno, only accounts for our ability to make certain choices that issue in evil, but fails to account for the fact that we often do make such choices. However, the argument developed by Tierno, despite its initial appeal, embodies an important misunderstanding of the (...) nature of free will theodicies and in particular the libertarian conception of human freedom customarily employed by these theodicies. (shrink)

I extend theories of nonmonotonic reasoning to account for reasons allowing free choice. My approach works with a wide variety of approaches to nonmonotonic reasoning and explains the connection between reasons for kinds of action and reasons for actions or subkinds falling under them. I use an Anderson–Kanger reduction of reason statements, identifying key principles in the logic of reasons.

The masked priming paradigm has been extensively used to investigate the indirect impacts of unconscious stimuli on conscious behaviors, and the congruency effect of priming on free choices has gained increasing attention. Free choices allow participants to voluntarily choose a response from multiple options during each trial. While repeated practice is known to increase priming effects in subliminal visual tasks, whether practice increases the priming effect of free choices in the masked priming paradigm is unclear. And it (...) is also not clear how the proportions of free choice and forced choice trials in one block will affect the free choice masked priming effect. The present study applied repeated practice in the masked priming paradigm and found that after training, the participants were more likely to be influenced by masked primes during free choice, but this training process did not alter the visibility of masked stimuli. In addition, this study revealed that when the proportions of free choice and forced choice trials were equal during the training stage, this enhanced effect by practice was the strongest. These results indicated that practice could enhance masked stimulus processing in free-choice, and that the learning effect may mainly be derived from the early selection and integrated processing of masked stimuli. (shrink)