A Formal Epistemology Reader

'Formal epistemology' is a term coined in the late 1990s for a new constellation of interests in philosophy, the origins of which are found in earlier works of epistemologists, philosophers of science and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, rationality, deliberation, decision, strategy, action and agent interaction – and it does so using methods from logic, probability, computability, decision and game theory. This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Epistemic Logic. The volume also includes a thorough index and suggestions for further reading, and thus offers a complete teaching and research package for students as well as research scholars of formal epistemology, philosophy, logic, computer science, theoretical economics and cognitive psychology.