Overview of fundamental work in deontic logic.

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)

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)

(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 recast the DWE ("Doing Well Enough") deontic framework as an Andersonian-Kangerian modal framework and explore its metatheory systematically.