Agency and Deontic Logic

  title={Agency and Deontic Logic},
  author={John F. Horty},
  • J. Horty
  • Published 11 January 2001
  • Philosophy
1. OVERVIEW 2. INDETERMINISM AND AGENCY 2.1 Branching time 2.1.1 Frames and Models 2.1.2 2.1.2 Propositions 2.2 Individual agency 2.2.1 Agents and choices 2.2.2 Stit operators 2.2.3 Some logical considerations 2.3 Individual ability 2.3.1 Kenny's objections 2.3.2 Brown's theory 2.3.3 Refraining and ability 2.4 Group agency and ability 2.4.1 Group actions 2.4.2 A group agency operator 3. OUGHT TO BE 3.1 The standard theory 3.2 A utilitarian theory 3.2.1 General models 3.2.2 Utilitarian models 3… 
Chapter 10 Deontic Logic
The chapter is organized in ten sections, each of them presenting a fundamental issue or problem in the area of deontic logic. Section 10.2 is about the issue of norms and truth, i.e., whether norms
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
It is shown that there is a close relationship with more recent logics for multiagent systems, and a translation from ATL to the framework is given, and it is proved that it determines correct embedding.
What an Agent Ought To Do A Review of John Horty's 'Agency and Deontic Logic'
John Horty’s book ‘Agency and deontic logic’ appeared at Oxford Press in 2001. It develops deontic logic against the background of a theory of agency in nondeterministic time. Several philosophical
A computational theory of normative positions
This paper presents Norman-G, an automated support system intended to facilitate application of the Kanger-Lindahl theory of normative positions to the analysis of practical problems, with a small example to illustrate its use.
The thesis focuses on Chisholm's paradox and o ers a philosophical comparative analysis using three logical frameworks in which the paradox can be formalised. Chapter 1 considers Standard Deontic
SOCREAL 2010 Proceedings of the 2nd International Workshop on Philosophy and Ethics of Social Reality
We develop a multi-agent deontic action logic to study the logical behaviour of two types of permissions: (1) absolute permissions, having the form “In groupF ’s interest, groupG may to perform
From Oughts to Goals: A Logic for Enkrasia
This paper focuses on (an interpretation of) the Enkratic principle of rationality, according to which rationality requires that if an agent sincerely and with conviction believes she ought to X ,
On the Representation of Action and Agency in the Theory of Normative Positions
The theory of normative positions attempts to apply a combination of deontic logic and a logic of action/agency to the formalisation of the `Hohfeldian concepts' (duty, right, power, privilege, etc.) and other complex normative relations between agents with particular attention to the usefulness of the action component as a representational device.
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
I outline six components of a comprehensive proposal for overhauling the foundations of deontic logic. (1) Actions and prescriptions are temporally indexed; more precisely, they attach to nodes of a