• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
2026/2027

Введение в формальную эпистемологию

Статус: Дисциплина общефакультетского пула
Когда читается: 3 модуль
Охват аудитории: для своего кампуса
Язык: английский
Кредиты: 3
Контактные часы: 36

Course Syllabus

Abstract

Formal epistemology applies the tools of logic, probability theory, and decision theory to classical problems of knowledge, belief, and rational inquiry. This course introduces the three main formal traditions in the field: Bayesian epistemology (degrees of belief, updating, confirmation), epistemic and doxastic logic (knowledge and belief as modal operators, multi-agent reasoning), and formal learning theory (inquiry as a process, convergence to truth). Students will learn to state classical epistemological problems (skepticism, the problem of induction, the analysis of knowledge, disagreement) in formal terms and to evaluate competing formal models against philosophical intuitions. The course assumes no prior background in logic or probability beyond basic set theory; formal tools are introduced as needed. It is designed for a mixed audience, including students without a primary background in philosophy, and combines technical exercises with philosophical discussion of what the formalism does and does not capture.
Learning Objectives

Learning Objectives

  • To introduce students to the three main formal frameworks used in contemporary epistemology: probabilistic (Bayesian), logical (epistemic/doxastic and dynamic epistemic logic), and learning-theoretic.
  • To develop students' ability to translate classical epistemological problems (skepticism, confirmation, disagreement, rational belief change) into formal models and to assess these models critically.
  • To build basic technical competence in epistemic logic, Bayesian updating, and formal learning theory sufficient for independent reading of research literature in formal epistemology and epistemic game theory.
Expected Learning Outcomes

Expected Learning Outcomes

  • to construct and evaluate simple proofs in epistemic and doxastic logic
Course Contents

Course Contents

  • Formal Epistemology
Assessment Elements

Assessment Elements

  • non-blocking Аудиторная работа
  • non-blocking Экзамен
Interim Assessment

Interim Assessment

  • 2026/2027 3rd module
    0.5 * Экзамен + 0.5 * Аудиторная работа
Bibliography

Bibliography

Recommended Core Bibliography

  • An introduction to contemporary epistemology, Dancy, J., 2005

Recommended Additional Bibliography

  • Dynamic formal epistemology, , 2011
  • Hendricks, V. F. (2006). Mainstream and Formal Epistemology. Cambridge: Cambridge University Press. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=146213

Authors

  • Seliverstov Vladimir Valerevich
  • Dolgorukov Vitalii Vladimirovich