The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal logical (...) language: a dynamic modal logic. Inspired by these suggestions Krister Segerberg has developed a very general logical framework for reasoning about doxastic change: dynamic doxastic logic (DDL). This framework may be seen as an extension of standard Hintikka-style doxastic logic with dynamic operators representing various kinds of transformations of the agent's doxastic state. Basic DDL describes an agent that has opinions about the external world and an ability to change these opinions in the light of new information. Such an agent is non-introspective in the sense that he lacks opinions about his own belief states. Here we are going to discuss various possibilities for developing a dynamic doxastic logic for introspective agents: full DDL or DDL unlimited. The project of constructing such a logic is faced with difficulties due to the fact that the agent’s own doxastic state now becomes a part of the reality that he is trying to explore: when an introspective agent learns more about the world, then the reality he holds beliefs about undergoes a change. But then his introspective (higher-order) beliefs have to be adjusted accordingly. In the paper we shall consider various ways of solving this problem. (shrink)

In earlier papers (Lindström & Rabinowicz, 1989. 1990), we proposed a generalization of the AGM approach to belief revision. Our proposal was to view belief revision as a relation rather thanas a function on theories (or belief sets). The idea was to allow for there being several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural result of generalizing in a certain way an approach to (...) belief revision due to Adam Grove. In his (1988) paper, Grove presents two closely related modelings of functional belief revision, one in terms of a family of "spheres" around the agent's theory G and the other in terms of an epistemic entrenchment ordering of propositions. The "sphere"-terminology is natural when one looks upon theories and propositions as being represented by sets of possible worlds. Grove's spheres may be thought of as possible "fallback" theories relative to the agent's original theory: theories that he may reach by deleting propositions that are not "sufficiently" entrenched (according to standards of sufficient entrenchment of varying stringency). To put it differently, fallbacks are theories that are closed upwards under entrenchment The entrenchment ordering can be recovered from the family of fallbacks by the definition: A is at least as entrenched as B iff A belongs to every fallback to which B belongs. To revise a theory T with a proposition A, we go to the smallest sphere that contain A-worlds and intersect it with A. The relational notion of belief revision that we are interested in, results from weakening epistemic entrenchment by not assuming it to be connected. I.e., we want to allow that some propositions may be incomparable with respect to epistemic entrenchment. As a result, the family of fallbacks around a given theory will no longer have to be nested. This change opens up the possibility for several different ways of revising a theory with a given proposition. (shrink)

This symposium in the overlap of philosophy and decision theory is described well by its title “Beliefs in Groups”. Each word in the title matters, with one intended ambiguity. The symposium is about beliefs rather than other attitudes such as preferences; these beliefs take the form of probabilities in the first three contributions, binary yes/no beliefs (‘judgments’) in the fourth contribution, and qualitative probabilities (‘probability grades’) in the fifth contribution. The beliefs occur in groups, which is ambiguous between beliefs of (...) groups as a whole and beliefs of group members. The five contributions – all of them interesting, we believe – address several aspects of this general theme. (shrink)

In decision-theory, the notion of regret enters into the minimax decision-rule and has a determinate usage in this context. However, there are many alternative ways of conceiving of regret. The chapter constructs the einmalist- nicht-keinmal ('once is not never') game, in which a single sampling radically changes the expected value of the game in a way that is quite counterintuitive, as the basis for studying regret after a loss following the choice of an uncertain action. Crucially, the very loss affects (...) the posterior expectation of the game and the posterior credence about the objective chances of a win. Our taxonomy of regret contains regret over the action chosen and regret over the outcome obtained as its main categories, and is mirrored by a taxonomy of joy after a win following the choice of an uncertain action, and is used to critique of Krähmer and Stone's analysis of risk aversion for uncertain actions. (shrink)

We discuss various possibilities for developing a dynamic doxastic logic (DDL) for introspective agents: agents who have the ability to form higher-order beliefs. Such agents can reflect upon and change their minds about their own beliefs. The project of constructing such a logic, full DDL or DDL unlimited, is ridden with difficulties due to the fact that the agent's own doxastic state now becomes a part of the reality he is trying to explore. When an introspective agent learns more about (...) the world (and himself), the reality he holds beliefs about undergoes a change in its doxastic part, which means that his introspective beliefs have to be adjusted accordingly. (shrink)

Årets Hägerströmföreläsningar i Uppsala gavs i februari av den norske filosofen Dagfinn Føllesdal. Ämnet var "Mening og Erfaring". Dagfinn Føllesdal doktorerade 1961 vid Harvard med Willard Van Quine som handledare på en avhandling om kvantifierad modallogik. Han blev internationellt känd främst för studier om Husserls fenomenologi och dess förhållande till Frege samt för sina arbeten om Quines språkfilosofi. Allt sedan 60-talet har Føllesdal delat sin tid mellan Oslouniversitetet och Stanforduniversitetet i Kalifornien. I sina föreläsningar diskuterade Føllesdal meningsbegreppet med anknytning till (...) teorier formulerade av sådana tidigare Hägerströmföreläsare som Quine, Davidson och Kripke. En utgångspunkt för framställningen var Quines empiristiska syn på språket: Allt vi kan lära om omvärlden och varandra, inklusive språket, är grundat på socialt tillgänglig evidens. Enligt Quines uppfattning är språket väsentligen ett socialt fenomen. Detta innebär att: (i) språket har blivit till genom en social process; (ii) individens inlärning av språket sker på basen av socialt tillgänglig information; och (iii) användningen av språket är en social process. Den centrala frågeställningen som diskuterades i föreläsningarna var: Hur skall vi utifrån en empiristisk syn på språket förstå mening och kommunikation? Quine var den förste att på ett helt explicit sätt formulera denna problemställning. (shrink)

Comment pouvons-nous analyser des relations de valeur non standards, comme la parité axiologique, en termes d’attitudes appropriées? Wlodek Rabinowicz suggère que deux choses sont à parité si et seulement si il est à la fois permissible de préférer l’une à l’autre et permissible d’avoir la préférence contraire. Dans un article récent, Johan Gustafsson soutient toutefois que l’analyse de Rabinowicz viole un principe de symétrie entre valeurs et préférences, selon lequel il existe pour toute relation de valeur une relation (...) de préférence correspondante (et vice-versa). À la lumière de ce principe, Gustafsson propose une analyse alternative, selon laquelle deux choses sont à parité si et seulement si il est requis d’entretenir ces choses en parité préférentielle. Dans cet article, j’examine en détail les arguments avancés par Gustafsson contre l’analyse de Rabinowicz et je montre qu’aucun d’eux n’est convaincant. (shrink)

In this paper we distinguish between various kinds of doxastic theories. One distinction is between informal and formal doxastic theories. AGM-type theories of belief change are of the former kind, while Hintikka’s logic of knowledge and belief is of the latter. Then we distinguish between static theories that study the unchanging beliefs of a certain agent and dynamic theories that investigate not only the constraints that can reasonably be imposed on the doxastic states of a rational agent but also rationality (...) constraints on the changes of doxastic state that may occur in such agents. An additional distinction is that between non-introspective theories and introspective ones. Non-introspective theories investigate agents that have opinions about the external world but no higher-order opinions about their own doxasticnstates. Standard AGM-type theories as well as the currently existing versions of Segerberg’s dynamic doxastic logic (DDL) are non-introspective. Hintikka-style doxastic logic is of course introspective but it is a static theory. Thus, the challenge remains to devise doxastic theories that are both dynamic and introspective. We outline the semantics for truly introspective dynamic doxastic logic, i.e., a dynamic doxastic logic that allows us to describe agents who have both the ability to form higher-order beliefs and to reflect upon and change their minds about their own (higher-order) beliefs. This extension of DDL demands that we give up the Preservation condition on revision. We make some suggestions as to how such a non-preservative revision operation can be constructed. We also consider extending DDL with conditionals satisfying the Ramsey test and show that Gärdenfors’ well-known impossibility result applies to such a framework. Also in this case, Preservation has to be given up. (shrink)

Can it be better or worse for a person to be than not to be, that is, can it be better or worse to exist than not to exist at all? This old 'existential question' has been raised anew in contemporary moral philosophy. There are roughly two reasons for this renewed interest. Firstly, traditional so-called “impersonal” ethical theories, such as utilitarianism, have counter-intuitive implications in regard to questions concerning procreation and our moral duties to future, not yet existing people. Secondly, (...) it has seemed evident to many that an outcome can only be better than another if it is better for someone, and that only moral theories that are in this sense “person affecting” can be correct. The implications of this Person Affecting Restriction will differ radically, however, depending on which answer one gives to the existential question. Melinda Roberts (2003) and Matthew Adler (2009) have defended an affirmative answer to the existential question using an assumption that one can asribe a zero level of wellbeing to a person in a world in which that person doesn't exist. Contrariwise, Derek Parfit (1984), John Broome (1999), and others have worried that if we take a person’s life to be better for her than non-existence, then we would have to conclude that it would have been worse for her if she did not exist, which is absurd: Nothing would have been worse or better for a person if she had not existed. The paper suggests that an affirmative answer to the existential question can avoid such absurdities: One can claim that, say, it is better for a person to exist than not to exist, without implying that it would have been worse for a person if she had not existed or that her level of wellbeing would then have been lower. (shrink)

Conditionalists say that the value something has as an end—its final value—may be conditional on its extrinsic features. They support this claim by appealing to examples: Kagan points to Abraham Lincoln’s pen, Rabinowicz and Rønnow-Rasmussen to Lady Diana’s dress, and Korsgaard to a mink coat. They contend that these things may have final value in virtue of their historical or societal roles. These three examples have become familiar: many now merely mention them to establish the conditionalist position. But the (...) widespread faith in such cases is, I believe, unjustified. This is because, surprisingly, the pen, the dress, and the coat cannot have final value. I argue that the problem is internal: these cases are ruled out by every conditionalist account of final value. Further, the problem with these well-known cases applies to most other supposed examples of extrinsic, final goods. Thus nearly all cases given to support the conditionalist view cannot succeed. I suggest a kind of diagnosis: I claim that these examples are best seen as instances of sentimental value, rather than final value. I close by providing a brief account of sentimental value and explain how it relates to instrumental, intrinsic, and final goodness. (shrink)

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda (...) ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

This paper examines the debate as to whether something can have final value in virtue of its relational (i.e., non-intrinsic) properties, or, more briefly put, whether final value must be intrinsic. The paper adopts the perspective of the fitting-attitude analysis (FA analysis) of value, and argues that from this perspective, there is no ground for the requirement that things may have final value only in virtue of their intrinsic properties, but that there might be some grounds for the alternate requirement (...) that final value be grounded only in the essential properties of their bearers. First, the paper introduces the key elements of the FA analysis, and sets aside an obvious but unimportant way in which this analysis makes all final values relational. Second, it discusses some classical counterexamples to the view that final value must be intrinsic. Third, it discusses the relation between final, contributive, and signatory value. Fourth, it examines Zimmerman’s defense of the requirement that final value must be intrinsic on the grounds that final value cannot be derivative. And finally, it explores the alternative requirement that something may have final value in virtue of its essential properties. (shrink)

Substantial metaphysical theory has long struggled with the question of negative facts, facts capable of making it true that Valerie isn’t vigorous. This paper argues that there is an elegant solution to these problems available to anyone who thinks that there are positive facts. Bradley’s regress and considerations of ontological parsimony show that an object’s having a property is an affair internal to the object and the property, just as numerical identity and distinctness are internal to the entities that are (...) numerically identical or distinct. For the same reasons, an object’s lacking a property must be an affair internal to the object and the property. Negative facts will thus be part of any ontology of positive facts. (shrink)

Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That is, a justification (...) should provide an analysis of the notion of validity and show that the inferences that conform to the practice are just the ones that are valid. Moreover, a complete justification should also explain the purpose, or point, of our inferential practice. We are first going to discuss the objection that any justification of our deductive practice must use deduction and therefore be circular. Then we will consider a particular model of justificatory explanation, building on Georg Kreisel’s concept of informal rigour. Finally, in the main part of the paper, we will discuss three ideas for defining the notion of validity: (i) the classical conception according to which the notion of (bivalent) truth is taken as basic and validity is defined in terms of the preservation of truth; (ii) the constructivist idea of starting instead with the notion of (a canonical) proof (or verification) and define validity in terms of this notion; (iii) the idea of taking the notions of rational acceptance and rejection as given and define an argument to be valid just in case it is irrational to simultaneously accept its premises and reject its conclusion (or conclusions, if we allow for multiple conclusions). Building on work by Dana Scott, we show that the last conception may be viewed as being, in a certain sense, equivalent to the first one. Finally, we discuss the so-called paradox of inference and the informativeness of deductive arguments. (shrink)