## Agency and Deontic LogicJohn Horty effectively develops deontic logic (the logic of ethical concepts like obligation and permission) against the background of a formal theory of agency. He incorporates certain elements of decision theory to set out a new deontic account of what agents ought to do under various conditions over extended periods of time. Offering a conceptual rather than technical emphasis, Horty's framework allows a number of recent issues from moral theory to be set out clearly and discussed from a uniform point of view. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

6 | |

3 Ought to be | 34 |

4 Ought to do | 59 |

5 Conditional oughts | 96 |

6 Group oughts | 122 |

7 Strategic oughts | 142 |

Proofs of validities and propositions | 165 |

181 | |

188 | |

### Other editions - View all

### Common terms and phrases

ability action K action K'e action K1 action performed Adh(a Adh(o admission sets agency agent and m a Arthur Prior AU-right background Belnap best pattern causally independent Chellas choice utilitarian stit Choiceſ classified as right conclude condition course cslit Definition deontic logic deontic operator dominance act utilitarianism dominance theory evaluation rule example expected value field finite choice utilitarian formula framework G)(ſo cstit gamble group action group of agents guarantees the truth history h holds Hºn idea index m/h individual intuitive m/h an index Meinong/Chisholm analysis modal modal logic notion optimal actions available Optimalſ orthodox theory Oſo cstit partition patterns of action performs the action possible outcomes preliminary analysis Proposition 4.7 refraining Regan represent result rule utilitarianism settled false settled true simply situation ſo dstit standard deontic statement Stateſ strategy suppose sure-thing reasoning tense logic utilitarian stit frame utilitarian stit model utility validity Value(h Valuem

### Popular passages

Page 184 - ... the other. References [Durfee, 1988] Edmund H. Durfee. Coordination of Distributed Problem Solvers. Kluwer Academic Publishers, Boston, 1988. [Harsanyi, 1977] John C. Harsanyi. Rational Behavior and Bargaining Equilibrium in Games and Social Situations. Cambridge University Press, Cambridge, 1977. [Luce and Raiffa, 1957] R. Duncan Luce and Howard Raiffa. Games and Decisions. John Wiley & Sons, Inc., New York, 1957. [Malone et ai, 1988] Thomas W.

Page 6 - G h} represent the set of histories passing through m, those histories in which m occurs. These ideas can be illustrated as in Figure 1, where the upward direction represents the forward direction of time.

Page 6 - Thomason in [4] and [5] — is based on a picture of moments as ordered into a treelike structure, with forward branching representing the openness or indeterminacy of the future and the absence of backward branching representing the determinacy of the past. Such a picture leads, formally, to a notion of branching temporal...