Abstract
We present a logic for reasoning about the evidence-based knowledge and beliefs and the evidential dynamics of non-logically -omniscient agents. We do this by adapting key tools and techniques from Dynamic Epistemic Logic, Justification Logic, and Belief Revision so as to provide a lightweight, yet fine-grained approach that characterizes well-known epistemic and doxastic attitudes in terms of the evidential reasoning that justifies these attitudes. We then add the dynamic operations of evidence introduction, evidence-based inference, strong acceptance of new evidence (evidential “upgrade”), and irrevocable acceptance of additional evidence (evidential “update”). We exemplify our theory by providing a formal dynamic account of Lehrer’s well-known Gettier-type scenario involving the famous Ferrari and the infamous Messrs. Nogot and Havit.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Artemov, S.: The logic of justification. Review of Symbolic Logic 1(4), 477–513 (2008)
Artemov, S., Fitting, M.: Justification logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Fall 2011 edn. (2011)
Artemov, S., Nogina, E.: Introducing justification into epistemic logic. Journal of Logic and Computation 15(6), 1059–1073 (2005)
Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139(2), 165–224 (2004)
Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Gilboa, I. (ed.) Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK VII), Evanston, Illinois, USA, pp. 43–56 (1998)
Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. In: Bonanno, G., van der Hoek, W., Wooldridge, M. (eds.) Logic and the Foundations of Game and Decision Theory (LOFT 7). Texts in Logic and Games, pp. 9–58. Amsterdam University Press (2008)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)
Gettier, E.: Is justified true belief knowledge? Analysis 23, 121–123 (1963)
Grove, A.: Two modellings for theory change. Journal of Philosophical Logic 17, 157–170 (1988)
Lehrer, K.: Theory of Knowledge. Routledge, London (1990)
Lehrer, K., Paxson, T.J.: Knowledge: Undefeated justified true belief. Journal of Philosophy 66, 225–237 (1969)
Lehrer, K.: Theory of Knowledge. Westview Press, United States (2000)
Pappas, G., Swain, M. (eds.): Essays on Knowledge and Justification. Cornell Univ. Press, Ithaca (1978)
Renne, B., Sack, J., Yap, A.: Dynamic Epistemic Temporal Logic. In: He, X., Horty, J., Pacuit, E. (eds.) LORI 2009. LNCS, vol. 5834, pp. 263–277. Springer, Heidelberg (2009)
Rott, H.: Stability, strength and sensitivity: Converting belief into knowledge. Erkenntnis 61, 469–493 (2004)
Sack, J.: Temporal languages for epistemic programs. Journal of Logic, Language, and Information 17(2), 183–216 (2008)
Stalnaker, R.: On logics of knowledge and belief. Philosophical Studies 128, 169–199 (2006)
van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Studia Logica 99(1), 61–92 (2011)
van Benthem, J., Velazquez Quesada, F.: The dynamics of awareness. Synthese 177, 5–27 (2010)
van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press (2011)
Velazquez Quesada, F.R.: Small steps in dynamics of information. ILLC dissertation series DS-2011-02, University of Amsterdam ILLC (2011)
Yap, A.: Dynamic epistemic logic and temporal modality. In: Girard, P., Roy, O., Marion, M. (eds.) Dynamic Formal Epistemology. Synthese Library, vol. 351, pp. 33–50. Springer (2011)
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baltag, A., Renne, B., Smets, S. (2012). The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. In: Ong, L., de Queiroz, R. (eds) Logic, Language, Information and Computation. WoLLIC 2012. Lecture Notes in Computer Science, vol 7456. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32621-9_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-32621-9_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32620-2
Online ISBN: 978-3-642-32621-9
eBook Packages: Computer ScienceComputer Science (R0)