A Neutral Temporal Deontic STIT Logic

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting

FIVE STEPS TO RESPONSIBILITY

Responsibility has entered the academic discourse of logicians hardly more than few decades ago. I suggest a logical concept of responsibility which employs ideas both from a number of theories belonging to different branches of logic as well from other academic areas. As a comment to this concept, I suggest five steps narrative scenario in order to show how the logical dimension of responsibility emerges from diverse tendencies in logic and other sciences. Here are the five steps briefly stated: Step 1. Developing modal formalisms capable of evaluative analysis of situations (deontic, epistemic and etc.). Step 2. Drawing a conceptual borderline between normal and non-normal (weak) logical systems. Step 3. Using different kinds of models. Step 4. Agent- and action- friendly turn in logic. Step 5. Creating formalisms for modeling different types of agency. An idea advocated here within 5-Steps route to responsibility is that this concept is a complex causal and evaluative (axiological) relation. A logical account may be given for causal and normative aspects of this relation. Unfolding the responsibility back and forth through 5 Steps will result in different concepts. The technicalities are minimized for the sake of keeping the philosophical scope of the paper. For the same reason I also refrain from discussing legal and juridical ramifications of the issue

Uncovering the Moral Heuristics of Altruism: A Philosophical Scale

Extant research suggests that individuals employ traditional moral heuristics to support their observed altruistic behavior; yet findings have largely been limited to inductive extrapolation and rely on relatively few traditional frames in so doing, namely, deontology in organizational behavior and virtue theory in law and economics. Given that these and competing moral frames such as utilitarianism can manifest as identical behavior, we develop a moral framing instrument—the Philosophical Moral-Framing Measure (PMFM)—to expand and distinguish traditional frames associated and disassociated with observed altruistic behavior. The validation of our instrument based on 1015 subjects in 3 separate real stakes scenarios indicates that heuristic forms of deontology, virtue-theory, and utilitarianism are strongly related to such behavior, and that egoism is an inhibitor. It also suggests that deontic and virtue-theoretical frames may be commonly perceived as intertwined and opens the door for new research on self-abnegation, namely, a perceived moral obligation toward suffering and self-denial. These findings hold the potential to inform ongoing conversations regarding organizational citizenship and moral crowding out, namely, how financial incentives can undermine altruistic behavior

What an Agent Ought To Do

This paper reviewes Horty\u27s 2001 book `Agency and Deontic Logic\u27. We place Horty\u27s research I a broader context and discuss the relevancy for logics for multi-agent systems

Cut-free Calculi and Relational Semantics for Temporal STIT Logics

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames

Resolving Conflicts of Rights: Russ Shafer-Landau and Judith Jarvis Thomson Revisited

This manuscript examines two accounts that discuss rights disputes. On the one hand, Russ Shafer-Landau argues for specificationism (or what is referred to here as SA), which deems rights as having innate limitations. One the other, Judith Jarvis Thomson defends infringement theory (or what is referred to here as IVA), which views rights to be competing factors. Shafer-Landau in “Specifying Absolute Rights” endeavored to discredit Thomson’s IVA and promote his favored theory. This material responds to and criticizes the claims Shafer-Landau pressed in his article. First part of the thesis addresses his concerns and finds them unconvincing. Using tools of logic, it is demonstrated that Shafer-Landau’s demands on compensation are without warrant. More than this, his demands on the tripartite are misguided. Second part tackles some shortcomings of SA. One of which is the finding that two of the three arguments Shafer-Landau posited for SA’s superiority run counter to each other. Should Shafer-Landau save one, it would remain untenable for the foundations therein rest on a mistake. Finally, his position of SA being sufficiently explanatory is in itself wanting. Though this material does not go as far as proving which theory is practically better, the project is not bereft of purpose. By the end, IVA would already have been relieved of the criticisms whereas SA would be confronted with multiple challenges

A Deontic Logic Analysis of Autonomous Systems' Safety

We consider the pressing question of how to model, verify, and ensure that autonomous systems meet certain \textit{obligations} (like the obligation to respect traffic laws), and refrain from impermissible behavior (like recklessly changing lanes). Temporal logics are heavily used in autonomous system design; however, as we illustrate here, temporal (alethic) logics alone are inappropriate for reasoning about obligations of autonomous systems. This paper proposes the use of Dominance Act Utilitarianism (DAU), a deontic logic of agency, to encode and reason about obligations of autonomous systems. We use DAU to analyze Intel's Responsibility-Sensitive Safety (RSS) proposal as a real-world case study. We demonstrate that DAU can express well-posed RSS rules, formally derive undesirable consequences of these rules, illustrate how DAU could help design systems that have specific obligations, and how to model-check DAU obligations.Comment: 11 pages, 4 figures, In 23rd ACM International Conference on Hybrid Systems: Computation and Contro

Two Ways to Want?

I present unexplored and unaccounted for uses of 'wants'. I call them advisory uses, on which information inaccessible to the desirer herself helps determine what she wants. I show that extant theories by Stalnaker, Heim, and Levinson fail to predict these uses. They also fail to predict true indicative conditionals with 'wants' in the consequent. These problems are related: intuitively valid reasoning with modus ponens on the basis of the conditionals in question results in unembedded advisory uses. I consider two fixes, and end up endorsing a relativist semantics, according to which desire attributions express information-neutral propositions. On this view, 'wants' functions as a precisification of 'ought', which exhibits similar unembedded and compositional behavior. I conclude by sketching a pragmatic account of the purpose of desire attributions that explains why it made sense for them to evolve in this way