A considerable number of books and papers have analyzed normative concepts using new techniques developed by logicians; however, few have bridged the gap between the English legal culture and the Continental tradition in legal philosophy. This book addresses this issue by offering an introductory study on the many possibilities that logical analysis offers the study of legal systems. The volume is divided into two sections: the first covers the basic aspects of classical and deontic logic and its connections, advancing an (...) explanation of the most important topics of the discipline by comparing different systems of deontic logic and exploring some of the most important paradoxes in its domain. The second section deals with the role of logic in the analysis of legal systems by discussing in what sense deontic logic and the logic of norm-propositions are useful tools for a proper understanding of the systematic structure of law. (shrink)

In recent years, a number of philosophers have conducted empirical studies that survey people's intuitions about various subject matters in philosophy. Some have found that intuitions vary accordingly to seemingly irrelevant facts: facts about who is considering the hypothetical case, the presence or absence of certain kinds of content, or the context in which the hypothetical case is being considered. Our research applies this experimental philosophical methodology to Judith Jarvis Thomson's famous Loop Case, which she used to call into question (...) the validity of the intuitively plausible Doctrine of Double Effect. We found that intuitions about the Loop Case vary according to the context in which the case is considered. We contend that this undermines the supposed evidential status of intuitions about the Loop Case. We conclude by considering the implications of our findings for philosophers who rely on the Loop Case to make philosophical arguments and for philosophers who use intuitions in general. (shrink)

One of the reasons why most of us feel puzzled about the problem of abortion is that we want, and do not want, to allow to the unborn child the rights that belong to adults and children. When we think of a baby about to be born it seems absurd to think that the next few minutes or even hours could make so radical a difference to its status; yet as we go back in the life of the fetus we (...) are more and more reluctant to say that this is a human being and must be treated as such. No doubt this is the deepest source of our dilemma, but it is not the only one. For we are also confused about the general question of what we may and may not do where the interests of human beings conflict. We have strong intuitions about certain cases; saying, for instance, that it is all right to raise the level of education in our country, though statistics allow us to predict that a rise in the suicide rate will follow, while it is not all right to kill the feeble-minded to aid cancer research. It is not easy, however, to see the principles involved, and one way of throwing light on the abortion issue will be by setting up parallels involving adults or children once born. So we will be able to isolate the “equal rights” issue and should be able to make some advance... (shrink)

Judith Jarvis Thomson; Killing, Letting Die, and The Trolley Problem, The Monist, Volume 59, Issue 2, 1 April 1976, Pages 204–217, https://doi.org/10.5840/monis.

That the successful development of fully autonomous artificial moral agents (AMAs) is imminent is becoming the received view within artificial intelligence research and robotics. The discipline of Machines Ethics, whose mandate is to create such ethical robots, is consequently gaining momentum. Although it is often asked whether a given moral framework can be implemented into machines, it is never asked whether it should be. This paper articulates a pressing challenge for Machine Ethics: To identify an ethical framework that is both (...) implementable into machines and whose tenets permit the creation of such AMAs in the first place. Without consistency between ethics and engineering, the resulting AMAs would not be genuine ethical robots, and hence the discipline of Machine Ethics would be a failure in this regard. Here this challenge is articulated through a critical analysis of the development of Kantian AMAs, as one of the leading contenders for being the ethic that can be implemented into machines. In the end, however, the development of Kantian artificial moral machines is found to be anti-Kantian. The upshot of all this is that machine ethicists need to look elsewhere for an ethic to implement into their machines. (shrink)

Scientists from various disciplines have begun to focus attention on the psychology and biology of human morality. One research program that has recently gained attention is universal moral grammar (UMG). UMG seeks to describe the nature and origin of moral knowledge by using concepts and models similar to those used in Chomsky's program in linguistics. This approach is thought to provide a fruitful perspective from which to investigate moral competence from computational, ontogenetic, behavioral, physiological and phylogenetic perspectives. In this article, (...) I outline a framework for UMG and describe some of the evidence that supports it. I also propose a novel computational analysis of moral intuitions and argue that future research on this topic should draw more directly on legal theory. (shrink)

This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gärdenfors. The paper defines a notion of safe contraction of a set of propositions, shows that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties both in general and (...) under various natural constraints. (shrink)

In the last papers published by Alchourrón, he attacked non-monotonic logics, which he considered philosophically unsound for the representation of defeasible reasoning. Instead of a non-monotonic consequence relation, he proposed a formal representation of defeasibility based on an AGM-like revision of implicit assumptions connected to the premises. Given that this is a procedure to generate non-monotonic logics, it is not clear, from a mathematical standpoint, why he was so suspicious of such logics. In the present paper we try to answer (...) this question based on Alchourrón' s convictions about epistemology, particularly the epistemology of law. We also propose another revision operator on theories called refinement, which provides a faithful representation of the sort of epistemic change considered by Alchourrón as intrinsic to defeasibility. En sus últimos escritos publicados, Alchourrón desarrolló un ataque contra las lógicas no-monotónicas, que consideraba filosóficamente inadecuadas a la representación del razonamiento derrotable. En vez de una relación de consecuencia no-monotónica, él propuso una representación formal de la derrotabilidad basada en un modelo de revisión de las asunciones implícitas ligadas a las premisas. Dado que éste es un procedimiento para generar lógicas no-monotónicas, no está claro -en el nivel matemático- por qué él era tan desconfiado de tales lógicas. En el presente texto intentamos contestar a esta pregunta basados en las convicciones de Alchourrón sobre epistemología, particularmente la epistemología jurídica. También proponemos otro operador de revisión aplicado a las teorías, llamado refinamiento, que proporciona una representación fiel de la especie de cambio epistémico considerado por Alchourrón como intrínseco a la derrotabilidad. (shrink)

Name der Zeitschrift: Kant-Studien Jahrgang: 107 Heft: 1 Seiten: 111-125.

Name der Zeitschrift: Kant-Studien Jahrgang: 107 Heft: 1 Seiten: 34-63.