Action negation and alternative reductions for dynamic deontic logics

Dynamic deontic logics reduce normative assertions about explicit complex actions to standard dynamic logic assertions about the relation between complex actions and violation conditions. We address two general, but related problems in this field. The first is to find a formalization of the notion of ‘action negation’ that (1) has an intuitive interpretation as an action forming combinator and (2) does not impose restrictions on the use of other relevant action combinators such as sequence and iteration, and (3) has a meaningful interpretation in the normative context. The second problem we address concerns the reduction from deontic assertions to dynamic logic assertions. Our first point is that we want this reduction to obey the free-choice semantics for norms. For ought-to-be deontic logics it is generally accepted that the free-choice semantics is counter-intuitive. But for dynamic deontic logics we actually consider it a viable, if not, the better alternative. Our second concern with the reduction is that we want it to be more liberal than the ones that were proposed before in the literature. For instance, Meyer's reduction does not leave room for action whose normative status is neither permitted nor forbidden. We test the logics we define in this paper against a set of minimal logic requirements.     

Evidence Sensitivity in Weak Necessity Deontic Modals

Kolodny and MacFarlane have made a pioneering contribution to our understanding of how the interpretation of deontic modals can be sensitive to evidence and information. But integrating the discussion of information-sensitivity into the standard Kratzerian framework for modals suggests ways of capturing the relevant data without treating deontic modals as “informational modals” in their sense. I show that though one such way of capturing the data within the standard semantics fails, an alternative does not. Nevertheless I argue that we have good reasons to adopt an information-sensitive semantics of the general type Kolodny and MacFarlane describe. Contrary to the standard semantics, relative deontic value between possibilities sometimes depends on which possibilities are live. I develop an ordering semantics for deontic modals that captures this point and addresses various complications introduced by integrating the discussion of information-sensitivity into the standard semantic framework. By attending to these complexities, we can also illuminate various roles that information and evidence play in logical arguments, discourse, and deliberation.     

Temporal alethic–deontic logic and semantic tableaux

The purpose of this paper is to describe a set of temporal alethic–deontic systems, i.e. systems that include temporal, alethic and deontic operators. All in all we will consider 2,147,483,648 systems. All systems are described both semantically and proof theoretically. We use a kind of possible world semantics, inspired by the so-called T × W semantics, to characterize our systems semantically and semantic tableaux to characterize them proof theoretically. We also show that all systems are sound and complete with respect to their semantics.     

What we know and what to do

This paper discusses an important puzzle about the semantics of indicative conditionals and deontic necessity modals (should, ought, etc.): the Miner Puzzle (Parfit, ms; Kolodny and MacFarlane, J Philos 107:115–143, 2010). Rejecting modus ponens for the indicative conditional, as others have proposed, seems to solve a version of the puzzle, but is actually orthogonal to the puzzle itself. In fact, I prove that the puzzle arises for a variety of sophisticated analyses of the truth-conditions of indicative conditionals. A comprehensive solution requires rethinking the relationship between relevant information (what we know) and practical rankings of possibilities and actions (what to do). I argue that (i) relevant information determines whether considerations of value may be treated as reasons for actions that realize them and against actions that don’t, (ii) incorporating this normative fact requires a revision of the standard ordering semantics for weak (but not for strong) deontic necessity modals, and (iii) an off-the-shelf semantics for weak deontic necessity modals, due to von Fintel and Iatridou, which distinguishes “basic” and “higher-order” ordering sources, and interprets weak deontic necessity modals relative to both, is well-suited to this task. The prominence of normative considerations in our proposal suggests a more general methodological lesson: formal semantic analysis of natural language modals expressing normative concepts demands that close attention be paid to the nature of the underlying normative phenomena.     

Combinations of tense and deontic modality: On the approach to temporal logic with historical necessity and conditional obligation

We consider three infinite hierarchies of what I call “two-dimensional temporal logics with explicit realization operators”, viz. (i) one without historical or deontic modalities, (ii) one with historical but without deontic modalities, and (iii) one with historical and with dyadic deontic modalities for conditional obligation and permission. Sound and complete axiomatizations are obtained for all three hierarchies relative to a simplified version of the finite co-ordinate-system semantics given for so-called T × W logic of historical necessity in [L. Åqvist, The logic of historical necessity as founded on two-dimensional modal tense logic, J. Philos. Logic 28 (1999) 329–369].     

Truthmakers and Normative Conflicts

Studia Logica - By building on work by Kit Fine, we develop a sound and complete truthmaker semantics for Lou Goble’s conflict tolerant deontic logic $$\mathbf {BDL}$$.     

Ideal Worlds — Wishful Thinking in Deontic Logic

The ideal world semantics of standard deontic logic identifies our obligations with how we would act in an ideal world. However, to act as if one lived in an ideal world is bad moral advice, associated with wishful thinking rather than well-considered moral deliberation. Ideal world semantics gives rise to implausible logical principles, and the metaphysical arguments that have been put forward in its favour turn out to be based on a too limited view of truth-functional representation. It is argued that ideal world semantics should be given up in favour of other, more plausible uses of possible worlds for modelling normative subject-matter.     

Reasoning about actions and obligations in first-order logic

We describe a new way in which theories about the deontic status of actions can be represented in terms of the standard two-sorted first-order extensional predicate calculus. Some of the resulting formal theories are easy to implement in Prolog; one prototype implementation—R. M. Lee's deontic expert shell DX—is briefly described.This research was partially supported by the Esprit III Basic Research Working Group No. 8319 ModelAge.     

Why we need a relevant theory of conditionals

This paper presents ConR (Conditional R), a logic of conditionals based on Anderson and Belnap's system R. A Routley-Meyer-style semantics for ConR is given for the system (the completeness of ConR over this semantics is proved in E. Mares and A. Fuhrmann, A Relevant Theory of Conditionals (unpublished MS)). Moreover, it is argued that adopting a relevant theory of conditionals will improve certain theories that utilize conditionals, i.e. Lewis' theory of causation, Lewis' dyadic deontic logic, and Chellas' dyadic deontic logic.I am of course deeply indebted to André Fuhrmann, who co-wrote the paper on which the present effort is based. Perhaps I should also thank the Social Sciences and Humanities Research Council of Canada because the original research for this project was funded by them in the form of a post-doctoral fellowship.     

On the Treatment of Incomparability in Ordering Semantics and Premise Semantics

In his original semantics for counterfactuals, David Lewis presupposed that the ordering of worlds relevant to the evaluation of a counterfactual admitted no incomparability between worlds. He later came to abandon this assumption. But the approach to incomparability he endorsed makes counterintuitive predictions about a class of examples circumscribed in this paper. The same underlying problem is present in the theories of modals and conditionals developed by Bas van Fraassen, Frank Veltman, and Angelika Kratzer. I show how to reformulate all these theories in terms of lower bounds on partial preorders, conceived of as maximal antichains, and I show that treating lower bounds as cutsets does strictly better at capturing our intuitions about the semantics of modals, counterfactuals, and deontic conditionals.     

Aristotle's Thesis between paraconsistency and modalization

If the arrow → stands for classical relevant implication, Aristotle's Thesis ¬(A→¬A) is inconsistent with the Law of Simplification (AB)→B accepted by relevantists, but yields an inconsistent non-trivial extension of the system of entailment E. Such paraconsistent extensions of relevant logics have been studied by R. Routley, C. Mortensen and R. Brady. After examining the semantics associated to such systems, it is stressed that there are nonclassical treatments of relevance which do not support Simplification. The paper aims at showing that Aristotle's Thesis may receive a sense if the arrow is defined as strict implication endowed with the proviso that the clauses of the conditional have the same modal status, i.e. the same position in the Aristotelian square. It is so grasped, in different form, the basic idea of relevant logic that the clauses of a true conditional should have something in common. It is proved that thanks to such definition of the arrow Aristotle's Thesis subjoined to the minimal normal system K yields a system equivalent to the deontic system KD.     

Obligation as Optimal Goal Satisfaction

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 (p → q). 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.     

Deontic and epistemic reasoning in children

It is widely accepted that adults show an advantage for deontic over epistemic reasoning. Two published studies (Cummins, 1996b; Harris and Núñez, 1996, Experiment 4) found evidence of this “deontic advantage” in preschool-aged children and are frequently cited as evidence that preschoolers show the same deontic advantage as adults. However, neither study has been replicated, and it is not clear from either study that preschoolers were showing the deontic advantage under the same conditions as adults. The current research investigated these issues. Experiment 1 attempted to replicate both Cummins’s and Harris and Núñez’s studies with 3- and 4-year-olds (N = 56), replicating the former with 4-year-olds and the latter with both 3- and 4-year-olds. Experiment 2 modified Cummins’s task to remove the contextual differences between conditions, making it more similar to adult tasks, finding that 4-year-olds (n = 16) show no evidence of the deontic advantage when no authority figure is present in the deontic condition, whereas both 7-year-olds (n = 16) and adults (n = 28) do. Experiment 3 removed the authority figure from the deontic condition in Harris and Núñez’s task, again finding that 3- and 4-year-olds (N = 28) show no evidence of the deontic advantage under these conditions. These results suggest that for preschoolers, the deontic advantage is reliant on particular contextual cues such as the presence of an authority figure, in the deontic condition. By 7 years of age, however, children are reasoning like adults and show evidence of the advantage when no such contextual cues are present.     

Blueprint for a dynamic deontic logic

Extending the idiom of dynamic logic we outline a deontic logic in which deontic operators operate on terms rather than on formulæ. In a second step we distinguish between what we call real and deontic actions.     

Leibniz and the Square: A Deontic Logic for the Vir Bonus

Seventeenth century philosopher Gottfried Leibniz's contributions to metaphysics, mathematics, and logic are well known. Lesser known is his ‘invention’ of deontic logic, and that his invention derives from the alethic logic of the Aristotelian square of opposition. In this paper, I show how Leibniz developed this ‘logic of duties’, which designates actions as ‘possible, necessary, impossible, and omissible’ for a ‘vir bonus’ (good person). I show that for Leibniz, deontic logic can determine whether a given action, e.g. as permitted, is therefore obligatory or prohibited (impossible). Secondly, since the deontic modes are derived from what is possible, necessary, etc., for a good person to do, and that ‘right and obligation’ are the ‘moral qualities’ of a good person, we can see how Leibniz derives deontic logic from these moral qualities. Finally, I show how Leibniz grounds a central deontic concept, namely obligation, in the human capacity for freedom.     

An extension of the deontic calculus DSC1

The chief aim of the paper is to extend the calculusDSC ₁ (see [4]) in such a way as to satisfy all the requirements listed in [4] as well as a further stipulation — called ‘the principle of uninvolvement’ — to the effect that neither deontic compatibility nor deontic incompatibility of codes (see [2]) should be presupposed in deontic logic.     

员工非伦理行为如何招致同事攻击:道义公正视角

通过整合理性判断与道义公正模型,聚焦非伦理行为实施者被同事攻击的现象,提出员工的非伦理行为导致同事道义不公正,进而引发同事的攻击行为。并且,这个过程分别受到伦理领导的正向影响和任务互依性的负向影响。通过分析265组来自浙江省一家大型制造企业一线员工的双点数据,结果表明同事道义不公正在员工非伦理行为与其被同事攻击之间起到了中介作用;伦理领导正向调节了非伦理行为对同事道义不公正的影响,即伦理领导增强了员工非伦理行为对同事道义不公正的正向作用,从而导致同事攻击行为的产生;任务互依性负向调节了同事道义不公正与攻击行为之间的正向关系,并且减弱了同事道义不公正在员工非伦理行为与攻击行为之间的中介作用。研究结果为控制和预防职场非伦理行为提供了理论依据和实践启示。     

A logic of comparative obligation

Normal systems of modal logic, interpreted as deontic logics, are unsuitable for a logic of conflicting obligations. By using modal operators based on a more complex semantics, however, we can provide for conflicting obligations, as in [9], which is formally similar to a fragment of the logic of ability later given in [2], Having gone that far, we may find it desirable to be able to express and consider claims about the comparative strengths, or degrees of urgency, of the conflicting obligations under which we stand. This paper, building on the formalism of the logic of ability in [2], provides a complete and decidable system for such a language.