DDL unlimited: Dynamic doxastic logic for introspective agents

Erkenntnis 50 (2-3):353-385 (1999)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
Reprint years
2004
PhilPapers/Archive ID
LINDUD
Revision history
Archival date: 2018-08-02
View upload history
References found in this work BETA
.Rabinowicz, Wlodek
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.Alchourrón, Carlos E.; Gärdenfors, Peter & Makinson, David
Knowledge and Belief.Hintikka, Jaakko

View all 17 references / Add more references

Citations of this work BETA
Ranking Theory.Huber, Franz
AGM 25 Years.Fermé, Eduardo & Hansson, Sven Ove

View all 17 citations / Add more citations

Added to PP index
2009-01-28

Total views
115 ( #26,657 of 44,471 )

Recent downloads (6 months)
24 ( #28,170 of 44,471 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.