This volume is a collation of original contributions from the key actors of a new trend in the contemporary theory of knowledge and belief, that we call “dynamic epistemology”. It brings the works of these researchers under a single umbrella by highlighting the coherence of their current themes, and by establishing connections between topics that, up until now, have been investigated independently. It also illustrates how the new analytical toolbox unveils questions about the theory of knowledge, belief, preference, action, and rationality, in a number of central axes in dynamic epistemology: temporal, social, probabilistic and even deontic dynamics.

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.

This book provides an analysis of the meeting point between mainstream and formal theories of knowledge.

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 subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Epistemic Logic. '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. 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.

This book creates a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic. It connects both fields and offers a proper theoretical foundation for the contemporary developments of Epistemic Logic regarding the dynamics of information. It builds a bridge between the view of Awareness Justification Internalism, and a dynamic approach to Awareness Logic. The book starts with an introduction to the main topics in Epistemic Logic and Epistemology and reviews the disconnection between the two fields. It analyses three core notions representing the basic structure of the conceptual schema: “Epistemic Awareness”, “Knowledge” and “Justification”. Next, it presents the Explicit Aware Knowledge (EAK) Schema, using a diagram of three ellipses to illustrate the schema, and a formal model based on a neighbourhood-model structure, that shows one concrete application of the EAK-Schema into a logical structure. The book ends by presenting conclusions and final remarks about the uses and applications of the EAK-Schema. It shows that the most important feature of the schema is that it serves both as a theoretical correlate to the dynamic extensions of Awareness Logic, providing it with a philosophical background, and as an abstract conceptual structure for a re-interpretation of Epistemology.

The first textbook to explain the principles of epistemic game theory.

Is critical argumentation an effective way to overcome disagreement? And does the exchange of arguments bring opponents in a controversy closer to the truth? This study provides a new perspective on these pivotal questions. By means of multi-agent simulations, it investigates the truth and consensus-conduciveness of controversial debates. The book brings together research in formal epistemology and argumentation theory. Aside from its consequences for discursive practice, the work may have important implications for philosophy of science and the way we construe scientific rationality as well.

This anthology is the first book to give a balanced overview of the competing theories of degrees of belief. It also explicitly relates these debates to more traditional concerns of the philosophy of language and mind and epistemic logic.

David Chalmers develops a picture of reality on which all truths can be derived from a limited class of basic truths. The picture is inspired by Rudolf Carnap's construction of the world in Der Logische Aufbau Der Welt. Carnap's Aufbau is often seen as a noble failure, but Chalmers argues that a version of the project can succeed. With the right basic elements and the right derivation relation, we can indeed construct the world. The focal point of Chalmers' project is scrutability: the thesis that ideal reasoning from a limited class of basic truths yields all truths about the world. Chalmers first argues for the scrutability thesis and then considers how small the base can be. The result is a framework in "metaphysical epistemology": epistemology in service of a global picture of the world. The scrutability framework has ramifications throughout philosophy. Using it, Chalmers defends a broadly Fregean approach to meaning, argues for an internalist approach to the contents of thought, and rebuts W.V. Quine's arguments against the analytic and the a priori. He also uses scrutability to analyze the unity of science, to defend a sort of conceptual metaphysics, and to mount a structuralist response to skepticism. Based on Chalmers's 2010 John Locke lectures, Constructing the World opens up debate on central philosophical issues concerning knowledge, language, mind, and reality.

Marková offers a dialogical perspective to problems in daily life and professional practices involving communication, care, and therapy.