Knowledge Means 'All', Belief Means 'Most'

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.

[1]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[2]  L. Cohen,et al.  An essay on belief and acceptance , 1994 .

[3]  Eric Pacuit,et al.  Neighborhood Semantics for Modal Logic An Introduction , 2007 .

[4]  Joseph Y. Halpern.  Should knowledge entail belief? , 1996, J. Philos. Log..

[5]  Dov M. Gabbay,et al.  Logic and the Modalities in the Twentieth Century , 2006, Handbook of the History of Logic.

[6]  Michael E. Bratman,et al.  Practical Reasoning and Acceptance in a Context , 1992 .

[7]  Karl Schlechta,et al.  Filters and Partial Orders , 1997, Log. J. IGPL.

[8]  Karl Schlechta,et al.  Defaults as Generalized Quantifiers , 1995, J. Log. Comput..

[9]  Marcus Kracht,et al.  Normal monomodal logics can simulate all others , 1999, Journal of Symbolic Logic.

[10]  Robert Stalnaker.  On Logics of Knowledge and Belief , 2006 .

[11]  Eric Pacuit,et al.  Majority Logic , 2004, KR.

[12]  Kosta Dosen,et al.  Duality between modal algebras and neighbourhood frames , 1989, Stud Logica.

[13]  Rohit Parikh,et al.  Majority logic and majority spaces in contrast with ultrafilters , 2006 .

[14]  Margaret Gilbert.  Modelling collective belief , 1987, Synthese.

[15]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[16]  Wolfgang Lenzen,et al.  Epistemologische betrachtungen zu [S4, S5] , 1979 .

[17]  A. Chagrov,et al.  Modal Logic (Oxford Logic Guides, vol. 35) , 1997 .

[18]  Michael Zakharyaschev,et al.  Modal Logic , 1997, Oxford logic guides.

[19]  Raul Hakli,et al.  Group beliefs and the distinction between belief and acceptance , 2006, Cognitive Systems Research.

[20]  Wolfgang Lenzen,et al.  Recent work in epistemic logic , 1978 .

[21]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[22]  P. Engel.  Believing, holding true, and accepting , 1998 .

[23]  Robert Goldblatt.  Mathematical modal logic: A view of its evolution , 2003, J. Appl. Log..