•  602
    The result model of precedent
    Legal Theory 10 (1): 19-31. 2004.
    The result model of precedent holds that a legal precedent controls a fortiori cases—those cases, that is, that are at least as strong for the winning side of the precedent as the precedent case itself. This paper defends the result model against some objections by Larry Alexander, drawing on ideas from the field of Artificial Intelligence and Law in order to define an appropriate strength ordering for cases
  •  146
    Rules and reasons in the theory of precedent
    Legal Theory 17 (1): 1-33. 2011.
    The doctrine of precedent, as it has evolved within the common law, has at its heart a form of reasoning—broadly speaking, alogic—according to which the decisions of earlier courts in particular cases somehow generalize to constrain the decisions of later courts facing different cases, while still allowing these later courts a degree of freedom in responding to fresh circumstances. Although the techniques for arguing on the basis of precedent are taught early on in law schools, mastered with rel…Read more
  •  118
    Moral dilemmas and nonmonotonic logic
    Journal of Philosophical Logic 23 (1). 1994.
    From a philosophical standpoint, the work presented here is based on van Fraassen [26]. The bulk of that paper is organized around a series of arguments against the assumption, built into standard deontic logic, that moral dilemmas are impossible; and van Fraassen only briefly sketches his alternative approach. His paper ends with the conclusion that “the problem of possibly irresolvable moral conflict reveals serious flaws in the philosophical and semantic foundations of ‘orthodox’ deontic logi…Read more
  •  13
    A skeptical theory of mixed inheritance
    In J. Dunn & A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap, Kluwer Academic Publishers. pp. 267--281. 1990.
  •  45
    Early attempts at combining multiple inheritance with nonmonotonic reasoning were based on straightforward extensions of tree-structured inheritance systems, and were theoretically unsound. In The Mathcmat~'cs of Inheritance Systcrns, or TMOIS, Touretzky described two problems these systems cannot handle: reasoning in the presence of true but redundant assertions, and coping with ambiguity. TMOIS provided a definition and analysis of a theoretically sound multiple inheritance system, accom-
  •  29
    The purpose of this paper is to explore a new deontic operator for representing what an agent ought to do; the operator is cast against the background of a modal treatment of action developed by Nuel Belnap and Michael Perlo, which itself relies on Arthur Prior's indeterministic tense logic. The analysis developed here of what an agent ought to do is based on a dominance ordering adapted from the decision theoretic study of choice under uncertainty to the present account of action. It is shown t…Read more
  •  30
    Reasons as Defaults
    Oup Usa. 2012.
    In this volume, John Horty brings to bear his work in logic to present a framework that allows for answers to key questions about reasons and reasoning, namely: What are reasons, and how do they support actions or conclusions?
  •  96
    Defaults with Priorities
    Journal of Philosophical Logic 36 (4): 367-413. 2007.
  •  117
    Agency and obligation
    Synthese 108 (2). 1996.
    The purpose of this paper is to explore a new deontic operator for representing what an agent ought to do; the operator is cast against the background of a modal treatment of action developed by Nuel Belnap and Michael Perloff, which itself relies on Arthur Prior's indeterministic tense logic. The analysis developed here of what an agent ought to do is based on a dominance ordering adapted from the decision theoretic study of choice under uncertainty to the present account of action. It is shown…Read more
  •  28
    This book provides a unified account of Hansson’s work on values (or preferences), norms, and their interrelations. Although much of the detailed material contained here appears among the numerous articles published by the author over the past decade or so, the book presents this work as a coherent whole. The overall style is formal: definitions are set out, results are established. Readers who do not enjoy formal work in value theory are likely to find little of interest here. But readers who d…Read more
  •  52
    Requirements, Oughts, Intentions
    Philosophy and Phenomenological Research 91 (1): 220-229. 2015.
  •  82
    This paper works within a particular framework for reasoning about actions—sometimes known as the framework of “stit semantics”—originally due to Belnap and Perloff, based ultimately on the theory of indeterminism set out in Prior’s indeterministic tense logic, and developed in full detail by Belnap, Perloff, and Xu [3]. The issues I want to consider arise when certain normative, or decision theoretic, notions are introduced into this framework: here I will focus on the notion of a right action,…Read more
  •  36
    Constraint and Freedom in the Common Law
    Philosophers' Imprint 15 1-27. 2015.
    This paper contributes to our formal understanding of the common law — especially the nature of the reasoning involved, but also its point, or justification, in terms of social coordination. I present two apparently distinct models of constraint by precedent in the common law, establish their equivalence, and argue for a perspective according to which courts are best thought of, not as creating and modifying rules, but as generating a social priority ordering on reasons through a procedure that …Read more
  •  60
    The purpose of this paper is to question some commonly accepted patterns of reasoning involving nonmonotonic logics that generate multiple extensions. In particular, I argue that the phenomenon of floating conclusions indicates a problem with the view that the skeptical consequences of such theories should be identified with the statements that are supported by each of their various extensions.