Overview of fundamental work in deontic logic.

In the latter half of this century, there have been two mostly separate threads within ethical theory, one on 'superogation', one on 'common-sense morality'. I bring these threads together by systematically reflecting on doing more than one has to do. A rich and coherent set of concepts at the core of common-sense morality is identified, along with various logical connections between these core concepts. Various issues in common-sense morality emerge naturally, as does a demonstrably productive definition of doing more than (...) one has to do. I then present an interpreted model-theoretic framework with the expressive power to generate truth-conditions for the core concepts, and the explanatory power to predict and explain the independently motivated logical connections between these concepts. The framework also has a certain heuristic power for 'discovering' substantive ethical theories that can derivatively generate the model-theoretic framework for the core concepts. Two theories discussed are expansions of traditional theories; two others, each giving pride of place to justice, are devised to resonate with more recent concerns. Methodologically, it is hoped that the approach within might suggest the possibility of bridging another gap: that between formal and informal studies of moral notions. (shrink)

The standard analysis of supererogation is that of optional actions that are praiseworthy to perform, but not blameworthy to skip. Widespread assumptions are that action beyond the call is at least necessarily equivalent to supererogation ("The Equivalence") and that forgoing certain agent-favoring prerogatives entails supererogation (“The Corollary”). I argue that the classical conception of supererogation is not reconcilable with the Equivalence or the Corollary, and that the classical analysis of supererogation is seriously defective. I sketch an enriched conceptual scheme, “Doing (...) Well Enough (DWE)”, that allows for distinct analyses of action beyond the call and supererogation, among other often neglected fundamental moral notions. Parallels and asymmetries with suberogation are briefly explored. Apparently, DWE’s core act-evaluative notions are more fundamental than the agent-evaluative ones of supererogation/suberogation. (shrink)

Appears to give the first model-theoretic account of both "must" and "ought" (without conflating them with one another). Some key pre-theoretic semantic and pragmatic phenomena that support a negative answer to the main title question are identified and a conclusion of some significance is drawn: a pervasive bipartisan presupposition of twentieth century ethical theory and deontic logic is false. Next, an intuitive model-theoretic framework for "must" and "ought" is hypothesized. It is then shown how this hypothesis helps to explain and (...) predict all the pre-theoretic phenomena previously observed. Next, I show that the framework hypothesized possesses additional expressive and explanatory power (e.g. derivatively predicting the existence of supererogatory and permissibly suboptimal alternatives), thus adding further confirmation that it is on the right track. (shrink)

Continuing prior work by the author, a simple classical system for personal obligation is integrated with a fairly rich system for aretaic (agent-evaluative) appraisal. I then explore various relationships between definable aretaic statuses such as praiseworthiness and blameworthiness and deontic statuses such as obligatoriness and impermissibility. I focus on partitions of the normative statuses generated ("normative positions" but without explicit representation of agency). In addition to being able to model and explore fundamental questions in ethical theory about the connection between (...) blame, praise, permissibility and obligation, this allows me to carefully represent schemes for supererogation and kin. These controversial concepts have provided challenges to both ethical theory and deontic logic, and are among deontic logic's test cases. (shrink)

I explore various ways of integrating the framework for predeterminism, agency, and ability in[P.McNamara, Nordic J. Philos. Logic 5 (2)(2000) 135] with a framework for obligations. However,the agential obligation operator explored here is defined in terms of a non-agential yet personal obligation operator and a non-deontic (and non-normal) agency operator. This is contrary to the main current trend, which assumes statements of personal obligation always take agential complements. Instead, I take the basic form to be an agent’s being obligated to (...) be such that p. I sketch some logics for agential obligation based on personal obligation and agency, first in a fairly familiar context that rules out conflicting personal obligations (and derivatively, conflicting agential obligations), and then in contexts that do allow for conflicts (of both sorts). (shrink)

This is a review of John Horty's book, _Agency and Deontic Logic_, OUP 2000.

On the traditional deontic framework, what is required (what morality demands) and what is optimal (what morality recommends) can't be distinguished and hence they can't both be represented. Although the morally optional can be represented, the supererogatory (exceeding morality's demands), one of its proper subclasses, cannot be. The morally indifferent, another proper subclass of the optional-one obviously disjoint from the supererogatory-is also not representable. Ditto for the permissibly suboptimal and the morally significant. Finally, the minimum that morality allows finds no (...) place in the traditional scheme. With a focus on the question, What would constitute a hospitable logical neighborhood for the concept of supererogation?, I present and motivate an enriched logical and semantic framework for representing all these concepts of common sense morality. (shrink)

Cliff Landesman provides a vivid description of a case where we have no best outcome available to us. He poses this as a problem for utilitarians who advise us to do the best we can. This does indeed make such advice impractical. I begin by contrasting older versions of utilitarianism with newer ones that have appeared in deontic logic and that were designed precisely to accommodate Landesman's sort of scenario. (I cast matters in terms of the Limit Assumption and world-theoretic (...) versions of utilitarianism.) I then make three points. First, Landesman's problem does not pose any special problem for these newer theories. Secondly, I note that it is an interesting consequence of these newer theories being utilitarian theories, that--contrary to the tradition--utilitarianism isn't automatically a no conflicts theory of obligation. Thirdly, and most importantly, I identify a new, deeper and wider theoretical problem: "The Confinement Problem". This problem infests the newer versions of utilitarianism. Worse still, the infestation spreads to satisficing consequentialism (cf. Scheffler, Slote), the direction Landesman points to for a solution to his problem, and this new problem is one where the theoretical rulings of these theories clearly conflict with intuition. (shrink)

In "Doing Well Enough: Toward a Logic for Common Sense Morality", Paul McNamara sets out a semantics for a deontic logic which contains the operator It is supererogatory that. As well as having a binary accessibility relation on worlds, that semantics contains a relative ordering relation, . For worlds u, v and w, we say that u w v when v is at least as good as u according to the standards of w. In this paper we axiomatize logics complete (...) over three versions of the semantics. We call the strongest of these logics DWE for Doing Well Enough. (shrink)

This anthology contains revised versions of selected papers presented at the fourth bi-annual international deontic logic conference, DEON’98. This volume includes our substantial introduction, and an article from me as a contributor. The volume includes papers from all four distinguished invited speakers, David Makinson, Donald Nute, Claudio Pizzi, and the founder of deontic logic, Georg Von Wright. Other notables among the authors are Dov Gabbay (co-editor of the Handbook on Philosophical Logic vols.1-4, and editor of a number of logic book (...) series); Lars Lindahl (author of Position and Change: A Study in Law and Logic); Andrew Jones (past editor of the Norwegian Journal of Philosophical Logic, and the co-author of the entry “Deontic Logic and Contrary-to-Duties” in the 2nd edition of Handbook on Philosophical Logic); and Marek Sergot (a leading researcher at the interface of deontic logic and computer science.). (shrink)

Leibniz' first problem with contingency stems from his doctrine of divine creation (not his later doctrine of truth) and is solved via his concepts of necessity per se, etc. (not via his later concept of infinite analysis). I scrutinize some of the earliest texts in which the first problem and its solution occur. I compare his "per se modal concepts" with his concept of analysis and with the traditional concept of metaphysical necessity. I then identify and remove the main obstacle (...) to Leibniz' employment of these concepts by reflecting on his concept of a world and comparing and contrasting it with contemporary conceptions. Finally I sketch the place that this early problem and its solution had in the context of his mature philosophy. A disagreement between Sleigh and Adams which hinges on the assumption that there is just one problem with competing solutions is seen to dissolve in this light. (shrink)

Assuming minimal fine-individuation--that there are some necessarily equivalent intensional objects (e.g. propositions) that are nonetheless distinct objects, on standard actualist frameworks, the answer to our title question is "No". First I specify a fully cognitively accessible, purely qualitative maximal consistent state of affairs (MCS). (That there is an MCS that is either fully graspable or purely qualitative is in itself quite contrary to conventional dogma.) Then I identify another MCS, one necessarily equivalent to the first. It follows that there could (...) have been more than one obtaining MCS. I then argue that there is more than one obtaining MCS. So there is nothing answering to "the actual world", and the set of worlds is not the set of MCSs. I explore various patch-ups. Finally, I compare the actualist and modal realist notions of worlds, and I argue that even if the realist were right about concrete world ensembles, our reflections indicate that necessary truth is not truth in all worlds anyway, which undercuts the rationale for the realist's program. (shrink)

There is little work of a systematic nature in ethical theory or deontic logic on aretaic notions such as praiseworthiness and blameworthiness, despite their centrality to common-sense morality. Without more work, there is little hope of filling the even larger gap of attempting to develop frameworks integrating such aretaic concepts with deontic concepts of common-sense morality, such as what is obligatory, permissible, impermissible, or supererogatory. It is also clear in the case of aretaic concepts that agency is central to such (...) appraisal, so some agential notions must be integrated with aretaic concepts as well. The current paper takes the first step in a larger project aimed at the closure of these gaps. Here I sketch a simple framework for the aretaic appraisal of an agent's performance, layered on top of a simple framework for agency and predetermination. In Part I, I develop the framework for agency, ability, and inevitability, combining elements of work by Brown, Elgesem, Carmo, Santos, and Jones. In Part II, drawing on work by Chisholm and Sosa on intrinsic preferability, I sketch and explore a framework for defining aretaic superiority, praiseworthiness, blameworthiness, neutrality, and indifference, etc., retaining proper links to agency. (shrink)

(See also the separate entry for the volume itself.) This introduction has three parts. The first providing an overview of some main lines of research in deontic logic: the emergence of SDL, Chisholm's paradox and the development of dyadic deontic logics, various other puzzles/challenges and areas of development, along with philosophical applications. The second part focus on some actual and potential fruitful interactions between deontic logic, computer science and artificial intelligence. These include applications of deontic logic to AI knowledge representation (...) in legal systems, to modelling computer systems where it is expected that sub-ideal states will emerge and require countermeasures, to norm-governed human interactions with computer systems, and to the representation of some features of multi-agent systems where different agent-like computer systems interact with one another. The third and final part briefly groups and previews the papers in the anthology. (shrink)

I first provide an accessible overview of the DWE (Doing Well Enough) logical and semantic framework for representing going beyond the call and its family of kindred concepts in a tightly intergraded way. Next, a module, for representing some basic agent-evaluative notions is developed (“AA” for “Aretaic Assessment”), and then it is integrated with the more act-evaluative notions of DWE, thereby allowing for a representation of suberogation and supererogation (as distinct from going beyond the call) and many other combined deontic (...) and agent-evaluative notions. I then probe more deeply into how the semantic structures for the DWE framework might themselves be generated and then offer some brief reflections on the classic supererogation puzzle, as well as that of supererogatory holes and the all or nothing problem, framing options via the preceding reflections. (shrink)

I recast the DWE ("Doing Well Enough") deontic framework as an Andersonian-Kangerian modal framework and explore its metatheory systematically.

This anthology contains revised versions of selected papers presented at the the fourth bi-annual international deontic logic conference, DEON’06. There is a substantial introduction (see separate entry), papers from all four invited speakers, David Makinson, Donald Nute, Claudio Pizzi, and Georg Von Wright. After the introduction and lead chapter "Deontic Logic - as I See It" by G.H. von Wright, there are nineteen articles grouped under six headings, "Norms and Truth", "Agency and Time", "Analysis of Normative Conflicts", "Defeasibility and Norm (...) Conflicts", Computer System Applications", and "Combinations of Logics". The collection contains a number of influential articles and a large array of key authors in deontic logic contribute. (shrink)

Doubts are raised about Dretske’s assumption that an entity can't have a representational state that governs its behavior in virtue of its content unless that internal state has been acquired via appropriate interaction with its environment. The doubts hinge on a subtle distinction between a system's acquiring an internal representational state and a system's internal state acquiring the property of being representational. Employing this distinction, it is suggested that we can pre-load machines with states "destined" to acquire specific, predictable and (...) efficacious representational properties. The picture that results renders Dretske's general naturalistic approach to mental representation consistent with a tempered version of the classical dream in AI. (shrink)

Introduction and brief summary of revised symposium papers of Christopher Arroyo, David Cummiskey, Lydia Moland, and Stephan Bird-Pollan on the work of Professor Korsgaard and her replies. The symposia took place at the annual Northern New England Philosophical Association (NNEPA) conference, October 16–17, 2009, where Professor Korsgaard gave the keynote address, as well as participating in the symposia on her work, both held at the University of New Hampshire-Durham.