Each of the following claims has been defended in the scientific literature on free will and consciousness: your brain routinely decides what you will do before you become conscious of its decision; there is only a 100 millisecond window of opportunity for free will, and all it can do is veto conscious decisions, intentions, or urges; intentions never play a role in producing corresponding actions; and free will is an illusion. In Effective Intentions Alfred Mele shows that the evidence offered (...) to support these claims is sorely deficient. He also shows that there is strong empirical support for the thesis that some conscious decisions and intentions have a genuine place in causal explanations of corresponding actions. In short, there is weighty evidence of the existence of effective conscious intentions or the power of conscious will. Mele examines the accuracy of subjects' reports about when they first became aware of decisions or intentions in laboratory settings and develops some implications of warranted skepticism about the accuracy of these reports. In addition, he explores such questions as whether we must be conscious of all of our intentions and why scientists disagree about this. Mele's final chapter closes with a discussion of imaginary scientific findings that would warrant bold claims about free will and consciousness of the sort he examines in this book. (shrink)

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.

This is a welcome reprint of a book that continues to grow in importance.

What happens to our conception of mind and rational agency when we take seriously future-directed intentions and plans and their roles as inputs into further practical reasoning? The author's initial efforts in responding to this question resulted in a series of papers that he wrote during the early 1980s. In this book, Bratman develops further some of the main themes of these essays and also explores a variety of related ideas and issues. He develops a planning theory of intention. Intentions (...) are treated as elements of partial plans of action. These plans play basic roles in practical reasoning, roles that support the organization of our activities over time and socially. Bratman explores the impact of this approach on a wide range of issues, including the relation between intention and intentional action, and the distinction between intended and expected effects of what one intends. (shrink)

We shall formulate an analysis of the ordinary notion of intentional action that clarifies a commonsense distinction between intentional and nonintentional action. Our analysis will build on some typically neglected considerations about relations between lucky action and intentional action. It will highlight the often- overlooked role of evidential considerations in intentional action, thus identifying the key role of certain epistemological considerations in action theory. We shall also explain why some vagueness is indispensable in a characterization of intentional action as ordinarily (...) understood. (shrink)

There has been a long-standing dispute in the philosophical literature about the conditions under which a behavior counts as 'intentional.' Much of the debate turns on questions about the use of certain words and phrases in ordinary language. The present paper investigates these questions empirically, using experimental techniques to investigate people's use of the relevant words and phrases. g.

This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical (...) first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications. This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter. (shrink)

The latest offering in the highly successful Oxford Readings in Philosophy series, The Philosophy of Action features contributions from twelve leading figures in the field, including: Robert Audi, Michael Bratman, Donald Davidson, Wayne Davis, Harry Frankfurt, Carl Ginet, Gilbert Harman, Jennifer Hornsby, Jaegwon Kim, Hugh McCann, Paul Moser, and Brian O'Shaughnessy. Alfred Mele provides an introductory essay on the topics chosen and the questions they deal with. Topics addressed include intention, reasons for action, and the nature and explanation of internal (...) action. A selective bibliography is included as a guide to further reading. Comprehensive and up-to-date, this collection provides an accessible and stimulating introduction for readers interested in the philosophy of action, the philosophy of mind, and moral philosophy. (shrink)

We present a modal logic called (logic of intention and attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of , we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.

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)

Over a long career, Libet has conducted experiments that have shown, in clear and concrete ways, how the brain produces conscious awareness.

Since it is desirable to be able to talk about rational agents forming attitudes toward their concrete agency, we suggest an introduction of doxastic, volitional, and intentional modalities into the multi-agent logic of deliberatively seeing to it that, dstit logic. These modalities are borrowed from the well-known BDI (belief-desire-intention) logic. We change the semantics of the belief and desire operators from a relational one to a monotonic neighbourhood semantic in order to handle ascriptions of conflicting but not inconsistent beliefs and (...) desires as being satisfiable. The proposed bdi-stit logic is defined with respect to branching time frames, and it is shown that this logic is a generalization of a bdi logic based on branching time possible worlds frames (but without temporal operators) and dstit logic. The new bdi-stit logic generalizes bdi and dstit logic in the sense that for any model of bdi or dstit logic, there is an equivalent bdi-stit model. (shrink)

This paper explores principles governing the rational balance among an agent's beliefs, goals, actions, and intentions. Such principles provide specifications for artificial agents, and approximate a theory of human action (as philosophers use the term). By making explicit the conditions under which an agent can drop his goals, i.e., by specifying how the agent is committed to his goals, the formalism captures a number of important properties of intention. Specifically, the formalism provides analyses for Bratman's three characteristic functional roles played (...) by intentions [7, 9], and shows how agents can avoid intending all the foreseen side-effects of what they actually intend. Finally, the analysis shows how intentions can be adopted relative to a background of relevant beliefs and other intentions or goals. By relativizing one agent's intentions in terms of beliefs about another agent's intentions (or beliefs'), we derive a preliminary account of interpersonal commitments. (shrink)

We point out a simple but hitherto ignored link between the theoryof updates, the theory of counterfactuals, and classical modal logic: update is a classicalexistential modality, counterfactual is a classical universalmodality, and the accessibility relations corresponding to these modalities are inverses. The Ramsey Rule (often thought esoteric) is simply an axiomatisation of this inverse relationship. We use this fact to translate between rules for updates andrules for counterfactuals. Thus, Katsuno and Mendelzons postulatesU1--U8 are translated into counterfactual rules C1--C8(Table VII), and (...) many of the familiar counterfactual rulesare translated into rules for updates (Table VIII). Ourconclusions are summarised in Table V. (shrink)