John Horty

This chapter develops a picture according to which decision making in the common law is entirely guided by reasons rather than rules, and differs from ordinary decision making only to the extent that a common law reasoner, conforming to the requirements of precedent, must adapt his or her own weighting, or priority ordering, on reasons so that it coheres with a priority ordering derived from a background case base. Common law reasoning is thus cast as a form of constrained natural reasoning, in which precedent cases are treated as reasons for altering the weights, or priorities, that would normally be assigned to other reasons.

In this short monograph, John Horty explores the difficulties presented for Gottlob Frege's semantic theory, as well as its modern descendents, by the treatment of defined expressions. The book begins by focusing on the psychological constraints governing Frege's notion of sense, or meaning, and argues that, given these constraints, even the treatment of simple stipulative definitions led Frege to important difficulties. Horty is able to suggest ways out of these difficulties that are both philosophically and logically plausible and Fregean in spirit. This discussion is then connected to a number of more familiar topics, such as indexicality and the discussion of concepts in recent theories of mind and language. In the latter part of the book, after introducing a simple semantic model of senses as procedures, Horty considers the problems that definitions present for Frege's idea that the sense of an expression should mirror its grammatical structure. The requirement can be satisfied, he argues, only if defined expressions--and incomplete expressions as well--are assigned senses of their own, rather than treated contextually. He then explores one way in which these senses might be reified within the procedural model, drawing on ideas from work in the semantics of computer programming languages. With its combination of technical semantics and history of philosophy, Horty's book tackles some of the hardest questions in the philosophy of language. It should interest philosophers, logicians, and linguists.

The notion of what an agent ought to do at a moment is generalized to yield a notion of what the agent ought to do over extended periods of time. This requires us to develop the notion of a strategy as a function from moments to actions available at those moments and appropriate notions of strategic dominance. A strategic ought operator is introduced and used to analyze the debate between actualists and possibilists concerning the ways in which an agent's obligations depend on his or her future actions.

Unlike statutory law, which relies on the explicit formulation of rules, common law is thought to emerge from a complex doctrine of precedential constraint, according to which decisions in earlier cases constrain later courts while still allowing these courts the freedom to address new situations in creative ways. Although this doctrine is applied by legal practitioners on a daily basis, it has proved to be considerably more difficult to develop an adequate theoretical account of the doctrine itself. Drawing on recent work in legal theory, as well as AI and law, this book develops a new account of precedential constraint and the balance achieved in the common law between constraint and freedom. This account, which involves construction of a group priority ordering among reasons, is then applied to other topics including the semantics of open-textured predicates and the practice of making exceptions to general rules.

Stit semantics grows out of a modal tradition in the logic of action that concentrates on an operator representing the agency of an individual in seeing to it that some state of affairs holds, rather than on the actions the individual performs in doing so. The purpose of this paper is to enrich stit semantics, and especially epistemic stit semantics, by supplementing the overall framework with an explicit treatment of action types. We show how the introduction of these new action types allows us to define a modal operator capturing an epistemic sense of agency, and how this operator can be used to express an epistemic sense of ability.

In previous work, I showed how the “reason model” of precedential constraint could naturally be generalized from the standard setting in which it was first developed to a richer setting in which dimensional information is represented as well. Surprisingly, it then turned out that, in this new dimensional setting, the reason model of constraint collapsed into the “result model,” which supports only a fortiori reasoning. The purpose of this note is to suggest a modification of the reason model of constraint that distinguishes it from the result model even in the dimensional setting.

John 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.

This paper shows how two models of precedential constraint can be broadened to include legal information represented through dimensions. I begin by describing a standard representation of legal cases based on boolean factors alone, and then reviewing two models of constraint developed within this standard setting. The first is the “result model”, supporting only a fortiori reasoning. The second is the “reason model”, supporting a richer notion of constraint, since it allows the reasons behind a court’s decisions to be taken into account. I then show how the initial representation can be modified to incorporate dimensional information and how the result and reason models can be adapted to this new dimensional setting. As it turns out, these two models of constraint, which are distinct in the standard setting, coincide once they are transposed to the new dimensional setting, yielding exactly the same patterns of constraint. I therefore explore two ways of refining the reason model of constraint so that, even in the dimensional setting, it can still be separated from the result model.

Frege's writings on meaning are often interpreted within the framework of possible worlds semantics. The resulting theories rely on contingency to account for a variety of linguistic phenomena, such as the behavior of expressions in propositional attitude contexts, or the idea that a definition might fix the reference of an expression without establishing its meaning. In this thesis, I interpret Frege's ideas within a different framework, to provide a semantic theory that is able to account for some of these same phenomena as they occur in a certain non-contingent language , where the possible worlds approach breaks down. ;The first part of the thesis is a detailed study of Frege's writings on sense identity, as well as some of the more modern literature on synonymy. I argue that instead of searching for a single relation of meaning equivalence among expressions, we should expect to find several different relations of meaning congruence. I claim that Frege was committed to this more flexible approach as well. To support my claim, I show that his standards for sense identity were strongly psychological; and then, relying on certain parallels between traditional ideas of definition and concept formation, I describe a problem about the senses of expressions introduced into a language through stipulative definitions. In the second part of the thesis, I develop a simple model of senses as procedures. I then use this model to deal with the problem about the senses of defined expressions set out earlier, and to deal also with the clash between Frege's compositional idea that the sense of a complete expression is assembled from the senses of its parts, and his decompositional idea that we can understand certain incomplete expressions only by first understanding complete expressions in which they occur

This paper contributes to the foundations of a theory of rational choice for artificial agents in dynamic environments. Our work is developed within a theoretical framework, originally due to Bratman, that models resource-bounded agents as operating against the background of some current set of intentions, which helps to frame their subsequent reasoning. In contrast to the standard theory of rational choice, where options are evaluated in isolation, we therefore provide an analysis of situations in which the options presented to an agent are evaluated against a background context provided by the agent’s current plans—commitments to future activities, which may themselves be only partially specified. The interactions between the new options and the background context can complicate the task of evaluating the option, rendering it either more or less desirable in context than it would have been in isolation.  2001 Elsevier Science B.V. All rights reserved.