Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

This article examines the application of the ought‐implies‐can principle in the legal domain, especially in the relationship between obligations and responsibility. It addresses the challenge of cases in which an agent cannot do what is required of her, and yet it seems plausible to say that she has an obligation. To deal with these cases, two parallel distinctions are made: between rules of conduct and rules of imputation, and between doings and things done. It is proposed that these distinctions show (...) that the principle operates in two different but complementary ways: as part of prescriptive relations and as part of responsibility practices. (shrink)

We introduce a multimodal framework of deontic action logic which encodes the interaction between two fundamental procedures in normative reasoning: conceptual classification and deontic classification. The expressive power of the framework is noteworthy, since it combines insights from agency logic and dynamic logic, allowing for a representation of many kinds of normative conflicts. We provide a semantic characterization for three axiomatic systems of increasing strength, showing how our approach can be modularly extended in order to get different levels of analysis (...) of normative reasoning. Finally, we discuss ways in which the framework can be used to capture other formalisms proposed in the literature, as well as to model searching problems in Artificial Intelligence. (shrink)

The theory of branching space-times, put forward by Belnap, considers indeterminism as local in space and time. In the axiomatic foundations of that theory, so-called choice points mark the points at which the possible future can turn out in different ways. Working under the assumption of choice points is suitable for many applications, but has an unwelcome topological consequence that makes it difficult to employ branching space-times to represent a range of possible physical space-times. Therefore it is interesting to develop (...) a branching space-times theory without choice points. This is what we set out to do in this paper, providing new foundations for branching space-times in terms of choice sets rather than choice points. After motivating and developing the resulting theory in formal detail, we show that it is possible to translate structures of one style into structures of the other style and vice versa. This result shows that the underlying idea of indeterminism as the branching of spatio-temporal histories is robust with respect to different implementations, making a choice between them a matter of expediency rather than of principle. (shrink)

n this paper, I analyse Rahel Jaeggi’s socio-ontological account of forms of life. I show that her framework is a two-sided one, since it involves an understanding of forms of life both as inert bundles of practices and as having a normative structure. Here I argue that this approach is based on an a priori argument which assumes normativity as the condition of intelligibility of social criticism. I show that the intimate tension between these two sides is reflected in the (...) socio-ontological model of the constitution of social phenomena, which on the one side is understood in terms of habituation and materialization, and on the other side in terms of constitution through norms. The second side in the end prevails and leads to some sort of normative essentialism which involves a prescriptive meta-theoretical understanding of normativity combined with a socio-ontological model of constitutive rules. I then analyse two arguments that Jaeggi offers in support of her assumption that normative constitution is the deep structure of social practices. I name these the functional- teleological argument, and the crisis developmental argument, and argue that neither succeeds in proving that practices are not normatively underdetermined. (shrink)

This paper examines distinctive discourse properties of preposed negative 'yes/no' questions (NPQs), such as 'Isn’t Jane coming too?'. Unlike with other 'yes/no' questions, using an NPQ '∼p?' invariably conveys a bias toward a particular answer, where the polarity of the bias is opposite of the polarity of the question: using the negative question '∼p?' invariably expresses that the speaker previously expected the positive answer p to be correct. A prominent approach—what I call the context-management approach, developed most extensively by Romero (...) and Han (2004)—attempts to capture speaker expectation biases by treating NPQs fundamentally as epistemic questions about the proper discourse status of a proposition. I raise challenges for existing context-managing accounts to provide more adequate formalizations of the posited context-managing content, its implementation in the compositional semantics and discourse dynamics, and its role in generating the observed biases. New data regarding discourse differences between NPQs and associated epistemic modal questions are introduced. I argue that we can capture the roles of NPQs in expressing speakers’ states of mind and managing the discourse common ground without positing special context-managing operators or treating NPQs as questions directly about the context. I suggest that we treat the operator introduced with preposed negation as having an ordinary semantics of epistemic necessity, though lexically associated with a general kind of endorsing use observed with modal expressions. The expressive and context-managing roles of NPQs are explained in terms of a general kind of discourse-oriented use of context-sensitive language. The distinctive expectation biases and discourse properties observed with NPQs are derived from the proposed semantics and a general principle of Discourse Relevance. (shrink)

Deontic Doxastic Constitutivism is the view that beliefs are constitutively governed by deontic norms. This roughly means that a full account and understanding of the nature of these mental attitudes cannot be reached unless one appeals to some norm of this type. My aim in this article is to provide an objection to such a conception of the normativity of belief. I argue that if some deontic norm is constitutive of belief, then the addressees of such a norm are committed (...) to a potentially infinite number of norms. Furthermore, if addressees are in the position to fulfill all such norms, they must also be able to hold a potentially infinite number of logically independent beliefs. Both these consequences are problematic if compared with limited human capacities to act and believe. (shrink)

The concept of legal power is important in the law since, with regard to actions having legal effect, the “exercise of legal power” delimits those actions for which manifestation of intention to achieve a legal effect is essential for the effect to ensue. The paper proposes a definition that captures this feature of legal power and marks it off from “direct effect,” as well as from permissibility and practical ability to achieve the legal effect. This analysis of power is limited (...) to the “immediate” legal power of a physical person characterized by the power-holder achieving a legal result by the power-holder's own behaviour. It is argued that in the literature on power the concept of legal power is frequently construed in such a way that it becomes either too broad or too narrow. (shrink)

We live in a world of technologies. Classical Philosophy of Science, Philosophy of Technology, Episte- mology, etc. philosophical disciplines appear insufficient for valid reflections on today's world. The Philo- sophy of Engineering and Design (Technological) Actions is seen promising to become a fruitful field of philosophical reflections and is offered from the perspective of the Philosophy of Action and Agency (Practical Philosophy). The foundations of the latter are presented in Part II. In the Part I, the Phi- losophy of Engineering (...) and Design (Technological) Actions is outlined in a comparative with Philo- sophy of Technology, Humanities Philosophy of Technology, Philosophy of Engineering, Philosophy of Science, Epistemology, etc. plane. The paradoxes of E. Feenberg's technique, the interpretation of which is proposed in the part III, are involved for the illustrating of the maintained understanding. In the conclusive part (IV) the general danger of distortive philosophical understandings about the tech- nological common world of today are mentioned. (shrink)

Selon certains philosophes, le principe « devoir-implique-pouvoir » exprime une vérité analytique et permet d’inférer des énoncés normatifs sur la base de prémisses purement descriptives. Le principe DIP offrirait ainsi un contre-exemple à la fameuse loi de Hume. Le problème est que DIP permet uniquement de construire des raisonnements dont les conclusions sont des négations de normes. Or, selon certains auteurs, les négations de normes n’expriment pas de véritables jugements moraux. En ce sens, selon eux, DIP ne permet pas de (...) tirer des conclusions normatives sur la base de prémisses uniquement descriptives. Dans cet article, nous soutenons au contraire que les négations de normes sont de véritables normes et que DIP permet bien de déduire une conclusion normative à partir de prémisses purement descriptives. (shrink)

The Bhagavadgītā, part of the sixth book of the Hindu epic The Mahābhārata, offers a practical approach to mokṣa, or liberation, and freedom from saṃsāra, or the cycle of death and rebirth. According to the approach, known as karmayoga, salvation results from attention to duty and the recognition of past acts that inform the present and will direct the future. In the Bhagavadgītā, Kṛṣṇa advocates selfless action as the ideal path to realizing the truth about oneself as well as the (...) ultimate reality. Kṛṣṇa proclaims that humans have rights only to actions and not to their results, whether good or bad. Therefore, humans should not desire any results whatsoever. The prisoner’s dilemma is a fictional story that shows why individuals who seek only their personal benefit meet worse outcomes than those possible by cooperating with others. The dilemma provides an effective, albeit often overlooked, method for studying the Hindu principle of niṣkāmakarma that is arguably the central teaching of the Bhagavadgītā. In the context of the prisoner’s dilemma, a prisoner who wants to uphold niṣkāmakarma may choose one of two decision-making strategies: to be indifferent and leave the decision to chance or to either pursue the common good or the other person’s benefit instead of his or her own. Assuming that followers of niṣkāmakarma can be goal-oriented, the second strategy is more appropriate than the first, as long as one pursues unselfish goals and remains both indifferent and uncommitted to personal benefit. (shrink)

ABSTRACT In this paper, I analyse Rahel Jaeggi’s socio-ontological account of forms of life. I show that her framework is a two-sided one, since it involves an understanding of forms of life both as inert bundles of practices and as having a normative structure. Here I argue that this approach is based on an a priori argument which assumes normativity as the condition of intelligibility of social criticism. I show that the intimate tension between these two sides is reflected in (...) the socio-ontological model of the constitution of social phenomena, which on the one side is understood in terms of habituation and materialization, and on the other side in terms of constitution through norms. The second side in the end prevails and leads to some sort of normative essentialism which involves a prescriptive meta-theoretical understanding of normativity combined with a socio-ontological model of constitutive rules. I then analyse two arguments that Jaeggi offers in support of her assumption that normative constitution is the deep structure of social practices. I name these the functional-teleological argument, and the crisis developmental argument, and argue that neither succeeds in proving that practices are not normatively underdetermined. (shrink)

This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well‐known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two‐level approach to obligations is tested first against standard scenarios of contrary‐to‐duty obligations, leading also to a generalization for the Kanger‐Anderson reduction of deontic logic. Next, the priority framework is applied to model (...) two intuitively different sorts of deontic dynamics of obligations, based on information changes and on genuine normative events. In this two‐level setting, we also offer novel takes on vexed issues such as the Chisholm paradox and modelling strong permission. Finally, the priority framework is shown to provide a unifying setting for the study of operations on norms as such, in particular, adding or deleting individual norms, and even merging whole norm systems in different manners. (shrink)

This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical foundations. We discuss von Wright’s general theory of agency and his account of instrumentality. Moreover, we propose several refinements to this framework via rigorous definitions of the core notions involved. In the second part, we develop a logical system called Temporal Logic of Action and Expectations (TLAE). The logic is inspired (...) by a fragment of propositional dynamic logic based on indeterministic time. The system is proven to be weakly complete relative to its given semantics. We then employ TLAE to formalise and analyse the instrumentality relations defined in the first part of the paper. Last, we point out philosophical implications and possible extensions of our work. (shrink)

ABSTRACT As a part of John Broome’s stated aim to establish a clear distinction between rationality and normativity, Broome suggests a novel definition of normativity as a property term that applies to persons. Since this construal of normativity diverges significantly from most prominent renderings of the concept within contemporary philosophical discussions, it merits critical scrutiny. In response to Broome, I thus examine the technical advantage of Broome’s approach, while also indicating some drawbacks of Broome’s novel conceptualization of ‘normative’ and ‘normativity’.

In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...) this element of truth is not obviated by the more powerful logical techniques that are now available. (shrink)

A sequent calculus methodology for systems of agency based on branching-time frames with agents and choices is proposed, starting with a complete and cut-free system for multi-agent deliberative STIT; the methodology allows a transparent justification of the rules, good structural properties, analyticity, direct completeness and decidability proofs.

Hohfeld’s analysis on the different types of rights and duties is highly influential in analytical legal theory, and it is considered as a fundamental theory in AI&Law and normative multi-agent systems. Yet a century later, the formalization of this theory remains, in various ways, unresolved. In this paper I provide a formal analysis of how the working of a system containing Hohfeldian rights and duties can be delineated. This formalization starts from using the same tools as the classical ones by (...) Kanger and Lindahl used, but instead of focusing on the algebraic features of rights and duties, it aims at providing a comprehensive analysis of what these rights and duties actually are and how they behave and at saying something substantial on Power too—maintaining all along the Hohfeldian intentions that these rights and duties are sui generis and inherently relational. (shrink)