Abstract
The present paper aims at a synthesis of belief revision theory with the Sneed formalism known as the structuralist theory of science. This synthesis is brought about by a dynamisation of classical structuralism, with an abductive inference rule and base generated revisions in the style of Rott (2001). The formalism of prioritised default logic (PDL) serves as the medium of the synthesis. Why seek to integrate the Sneed formalism into belief revision theory? With the hybrid system of the present investigation, a substantial simplification of the ranking information that is necessary to define revisions and contractions uniquely is achieved. This system is, furthermore, expressive enough to capture complex and non-trivial scientific examples. It is thus closely related to a novel research area within belief revision theory which addresses the dynamics of scientific knowledge.
Similar content being viewed by others
References
Andreas H. (2010a) A modal view of the semantics of theoretical sentences. Synthese 174(3): 367–383
Andreas H. (2010b) New account of empirical claims in structuralism. Synthese 176(3): 311–332
Antoniou G. (1997) Nonmonotonic reasoning. MIT Press, Cambridge
Balzer W., Moulines C. U., Sneed J. (1987) An architectonic for science. The structuralist program. D. Reidel Publishing Company, Dordrecht
Bartelborth T. (2002) Explanatory unification. Synthese 130(1): 91–108
Brewka, G. (1989a). Belief revision in a framework for default reasoning. In Proceedings of the workshop on the logic of theory change (pp. 602–622). Springer, London.
Brewka, G. (1989b). Preferred subtheories: An extended logical framework for default reasoning. In Proceedings of eleventh international joint conference on artificial intelligence (pp. 1043–1048). Detroit, San Mateo, CA: Morgan Kaufmann.
Brewka G., Niemelä I., Truszczyński M. (2008) Nonmonotonic reasoning. In: Harmelen F. v., Lifschitz V., Porter B. (eds) Handbook of knowledge representation. Elsevier, Amsterdam
Flach P. A. (2000) On the logic of hypothesis generation. In: Flach P. A., Kakas A. C. (eds) Abduction and induction. Kluwer Academic Publishers, Dordrecht, pp 89–106
Friedman M. (1974) Explanation and scientific understanding. The Journal of Philosophy 71: 1–19
Gärdenfors P. (1988) Knowledge in flux. Mass, Cambridge
Gärdenfors P., Makinson D. (1988) Revision of knowledge systems using epistemic entrenchment. In: Vardi M. (Ed.) TARK’ 88—proceedings of the second conference on theoretical aspects of reasoning about knowledge. Morgan and Kaufmann, Los Altos, pp 83–95
Goldman A. (1979) What is justified belief?. In: Pappas G. S. (Ed.) Justification and knowledge. Reidel, Dordrecht, pp 1–23
Gottlieb D., McCarthy T. (1979) Substitutional quantification and set theory. Joumal of Philosophical Logic 8: 315–331
Gusfield D. (1997) Algorithms on strings, trees, and sequences. Computer science and computational biology. Cambridge Press, Cambridge
Hansson S. O. (1999) A textbook of belief dynamics. Theory change and database updating. Kluwer, Dordrecht
Hofer, L. (2009). Holistische Elemente in der strukturalistischen Wissenschaftskonzeption. M. A. Thesis, LMU Munich.
Kitcher P. (1976) Explanation, conjunction and unification. Journal of Philosophy 73: 207–212
Kuhn T. S. (1976) Theory-change as structure-change: Comments on the sneed formalism. Erkenntnis 10(2): 179–199
Lifschitz V. (1990) On open defaults. In: Lloyd J. (Ed.) Proceedings of the symposium on computational logic. Springer, Berlin, pp 80–95
Minsky, M. A. (1974). Framework for representing knowledge. AI Laboratory, Massachusetts Institute of Technology, http://web.media.mit.edu/~minsky/papers/Frames/frames.html.
Pevsner J. (2003) Bioinformatics and functional genomics. Wiley & Sons, Hoboken, NJ
Rott H. (2001) Change, choice and inference: A study of belief revision and nonmonotonic reasoning. Oxford University Press, Oxford
Schurz G. (2008) Patterns of abduction. Synthese 164: 201–234
Sneed J. (1979) The logical structure of mathematical physics (2nd ed.). D. Reidel Publishing Company, Dordrecht
Spohn, W. (1988). Ordinal conditional functions: A dynamic theory of epistemic states. In Causation in decision, belief change, and statistics II (pp. 105–134). Dordrecht: Kluwer.
Stegmüller W. (1985) Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie. Bd. 2—Theorie und Erfahrung, Teil D. Springer-Verlag, Berlin, Heidelberg, New York
Wallace J. (1971) Convention T and substitutional quantification. Noûs 5(2): 199–211
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Andreas, H. A Structuralist Theory of Belief Revision. J of Log Lang and Inf 20, 205–232 (2011). https://doi.org/10.1007/s10849-010-9128-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-010-9128-3