Online research in philosophy

The purpose of this paper is to e»tahlish some connections between precedent-based reasoning as it is studied in the field of Artificial Intelligence and Law, particularly in the work of Ashley, and two other fields: deontic logic and nonmonotonic logic. First, a deontic logic is described that allows lor sensible reasoning in the presence of conflicting norms. Second, a simplified version of Ashley's account of precedent-based reasoning is reformulated within the framework of this deontic logic. Finally, some ideas from the theory of nonmonotonic inheritance are employed to show how Ashley's account might be elaborated to allow for a richer representation of the process of argumentation.

Deontic reasoning is thinking about whether actions are forbidden or allowed, obligatory or not obligatory. It is proposed that social norms, imposing constraints on individual actions, constitute the fundamental concept for the system of these four deontic modalities, and that people reason from such norms flexibly according to deontic core principles. Two experiments are presented, one on deontic conditional reasoning, the other on “pure” deontic reasoning. Both experiments demonstrate people's high deontic competence and confirm the proposed representational and inferential principles. Experiment 1 additionally shows small effects of the conditional formulations. These findings support the dual source approach (Beller & Spada, 2003) that distinguishes between domain-specific and domain-general inferences. Implications for other theories of deontic reasoning are discussed.

In Meyer’s promising account [7] deontic logic is reduced to a dynamic logic. Meyer claims that with his account “we get rid of most (if not all) of the nasty paradoxes that have plagued traditional deontic logic.” But as was shown by van der Meyden in [4], Meyer’s logic also contains a paradoxical formula. In this paper we will show that another paradox can be proven, one which also effects Meyer’s “solution” to contrary to duty obligations and his logic in general.

Since Leibniz, the logic of norms is founded on the analogy between the deontic and the alethic. Nevertheless, von Wright, creator of the deontic logic -firstly logic of norms, afterwards logic of normative statements-, holds this analogy responsible for the misadventures of the deontic logic. Now it is not responsible, but only limited so that the miscarriages in question are imputable solely to the overstepping of its limits.

We consider an infinite hierarchy of systems of Alethic Modal Logic with so-called Levels of Perfection, and add to them suitable definitions of such interesting deontic categories as those of supererogation, offence, conditional obligation and conditional permission. We then state three problems concerning the proper characterization of the resulting logic(s) for our defined notions, and discuss two of these problems in some detail.

We consider an infinite hierarchy of systems of Alethic Modal Logic with so-called Levels of Perfection, and add to them suitable definitions of such interesting deontic categories as those of supererogation, offence, conditional obligation and conditional permission. We then state three problems concerning the proper characterization of the resulting logic(s) for our defined notions, and discuss two of these problems in some detail.

We consider an infinite hierarchy of systems of Alethic Modal Logic with so-called Levels of Perfection, and add to them suitable definitions of such interesting deontic categories as those of supererogation, offence, conditional obligation and conditional permission. We then state three problems concerning the proper characterization of the resulting logic(s) for our defined notions, and discuss two of these problems in some detail.

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.

In his last papers about deontic logic, von Wright sustained that there is no genuine logic of norms. We argue in this paper that this striking statement by the father of deontic logic should not be understood as a death sentence to the subject. Rather, it indicates a profound change in von Wright's understanding about the epistemic and ontological role of logic in the field of norms. Instead of a logical constructivism of deontic systems revealing a necessary structure of prescriptive discourse, which marked his earlier efforts, he adopted the view that such systems should be seem as mere objects of comparison, i.e. as providing practical standards of rationality for normgiving activity. Within such view he proposed an interpretation of standard deontic logic in such a way to free deontic logicians from the philosophical difficulties related to the so-called Jørgensen's dilemma and deontic paradoxes. This effort, as we claim in the present paper, is an application of Wittgenstein's therapeutic method to dissolve philosophical difficulties caused by the use of logical tools to model relations between norms.

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.