For this second edition, the editors have returned to Austin's original lecture notes, amending the printed text where it seemed necessary.

Machine generated contents note: Essay 1.

This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications.

Surveys and extens work that has been done in the past two years on 'tense logic' and is a sequel to the author's book, Time and Modality.

But Findlay's remark, like so much that has been written on the subject of time in the present century, was provoked in the first place by McTaggart's ...

We present in this paper an axiomatization of Belnap and Perloff's stit theory (a logic of "seeing to it that") with a single agent. The idea of the proof is to apply the notion of companion sets--the same notion as used in another paper by the author that showed the decidability of stit theory with a single agent and Refref equivalence.

H. B. Smith, Professor of Philosophy at the influential 'Pennsylvania School' was (roughly) a contemporary of C. I. Lewis who was similarly interested in a proper account of 'implication'. His research also led him into the study of modal logic but in a different direction than Lewis was led. His account of modal logic does not lend itself as readily as Lewis' to the received 'possible worlds' semantics, so that the Smith approach was a casualty rather than a beneficiary of (...) the renewed interest in modality. In this essay we present some of the main points of the Smith approach, in a new guise. (shrink)

cuted actions. It has been applied to several challenge problems in the theory of commonsense knowledge. We study the relationship between this formalism and other work on nonmonotonic reasoning and knowl-.

We extend the monotonic and regular modal logics to the multi-modal cue, and give semantical characterization w.r.t. a semantics of minimal frames. For this we introduce a calculus over neighbourhoods and we obtain simpler conditions than those from the literature.

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)

Recent theories of agency (sees to it that) of Nuel Belnap and Michael Perloff are examined, particularly in the context of an early proposal of the author.

The conditional,if an agent did something, then the agent could have done otherwise, is analyzed usingstit theory, which is a logic of seeing to it that based on agents making choices in the context of branching time. The truth of the conditional is found to be a subtle matter that depends on how it is interpreted (e.g., on what otherwise refers to, and on the difference between could and might) and also on whether or not there are busy choosers that (...) can make infinitely many choices in a finite span of time. (shrink)

In 1969, John McCarthy and Pat Hayes uncovered a problem that has haunted the field of artificial intelligence ever since--the frame problem. The problem arises when logic is used to describe the effects of actions and events. Put simply, it is the problem of representing what remains unchanged as a result of an action or event. Many researchers in artificial intelligence believe that its solution is vital to the realization of the field's goals. Solving the Frame Problem presents the various (...) approaches to the frame problem that have been proposed over the years. The author presents the material chronologically--as an unfolding story rather than as a body of theory to be learned by rote. There are lessons to be learned even from the dead ends researchers have pursued, for they deepen our understanding of the issues surrounding the frame problem. In the book's concluding chapters, the author offers his own work on event calculus, which he claims comes very close to a complete solution to the frame problem. Artificial Intelligence series. (shrink)

Develops a logical analysis of dialogue in which two or more parties attempt to advance their own interests. It includes a classification of the major types of dialogues and a discussion of several important informal fallacies.

Here is an important new theory of human action, a theory that assumes actions are founded on choices made by agents who face an open future.

Donald Davidson has prepared a new edition of his classic 1980 collection of Essays on Actions and Events, including two additional essays. In this seminal investigation of the nature of human action, Davidson argues for an ontology which includes events along with persons and other objects. Certain events are identified and explained as actions when they are viewed as caused and rationalized by reasons; these same events, when described in physical, biological, or physiological terms, may be explained by appeal to (...) natural laws. The mental and the physical thus constitute irreducibly discrete ways of explaining and understanding events and their causal relations. -/- Among the topics discussed are: freedom to act; weakness of the will; the logical form of talk about actions, intentions, and causality; the logic of practical reasoning; Hume's theory of the indirect passions; and the nature and limits of decision theory. The introduction, cross-references, and appendices emphasize the relations between the essays and explain how Davidson's views have developed. -/- . (shrink)

Written in an outstandingly clear and lively style, this 1969 book provokes its readers to rethink issues they may have regarded as long since settled.

Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...) readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic. (shrink)

A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an (...) up-to-date and reliable guide essential for the student. (shrink)