Centered around the analysis of the prescriptive portion of the Vedas, the Sanskrit philosophical school of Mīmāṃsā provides a treasure trove of normative investigations. We focus on the leading Mīmāṃsā authors Prabhākara, Kumārila and Maṇḍana, and discuss three modal logics that formalize their deontic theories. In the first part of this paper, we use logic to analyze, compare and clarify the various solutions to the _śyena_ controversy, a two-thousand-year-old problem arising from seemingly conflicting commands in the Vedas. In the second (...) part, the formalized Mīmāṃsā theories are analyzed and employed to provide alternative perspectives on well-known paradoxes from the contemporary field of deontic logic. Thus, we go from logic to Mīmāṃsā and back again. (shrink)

This paper pertains to research works aiming at linking ethics and automated reasoning in autonomous machines. It focuses on a formal approach that is intended to be the basis of an artificial agent’s reasoning that could be considered by a human observer as an ethical reasoning. The approach includes some formal tools to describe a situation and models of ethical principles that are designed to automatically compute a judgement on possible decisions that can be made in a given situation and (...) explain why a given decision is ethically acceptable or not. It is illustrated on three ethical frameworks—utilitarian ethics, deontological ethics and the Doctrine of Double effect whose formal models are tested on ethical dilemmas so as to examine how they respond to those dilemmas and to highlight the issues at stake when a formal approach to ethical concepts is considered. The whole approach is instantiated on the drone dilemma, a thought experiment we have designed; this allows the discrepancies that exist between the judgements of the various ethical frameworks to be shown. The final discussion allows us to highlight the different sources of subjectivity of the approach, despite the fact that concepts are expressed in a more rigorous way than in natural language: indeed, the formal approach enables subjectivity to be identified and located more precisely. (shrink)

Nosso objetivo neste trabalho é apresentar uma proposta de solução a paradoxos relacionados à lógica deôntica presentes na literatura, reunidos sob o que é chamado de dilemas deônticos - situações nas quais duas obrigações conflitantes estão presentes num mesmo sistema normativo. Situações deste tipo, quando formalizadas (em SDL - standard deontic logic - ou em outras lógicas relacionadas), levam a uma inconsistência. Nossa proposta baseia-se em relações de preferência que geram uma ferramenta de escolha dentre as duas soluções normativas conflitantes, (...) o que evita a inconsistência e permite o pleno cumprimento do sistema. Justificativas filosóficas são fornecidas as ferramentas lógicas, bem como as suas implicações. (shrink)

The document titled “14 points of Wilson” was announced by the President of the United States Woodrow Wilson in his speech addressed to the United States Congress on 8th January 1918. The speech is one of the most well known documents of the First World War as it touched upon several world issues. The text has been interpreted ever since in respect to the importance and real meaning of points formulated by Wilson. One of the points referred to Poland. The (...) aim of the paper is to focus on the exponents of deontic modality used in that text of historical value and to find the answer to the question concerning the deontic value of each point. The analysis will encompass the principles of deontic logic as well as the meaning of deontic modals in legal discourse at the time of speech delivery as those 14 points should be classified as a text belonging to legal genres. The aim of the paper is to present the historical background and the linguistic analysis in order to find out whether historical facts, interpretations and language used correspond with one another. (shrink)

We defend three controversial claims about preference, credence, and choice. First, all agents (not just rational ones) have complete preferences. Second, all agents (again, not just rational ones) have real-valued credences in every proposition in which they are confident to any degree. Third, there is almost always some unique thing we ought to do, want, or believe.

Since the middle of the last century, normative language has been much studied. In particular, the normative function performed by certain sentences and by certain speech acts has been investigated in depth. Still, the normative function performed by certain physical artifacts designed and built to regulate human behaviors has not yet been thoroughly investigated. We propose to call this specific type of artifacts with normative intent ‘deontic artifacts’. This article aims to investigate this normative phenomenon that is so widespread in (...) our daily reality, but so often forgotten by scholars of norms and normativity. (shrink)

Though there have been productive interactions between moral philosophers and deontic logicians, there has also been a tradition of neglecting the insights that the fields can offer one another. The most sustained interactions between moral philosophers and deontic logicians have notbeen systematic but instead have been scattered across a number of distinct and often unrelated topics. This chapter primarily focuses on three topics. First, we discuss the “actualism/possibilism” debate which, very roughly, concerns the relevance of what one will do at (...) some future time to what one ought to do at present (§2). This topic is also used to introduce various modal deontic logics. Second we discuss the particularism debate which, very roughly, concerns whether there can be any systematic general theory of what we ought to do (§3). This topic is also used to introduce various non-modal deontic logics. Third, we discuss collective action problems which concern the connection between the obligations of individuals and the behavior and obligations of groups of individuals (§4).This topic is also used to discuss formal systems that allow us to study the relationship between individuals and groups. The chapter also contains a general discussion of the relation between ethical theory and deontic logic (§1) and a brief consideration of other miscellaneous topics (§5). (shrink)

Moral obligation and permissibility are usually thought to be interdefinable. Following the pattern of the duality definitions of necessity and possibility, we have that something’s being permissible could be defined as its not being obligatory to not do it. And that something’s being obligatory could be defined as its not being permissible to not do it. In this paper, I argue that neither direction of this alleged interdefinability works. Roughly, the problem is that a claim that some act is obligatory (...) or permissible entails that there is a moral law, whereas a negative claim that some act is not obligatory or not permissible does not. Nevertheless, one direction of the interdefinability can potentially be salvaged. I argue that, if we do not require the conceptual possibility of moral dilemmas, then there is a way to plausibly define obligation in terms of permissibility. I conclude that permissibility is the only feasible deontic primitive. (shrink)

This article aims to show that the incompatibility between the application of logic to norms and values and the expressive conception of these notions – basically summed up by the Frege–Geach problem – can be overcome. To this end, a logic is constructed for the expressive conception of norms and values which provides a solution to the Frege–Geach problem and is not affected by the limitations that occur in some previous attempts. More specifically, a pragmatic language LP is introduced which (...) is an extension of the language L of standard propositional logic, obtained by adding two categories of logical-pragmatic signs to the vocabulary of L: the signs of pragmatic mood (,,, standing for assertion, obligation and approval, respectively) and the pragmatic connectives (∼, ∩, ∪, ⊃, ≡, standing for pragmatic negation, conjunction, disjunction, implication and bi-implication, respectively). The notions of pragmatic validity, consistency (satisfiability), compatibility, equivalence and inference are then defined, and some criteria of pragmatic validity are given. It is thus possible to carry out in LP inferences on norms and values expressively understood, adequately formalizing Geach's problematic inferences. (shrink)

The received wisdom on ability modals is that they differ from their epistemic and deontic cousins in what inferences they license and better receive a universal or conditional analysis instead of an existential one. The goal of this paper is to sharpen the empirical picture about the semantics of ability modals, and to propose an analysis that explains what makes the can of ability so special but that also preserves the crucial idea that all uses of can share a common (...) lexical semantics. The resulting framework combines tools and techniques from dynamic and inquisitive semantics with insights from the literature of the role of agency in deontic logic. It explains not only why the can of ability, while essentially being an existential modal operator, sometimes resists distribution over disjunction and interacts with its duals in particular and hitherto unnoticed ways, but also has a tendency to license free choice inferences. (shrink)

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...) the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings. (shrink)

One of the objectives in the field of artificial intelligence for some decades has been the development of artificial agents capable of coexisting in harmony with people and other systems. The computing research community has made efforts to design artificial agents capable of doing tasks the way people do, tasks requiring cognitive mechanisms such as planning, decision-making, and learning. The application domains of such software agents are evident nowadays. Humans are experiencing the inclusion of artificial agents in their environment as (...) unmanned vehicles, intelligent houses, and humanoid robots capable of caring for people. In this context, research in the field of machine ethics has become more than a hot topic. Machine ethics focuses on developing ethical mechanisms for artificial agents to be capable of engaging in moral behavior. However, there are still crucial challenges in the development of truly Artificial Moral Agents. This paper aims to show the current status of Artificial Moral Agents by analyzing models proposed over the past two decades. As a result of this review, a taxonomy to classify Artificial Moral Agents according to the strategies and criteria used to deal with ethical problems is proposed. The presented review aims to illustrate (1) the complexity of designing and developing ethical mechanisms for this type of agent, and (2) that there is a long way to go (from a technological perspective) before this type of artificial agent can replace human judgment in difficult, surprising or ambiguous moral situations. (shrink)

In this paper, I discuss the possibility of reading the description of promise presented by Reinach in The Apriori Foundations of the Civil Law under the light of Husserl’s Ideas I. In order to present my argument, first, I briefly present the phenomenological method proposed by Husserl in Ideas I highlighting eidetic reduction. Second, I present the Reinachian description of social acts emphasizing the act of promising. Third, and finally, I try to demonstrate that the Reinachian description of the social (...) act of promising is the description of a universal and necessary relation, a synthetic and a priori statement and corresponds to the idea of promise. (shrink)

Special issue: "Reflecting on the Legacy of C.I. Lewis: Contemporary and Historical Perspectives on Modal Logic".

In this paper we argue that normative reasons are hyperintensional and put forward a formal account of this thesis. That reasons are hyperintensional means that a reason for a proposition does not imply that it is also a reason for a logically equivalent proposition. In the first part we consider three arguments for the hyperintensionality of reasons: an argument from the nature of reasons, an argument from substitutivity and an argument from explanatory power. In the second part we describe a (...) hyperintensional logic of reasons based on justification logics. Eventually we discuss the philosophical import of this proposal and highlight some limitations and possible developments. (shrink)

Some sacrifices—like giving a kidney or heroically dashing into a burning building—are supererogatory: they are good deeds beyond the call of duty. But if such deeds are really so good, philosophers ask, why shouldn’t morality just require them? The standard answer is that morality recognizes a special role for the pursuit of self-interest, so that everyone may treat themselves as if they were uniquely important. This idea, however, cannot be reconciled with the compelling picture of morality as impartial—the view that (...) we are each anyone’s equal. I propose an alternative Self-Other Symmetric account of our moral freedom: the limits on what morality may demand of us are set by the duties we owe to ourselves. I begin with a defense of the Self-Other Symmetry: the idea that we owe the same duties to ourselves—and have the same rights against ourselves—as any relevantly similar other. Because we are consenting parties to our own actions, I argue, our rights against ourselves do not function like the rights of unwilling others. Instead, they play a permissive function, allowing us to block the demand to give up what is ours. I conclude by uniting, aggravating, and trying to solve some paradoxes of supererogatory permissions, guided by the idea that morality cannot be reduced to a ranking of options from best-to-worst. Rights against oneself are an irreducible second dimension, one that we need if we are to unify rights and supererogation into an impartial moral vision. (shrink)

Desires matter. What are desires? Many believe that desire is a motivational state: desiring is being disposed to act. This conception aligns with the functionalist approach to desire and the standard account of desire's role in explaining action. According to a second influential approach, however, desire is first and foremost an evaluation: desiring is representing something as good. After all, we seem to desire things under the guise of the good. Which understanding of desire is more accurate? Is the guise (...) of the good even right to assume? Should we adopt an alternative picture that emphasizes desire's deontic nature? What do neuroscientific studies suggest? -/- Essays in the first section of the volume are devoted to these questions, and to the puzzle of desire's essence. In the second part of the volume, essays investigate some implications that the various conceptions of desire have on a number of fundamental issues. For example, why are inconsistent desires problematic? What is desire's role in practical deliberation? How do we know what we want? -/- This volume will contribute to the emergence of a fruitful debate on a neglected, albeit crucial, dimension of the mind. (shrink)

The semantics for a deontic action logic based on Boolean algebra is extended with an interpretation of action expressions in terms of sets of alternative actions, intended as a way to model choice. This results in a non-classical interpretation of action expressions, while sentences not in the scope of deontic operators are kept classical. A deontic structure based on Simons’ supercover semantics is used to interpret permission and obligation. It is argued that these constructions provide ways to handle various problems (...) related to free choice permission. The main result is a sound and complete axiomatization of the semantics. (shrink)

The completeness of the axiomatization of contingency logic over symmetric frames has been thought of as a nontrivial job, the unimodal case of which cannot be generalized to the finitely multimodal case, which in turn cannot be generalized to the infinitely multimodal case. This paper deals with the completeness of symmetric contingency logic with unlimitedly many modalities, no matter whether the set of modalities is finite or infinite.

Este texto tem como objetivo apresentar a principal motivação filosófica para se defender uma teoria causal da memória, que é explicar como pode um evento que se deu no passado estar relacionado a uma experiência mnêmica que se dá no presente. Para tanto, iniciaremos apresentando a noção de memória de maneira informal e geral, para depois apresentar elementos mais detalhados. Finalizamos apresentando uma teoria causal da memória que se beneficia da noção de veritação (truthmaking).

It is well known that systems of action deontic logic emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law are subject to paradoxes. In general, paradoxes are acknowledged as such if we have intuitions telling us that things should be different. The aim of this paper is to introduce a paradox-free deontic action system by (i) identifying the basic intuitions leading to the emergence of the paradoxes (...) and (ii) exploiting these intuitions in order to develop a consistent deontic framework, where it can be shown why some phenomena seem to be paradoxical and why they are not so if interpreted in a correct way. (shrink)

Jean-François Lyotard s'interroga sulla forma delle organizzazioni sociali e ne identifica la problematica principale nell'eterogeneità che esse veicolano tra i differenti regimi di frasi: si sofferma, in particolare, sull'incompatibilità tra il regime della conoscenza e quello della libertà. A partire da tale riflessione, l'articolo esamina come le società attuali, multiculturali e globalizzate, siano chiamate oggi a compiere una scelta: abbracciare la sintesi dell'eterogeneo oppure rispettare e far rispettare la presenza inevitabile del dissidio. Nella prima occorrenza si corre il rischio di (...) trasformare il diritto in succedaneo dell'ordalia e di accendere la guerra di tutti contro tutti. Nella seconda, invece, si sperimenta la costruzione d'interazioni di tipo dipolare le quali, pur non potendo garantire contro lo scatenamento smisurato della violenza, riescono potenzialmente ad arginarlo. Queste ultime, infatti, spostano la misura della sopravvivenza dall'esclusione delle ostilità alla loro elusione, dal rifiutare il conflitto all'addomesticarlo, dal rinunciare allo sforzo muscolare al calibrarlo. (shrink)

The deontic status of tautologies and contradictions is one of the major puzzles for authors of early works on deontic logic. It is well-known that von Wright addresses this problem by adopting a Principle of Deontic Contingency, which says that tautologies are not necessarily obligatory and contradictions are not necessarily forbidden. A more radical solution is proposed by Anderson within a reductionist approach to deontic logic and consists in restricting the range of application of deontic modalities to contingent propositions. Anderson’s (...) solution has not received much attention in the literature, despite reflecting a typical feature of ordinary deontic reasoning, where non-contingent propositions are rarely, if ever, taken into account. In the present article we explore some of its formal consequences, providing a taxonomy of the properties of the Andersonian operators of obligation and permission for contingent propositions, O′ and P′, in the class of normal alethic systems. (shrink)

The notion of an ideal reasoner has several uses in epistemology. Often, ideal reasoners are used as a parameter of (maximum) rationality for finite reasoners (e.g. humans). However, the notion of an ideal reasoner is normally construed in such a high degree of idealization (e.g. infinite/unbounded memory) that this use is unadvised. In this dissertation, I investigate the conditions under which an ideal reasoner may be used as a parameter of rationality for finite reasoners. In addition, I present and justify (...) the research program of computational epistemology, which investigates the parameter of maximum rationality for finite reasoners using computer simulations. (shrink)

In this paper, we investigate the ‘ought implies can’ thesis, focusing on explanations and interpretations of OIC, with a view to clarifying its uses and relevance to legal philosophy. We first review various issues concerning the semantics and pragmatics of OIC; then we consider how OIC may be incorporated in Hartian and Kelsenian theories of the law. Along the way we also propose a taxonomy of OIC-related claims.

I extend theories of nonmonotonic reasoning to account for reasons allowing free choice. My approach works with a wide variety of approaches to nonmonotonic reasoning and explains the connection between reasons for kinds of action and reasons for actions or subkinds falling under them. I use an Anderson–Kanger reduction of reason statements, identifying key principles in the logic of reasons.

Jeremy Bentham is often interpreted as defending a satisficing, rather than maximizing, version of utilitarianism, where an act is right as long as it produces more pleasure than pain. This lack of maximization is surprising given Bentham’s maximizing slogan ‘the greatest happiness of the greatest number’. Against the satisficing interpretation, I argue that Bentham consistently defends a maximizing version of utilitarianism, where an act’s consequences are compared to those of not performing the act. I show that following this version of (...) utilitarianism requires that one realizes the greatest happiness for all affected individuals. (shrink)

Desires matter. How are we to understand the intentionality of desire? According to the two classical views, desire is either a positive evaluation or a disposition to act: to desire a state is to positively evaluate it or to be disposed to act to realize it. This Ph.D. Dissertation examines these conceptions of desire and proposes a deontic alternative inspired by Meinong. On this view, desiring is representing a state of affairs as what ought to be or, if one prefers, (...) as what should be. Desire involves a deontic manner of representing: a norm of the ought-to-be type features in desire’s intentional mode, as opposed to content. The dissertation is structured in three parts. In order to defend this conception, I formulate three main desiderata for a promising theory of the intentionality of desire in the introduction (§0). The first concerns desire’s direction of fit, i.e. the intuition that the world should conform to our desires. The second concerns the death of desire principle, i.e. the intuition that one cannot desire what one represents as actual. The last pertains to desire’s role in psychological explanations, i.e. the intuition that desires can explain some mental states and be explained by other mental states. The first part examines the main conceptions of desire in light of these desiderata. I argue that the classical pictures of desire do not adequately meet our desiderata. The first chapter is devoted to the evaluative conception (§1), while the second examines the motivational approach (§2). Following these criticisms, I then present the deontic view of desire (§3). In the second part, I defend this conception with the help of three arguments. The main idea is that appealing to norms of the ought-to-be type can satisfy our chief desiderata: the world should conform to norms (world-to-mind direction of fit, §4), norms are grounded on values and in turn ground obligations (explanation, §5), and norms are about non-actual states of affairs (death of desire principle, §6). In the last part, I develop the deontic view to draw a cartography of the various types of desire. Some desires are correct, while others are inappropriate. This distinction is explained by the deontic conception, as it matches that between states of affairs that ought to obtain and states that should not obtain (§7). Two study cases are examined: caprice and the impermissibility of desire aggregation. Intuitively, hopes, wishes, or urges are types of desire. The next chapter presents a typology inspired by the deontic view and the type of norms there are (§8). The last chapter discusses the main objections to the deontic approach (§9). In conclusion, I show the relevance of the deontic view for several debates in philosophy of mind and ethics. Desires are crucial because they are the ‘eye’ of what should be. (shrink)

This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty ; and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: logic programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of input/output logic for dealing with uncertainty in dynamic (...) normative contexts. (shrink)

Moral platonism, the claim that moral entities are both objective and prescriptive, is generally thought to be a dead end. In an attempt to defend a moderate form of moral platonism or more precisely platonism about values, I first argue that several of the many versions of this doctrine are not committed to ontological extravagances. I then discuss an important objection due to John McDowell and developed by Michael Smith, according to which moral platonism is incoherent. I argue that objectivism (...) is compatible with the claim that certain ways of being aware of values, namely those involving emotions, are motivating. (shrink)

The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems related to the de finition of deontic concepts, especially those emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law, are solved. The basic idea is to introduce two crucial distinctions allowing us to differentiate (i) what is ideal with respect to a given code, which fixes the types (...) of action that are abstractly prescribed, and what is ideal with respect to the specific situation in which the agent acts, and (ii) the transitions associated with actions and the results of actions, which can obtain even without the action being performed. (shrink)

The ideal world semantics of standard deontic logic identifies our obligations with how we would act in an ideal world. However, to act as if one lived in an ideal world is bad moral advice, associated with wishful thinking rather than well-considered moral deliberation. Ideal world semantics gives rise to implausible logical principles, and the metaphysical arguments that have been put forward in its favour turn out to be based on a too limited view of truth-functional representation. It is argued (...) that ideal world semantics should be given up in favour of other, more plausible uses of possible worlds for modelling normative subject-matter. (shrink)

According to a naïve view sometimes apparent in the writings of moral philosophers, ‘ought’ often expresses a relation between agents and actions – the relation that obtains between an agent and an action when that action is what that agent ought to do. It is not part of this naïve view that ‘ought’ always expresses this relation – on the contrary, adherents of the naïve view are happy to allow that ‘ought’ also has an epistemic sense, on which it means, (...) roughly, that some proposition is likely to be the case, and adherents of the naïve view are also typically happy to allow that ‘ought’ also has an evaluative sense, on which it means, roughly, that were things ideal, some proposition would be the case.1 What is important to the naïve view is not that these other senses of ‘ought’ do not exist, but rather that they are not exhaustive – for what they leave out, is the important deliberative sense of ‘ought’, which is the central subject of moral inquiry about what we ought to do and why – and it is this deliberative sense of ‘ought’ which the naïve view understands to express a relation between agents and actions.2 In contrast, logically and linguistically sophisticated philosophers – with a few notable exceptions3 – have rejected this naïve view. According to a dominant perspective in the interpretation of deontic logic and in linguistic semantics, for example, articulated by Roderick Chisholm (1964) and Bernard Williams (1981) in philosophy and in the dominant paradigm in linguistic semantics as articulated in particular by.. (shrink)

Los sistemas jurídicos se presentan a menudo como conjuntos de derechos, que las normas ponen en vigor. En este artículo trato de aclarar el concepto de derecho subjetivo de acuerdo con los diferentes matices en los que, de hecho, se interpreta tal idea. En efecto, si el derecho se mira desde el punto de vita del legislador, el deseo de hacer que cierta acción sea efectivamente accesible para el titular del derecho correspondiente admite diferentes grados o niveles de intensidad, y (...) cada uno de ellos puede representarse mediante diferentes configuraciones de deberes y competencias. El primer nivel, el más débil de todos, es la permisión negativa: hacer p no está prohibido. En el segundo nivel, el legislador considera el tema y lo juzga bastante importante para emitir una norma que expresamente garantice a los ciudadanos la permisión de hacer p. En el tercer nivel, aun sin una permisión explícita, el legislador quiere impedir a la autoridad delegada prohibir p. Prohíbe, pues, a dichas autoridades emitir una norma que incluya esa prohibición. En el cuarto nivel o grado, el superior trata de impedir a la autoridad delegada desobedecer aquel propósito. Para hacerlo, establece que la prohibición de p está fuera de la competencia de cualquiera de sus delegados. En el quinto, el hecho de que p está permitido y no puede prohibirse no es bastante para el legislador, que insiste en que el sujeto que desee hacer p no se vea estorbado por terceros. En el sexto nivel, el legislador reconoce que, aun si nadie opone un obstáculo a p, algunas personas no son por sí mismas capaces de llevar a cabo esa acción. Para resolver esta última dificultad, el legislador establece, para todos los sujetos, o para algunos de ellos en cierta situación favorable, o aun para alguna autoridad delegada, la obligación de dar ayuda efectiva a cualquier persona que desee hacer p pero encuentre alguna dificultad para ello. Individualizados y definidos esos seis niveles de intensidad de derechos, pueden proponerse ejemplos para cada nivel. El propósito de este trabajo no es mantener ni cambiar las prioridades existentes, ni tampoco negar la importancia de los derechos ni proponer que los tribunales los ignoren. Es mostrar la realidad operativa de los derechos, comparada con el énfasis diverso que se les atribuye en el discurso político, que ahora es profundamente recibido en el campo jurídico. El análisis de los niveles expuestos puede ser una herramienta útil para comprender ciertas dificultades del discurso jurídico comparado con su práctica. Legal systems are often presented as sets of rights, and legal norms operate to ensure these rights. In this paper, I try to clarify the concept of right according to the different shades in which, as a matter of fact, the idea of a right is interpreted. As a matter of fact, if law is seen from the point of view of the legislator, the will to make a certain action effectively accessible by the bearer of the corresponding right admits different degrees or levels of intensity, and each of those levels can be represented by a different configuration of duties or competences. The first level, the weakest of them all, is represented by negative permission: doing p is not forbidden. At the second level, the legislator has considered the matter and deemed it important enough to enact legislation expressly granting citizens the permission to do p. In the third level, even without a superior explicit permission, the legislator wants to prevent a delegate authority to prohibit p. So, she forbids such authorities from enacting a norm which includes that prohibition. In the fourth level or degree, the superior tries to prevent the delegate authority from disobeying its purpose. In order to do so, it establishes that the prohibition of p is out of the competence of any of its delegates. In the fifth degree, the fact that p is permitted and cannot be forbidden is not enough for the legislator: she insists that the subject willing to do p shall not be prevented from it by third persons. In the sixth level, the legislator acknowledges that, even if nobody opposes an obstacle to p, some willing persons are not individually able to perform such behaviour. In order to solve this last difficulty, the legislator establishes an obligation, for every subject, or for some of them in a certain favourable situation, or even for a delegate authority, of giving an effective help to any person willing to perform p but finding some obstacle to do so. Once individuated and defined those six levels of intensity of rights, some examples of each degree may be proposed. The aim of this paper is not to maintain or to change the present priorities, nor to deny the importance of rights or encourage courts to ignore them. Its purpose is to show the operative reality of rights, compared with the different emphasis they are attributed to within the political discourse, presently deeply received in the legal field. The analysis of the levels exposed above may be a useful tool to understand some difficulties of the legal discourse when compared to the legal practice. (shrink)

This volume consists of the invited papers presented at the 23rd International Wittgenstein Conference held in Kirchberg, Austria in August 2000. Among the topics treated are: truth, psychologism, science, the nature of rational discourse, practical reason, contextualism, vagueness, types of rationality, the rationality of religious belief, and Wittgenstein. Questions addressed include: Is rationality tied to special sorts of contexts? ls rationality tied to language? Is scientific rationality the only kind of rationality? Is there something like a Western rationality? and: Could (...) we genetically engineer human beings to be less wicked? (shrink)

This paper provides an analysis of contrary-to-duty reasoning from the proof-theoretical perspective of category theory. While Chisholm’s paradox hints at the need of dyadic deontic logic by showing that monadic deontic logics are not able to adequately model conditional obligations and contrary-to-duties, other arguments can be objected to dyadic approaches in favor of non-monotonic foundations. We show that all these objections can be answered at one fell swoop by modeling conditional obligations within a deductive system defined as an instance of (...) a symmetric monoidal closed category. Using category theory as a foundational framework for logic, we show that it is possible to model conditional normative reasoning and conflicting obligations within a monadic approach without adding further operators or considering deontic conditionals as primitive. (shrink)

A dynamic semantics for iffy oughts offers an attractive alternative to the folklore that Chisholm's paradox enforces an unhappy choice between the intuitive inference rules of factual and deontic detachment. The first part of the story told here shows how a dynamic theory about ifs and oughts gives rise to a nonmonotonic perspective on deontic discourse and reasoning that elegantly removes the air of paradox from Chisholm's puzzle without sacrificing any of the two detachment principles. The second part of the (...) story showcases two bonus applications of the framework suggested here: it offers a response to Forrester's gentle murder paradox and avoids Kolodny and MacFarlane's miners paradox about deontic reasoning under epistemic uncertainty. A comparison between the dynamic semantic proposal made in this paper and a more conservative approach combining a static semantics with a dynamic pragmatics is provided. (shrink)

Esta coletânea explora o papel desempenhado pelas emoções na teorização em ética e metaética. Inclui capítulos escritos por pesquisadores do Brasil e de outros países.

Seventeenth century philosopher Gottfried Leibniz's contributions to metaphysics, mathematics, and logic are well known. Lesser known is his ‘invention’ of deontic logic, and that his invention derives from the alethic logic of the Aristotelian square of opposition. In this paper, I show how Leibniz developed this ‘logic of duties’, which designates actions as ‘possible, necessary, impossible, and omissible’ for a ‘vir bonus’ . I show that for Leibniz, deontic logic can determine whether a given action, e.g. as permitted, is therefore (...) obligatory or prohibited . Secondly, since the deontic modes are derived from what is possible, necessary, etc., for a good person to do, and that ‘right and obligation’ are the ‘moral qualities’ of a good person, we can see how Leibniz derives deontic logic from these moral qualities. Finally, I show how Leibniz grounds a central deontic concept, namely obligation, in the human capacity for freedom. (shrink)

Overview of fundamental work in deontic logic.

In this paper, I apply the "conceptual role semantics" approach that I have proposed elsewhere (according to which the meaning of normative terms is given by their role in practical reasoning or deliberation) to the meaning of the term 'ought'. I argue that this approach can do three things: It can give an adequate explanation of the special connection that normative judgments have to practical reasoning and motivation for action. It can give an adequate account of why the central principles (...) of deontic logic are correct. It can give an explanation of the precise ways in which the term 'ought' is systematically context-sensitive, so that the term expresses different (but systematically related) concepts in different contexts. (shrink)

Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programming, deontic logic programs (DLP), we tackle the fundamental problem of equivalence between normative systems using a deontic extension of David Pearce’s Equilibrium Logic and (...) its monotonic basis, the logic of Here-and-There. We also show how deontic logic programs can be used to represent and reason about normative systems, and establish a strong connection with input-output logic. (shrink)

Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4), 535–553. Segerberg, K. (1995). Conditional action. In G. Crocco, L. Fariñas, & A. Herzig (Eds.), Conditionals: From philosophy to computer science, Studies ...

Laws set requirements that force organizations to assess the security and privacy of their IT systems and impose them to implement minimal precautionary security measures. Several IT solutions (e.g., Privacy Enhancing Technologies, Access Control Infrastructure, etc.) have been proposed to address security and privacy issues. However, understanding why, and when such solutions have to be adopted is often unanswered because the answer comes only from a broader perspective, accounting for legal and organizational issues. Security engineers and legal experts should analyze (...) the business goals of a company and its organizational structure and derive from there the points where security and privacy problems may arise and which solutions best fit such (legal) problems. The paper investigates the methodological support for capturing security and privacy requirements of a concrete health care provider. (shrink)