Abstract
We introduce a bimodal epistemic logic intended to capture knowledge as truth in all epistemically alternative states and belief as a generalized ‘majority’ quantifier, interpreted as truth in many (a ‘majority’ of the) epistemically alternative states. This doxastic interpretation is of interest in KR applications and it also has an independent philosophical and technical interest. The logic KBM comprises an S4 epistemic modal operator, a doxastic modal operator of consistent and complete belief and ‘bridge’ axioms which relate knowledge to belief. To capture the notion of a ‘majority’ we use the ‘large sets’ introduced independently by K. Schlechta and V. Jauregui, augmented with a requirement of completeness, which furnishes a ‘weak ultrafilter’ concept. We provide semantics in the form of possible-worlds frames, properly blending relational semantics with a version of general Scott-Montague (neighborhood) frames and we obtain soundness and completeness results. We examine the validity of certain epistemic principles discussed in the literature, in particular some of the ‘bridge’ axioms discussed by W. Lenzen and R. Stalnaker, as well as the ‘paradox of the perfect believer’, which is not a theorem of KBM.
Keywords
- modal epistemic logic
- majorities
- large sets
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Askounis, D., Koutras, C.D., Zikos, Y.: Knowledge means ‘all’, belief means most. Technical Report, draft version (May 2012), http://www.uop.gr/~ckoutras , http://users.uop.gr/%7Eckoutras/AKZ-KBM-Full.pdf
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press (2001)
Bratman, M.: Practical reasoning and acceptance in a context. Mind 101(401), 1–16 (1992)
Chagrov, A., Zakharyashev, M.: Modal Logic. Oxford Logic Guides, vol. 35. Oxford University Press (1997)
Chang, C.C., Keisler, H.J.: Model Theory, 3rd edn. Studies in Logic and the Foundations of Mathematics, vol. 73. North-Holland, Amsterdam (1990)
Chellas, B.F.: Modal Logic, an Introduction. Cambridge University Press (1980)
Cohen, L.: An essay on Belief and Acceptance. Oxford University Press (1995)
Dubois, D., Welty, C.A., Williams, M.-A. (eds.): Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), Whistler, Canada, June 2-5. AAAI Press (2004)
Dǒsen, K.: Duality between modal algebras and neighbourhood frames. Studia Logica. 48(2), 219–234 (1989)
Engel, P.: Believing, holding true, and accepting. Philosophical Explorations: An International Journal for the Philosophy of Mind and Action 1(2), 140–151 (1998)
Gabbay, D.M., Woods, J. (eds.): Logic and the Modalities in the Twentieth Century. Handbook of the History of Logic, vol. 7. North-Holland (2006)
Gilbert, M.P.: Modeling collective belief. Synthese 73, 185–204 (1987)
Gochet, P., Gribomont, P.: Epistemic logic. In: Gabbay and Woods [11], vol. 7, pp. 99–195 (2006)
Goldblatt, R.: Mathematical Modal Logic: A View of its Evolution. In: Gabbay and Woods [11], vol. 7, pp. 1–98 (2006)
Hakli, R.: Group beliefs and the distinction between belief and acceptance. Cognitive Systems Research 7(2-3), 286–297 (2006)
Halpern, J.: Should knowledge entail belief? Journal of Philosophical Logic 25(5), 483–494 (1996)
Hintikka, J.: Knowledge and Belief: an Introduction to the Logic of the two notions. Cornell University Press, Ithaca (1962)
Jauregui, V.: Modalities, Conditionals and Nonmonotonic Reasoning. PhD thesis, Department of Computer Science and Engineering, University of New South Wales (2008)
Kracht, M., Wolter, F.: Normal modal logics can simulate all others. Journal of Symbolic Logic 64(1), 99–138 (1999)
Lenzen, W.: Recent Work in Epistemic Logic. North-Holland (1978)
Lenzen, W.: Epistemologische Betrachtungen zu [S4,S5]. Erkenntnis 14, 33–56 (1979)
Pacuit, E.: Neighborhood semantics for modal logic: an introduction. Course Notes for ESSLLI 2007 (2007)
Pacuit, E., Salame, S.: Majority logic. In: Dubois, et al. [8], pp. 598–605
Salame, S.: Majority Logic and Majority Spaces in contrast with Ultrafilters. PhD thesis, Graduate Center, City University of New York (2006)
Schlechta, K.: Defaults as generalized quantifiers. Journal of Logic and Computation 5(4), 473–494 (1995)
Schlechta, K.: Filters and partial orders. Logic Journal of the IGPL 5(5), 753–772 (1997)
Segerberg, K.: An essay in Clasical Modal Logic. Filosofiska Studies, Uppsala (1971)
Stalnaker, R.: On logics of knowledge and belief. Philosophical Studies 128(1), 169–199 (2006)
Voorbraak, F.: As Far as I Know - Epistemic Logic and Uncertainty. PhD thesis, Department of Philosophy, Utrecht University (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Askounis, D., Koutras, C.D., Zikos, Y. (2012). Knowledge Means ‘All’, Belief Means ‘Most’. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds) Logics in Artificial Intelligence. JELIA 2012. Lecture Notes in Computer Science(), vol 7519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33353-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-33353-8_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33352-1
Online ISBN: 978-3-642-33353-8
eBook Packages: Computer ScienceComputer Science (R0)
