-
80A Structuralist Theory of Belief RevisionJournal of Logic, Language and Information 20 (2): 205-232. 2011.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…Read more
-
Adaptive Proofs for Networks of Partial StructuresIn Peter Verdée & Holger Andreas (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Springer Verlag. 2016.
Holger Andreas
University Of British Columbia, Okanagan
Ludwig Maximilians Universität, München
-
University Of British Columbia, OkanaganAssistant Professor
-
Ludwig Maximilians Universität, MünchenFaculty of Philosophy, Philosophy of Science and Study of ReligionExternal Member
Munich, Bavaria, Germany
Areas of Specialization
Science, Logic, and Mathematics |
Metaphysics and Epistemology |
History of Western Philosophy |