Online research in philosophy

John Horty effectively develops deontic logic (the logic of ethical concepts like obligation and permission) against the background of a formal theory of agency. He incorporates certain elements of decision theory to set out a new deontic account of what agents ought to do under various conditions over extended periods of time. Offering a conceptual rather than technical emphasis, Horty's framework allows a number of recent issues from moral theory to be set out clearly and discussed from a uniform point of view.

Three (apparent ) deontic antinomies are discussed: the paradoxes of the watchman and the praiser, as weIl as deontic dilemmas. A paraconsistent deontic logic, Ad, is put forward whose underlying 1st-order calculus is an infinite-valued tensorial logic. Several arguments are offered bearing out be existence of deontic contradictions, while two ways of dealing with conditional obligation paradoxes within the framework of Ad are canvassed. While the aggregation rule and the ought-implies-can principle are upheld, sundry schemata are shown not to obtain which involve iterated deontic operators (most conspicuously: that whatever ought to be obligatory is obligatory; and that it is obligatory that whatever ought to be the case should in fact be the case).

A suggestion is made for representing iterated deontic modalities in stit theory, the “seeing-to-it-that” theory of agency. The formalization is such that normative sentences are represented as agentive sentences and therefore have history dependent truth conditions. In contrast to investigations in alethic modal logic, in the construction of systems of deontic logic little attention has been paid to the iteration... of the deontic modalities.

Situationist deontic logic is a model of that fraction of normative discourse which refers to only one situation and one set of alternatives. As we can see from a whole series of well-known paradoxes, standard deontic logic (SDL) is seriously mistaken even at the situationist level. In this paper it is shown how a more realistic deontic logic can be based on the assumption that prescriptive predicates satisfy the property of contranegativity. A satisfactory account of situation-specific norms is a necessary prerequisite for a successful treatment of more complex normative structures.

This paper develops the first deontic logic in the context of paraconsistent logics.

This paper develops the first deontic logic in the context of paraconsistent logics.

The Logics of Deontic (In)Consistency (LDI's) can be considered as the deontic counterpart of the paraconsistent logics known as Logics of Formal (In)Consistency. This paper introduces and studies new LDI's and other paraconsistent deontic logics with different properties: systems tolerant to contradictory obligations; systems in which contradictory obligations trivialize; and a bimodal paraconsistent deontic logic combining the features of previous systems. These logics are used to analyze the well-known Chisholm's paradox, taking profit of the fact that, besides contradictory obligations do not trivialize in LDI's, several logical dependencies of classical logic are blocked in the context of LDI's, allowing to dissolve the paradox.

Standard dyadic deontic logic (as well as standard deontic logic) has recently come under attack by moral philosophers who maintain that the axioms of standard dyadic deontic logic are biased against moral theories which generate moral conflicts. Since moral theories which generate conflicts are at least logically tenable, it is argued, standard dyadic deontic logic should be modified so that the set of logically possible moral theories includes those which generate such conflicts. I argue that (1) there are only certain types of moral conflicts which are interesting, and which have worried moral theorists, (2) the modification of standard dyadic deontic logic along the lines suggested by those who defend the possibility of moral conflicts makes possible only uninteresting types of moral conflicts, and (3) the general strategy of piecemeal modification standard dyadic deontic logic is misguided: the possibility of interesting moral conflicts cannot be achieved in that way.

This paper introduces Exclusion Logic - a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.

The chief aim of the paper is to extend the calculusDSC 1 (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.