Online research in philosophy

This paper shows that the Dawson technique of modelling deontic logics into alethic modal logics to gain insight into deontic formulas is not available for modelling a normal (in the spirit of Anderson) relevance deontic modal logic into either of the normal relevance alethic modal logics R S4or R M. The technique is to construct an extension of the well known entailment matrix set M 0and show that the model of the deontic formula P (A v B). PA v PB is excluded.

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).

In this paper, we analyze the relationship between commitment and obligation from a logical viewpoint. The principle of commitment implying obligation is proven in a specific logic of action preference which is a generalization of Meyer's dynamic deontic logic. In the proposed formalism, an agent's commitment to goals is considered as a special kind of action which can change one's deontic preference andone's obligation to take some action is based on the preference and the effects of the action. In this logic, it is shown that an agent has the obligation to take any action which is necessary for achieving as many committed goals as possible. The semantics of our logic is based on the possible world models for the dynamic logic of actions. A binary preference relation between possible worlds is associated with the model. Then the preference between actions are determined by comparing that of their consequences. According to the semantics, while the preference will influence the agent's choice of action, commitment is a kind of action that will change the agent's preference. Thus we can show how obligations arise from commitments via updating of deontic preference. The integrated semantics make it possible to express and reason about the mutual relationship among these mental attitudes in a common logic.

The logic of an ought operator O is contranegative with respect to an underlying preference relation if it satisfies the property Op & (¬p)(¬q) Oq. Here the condition that is interpolative ((p (pq) q) (q (pq) p)) is shown to be necessary and sufficient for all -contranegative preference relations to satisfy the plausible deontic postulates agglomeration (Op & OqO(p&q)) and disjunctive division (O(p&q) Op Oq).

This multiplex semantics incorporates multiple relations of deontic accessibility or multiple preference rankings on alternative worlds to represent distinct normative standards. This provides a convenient framework for deontic logic that allows conflicts of obligation, due either to conflicts between normative standards or to incoherence within a single standard. With the multiplex structures, two general senses of "ought" may be distinguished, an indefinite sense under which something is obligatory when it is enjoined by some normative standard and a core sense for when something is enjoined by all normative standards. Multiple normative standards may themselves be given a preferential order; this leads to a concept of ranked obligation. This paper presents the foundations of this multiplex semantics and the propositional deontic logics they define.

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.

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.

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.

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.

A new possible world semantics for deontic logic is proposed. Its intuitive basis is that prohibitive predicates (such as wrong and prohibited) have the property of negativity, i.e. that what is worse than something wrong is itself wrong. The logic of prohibitive predicates is built on this property and on preference logic. Prescriptive predicates are defined in terms of prohibitive predicates, according to the well-known formula ought = wrong that not. In this preference-based deontic logic (PDL), those theorems that give rise to the paradoxes of standard deontic logic (SDL) are not obtained. (E.g., O(p & q) Op & Oq and Op O(p v q)) are theorems of SDL but not of PDL. The more plausible theorems of SDL, however, can be derived in PDL.