DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE

The question of whether knowledge is definable in terms of belief, which has played an important role in epistemology for the last 50 years, is studied here in the framework of epistemic and doxastic logics. Three notions of definability are considered: explicit definability, implicit definability, and reducibility, where explicit definability is equivalent to the combination of implicit definability and reducibility. It is shown that if knowledge satisfies any set of axioms contained in S5, then it cannot be explicitly defined in terms of belief. S5 knowledge can be implicitly defined by belief, but not reduced to it. On the other hand, S4.4 knowledge and weaker notions of knowledge cannot be implicitly defined by belief, but can be reduced to it by defining knowledge as true belief. It is also shown that S5 knowledge cannot be reduced to belief and justification, provided that there are no axioms that involve both belief and justification.

[1]  Alasdair Urquhart,et al.  SYNONYMOUS LOGICS: A CORRECTION , 2008, J. Philos. Log..

[2]  Yoav Shoham,et al.  Logics of Knowledge and Belief , 2008 .

[3]  J. Halpern,et al.  On Definability in Multimodal Logic I. Basic Notions , 2007 .

[4]  J. Benthem,et al.  Epistemic Logic and Epistemology: The State of their Affairs , 2006 .

[5]  Sergei N. Artëmov,et al.  Introducing Justification into Epistemic Logic , 2005, J. Log. Comput..

[6]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[7]  E. Sosa,et al.  Epistemic Justification: Internalism vs. Externalism, Foundations vs. Virtues , 2003 .

[8]  Alasdair Urquhart,et al.  Synonymous Logics , 2003, J. Philos. Log..

[9]  D. Pritchard.  A EPISTEMIC LUCK , 2003 .

[10]  Wiebe van der Hoek,et al.  Systems for Knowledge and Belief , 1993, J. Log. Comput..

[11]  W. Alston,et al.  Epistemic Justification: Essays in the Theory of Knowledge.Divine Nature and Human Language: Essays in Philosophical Theology , 1989 .

[12]  B. Aune.  Epistemic justification , 1981 .

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

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

[15]  G. N. Georgacarakos.  Semantics for S4.04, S4.4, and S4.3.2 , 1976, Notre Dame J. Formal Log..

[16]  J. Feibleman.  The Problem of Knowledge , 1976 .

[17]  R. Chisholm.  Perceiving: A Philosophical Study , 1958 .

[18]  Evert W. Beth,et al.  On Padoa’s Method in the Theory of Definition , 1953 .

[19]  N. Malcolm.  On Knowledge and Belief , 1954 .