Methods Models for Belief and Knowledge
Jonathan Shaheen,Davide Fassio,Fabrice Correia,Olivier Roy,Andreas Witzel,Vincent Hendricks,Johan van Benthem
2010-01-01
Abstract:We introduce a formal representation of belief and knowledge based on the idea that knowledge is a matter of forming a belief through a su ciently error-free method. We rst model methods and their infallibility, then de ne belief and knowledge in terms of them. The resulting models are a signi cant extension of so-called neighbourhood models . We argue that epistemological notions and problems like Gettier, inductive knowledge, fallible justi cation, epistemic contextualism, or failure of logical omniscience are represented in a more satisfactory ways in these models than in standard epistemic logic. In general, our models only validate the claim that knowledge is true belief; but we show that a full S5 system can be derived from a set of natural idealisations. The derivation provides some explanation of why and when the S5 axioms should hold, and a vindication of their use. ∗Thanks to Paul Egré, Elia Zardini, Jonathan Shaheen, Davide Fassio, Fabrice Correia, Olivier Roy, Andreas Witzel, Vincent Hendricks, Johan van Benthem, John Hawthorne, Jonas de Vuyst, Timothy Williamson for much-needed help and encouragement, and to audiences in Geneva (Palmyr workshop), Lausanne (DLG09), Nancy (EpiConfFor workshop) and two anonymous referees for useful comments.