Dynamic Formal Epistemology

Dynamic Formal Epistemology
Author: Patrick Girard
Publisher: Springer Science & Business Media
Total Pages: 247
Release: 2011-01-06
Genre: Philosophy
ISBN: 9400700741

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 Formal Epistemology

Dynamic Formal Epistemology
Author: Patrick Girard
Publisher: Springer
Total Pages: 242
Release: 2013-02-25
Genre: Philosophy
ISBN: 9789400734913

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

Dynamic Epistemic Logic
Author: Hans van Ditmarsch
Publisher: Springer Science & Business Media
Total Pages: 303
Release: 2007-05-06
Genre: Philosophy
ISBN: 140205839X

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.

Mainstream and Formal Epistemology

Mainstream and Formal Epistemology
Author: Vincent F. Hendricks
Publisher: Cambridge University Press
Total Pages: 220
Release: 2006
Genre: Philosophy
ISBN: 9780521857895

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

Readings in Formal Epistemology

Readings in Formal Epistemology
Author: Horacio Arló-Costa
Publisher: Springer
Total Pages: 0
Release: 2016-06-15
Genre: Philosophy
ISBN: 9783319204505

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.

Awareness in Logic and Epistemology

Awareness in Logic and Epistemology
Author: Claudia Fernández-Fernández
Publisher: Springer Nature
Total Pages: 142
Release: 2021-06-19
Genre: Philosophy
ISBN: 3030696065

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.

Debate Dynamics: How Controversy Improves Our Beliefs

Debate Dynamics: How Controversy Improves Our Beliefs
Author: Gregor Betz
Publisher: Springer Science & Business Media
Total Pages: 258
Release: 2012-08-15
Genre: Philosophy
ISBN: 9400745990

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.

Degrees of Belief

Degrees of Belief
Author: Franz Huber
Publisher: Springer Science & Business Media
Total Pages: 352
Release: 2008-12-21
Genre: Philosophy
ISBN: 1402091982

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.

Constructing the World

Constructing the World
Author: David J. Chalmers
Publisher: OUP Oxford
Total Pages: 528
Release: 2012-10-04
Genre: Philosophy
ISBN: 0191654949

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.