Semantics is a bridge discipline between linguistics and philosophy; but linguistics student are rarely able to reach that bridge, let alone cross it to inspect and assess the activity on the other side. Professor Kempson's textbook seeks particularly to encourage such exchanges. She deals with the standard linguistic topics like componential analysis, semantic universals and the syntax-semantics controversy. But she also provides for students with no training in philosophy or logic an introduction to such central topics in the philosophy of (...) language as logical form, truth, speech acts, analyticity, entailment and presupposition. The exposition throughout is deliberately argumentative rather than descriptive, introducing the student step by step to the major problems in theoretical semantics. Special emphasis is placed on the need to consider individual arguments within the overall perspective of semantics as an integral part of general linguistic theory. Written primarily as a textbook for undergraduates and graduates in linguistics departments, this book will also be useful to undergraduates in philosophy and in psychology where linguistics is a part of their course. (shrink)

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. (shrink)

The crucial feature of obligation sentences to which the puzzles point is that such sentences, and evaluative sentences more generally, are defeasible. They may be warranted, given some information, only to be defeated by further information. A theory that recognizes this no longer needs to see conditional obligation as anything more than a simple combination of unary obligation and the conditional.

This paper presents a nonmonotonic deontic logic based on commonsense entailment. It establishes criteria a successful account of obligation should satisfy, and develops a theory that satisfies them. The theory includes two conditional notions of prima facie obligation. One is constitutive; the other is epistemic, and follows nonmonotonically from the constitutive notion. The paper defines unconditional notions of prima facie obligation in terms of the conditional notions.

Schurz draws on modern alethic- deontic predicate logic to address the venerable yet enduring problem of whether what ought to be can be derived from what is. After two extensive introductory chapters supplying the background in philosophy and logic to readers unfamiliar with it, he examines such dimensions as the logical explication of Hume's thesis, the special Hume thesis, weakened versions of it, generalizations, some applications to ethical arguments, problems of identity and existence, whether there are analytic bridge principles, and (...) whether they are scientifically justifiable. The inquiry is expanded from Part II of his 1989 Relevant Deduction in Science and Ethics with a Case Study of the Is-Ought Problem. No index. Annotation copyrighted by Book News, Inc., Portland, OR. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

The formal language studied in this paper contains two categories of expressions, terms and formulas. Terms express events, formulas propositions. There are infinitely many atomic terms and complex terms are made up by Boolean operations. Where and are terms the atomic formulas have the form = ( is the same as ), Forb ( is forbidden) and Perm ( is permitted). The formulae are truth functional combinations of these. An algebraic and a model theoretic account of validity are given and (...) an axiomatic system is provided for which they are characteristic.The closure principle, that what is not forbidden is permitted is shown to hold at the level of outcomes but not at the level of events. In the two final sections some other operators are considered and a semantics in terms of action games. (shrink)

The existing literature treats of several investigations with a certain bearing on the question which is roughly indicated by the title “Imperatives and Logic.” Some of those investigations, however, are entirely outside the scope of the present work.Mally sets himself the task of developing a “Logik des Willens” constituting a parallel to the usual logic, the “Logik des Denkens". In order to emphasize its independence, the author also calls this “Logik des Willens” “Deontik”, and he conceives it as being based (...) on the “Wesensgesetze” of will in the same way as the usual logic is conceived as being based on the “Wesensgesetze” of thought. The author develops a formalistic deductive system on the basis of 5 axioms of demands, including the axiom that there is at least one fact which is unconditionally demanded, and through a lengthy series of theorems he arrives at the sentence that what is unconditionally demanded is identical with what is actually the case: “was sein soll, ist Tatsache”. Similarly, the author develops a system of axioms for “right” volition, including the axiom that right volition is non-contradictory. (shrink)

We investigate under what conditions contrary-to-duty (CTD) structures lacking temporal and action elements can be given a coherent reading. We argue, contrary to some recent proposals, that CTD is not an instance of defeasible reasoning, and that methods of nonmonotonic logics are inadequate since they are unable to distinguish between defeasibility and violation of primary obligations. We propose a semantic framework based on the idea that primary and CTD obligations are obligations of different kinds: a CTD obligation pertains to, or (...) pre-supposes, a certain context in which a primary obligation is already violated. This framework is presented initially as an extension of Standard Deontic Logic (SDL), a normal modal logic of type KD, and is illustrated by application to a series of examples. The concluding section is concerned with some resemblances between CTD and defeasible reasoning. We show first that the SDL-based framework contains a flaw and must be adjusted. A discussion of possible adjustments, including an alternative treatment in terms of a preference-based semantics, reveals difficulties that are reminiscent of problems in defeasible reasoning and intensional accounts of defeasible conditionals. (shrink)

It has been maintained that we are quite able to express (1*)–(4*) without the introduction of a dyadic deontic operator, provided only that we supply our standard deontic logic with a stronger conditional than material implication. The lesson learned from Chisholm's paradox has been the eminently convincing, indeed obvious, one: that what we ought to do is not determined by what is the case in some perfect world, but by what is the case in the best world we can ‘get (...) to’ from this world. What we ought to do depends upon how we are circumstanced. (shrink)

Cliff Landesman provides a vivid description of a case where we have no best outcome available to us. He poses this as a problem for utilitarians who advise us to do the best we can. This does indeed make such advice impractical. I begin by contrasting older versions of utilitarianism with newer ones that have appeared in deontic logic and that were designed precisely to accommodate Landesman's sort of scenario. (I cast matters in terms of the Limit Assumption and world-theoretic (...) versions of utilitarianism.) I then make three points. First, Landesman's problem does not pose any special problem for these newer theories. Secondly, I note that it is an interesting consequence of these newer theories being utilitarian theories, that--contrary to the tradition--utilitarianism isn't automatically a no conflicts theory of obligation. Thirdly, and most importantly, I identify a new, deeper and wider theoretical problem: "The Confinement Problem". This problem infests the newer versions of utilitarianism. Worse still, the infestation spreads to satisficing consequentialism (cf. Scheffler, Slote), the direction Landesman points to for a solution to his problem, and this new problem is one where the theoretical rulings of these theories clearly conflict with intuition. (shrink)

In the latter half of this century, there have been two mostly separate threads within ethical theory, one on 'superogation', one on 'common-sense morality'. I bring these threads together by systematically reflecting on doing more than one has to do. A rich and coherent set of concepts at the core of common-sense morality is identified, along with various logical connections between these core concepts. Various issues in common-sense morality emerge naturally, as does a demonstrably productive definition of doing more than (...) one has to do. I then present an interpreted model-theoretic framework with the expressive power to generate truth-conditions for the core concepts, and the explanatory power to predict and explain the independently motivated logical connections between these concepts. The framework also has a certain heuristic power for 'discovering' substantive ethical theories that can derivatively generate the model-theoretic framework for the core concepts. Two theories discussed are expansions of traditional theories; two others, each giving pride of place to justice, are devised to resonate with more recent concerns. Methodologically, it is hoped that the approach within might suggest the possibility of bridging another gap: that between formal and informal studies of moral notions. (shrink)

On the traditional deontic framework, what is required (what morality demands) and what is optimal (what morality recommends) can't be distinguished and hence they can't both be represented. Although the morally optional can be represented, the supererogatory (exceeding morality's demands), one of its proper subclasses, cannot be. The morally indifferent, another proper subclass of the optional-one obviously disjoint from the supererogatory-is also not representable. Ditto for the permissibly suboptimal and the morally significant. Finally, the minimum that morality allows finds no (...) place in the traditional scheme. With a focus on the question, What would constitute a hospitable logical neighborhood for the concept of supererogation?, I present and motivate an enriched logical and semantic framework for representing all these concepts of common sense morality. (shrink)

I explore various ways of integrating the framework for predeterminism, agency, and ability in[P.McNamara, Nordic J. Philos. Logic 5 (2)(2000) 135] with a framework for obligations. However,the agential obligation operator explored here is defined in terms of a non-agential yet personal obligation operator and a non-deontic (and non-normal) agency operator. This is contrary to the main current trend, which assumes statements of personal obligation always take agential complements. Instead, I take the basic form to be an agent’s being obligated to (...) be such that p. I sketch some logics for agential obligation based on personal obligation and agency, first in a fairly familiar context that rules out conflicting personal obligations (and derivatively, conflicting agential obligations), and then in contexts that do allow for conflicts (of both sorts). (shrink)

We discuss similarities and residual differences, within the general semantic framework of minimality, between defeasible inference, belief revision, counterfactual conditionals, updating — and also conditional obligation in deontic logic. Our purpose is not to establish new results, but to bring together existing material to form a clear overall picture.

In 1926, Mally presented the first formal system of deontic logic. His system had several consequences which Mally regarded as surprising but defensible. It also, however, has the consequence that A is obligatory if and only if A is the case, which is unacceptable from the point of view of any reasonable deontic logic. We describe Mally's system and discuss how it might reasonably be repaired.

CHAPTER 1 From Bentham to Kanger I. Introduction In the analytical tradition established by Jeremy Bentham and John Austin, and continued in the twentieth ...

Counterfactuals is David Lewis' forceful presentation of and sustained argument for a particular view about propositions which express contrary to fact conditionals, including his famous defense of realism about possible worlds and his theory of laws of nature.