John Cantwell

A semantics is presented for belief-revision in the face of common announcements to a group of agents that have beliefs about each other's beliefs. The semantics is based on the idea that possible worlds can be viewed as having an internal structure, representing the belief independent features of the world, and the respective belief states of the agents in a modular fashion. Modularity guarantees that changing one aspect of the world (a belief independent feature or a belief state) has no effect on any other aspect of the world. This allows us to employ an AGM-style selection function to represent revision. The semantics is given a complete axiomatisation (identical to the axiomatisation found by Gerbrandy and Groeneveld for a semantics based on non-wellfounded set theory) for the special case of expansion.

The view that decision methods can only be justified by appeal to pragmatic considerations is defended. Pragmatic considerations are viewed as providing the underlying subject matter (“semantics”) of decision theories. It is argued that other approaches (e.g. justifying principles by appeal to obviousness, common usage, etc.) fail to provide grounds for a normative decision theory.It is argued that preferences that can lead to pragmatically adverse outcomes in a relevantly similar possible decision situation are pragmatically unsound, even if the decision situation never arises. This rebuts several standard objections to money-pump and Dutch book arguments. However, because one can only appeal to relevantly similar decision situations in pragmatic arguments, these will have a less general scope than is often imagined. A conclusion is that pragmatic arguments for strong unconditional principles such as ‘always maximise expected utility!’ do not work. Pragmatic considerations can however be used to argue for conditional principles of the form ‘if conditions X, Y and Z are satisfied, then one ought to satisfy W’, where W need not follow logically from X, Y and Z.The notion of a sound pragmatic argument is defined in terms of particular notion of coherence, it is shown how this can be applied and how it handles problematic cases such as van Fraassen’s Dutch book for the principle of Reflection.

Ever since [4], systems of spheres have been considered to give an intuitive and elegant way to give a semantics for logics of theory- or belief- change. Several authors [5, 11] have considered giving up the rather strong assumption that systems of spheres be linearly ordered by inclusion. These more general structures are called hypertheories after [8]. It is shown that none of the proposed logics induced by these weaker structures are compact and thus cannot be given a strongly complete axiomatization in a finitary logic. Complete infinitary axiomatizations are given for several intuitive logics based on hypertheories that are not linearly ordered by inclusion

A formal model for updates—the result of learning that the world has changed—in a multi-agent setting is presented and completely axiomatized. The model allows that several agents simultaneously are informed of an event in the world in such a way that it becomes common knowledge among the agents that the event has occurred. The model shares many features with the model for common announcements—an announcement about the state of the world in which it becomes common knowledge among the audience that the announcement has been made—presented in Cantwell (2005), but exploits the difference between learning that a state of the world obtains and learning that the state of the world has changed.

Information received from different sources can be inconsistent. Even when the sources of information can be ordered on the basis of their trustworthiness, it turns out that extracting an acceptable notion of support for information is a non-trivial matter, as is the question what information a rational agent should accept. Here it is shown how a support ordering on the information can be generated and how it can be used to decide what information to accept and what not to accept. This ordering, it turns out, is closely related to notions such as Epistemic Entrenchment and Grove spheres studied in belief revision.

This paper explores the possibility that causal decision theory can be formulated in terms of probabilities of conditionals. It is argued that a generalized Stalnaker semantics in combination with an underlying branching time structure not only provides the basis for a plausible account of the semantics of indicative conditionals, but also that the resulting conditionals have properties that make them well-suited as a basis for formulating causal decision theory. Decision theory (at least if we omit the frills) is not an esoteric science, however unfamiliar it may seem to an outsider. Rather it is a systematic exposition of the consequences of certain well-chosen platitudes about belief, desire, preference and choice. It is the very core of our common-sense theory of persons, dissected out and elegantly systematized. (David Lewis, Synthese 23:331–344, 1974, p. 337). A small distortion in the analysis of the conditional may create spurious problems with the analysis of other concepts. So if the facts about usage favor one among a number of subtly different theories, it may be important to determine which one it is. (Robert Stalnaker, A Defense of Conditional Excluded Middle, pp. 87–104, 1980, p. 87)