Abstract
We investigate the research programme of dynamic doxastic logic (DDL) and analyze its underlying methodology. The Ramsey test for conditionals is used to characterize the logical and philosophical differences between two paradigmatic systems, AGM and KGM, which we develop and compare axiomatically and semantically. The importance of Gärdenfors’s impossibility result on the Ramsey test is highlighted by a comparison with Arrow’s impossibility result on social choice. We end with an outlook on the prospects and the future of DDL.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Adams E.W. (1998) A primer of probability logic. CSLI Lecture Notes, Stanford
Alchourrón C., Gärdenfors P., Makinson D. (1985) On the logic of theory change. The Journal of Symbolic Logic 50: 510–530
Arrow K.A. (1963) Social choice and individual values (2nd ed). Yale University Press, New Haven
Baltag A., Moss L.S., Solecki S. (1998) The logic of public announcements, common knowledge and private suspicions. In: Gilboa I (eds). Proceedings TARK 1998. Morgan Kaufmann Publishers, Los Altos, pp. 43–56
van Benthem J. (1996) Exploring logical dynamics. CSLI Publications, Stanford
van Benthem J. (Forthcoming). Dynamic logic for belief revision. Journal of Applied Non-Classical logics.
van Ditmarsch, H. (2005). Prolegomena to dynamic logic for belief revision. Synthese: Knowledge, Rationality and Action, 147, 229–275 (KRA pages 41–87).
Gärdenfors P. (1986) Belief revisions and the Ramsey test for conditionals. Philosophical Review 95: 81–93
Gärdenfors P. (1988) Knowledge in flux. Modeling the dynamics of epistemic states. MIT Press, Cambridge, Mass
Gärdenfors P., Makinson D. (1994). Nonmonotonic inference based on expectations. Artificial Intelligence 65: 197–245
Gerbrandy J. (1999) Dynamic epistemic logic. In: Moss L.S. et al. (eds). Logic, language, and information vol 2. CSLI Publications, Stanford, pp. 269–276
Grahne G. (1991) Updates and counterfactuals. In: Allen J.A., Fikes R., Sandewall E. (eds). Principles of knowledge representation and reasoning. Morgan Kaufmann, San Mateo, pp. 269–276
Grove A. (1988) Two modellings for theory change. Journal of Philosophical Logic 17: 157–170
Katsuno H., Mendelzon A. (1992) On the difference between updating a knowledge base and revising it. In: Gärdenfors P. (eds). Belief revision. Cambridge University Press, Cambridge, pp. 183–203
Kooi B.P. (2003). Probabilistic dynamic epistemic logic. Journal of Logic, Language and Information 12(4): 381–408
Leitgeb H. (Forthcoming). Towards a logic of type-free modality and truth. In C. Dimitracopoulos et al. (Eds.), Logic Colloquium 05, lecture Notes in Logic, ASL.
Lewis D. (1973) Counterfactuals. Blackwell, Oxford
Lewis D. (1976) Probabilities of conditionals and conditional probabilities. The Philosophical Review 85: 297–315
Van Linder B., van der Hoek W., Meyer J.-J. (1995) Actions that make you change your mind. In: Laux A., Wansing H. (eds). Knowledge and belief in philosophy and artificial intelligence. Akademie Verlag, Berlin, pp. 103–146
Lindström S., Rabinowicz W. (1990) Epistemic entrenchment with incomparabilities and relational belief revision. In: Fuhrmann A., Morreau M. (eds). The logic of theory change, Lecture Notes in Artificial Intelligence 465. Springer Verlag, Berlin, pp. 93–126
Lindström S., Rabinowicz W. (1995) The Ramsey test revisited. In: Crocco G., Fariñas del Cerro L., Herzig A. (eds). Conditionals from philosophy to computer science. Oxford University Press, Oxford, pp. 157–202
Lindström S., Segerberg K. (2006). Model logic and philosophy. In P. Blackburn J. van Benthem F. Wolter (Eds.), Handbook of model logic. Elsevier.
Pauly M., van Hees M. (2006). Logical constraints on judgement aggregation. Journal of Philosophical logic 36(6): 569–585
Plaza, J. A. (1989). Logic of public communications. In M. L. Emrich et al. (Eds.), Proceedings of the fourth international symposium on methodologies for intelligent systems (pp. 201–216). Oak Ridge National Laboratory, ORNL/DSRD-24.
Rabinowicz W., Lindström S. (1994) How to model relational belief revision. In: Prawitz D., Westerståhl D. (eds). Logic and philosophy of science in Uppsala. Kluwer, Dordrecht, pp. 69–84
Ramsey, F. P. (1978). Foundations: Essays in philosophy, logic, mathematics and economics, D. H. Mellor (Ed.). London: Routledge and Kegan Paul.
Rott H. (2006) Shifting priorities: Simple representations of twenty-seven iterated theory change operators. In: Lagerlund H., Lindström S., Sliwinski R. (eds). Modality matters. Uppsala Philosophical Studies 53, Uppsala, pp. 359–385
Segerberg K. (1989) A note on an impossibility theorem of Gärdenfors. Noûs 23: 351–354
Segerberg K. (1998) Irrevocable belief revision in dynamic doxastic logic. Notre Dame Journal of Formal Logic 39: 287–306
Segerberg K. (1999) Two traditions in the logic of belief: Bringing them together. In: Ohlbach H.J., Reyle U. (eds). Logic, language and reasoning: Essays in honour of Dov Gabbay. Kluwer, Dordrecht, pp. 135–147
Segerberg K. (2001) The basic dynamic doxastic logic of AGM. In: Williams M.-A., Rott H. (eds). Frontiers in belief revision. Kluwer, Dordrecht, pp. 57–84
Segerberg, K. (2003). Moore problems in full dynamic doxastic logic. In J. Malinowski A. Pietruszczak (Eds.), Essays in logic and ontology dedicated to Jerzy Perzanowski (pp. 11–25). Poznań Studies in the Sciences and the Humanities 50, Amsterdam: Rodopi.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Leitgeb, H., Segerberg, K. Dynamic doxastic logic: why, how, and where to?. Synthese 155, 167–190 (2007). https://doi.org/10.1007/s11229-006-9143-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-006-9143-8