Ljubljana, Slovenia

Tools for Formal Epistemology: Doxastic Logic, Probability and Default Logic

when 31 July 2023 - 11 August 2023
language English
duration 2 weeks
fee EUR 490

Logicians, philosophers, and artificial intelligence researchers interested in epistemic questions---or, roughly, questions relating to belief, knowledge, and reasoning---have developed formal models to refine these questions and to answer them. This course will introduce three of the most prominent such formal models: doxastic logic, Bayesian models, and default logic. We will introduce these models, highlighting their similarities and differences, as well as their advantages and pitfalls. The course will touch on the fundamental questions driving much of the research in formal epistemology. In addition to presenting the different models, we will discuss such issues as the lottery and preface paradoxes, doxastic paradoxes, the source of epistemic normativity, and puzzles associated with higher-order evidence and peer disagreement.

Course leader

Aleks Knoks and Eric Pacuit

Target group


Fee info

EUR 490: Early student registration
EUR 690: Early non-academic registration


There are several scholarship options which you can read about on our website.