This collection of essays by one of the most prominent and internationally respected philosophers of action theory is concerned with deepening our understanding of the notion of intention. In Bratman's view, when we settle on a plan for action we are committing ourselves to future conduct in ways that help support important forms of coordination and organization both within the life of the agent and interpersonally. These essays enrich that account of commitment involved in intending, and explore its implications for (...) our understanding of temptation and self-control, shared intention and shared cooperative activity, and moral responsibility. The essays offer extensive discussions of related views by, among others, Donald Davidson, Hector-Neri Castañeda, Christine Korsgaard, Harry Frankfurt, and P. F. Strawson. This collection will be a valuable resource for a wide range of philosophers and their students. (shrink)

In The Construction of Social Reality, John Searle argues that there are two kinds of facts--some that are independent of human observers, and some that require..

Shared agency is of central importance in our lives in many ways. We enjoy engaging in certain joint activities with others. We also engage in joint activities to achieve complex goals. Current approaches propose that we understand shared agency in terms of the more basic phenomenon of shared intention. However, they have presented two antagonistic views about the nature of this phenomenon. Some have argued that shared intention should be understood as being primarily a structure of attitudes of individual participants (...) and their interrelations (Bratman, Searle, Tuomela and Miller). Others have claimed that shared intention should be regarded as being primarily a normative transaction which gives rise to interpersonal obligations (Gilbert). In contrast to these approaches, I propose a compromise view. I argue that shared intention involves a complex socio-psychological structure which ensures, in the absence of special circumstances, the existence of relevant moral obligations. My argument involves two main steps. First, I show that shared intention includes important relations of mutual reliance between the participants. Then, I argue that the existence of these relations of mutual reliance in shared intention helps us explain why, failing special circumstances, shared intention generates those obligations. This provides, in my view, a solution to the vexed question of the relation between shared intention and interpersonal obligations. (shrink)

Normativity and the Will collects fourteen important papers on moral psychology and practical reason by R. Jay Wallace, one of the leading philosophers currently working in these areas. The papers explore the interpenetration of normative and psychological issues in a series of debates that lie at the heart of moral philosophy. Themes that are addressed include reason, desire, and the will; responsibility, identification, and emotion; and the relation between morality and other normative domains. Wallace's treatments of these topics are at (...) once sophisticated and engaging. Taken together, they constitute an advertisement for a distinctive way of pursuing issues in moral psychology and the theory of practical reason, and they articulate and defend a unified framework for thinking about those issues. The volume also features a helpful new introduction. (shrink)

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)

As a philosopher of action, I might be expected to believe that the will is a good thing. Actually, I believe that the will is a great thing - awesome, in fact. But I'm not thereby committed to its being something good. When I say that the will is awesome, I mean literally that it is a proper object of awe, a response that restrains us from abusing the will and moves us rather to use it respectfully, in a way (...) that does it justice. To say that the will is a good thing, however, would imply that having a will is better than not having one, or that using it is better than not using it - neither of which I am prepared to assert as a general rule. Speaking metaphorically, I would say that the will is like a magic wand. In fairy tales, the character who looks upon a magic wand as an unalloyed good is destined to be sadder but wiser in the end. Being a magician isn't better than being an ordinary human, just different; and a magician must value his powers by respecting them and therefore using them appropriately, even sparingly, not by using them as much as possible. (shrink)

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...) its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

Although the change of beliefs in the face of new information has been widely studied with some success, the revision of other mental states has received little attention from the theoretical perspective. In particular, intentions are widely recognised as being a key attitude for rational agents, and while several formal theories of intention have been proposed in the literature, the logic of intention revision has been hardly considered. There are several reasons for this: perhaps most importantly, intentions are very closely (...) connected with other mental states—in particular, beliefs about the future and the abilities of the agent. So, we cannot study them in isolation. We must consider the interplay between intention revision and the revision of other mental states, which complicates the picture considerably. In this paper, we present some first steps towards a theory of intention revision. We develop a simple model of an agent’s mental states, and define intention revision operators. Using this model, we develop a logic of intention dynamics, and then investigate some of its properties. (shrink)

We suggest that the issue of constructing andverifying social procedures, which we suggestively call socialsoftware, be pursued as systematically as computer software is pursued by computer scientists. Certain complications do arise withsocial software which do not arise with computer software, but thesimilarities are nonetheless strong, and tools already exist which wouldenable us to start work on this important project. We give a variety ofsuggestive examples and indicate some theoretical work which alreadyexists.

what is now the mainstream view as to the best way forward in the dream of engineering reliable software systems out of autonomous agents. The way of using formal logics to specify, implement and verify distributed systems of interacting units using a guiding analogy of beliefs, desires and intentions. The implicit message behind the book is this: Distributed Artificial Intelligence (DAI) can be a respectable engineering science. It says: we use sound formal systems; can cite established philosophical foundations; and will (...) be able to build reliable and flexible software systems. (shrink)

Epistemology and epistemic logic At first sight, the modern agenda of epistemology has little to do with logic. Topics include different definitions of knowledge, its basic formal properties, debates between externalist and internalist positions, and above all: perennial encounters with sceptics lurking behind every street corner, especially in the US. The entry 'Epistemology' in the Routledge Encyclopedia of Philosophy (Klein 1993) and the anthology (Kim and Sosa 2000) give an up-to-date impression of the field. Now, epistemic logic started as a (...) contribution to epistemology, or at least a tool in its modus operandi, with the seminal book Knowledge and Belief (Hintikka's 1962, 2005). Formulas like Ki for "the agent i knows that " Bi for "the agent i believes that " provided logical forms for stating and analyzing philosophical propositions and arguments. And more than that, their model-theoretic semantics in terms of ranges of alternatives provided an appealing extensional way of thinking about what agents know or believe in a given situation. In particular, on Hintikka's view, an agent knows those propositions which are true in all situations compatible with what she knows about the actual world; i.e., her current range of uncertainty. (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)

John Searle began to discuss his recently published book `The Construction of Social Reality' with Anthony Freeman, and they ended up talking about God. The book itself and part of their conversation are introduced and briefly reflected upon by Anthony Freeman. Many familiar social facts -- like money and marriage and monarchy -- are only facts by human agreement. They exist only because we believe them to exist. That is the thesis, at once startling yet obvious, that philosopher John Searle (...) explores in The Construction of Social Reality. (shrink)

Gary Becker and others have done important work to broaden the content of self interest, but have not departed from seeing rationality in terms of the exclusive pursuit of self-interest. One reason why committed behavior is important is that a person can have good reason to pursue objectives other than self interest maximization (no matter how broadly it is construed). Indeed, one can also follow rules of behavior that go beyond the pursuit of one's own goals, even if the goals (...) include non-self-interested concerns. By living in a society, one develops possible reasons for considering other people's goals as well, which takes one beyond an exclusive concentration on one's own goals, not to mention the single-minded pursuit of one's own self interest. The recognition of other people's goals may be a part of rational thought. If rational behavior may depart from the relentless pursuit of one's own goals, commitment has to be important in a theory of rationality. Furthermore, seeing the role of commitment in human behavior can have explanatory importance in allowing us to understand behavior patterns that are hard to fit into the narrow format of contemporary rational choice theory. Commitment is, thus, important both for practical reason and for causal explanation. (shrink)

This book develops a systematic philosophical theory of social action and group phenomena, in the process presenting detailed analyses of such central social notions as 'we-attitude' (especially 'we-intention' and mutual belief, social norm, joint action, and - most important - group goal, group belief, and group action). Though this is a philosophical work, it presents a unified conceptual framework that may be useful to social scientists, especially social psychologists, as well as philosophers. The book puts forward and defends a number (...) of systematic philosophical theses, resulting in not only a theory of social action but, more broadly, a philosophical theory of society, or at least those aspects of society with which social psychology is supposed to deal (individuals in groups, groups, joint action, and the like). (shrink)

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

Gary Becker and others have done important work to broaden the content of self interest, but have not departed from seeing rationality in terms of the exclusive pursuit of self-interest. One reason why committed behavior is important is that a person can have good reason to pursue objectives other than self interest maximization (no matter how broadly it is construed). Indeed, one can also follow rules of behavior that go beyond the pursuit of one's own goals, even if the goals (...) include non-self-interested concerns. By living in a society, one develops possible reasons for considering other people's goals as well, which takes one beyond an exclusive concentration on one's own goals, not to mention the single-minded pursuit of one's own self interest. The recognition of other people's goals may be a part of rational thought. If rational behavior may depart from the relentless pursuit of one's own goals, commitment has to be important in a theory of rationality. Furthermore, seeing the role of commitment in human behavior can have explanatory importance in allowing us to understand behavior patterns that are hard to fit into the narrow format of contemporary rational choice theory. Commitment is, thus, important both for practical reason and for causal explanation. Footnotes1 Paper presented at a Workshop on Rationality and Commitment at the University of St. Gallen, May 13–15, 2004. (shrink)

Although the change of beliefs in the face of new information has been widely studied with some success, the revision of other mental states has received little attention from the theoretical perspective. In particular, intentions are widely recognised as being a key attitude for rational agents, and while several formal theories of intention have been proposed in the literature, the logic of intention revision has been hardly considered. There are several reasons for this: perhaps most importantly, intentions are very closely (...) connected with other mental states—in particular, beliefs about the future and the abilities of the agent. So, we cannot study them in isolation. We must consider the interplay between intention revision and the revision of other mental states, which complicates the picture considerably. In this paper, we present some first steps towards a theory of intention revision. We develop a simple model of an agent’s mental states, and define intention revision operators. Using this model, we develop a logic of intention dynamics, and then investigate some of its properties. (shrink)

Game-theoretic solution concepts describe sets of strategy profiles that are optimal for all players in some plausible sense. Such sets are often found by recursive algorithms like iterated removal of strictly dominated strategies in strategic games, or backward induction in extensive games. Standard logical analyses of solution sets use assumptions about players in fixed epistemic models for a given game, such as mutual knowledge of rationality. In this paper, we propose a different perspective, analyzing solution algorithms as processes of learning (...) which change game models. Thus, strategic equilibrium gets linked to fixed-points of operations of repeated announcement of suitable epistemic statements. This dynamic stance provides a new look at the current interface of games, logic, and computation. (shrink)