Some Philosophical Problems of Logics of Belief Change
Abstract
The article presents some problems of logical representation of belief change. The problem of beliefs (approached in a synchronic way) was analyzed on the ground of epistemic or intuitionist logics. In the 1980’s works concerning logical reconstruction of belief change appeared. The basic conception here is the conception of belief change formulated by C. Alchouron, P. Gärdenfors and D. Makinson (abbreviated as AGM), based on the assumption that the belief state is represented by a non-contradictory set of propositions and that a belief change should be minimal (the postulate of economy). However, the AGM theory, characterized by a good formal shape, gives rise to several problems of the intuitive nature. Some of them are: the way the object of beliefs is understood, logical value of propositions that induce a change, the propositional way of representing beliefs, putting beliefs in an order and the way this order is formally represented.
References
Alchourron C., Gärdenfors P., Makinson D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions, „The Journal of Symbolic Logic” 50 (1985).
Friedman N., Halpern J.: Belief Revision: A Critique, „Journal of Logic, Language and Information” 8 (1999), s.401-420.
Fuhrmann A.: An Essay on Contraction, The University of Chicago Press 1996.
Gärdenfors P.: Knowledge in Flux, Cambridge, Mass.: MIT Press 1988.
Gillies A. S.: New Foundation for Epistemic Change, „Synthese” 138 (2004), s. 1-48.
Hansson S. O.: Ten Philosophical Problems in Belief Revision, http://www.infra.kth.se/ ~soh/tenproblems.pdf
Makinson D.: Ways of Doing Logic: What was Different about AGM 1985?, „Journal of Logic and Computation” 13 (2003), s. 3-13.
Marciszewski W.: Podstawy logicznej teorii przekonań, Warszawa 1972.
Rott H.: Two Dogmas of Belief Revision, „Journal of Philosophy” 97 (2000), s. 503-522.
Copyright (c) 2005 Roczniki Filozoficzne
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.