Some authors have called into question the normativity of logic, using as an argument that the bridge principles for logical normativity (MacFarlane, In what sense (in any) is logic normative for thought, 2004 )? are just by-products of general epistemic principles for belief. In this paper, I discuss that suggestion from a formal point of view. I show that some important bridge principles can be derived from usual norms for belief. I also describe some possible ways to block this derivation (...) by modifying the epistemic norms or weakening the bridge principles. Finally, I discuss different philosophical interpretations of these results. (shrink)

Contrastivism about some concept says that the concept is relativized to sets of alternatives. Relative to some alternatives, the concept may apply, but relative to others, it may not. This article explores contrastivism about the central normative concepts of reasons and ought. Contrastivism about reasons says that a consideration may be a reason for an action A rather than one alternative, B, but may not be a reason for A rather than some other alternative, C. Likewise, contrastivism about ought says (...) that it might be that you ought to perform action A rather than action B, while it is not the case that you ought to perform A rather than some other alternative, C. It explores the shape and motivations for, and the relationship between, these contrastivist theories. (shrink)

A thorny question surrounding the meaning of ought concerns a felt distinction between deontic uses of ought that seem to evaluate a state of affairs versus those that seem to describe a requirement or obligation to perform an action, as in and, respectively. There ought not be childhood death and disease. You ought to keep that promise. Various accounts have been offered to explain the contrast between “agentive” and “non-agentive” ought sentences. One such account is the Agency-in-the-Prejacent theory, which traces (...) the difference to a particular kind of ambiguity in the prejacent. This theory has been criticized as linguistically unviable. Indeed, I level a few novel complaints against AIP myself in the present paper. But AIP has a kernel of genuine insight which allows us to explain the contrast—that the distinction between agentive and non-agentive ought sentences owes in part to the way natural language encodes information about agency. I develop this idea into a novel account that, like AIP, traces the contrast to an ambiguity in the complement of the modal. However, according to the view I propose, the Coercion View, a linguistically-motivated coercion operation produces the necessary grammatical conditions for agentive ought, which in turn allow a kind of variadic function operator in the style of to produce the semantic effect we see on display in agentive readings of ought. Having explained the mechanism by which we get this structure, I show that it corroborates some of the central intuitions underwriting agentive ought. I submit that the Coercion View offers an explanation of agentive ought to take at least as seriously as any of its competitors. (shrink)

One of the best known approaches to the logic of agency are the ‘stit’ logics. Often, it is not the actions of an individual agent that bring about a certain outcome but the joint actions of a set of agents, collectively. Collective agency has received comparatively little attention in ‘stit’. The paper maps out several different forms, several different senses in which a particular set of agents, collectively, can be said to bring about a certain outcome, and examines how these (...) forms can be expressed in ‘stit’ and stit-like logics. The outcome that is brought about may be unintentional, and perhaps even accidental; the account deliberately ignores aspects such as joint intention, communication between agents, awareness of other agents’ intentions and capabilities, even the awareness of another agent’s existence. The aim is to investigate what can be said about collective agency when all such considerations are ignored, besides mere consequences of joint actions. The account will be related to the ‘strictly stit’ of Belnap and Perloff, 25–48 1993) and their suggestions concerning ‘inessential members’ and ‘mere bystanders’. We will adjust some of those conjectures and distinguish further between ‘potentially contributing bystanders’ and ‘impotent bystanders’. (shrink)

According to a naïve view sometimes apparent in the writings of moral philosophers, ‘ought’ often expresses a relation between agents and actions – the relation that obtains between an agent and an action when that action is what that agent ought to do. It is not part of this naïve view that ‘ought’ always expresses this relation – on the contrary, adherents of the naïve view are happy to allow that ‘ought’ also has an epistemic sense, on which it means, (...) roughly, that some proposition is likely to be the case, and adherents of the naïve view are also typically happy to allow that ‘ought’ also has an evaluative sense, on which it means, roughly, that were things ideal, some proposition would be the case.1 What is important to the naïve view is not that these other senses of ‘ought’ do not exist, but rather that they are not exhaustive – for what they leave out, is the important deliberative sense of ‘ought’, which is the central subject of moral inquiry about what we ought to do and why – and it is this deliberative sense of ‘ought’ which the naïve view understands to express a relation between agents and actions.2 In contrast, logically and linguistically sophisticated philosophers – with a few notable exceptions3 – have rejected this naïve view. According to a dominant perspective in the interpretation of deontic logic and in linguistic semantics, for example, articulated by Roderick Chisholm (1964) and Bernard Williams (1981) in philosophy and in the dominant paradigm in linguistic semantics as articulated in particular by.. (shrink)

It is argued that claims about personal obligation (of the form "s ought to 0") cannot be reduced to claims about impersonal obligation (of the form "it ought to be the case that p"). The most common attempts at such a reduction are shown to have unacceptable implications in cases involving a plurality of agents. It is then argued that similar problems will face any attempt to reduce personal obligation to impersonal obligation.

The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name. It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation, the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology, which provides (...) a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon. The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online. (shrink)

The Moral Law is fulfilled iff everything that ought to be the case is the case, and The Good is realised in a possible world w at a time t iff w is deontically accessible from w at t. In this paper, I will introduce a set of temporal modal deontic systems with propositional quantifiers that can be used to prove some interesting theorems about The Moral Law and The Good. First, I will describe a set of systems without any (...) propositional quantifiers. Then, I will show how these systems can be extended by a couple of propositional quantifiers. I will use a kind of TxW semantics to describe the systems semantically and semantic tableaux to describe them syntactically. Every system will include a constant · that stands for The Good. ‘·’ is read as ‘The Good is realised’. All systems that contain the propositional quantifiers will also include a constant '*' that stands for The Moral Law. '*' is read as ‘The Moral Law is fulfilled’. I will prove that all systems (without the propositional quantifiers) are sound and complete with respect to their semantics and that all systems (including the extended systems) are sound with respect to their semantics. It is left as an open question whether or not the extended systems are complete. (shrink)

In this paper, I will discuss some examples of the so-called contrary-to-duty paradox, a well-known puzzle in deontic logic. A contrary-to-duty obligation is an obligation telling us what ought to be the case if something forbidden is true, for example: ‘If she is guilty, she should confess’. Contrary-to-duty obligations are important in our moral and legal thinking. Therefore, we want to be able to find an adequate symbolisation of such obligations in some logical system, a task that has turned out (...) to be difficult. This is shown by the so-called contrary-to-duty paradox. I will investigate and evaluate one kind of solution to this problem that has been suggested in the literature, which I will call the ‘counterfactual solution’. I will use some recent systems that combine not only counterfactual logic and deontic logic, but also temporal logic, in my analysis of the paradox. I will argue that the counterfactual solution has many attractive features and that it can give a fairly satisfactory answer to some examples of the contrary-to-duty paradox, but that it nevertheless has some serious problems. The conclusion is that, notwithstanding the many attractive features of the solution, there seem to be other approaches to the paradox that are more promising. (shrink)

Hamblin's Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated with a basic (...) tense logic captures intuitions of the Hamblinian model of imperatives. The logic implements a direct mapping of each of Hamblin's key concepts: strategies, partial strategies and wholehearted satisfaction. (shrink)

Hamblin’s Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated with a basic (...) tense logic captures intuitions of the Hamblinian model of imperatives. The logic implements a direct mapping of each of Hamblin’s key concepts: strategies, partial strategies and wholehearted satisfaction. (shrink)

Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move (...) simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality. (shrink)

Many people seem to share some version of what has been called the “intuition of neutrality” aboutcreating new people, which, roughly, says that there exists a certain range of levels of well-beingsuch that creating people within this range is, in itself, morally neutral, but creating people with alevel of well-being outside this range is not morally neutral. In this paper, I will discuss differentinterpretations of this intuition, and specifically distinguish between what I will call counterfactualinterpretations and Do-interpretations of the intuition. (...) I will argue that it is hard to interpret theintuition in a way that does not give rise to antinatalist moral reasons, i.e. reasons favoring an emptyfuture population, when it comes to choices of social policy. In particular, this holds if we assume aconception of relevant outcomes of actions reflecting consequentialist moral intuitions. In the end, I will formulate a normative principle of welfare promotion which I argue respects the most plausiblecounterfactual version of the neutrality intuition. (shrink)

This paper presents proofs of completeness and decidability of a non-temporal fragment of an Xstit logic. This shows a distinction between the non-temporal fragments of Xstit logic and regular stit logic since the latter is undecidable. The proof of decidability is via the finite model property. The finite model property is shown to hold by constructing a filtration. However, the set that is used to filter the models isn’t simply closed under subformulas, it has more complex closure conditions. The filtration (...) set is akin to the Fischer–Ladner closure of a set used to show completeness and decidability of propositional dynamic logic. (shrink)

No single moral theory can instruct us as to whether and to what extent we are confronted with legal loopholes, e.g. whether or not new legal rules should be added to the system in the criminal law field. This question on the primary rules of the law appears crucial for today’s debate on roboethics and still, goes beyond the expertise of robo-ethicists. On the other hand, attention should be drawn to the secondary rules of the law: The unpredictability of robotic (...) behaviour and the lack of data on the probability of events, their consequences and costs, make hard to determine the levels of risk and hence, the amount of insurance premiums and other mechanisms on which new forms of accountability for the behaviour of robots may hinge. By following Japanese thinking, the aim is to show why legally de-regulated, or special, zones for robotics, i.e. the secondary rules of the system, pave the way to understand what kind of primary rules we may want for our robots. (shrink)

Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the Logic of (...) the Two Notions, Cornell University Press] in which he proposed formal logics of knowledge and belief. This field has also developed quite a great deal and is now the subject of the TARK conferences. However, there has been relatively little work combining the two notions of knowledge (belief) with the notion of obligation. (See, however, [Lomuscio, A. and Sergot, M.: 2003, Studia Logica 75 63–92; Moore, R. C.: 1990, In J. F. Allen, J. Hendler and A. Tate (eds.), Readings in Planning, Morgan Kaufmann Publishers, San Mateo, CA]) In this paper we point out that an agent’s obligations are often dependent on what the agent knows, and indeed one cannot reasonably be expected to respond to a problem if one is not aware of its existence. For instance, a doctor cannot be expected to treat a patient unless she is aware of the fact that he is sick, and this creates a secondary obligation on the patient or someone else to inform the doctor of his situation. In other words, many obligations are situation dependent, and only apply in the presence of the relevant information. Thus a case for combining Deontic Logic with the Logic of Knowledge is clear. We introduce the notion of knowledge based obligation and offer an S5, history based Kripke semantics to express this notion, as this semantics enables us to represent how information is transmitted among agents and how knowledge changes over time as a result of communications. We consider both the case of an absolute obligation (although dependent on information) as well as the (defeasible) notion of an obligation which may be over-ridden by more relevant information. For instance a physician who is about to inject a patient with drug d may find out that the patient is allergic to d and that she should use d′ instead. Dealing with the second kind of case requires a resort to non-monotonic reasoning and the notion of justified belief which is stronger than plain belief, but weaker than absolute knowledge in that it can be over-ridden. This notion of justified belief also creates a derived notion of default obligation where an agent has, as far as the agent knows, an obligation to do some action a. A dramatic application of this notion is our analysis of the Kitty Genovese case where, in 1964, a young woman was stabbed to death while 38 neighbours watched from their windows but did nothing. The reason was not indifference, but none of the neighbours had even a default obligation to act, even though, as a group, they did have an obligation to take some action to protect Kitty. (shrink)

We formulate a Hilbert-style axiomatic system and a tableau calculus for the STIT-based logic of imagination recently proposed in Wansing. Completeness of the axiom system is shown by the method of canonical models; completeness of the tableau system is also shown by using standard methods.

The article puts forward a branching-style framework for the analysis of determinism and indeterminism of scientific theories, starting from the core idea that an indeterministic system is one whose present allows for more than one alternative possible future. We describe how a definition of determinism stated in terms of branching models supplements and improves current treatments of determinism of theories of physics. In these treatments, we identify three main approaches: one based on the study of equations, one based on mappings (...) between temporal realizations, and one based on branching models. We first give an overview of these approaches and show that current orthodoxy advocates a combination of the mapping- and the equations-based approaches. After giving a detailed formal explication of a branching-based definition of determinism, we consider three concrete applications and end with a formal comparison of the branching- and the mapping-based approach. We conclude that the branching-based definition of determinism most usefully combines formal clarity, connection with an underlying philosophical notion of determinism, and relevance for the practical assessment of theories. 1 Introduction2 Determinism in Philosophy of Science: Three Approaches2.1 Determinism: The core idea and how to spell it out2.2 The three approaches in more detail2.3 Representing indeterminism3 Orthodoxy: DMAP, with Invocations of DEQN4 Branching-Style Determinism 4.1 Models and realizations4.2 Faithfulness4.3 Two types of branching topologies 5 Comparing the Approaches5.1 Case studies5.2 Formal comparison of the DMAP and DBRN frameworks6 Conclusions. (shrink)

Accounts of ability in the philosophical literature have tended to be modal ones: claims about an agent’s abilities are understood in terms of what she does in certain non-actual scenarios. In contrast, a prominent account of ability ascriptions in the recent semantics literature appeals to genericity: claims about an agent’s abilities are understood in terms of what she generally manages to do. The latter account resolves some long-standing problems for modal accounts, but encounters problems of its own. I propose a (...) hybrid view, on which ability involves both a modal and a generic element. (shrink)

In this paper we propose a method for modeling social influence within the STIT approach to action. Our proposal consists in extending the STIT language with special operators that allow us to represent the consequences of an agent’s choices over the rational choices of another agent.

We continue the work initiated in Herzig and Lorini (J Logic Lang Inform, in press) whose aim is to provide a minimalistic logical framework combining the expressiveness of dynamic logic in which actions are first-class citizens in the object language, with the expressiveness of logics of agency such as STIT and logics of group capabilities such as CL and ATL. We present a logic called ( Deterministic Dynamic logic of Agency ) which supports reasoning about actions and joint actions of (...) agents and coalitions, and agentive and coalitional capabilities. In it is supposed that, once all agents have selected a joint action, the effect of this joint action is deterministic. In order to assess we prove that it embeds Coalition Logic. We then extend with modal operators for agents’ preferences, and show that the resulting logic is sufficiently expressive to capture the game-theoretic concepts of best response and Nash equilibrium. (shrink)

A growing consensus in the literature on agentive modals has it that ability modals like ‘can’ or ‘able to’ have a _dual_, i.e. interpretations of ‘must’ or ‘cannot but’ which stand to _necessity_ as ability stands to _possibility_. We argue that this thesis (which we call ‘Agentive Duality’) is much more controversial than meets the eye. While Agentive Duality follows from the orthodox possibility analysis of ability given natural assumptions, it sits uneasily with a wide range of alternative proposals which (...) are unified by the idea that ability requires _control_. In particular, we show that against the background of a control requirement on ability, Agentive Duality can be used to derive absurd predictions featuring this dual. Far from being a purely definitional thesis, Agentive Duality thus affords a new lens through which to assess the long-standing debate between possibility analyses of ability and their discontents. (shrink)

The syntactic structure of the deontic “ought” has been much debated in philosophy and linguistics. Schroeder argues that the deontic “ought” is syntactically ambiguous in the sense that it can be associated with either a control or raising construction. He distinguishes between deliberative and evaluative “ought”s and argues that the deliberative “ought” is control while the evaluative “ought” is raising. However, if there is a control sense of “ought,” it implies that there is a sense of “ought” in which the (...) word carries an external argument. Chrisman (2012) proposes two linguistic tests to verify this prediction. I add a new test, which I call the intensionality test, to the list. (shrink)

The paper tackles the problem of the relation between rights and obligations. Two examples of situations in which such a relation occurs are discussed. One concerns the abortion regulations in Polish law, the other one—a clash between freedom of expression and freedom of enterprise occurring in the context of discrimination. The examples are analysed and formalised using labelled transition systems in the \ framework. Rights are introduced to the system as procedures allowing for their fulfilment. Obligations are based on the (...) requirement of cooperation in the realisation of the goals of the agent that has a right. If the right of an agent cannot be fulfilled without an action of another agent, then that action is obligatory for that agent. If there are many potential contributors who are individually allowed to refuse, then the last of them is obliged to help when all the others have already refused. By means of formalisation this account of the relation under consideration is precisely expressed and shown consistent. (shrink)

Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obligation O q is a logical consequence of the obligations O p and O. In this paper we propose a non-modal approach in which obligations are preferred ways of satisfying goals expressed in first-order logic. (...) To say that p is obligatory, but may be violated, resulting in a less than ideal situation s, means that the task is to satisfy the goal p ∨ s, and that models in which p is true are preferred to models in which s is true. Whereas, in modal logic, the preference relation between possible worlds is part of the semantics of the logic, in this non-modal approach, the preference relation between first-order models is external to the logic. Although our main focus is on satisfying goals, we also formulate a notion of logical consequence, which is comparable to the notion of logical consequence in modal deontic logic. In this formalisation, an obligation O p is a logical consequence of goals G, when p is true in all best models of G. We show how this non-modal approach to the treatment of deontic concepts deals with problems of contrary-to-duty obligations and normative conflicts, and argue that the approach is useful for many other applications, including abductive explanations, defeasible reasoning, combinatorial optimisation, and reactive systems of the production system variety. (shrink)

Two groups of agents, G1 and G2, face a *moral conflict* if G1 has a moral obligation and G2 has a moral obligation, such that these obligations cannot both be fulfilled. We study moral conflicts using a multi-agent deontic logic devised to represent reasoning about sentences like "In the interest of group F of agents, group G of agents ought to see to it that phi". We provide a formal language and a consequentialist semantics. An illustration of our semantics with (...) an analysis of the Prisoner’s Dilemma follows. Next, necessary and sufficient conditions are given for (1) the possibility that a single group of agents faces a moral conflict, for (2) the possibility that two groups of agents face a moral conflict within a single moral code, and for (3) the possibility that two groups of agents face a moral conflict. (shrink)

According to a well-homed view in linguistic semantics, deontic logic and logic of agency, some ‘ought’ sentences, like ‘Kate ought to write the report’, are ambiguous between the socalled agentive sense as when Kate is the agent of writing the report, and the non-agentive, or evaluative sense as when, in the light of some norm or things being ideal, the proposition that Kate writes the report would come out true. Within this approach to the semantics of ‘ought’, the ambiguity in (...) question is not due to any semantic ambiguity of the word ‘ought’, but the ambiguity traced to Kate writes the report. We may call the view in question, after Schroeder, the agency-in-the-prejacent theory, or APT for short. APT’s explanation of ambiguity has been put under heavy criticism by Mark Schroeder’s 2011 influential paper. Schroeder tried to undermine APT by exposing its central theoretical drawbacks, their being: that APT badly overgeneralizes because if ambiguity is in Kate writes the report, then it should equally well be preserved under the non-agentive interpretation of ‘Kate ought to write the report’, but it is not, and that APT also undergeneralizes, since it ‘inscribes’ the same ambiguity as observed in ‘Kate ought to write the report’ to a sentence that lacks it, e.g. ‘Bill ought to kiss Lucy’. I argue that both the ‘overgeneralization problem’ and the ‘undergeneralization problem’ are harmless for the criticized view, since Schroeder’s two central arguments against the respective problems are seriously defective. Also, the third problem identified by Schroeder, that APT cannot accommodate the deliberative sense of ‘ought’, is mistargeted. I argue that identifying the salient property of the deliberative ought is crucial for assessing whether APT is able to accommodate it or not, and that Schroeder failed to recognize this properly. (shrink)

This paper focuses on the Enkratic principle of rationality, according to which rationality requires that if an agent sincerely and with conviction believes she ought to X, then X-ing is a goal in her plan. We analyze the logical structure of Enkrasia and its implications for deontic logic. To do so, we elaborate on the distinction between basic and derived oughts, and provide a multi-modal neighborhood logic with three characteristic operators: a non-normal operator for basic oughts, a non-normal operator for (...) goals in plans, and a normal operator for derived oughts. We prove two completeness theorems for the resulting logic, and provide a dynamic extension of the logic by means of product updates. We illustrate how this setting informs deontic logic by considering issues related to the filtering of inconsistent oughts, the restricted validity of deontic closure, and the stability of oughts and goals under dynamics. (shrink)

This essay is an investigation into the sense of ‘able’ relevant to free will, where free will is understood as requiring the ability to do otherwise. I argue that van Inwagen's recent functional specification of the relevant sense of ‘able’ is flawed, and that explicating the powers involved in free will shall likely require paying detailed attention to the semantics and pragmatics of ‘can’ and ‘able’. Further, I argue that van Inwagen's promise-level ability requirement on free will is too strong. (...) I also argue that Mele's conjecture that the strength of the ability to perform the ‘alternative’ action be no higher than the strength of the ability exercised in performing an action is mistaken. I suggest there is an asymmetry in the strengths of the abilities which make up the n-way power that comprises free will, and that this looks to have some interesting consequences for the connection between the abilities required for free will and, e.g. the ‘up to us’ locution. (shrink)

According to van Fraassen, inference to the best explanation (IBE) is incompatible with Bayesianism. To argue to the contrary, many philosophers have suggested hybrid models of scientific reasoning with both explanationist and probabilistic elements. This paper offers another such model with two novel features. First, its Bayesian component is imprecise. Second, the domain of credence functions can be extended.

This paper presents a proof of concept for a graphical models approach to assessing the moral coherence and moral robustness of systems of social interactions. “Moral coherence” refers to the degree to which the rights and duties of agents within a system are effectively respected when agents in the system comply with the rights and duties that are recognized as in force for the relevant context of interaction. “Moral robustness” refers to the degree to which a system of social interaction (...) is configured to ensure that the interests of agents are effectively respected even in the face of noncompliance. Using the case of conscientious objection of pharmacists to filling prescriptions for emergency contraception as an example, we illustrate how a graphical models approach can help stakeholders identify structural weaknesses in systems of social interaction and evaluate the relative merits of alternate organizational structures. By illustrating the merits of a graphical models approach we hope to spur further developments in this area. (shrink)

Let us say that a normative conflict is a situation in which an agent ought to perform an action A, and also ought to perform an action B, but in which it is impossible for the agent to perform both A and B. Not all normative conflicts are moral conflicts, of course. It may be that the agent ought to perform the action A for reasons of personal generosity, but ought to perform the action B for reasons of prudence: perhaps (...) A involves buying a lavish gift for a friend, while B involves depositing a certain amount of money in the bank. In general, our practical deliberation is shaped by a concern with a variety of morally neutral goods—not just generosity and prudence, but any number of others, such as etiquette, aesthetics, fun—many of which are capable of providing conflicting reasons for action. I mention these ancillary values in the present setting, however, only to put them aside. We will be concerned here, not with normative conflicts more generally, but precisely with moral conflicts—situations in which, even when our attention is restricted entirely to moral reasons for action, it is nevertheless true that an agent ought to do A and ought to do B, where it is impossible to do both. (shrink)

I begin by reviewing classical semantics and the problems presented by normative conflicts. After a brief detour through default logic, I establish some connections between the treatment of conflicts in each of these two approaches, classical and default, and then move on to consider some further issues: priorities among norms, or reasons, conditional oughts, and reasons about reasons.

The purpose of this paper is to explore a new deontic operator for representing what an agent ought to do; the operator is cast against the background of a modal treatment of action developed by Nuel Belnap and Michael Perloff, which itself relies on Arthur Prior's indeterministic tense logic. The analysis developed here of what an agent ought to do is based on a dominance ordering adapted from the decision theoretic study of choice under uncertainty to the present account of (...) action. It is shown that this analysis gives rise to a normal deontic operator, and that the result is superior to an analysis that identifies what an agent ought to do with what it ought to be that the agent does. (shrink)

This paper provides a computational framework, based on defeasible logic, to capture some aspects of institutional agency. Our background is Kanger-Lindahl-Pörn account of organised interaction, which describes this interaction within a multi-modal logical setting. This work focuses in particular on the notions of counts-as link and on those of attempt and of personal and direct action to realise states of affairs. We show how standard defeasible logic (DL) can be extended to represent these concepts: the resulting system preserves some basic (...) properties commonly attributed to them. In addition, the framework enjoys nice computational properties, as it turns out that the extension of any theory can be computed in time linear to the size of the theory itself. (shrink)

On the face of it, normative conflicts are commonplace. Yet standard deontic logic declares them to be logically impossible. That prompts the question, What are the proper principles of normative reasoning if such conflicts are possible? This paper examines several alternatives that have been proposed for a logic of 'ought' that can accommodate normative conflicts, and finds all of them unsatisfactory as measured against three criteria of adequacy. It then introduces a new logic that does meet all three criteria, and (...) so allows for the possibility of genuine normative conflicts. (shrink)

We introduce a multimodal framework of deontic action logic which encodes the interaction between two fundamental procedures in normative reasoning: conceptual classification and deontic classification. The expressive power of the framework is noteworthy, since it combines insights from agency logic and dynamic logic, allowing for a representation of many kinds of normative conflicts. We provide a semantic characterization for three axiomatic systems of increasing strength, showing how our approach can be modularly extended in order to get different levels of analysis (...) of normative reasoning. Finally, we discuss ways in which the framework can be used to capture other formalisms proposed in the literature, as well as to model searching problems in Artificial Intelligence. (shrink)

In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type spaces. As shown in many papers :149–225, 1999; Battigalli and Siniscalchi in J Econ Theory 106:356–391, 2002; Klein and Pacuit in Stud Log 102:297–319, 2014; Lorini in J Philos Log 42:863–904, 2013), both these frameworks can be used to express epistemic conditions for solution concepts in game theory. The main result of this paper is a formal comparison between (...) the two and a statement of semantic equivalence with respect to two different logical systems: a doxastic logic for belief and an epistemic–doxastic logic for belief and knowledge. Moreover, a sound and complete axiomatization of these logics with respect to the two equivalent Kripke semantics and type spaces semantics is provided. Finally, a probabilistic extension of the result is also presented. A further result of the paper is a study of the relationship between the epistemic–doxastic logic for belief and knowledge and the logic STIT by Belnap and colleagues. (shrink)

Some intuitive normative principles raise vexing 'detaching problems' by their failure to license modus ponens. I examine three such principles (a self-reliance principle and two different instrumental principles) and recent stategies employed to resolve their detaching problems. I show that solving these problems necessitates postulating an indefinitely large number of senses for 'ought'. The semantics for 'ought' that is standard in linguistics offers a unifying strategy for solving these problems, but I argue that an alternative approach combining an end-relational theory (...) of normativity with a comparative probabilistic semantics for 'ought' provides a more satisfactory solution. (shrink)

Some philosophers hold that „ought‟ is ambiguous between a sense expressing a propositional operator and a sense expressing a relation between an agent and an action. We defend the opposing view that „ought‟ always expresses a propositional operator against Mark Schroeder‟s recent objections that it cannot adequately accommodate an ambiguity in „ought‟ sentences between evaluative and deliberative readings, predicting readings of sentences that are not actually available. We show how adopting an independently well-motivated contrastivist semantics for „ought‟, according to which (...) „ought‟ is always relativized to a contrast set of relevant alternatives, enables us to explain the evaluative-deliberative ambiguity and why the availability of these readings depends on sentential grammar. (shrink)

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to these general themes, DEON 2016 encouraged a special focus on the topic "Reasons, Argumentation and Justification.".

I sketch a new constraint on chance, which connects chance ascriptions closely with ascriptions of ability, and more specifically with 'CAN'-claims. This connection between chance and ability has some claim to be a platitude; moreover, it exposes the debate over deterministic chance to the extensive literature on (in)compatibilism about free will. The upshot is that a prima facie case for the tenability of deterministic chance can be made. But the main thrust of the paper is to draw attention to the (...) connection between the truth conditions of sentences involving 'CAN' and 'CHANCE', and argue for the context sensitivity of each term. Awareness of this context sensitivity has consequences for the evaluation of particular philosophical arguments for (in) compatibilism when they are presented in particular contexts. (shrink)

Many philosophers are convinced that rationality dictates that one’s overall set of intentions be consistent. The starting point and inspiration for our study is Bratman’s planning theory of intentions. According to this theory, one needs to appeal to the fulfilment of characteristic planning roles to justify norms that apply to our intentions. Our main objective is to demonstrate that one can be rational despite having mutually inconsistent intentions. Conversely, it is also shown that one can be irrational despite having a (...) consistent overall set of intentions. To overcome this paradox, we argue that it is essential for a successful planning system that one’s intentions are practically consistent rather than being consistent or applying an aggregation procedure. Our arguments suggest that a new type of norm is needed: whereas the consistency requirement focuses on rendering the contents of one’s intentions consistent, our new practical consistency requirement demands that one’s intentions be able to simultaneously and unconditionally guide one’s action. We observe that for intentions that conform to the ‘own-action condition’, the practical consistency requirement is equivalent to the traditional consistency requirement. This implies that the consistency requirement only needs to be amended in scenarios of choice under uncertainty. (shrink)

Methodological individualists often claim that any social phenomenon can ultimately be explained in terms of the actions and interactions of individuals. Any Nagelian version of methodological individualism requires that there be bridge laws that translate social statements into individualistic ones. We show that Nagelian individualism can be put to logical scrutiny by making the relevant social and individualistic languages fully explicit and mathematically precise. In particular, we prove that the social statement that a group of (at least two) agents performs (...) a deontically admissible group action cannot be expressed in a well-established deontic logic of agency that models every combination of actions, omissions, abilities, and obligations of finitely many individual agents. (shrink)

We propose a new formalization of legal competences, and in particular for the Hohfeldian categories of power and immunity, through a deontic reinterpretation of dynamic epistemic logic. We argue that this logic explicitly captures the norm-changing character of legal competences while providing a sophisticated reduction of the latter to static normative positions. The logic is completely axiomatizable, and we apply it to a concrete case in German contract law to illustrate that it can capture the distinction between legal ability and (...) legal permissibility. (shrink)

Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4), 535–553. Segerberg, K. (1995). Conditional action. In G. Crocco, L. Fariñas, & A. Herzig (Eds.), Conditionals: From philosophy to computer science, Studies ...

The present dissertation investigates certain facets of the logical structure of oughts – where “ought” is used as a noun, roughly meaning obligation. I do so by following two lines of inquiry. The first part of the thesis places oughts in the context of practical rationality. The second part of the thesis concerns the inference rules governing arguments about oughts, and specifically the inference rule of Reasoning by Cases. These two lines of inquiry, together, aim to expound upon oughts in (...) rationality and reasoning. The methodology used in this dissertation is the one of philosophical logic, in which logical, qualitative models are developed to support and foster conceptual analysis. The dissertation consists of four main chapters. The first two chapters are devoted to the role of oughts in practical rationality. I focus on the so-called Enkratic principle of rationality, which – in its most general formulation – requires that if an agent believes sincerely and with conviction that she ought to do X, then she intends to X. I develop a logical framework to investigate the (static and dynamic) relation between those oughts believed by the agent and her intentions. It is shown that, under certain minimal assumptions, the Enkratic principle of rationality is a principle of limited validity. The following two chapters of the dissertation constitute a study of the classical inference rule of Reasoning by Cases, which – in its simplest form – moves from the premises “A or B”, “if A then C” and “if B then C” to the conclusion “C”. Recent literature has called the validity of Reasoning by Cases into question, with the most influential counterexample being the so-called Miners’ Puzzle – an instance of Reasoning by Cases where “C” involves oughts. I provide a unifying explanation of why the Miners’ Puzzle emerges. It is shown that, within specific boundaries, Reasoning by Cases is a valid inference rule. (shrink)