John Horty

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 that this analysis gives rise to a normal deontic operator, and that the result is superior to an analysis that identi es what an agent ought to do with what it ought to be that the agent does

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 do appreciate this kind of work would do well to become familiar with Hansson’s results, and with his general perspective.

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.

Although the study of reasons plays an important role in both epistemology and moral philosophy, little attention has been devoted to the question of how, exactly, reasons interact to support the actions or conclusions they do. In this book, John F. Horty attempts to answer this question by providing a precise, concrete account of reasons and their interaction, based on the logic of default reasoning. The book begins with an intuitive, accessible introduction to default logic itself, and then argues that this logic can be adapted to serve as a foundation for a concrete theory of reasons. Horty then shows that the resulting theory helps to explain how the interplay among reasons can determine what we ought to do by developing two different deontic logics, capturing two different intuitions about moral conflicts.In the central part of the book, Horty elaborates the basic theory to account for reasoning about the strength of our own reasons, and also about the related concepts of undercutting defeaters and exclusionary reasons. The theory is illustrated with an application to particularist arguments concerning the role of principles in moral theory. The book concludes by introducing a pair of issues new to the philosophical literature: the problem of determining the epistemic status of conclusions supported by separate but conflicting reasons, and the problem of drawing conclusions from sets of reasons that can vary arbitrarily in strength, or importance.

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.

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