Extending Dynamic Doxastic Logic: Accommodating Iterated Beliefs And Ramsey Conditionals Within DDL

In Lars Lindahl, Paul Needham & Ryszard Sliwinski (eds.), For Good Measure. Uppsala, Sverige: (1997)
Download Edit this record How to cite View on PhilPapers
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.
(categorize this paper)
PhilPapers/Archive ID
Revision history
Archival date: 2018-08-02
View upload history
References found in this work BETA
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 12 references / Add more references

Citations of this work BETA
Belief Change for Introspective Agents.Lindström, Sten & Rabinowicz, Wlodek

Add more citations

Added to PP index

Total views
107 ( #26,672 of 43,699 )

Recent downloads (6 months)
19 ( #30,735 of 43,699 )

How can I increase my downloads?

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