1. Введение в динамическую
эпистемическую логику-1
НУГ "Формальная философия",
проект "Динамический поворот в логической
семантике"(15-05-0005)
Виталий Долгоруков
Школа философии
2. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Аспекты динамической эпистемической логики
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
3. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Аспекты динамической эпистемической логики
(1) Основные понятия эпистемической логики
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
4. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Аспекты динамической эпистемической логики
(1) Основные понятия эпистемической логики
(2) Формы группового знания. Основные понятия
доксатической логики
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
5. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Аспекты динамической эпистемической логики
(1) Основные понятия эпистемической логики
(2) Формы группового знания. Основные понятия
доксатической логики
(3) Виды информационного обновления. Классические задачи
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
6. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Аспекты динамической эпистемической логики
(1) Основные понятия эпистемической логики
(2) Формы группового знания. Основные понятия
доксатической логики
(3) Виды информационного обновления. Классические задачи
(4) Динамическая эпистемическая логика и формальная
эпистемология
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
7. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Пример 1: Информационное обновление
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
8. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Пример 1: Информационное обновление
Мама Ангелина Петровна, папа Аристарх Платонович и малыш
Петечка заказали три блюда (каждый - только одно):
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
9. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Пример 1: Информационное обновление
Мама Ангелина Петровна, папа Аристарх Платонович и малыш
Петечка заказали три блюда (каждый - только одно):
мороженое,
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
10. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Пример 1: Информационное обновление
Мама Ангелина Петровна, папа Аристарх Платонович и малыш
Петечка заказали три блюда (каждый - только одно):
мороженое, рыбу фугу
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
11. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Пример 1: Информационное обновление
Мама Ангелина Петровна, папа Аристарх Платонович и малыш
Петечка заказали три блюда (каждый - только одно):
мороженое, рыбу фугу и бифштекс с кровью.
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
12. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Пример 1: Информационное обновление
Мама Ангелина Петровна, папа Аристарх Платонович и малыш
Петечка заказали три блюда (каждый - только одно):
мороженое, рыбу фугу и бифштекс с кровью.
официант: рыба?
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
13. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Пример 1: Информационное обновление
Мама Ангелина Петровна, папа Аристарх Платонович и малыш
Петечка заказали три блюда (каждый - только одно):
мороженое, рыбу фугу и бифштекс с кровью.
официант: рыба? мама Ангелина Петровна: мне!
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
14. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Пример 1: Информационное обновление
Мама Ангелина Петровна, папа Аристарх Платонович и малыш
Петечка заказали три блюда (каждый - только одно):
мороженое, рыбу фугу и бифштекс с кровью.
официант: рыба? мама Ангелина Петровна: мне!
официант: мороженное?
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
15. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Пример 1: Информационное обновление
Мама Ангелина Петровна, папа Аристарх Платонович и малыш
Петечка заказали три блюда (каждый - только одно):
мороженое, рыбу фугу и бифштекс с кровью.
официант: рыба? мама Ангелина Петровна: мне!
официант: мороженное? папа Аристарх Платонович: мне!
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
16. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Пример 1: Информационное обновление
Мама Ангелина Петровна, папа Аристарх Платонович и малыш
Петечка заказали три блюда (каждый - только одно):
мороженое, рыбу фугу и бифштекс с кровью.
официант: рыба? мама Ангелина Петровна: мне!
официант: мороженное? папа Аристарх Платонович: мне!
официант: ага! значит, бифштекс с кровью – малышу Петечке
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
17. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Пример 2: Рассуждение о рассуждениях другого
Что знает Джо?
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
18. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Пример 3. Информационное обновление+рассуждение о
рассуждениях другого
Рассуждающие мудрецы.На голову каждого из трех мудрецов
надели шляпу (всего 5 шляп: 3 черных и 2 белых). Каждый
мудрец может видеть шляпы на двух других мудрецах, но не
знает какая шляпа на нем . Каждому мудрецу нужно
догадаться, какая на нем шляпа и сказать ответ. Как же они
это сделали?
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
19. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Логика: от теории дедукции к теории информационого
обновления
Й. ван Бентем: "Спрашивание и получение ответов являются
такими же важными логическими формами деятельности, что
и извлечение следствий!"
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
20. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Статическая эпистемическая логика
агент i знает, что ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
21. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Статическая эпистемическая логика
агент i знает, что ϕ
Ki ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
22. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Статическая эпистемическая логика
агент i знает, что ϕ
Ki ϕ
агент i не знает, что ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
23. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Статическая эпистемическая логика
агент i знает, что ϕ
Ki ϕ
агент i не знает, что ϕ
¬Ki ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
24. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Статическая эпистемическая логика
агент i знает, что ϕ
Ki ϕ
агент i не знает, что ϕ
¬Ki ϕ
агент i знает, что ¬ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
25. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Статическая эпистемическая логика
агент i знает, что ϕ
Ki ϕ
агент i не знает, что ϕ
¬Ki ϕ
агент i знает, что ¬ϕ
Ki ¬ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
26. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Статическая эпистемическая логика
агент i знает, что ϕ
Ki ϕ
агент i не знает, что ϕ
¬Ki ϕ
агент i знает, что ¬ϕ
Ki ¬ϕ
агент i не знает, что ¬ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
27. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Статическая эпистемическая логика
агент i знает, что ϕ
Ki ϕ
агент i не знает, что ϕ
¬Ki ϕ
агент i знает, что ¬ϕ
Ki ¬ϕ
агент i не знает, что ¬ϕ
агент i допускает, что ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
28. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Статическая эпистемическая логика
агент i знает, что ϕ
Ki ϕ
агент i не знает, что ϕ
¬Ki ϕ
агент i знает, что ¬ϕ
Ki ¬ϕ
агент i не знает, что ¬ϕ
агент i допускает, что ϕ
¬Ki ¬ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
29. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
Статическая эпистемическая логика
агент i знает, что ϕ
Ki ϕ
агент i не знает, что ϕ
¬Ki ϕ
агент i знает, что ¬ϕ
Ki ¬ϕ
агент i не знает, что ¬ϕ
агент i допускает, что ϕ
¬Ki ¬ϕ
= ˆKi ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
30. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Эпистемический шестиугольник
ˆKi ϕ
ˆKi ϕ ∧ ˆKi ¬ϕ
ˆKi ¬ϕ
Ki ¬ϕ
Ki ϕ ∨ Ki ¬ϕ
Ki ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
31. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Правильно построенная формула
ϕ ::= ϕ|¬ϕ|(ϕ ∧ ψ)|(ϕ ∨ ψ)|(ϕ → ψ)|Ki ϕ| ˆKi ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
32. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Правильно построенная формула
ϕ ::= ϕ|¬ϕ|(ϕ ∧ ψ)|(ϕ ∨ ψ)|(ϕ → ψ)|Ki ϕ| ˆKi ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
33. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Исчисление
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
34. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Исчисление
(K) Ki (ϕ → ψ) → (Ki ϕ → Ki ψ)
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
35. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Исчисление
(K) Ki (ϕ → ψ) → (Ki ϕ → Ki ψ)
(T) Ki ϕ → ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
36. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Исчисление
(K) Ki (ϕ → ψ) → (Ki ϕ → Ki ψ)
(T) Ki ϕ → ϕ
(4) Ki ϕ → Ki Ki ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
37. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Исчисление
(K) Ki (ϕ → ψ) → (Ki ϕ → Ki ψ)
(T) Ki ϕ → ϕ
(4) Ki ϕ → Ki Ki ϕ
(5) ¬Ki ϕ → Ki ¬Ki ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
38. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Исчисление
(K) Ki (ϕ → ψ) → (Ki ϕ → Ki ψ)
(T) Ki ϕ → ϕ
(4) Ki ϕ → Ki Ki ϕ
(5) ¬Ki ϕ → Ki ¬Ki ϕ
(G):
ϕ
Ki ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
39. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Модель
M = (A, W , {∼i }i∈A, V )
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
40. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Модель
M = (A, W , {∼i }i∈A, V )
A – множество агентов
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
41. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Модель
M = (A, W , {∼i }i∈A, V )
A – множество агентов
W – множество возможных миров (ситуаций)
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
42. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Модель
M = (A, W , {∼i }i∈A, V )
A – множество агентов
W – множество возможных миров (ситуаций)
∼i – отношение на W для агента i
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
43. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Модель
M = (A, W , {∼i }i∈A, V )
A – множество агентов
W – множество возможных миров (ситуаций)
∼i – отношение на W для агента i
V : VarL → 2W
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
44. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Выполнимость в модели
M, w |= p е.т.е. w ∈ V (p)
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
45. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Выполнимость в модели
M, w |= p е.т.е. w ∈ V (p)
M, w |= ϕ ∧ ψ е.т.е. M, w |= ϕ и M, w |= ψ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
46. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Выполнимость в модели
M, w |= p е.т.е. w ∈ V (p)
M, w |= ϕ ∧ ψ е.т.е. M, w |= ϕ и M, w |= ψ
M, w |= ¬ϕ е.т.е. M, w |= ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
47. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Выполнимость в модели
M, w |= p е.т.е. w ∈ V (p)
M, w |= ϕ ∧ ψ е.т.е. M, w |= ϕ и M, w |= ψ
M, w |= ¬ϕ е.т.е. M, w |= ϕ
для ∨ и → – аналогично
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
48. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Выполнимость в модели
M, w |= p е.т.е. w ∈ V (p)
M, w |= ϕ ∧ ψ е.т.е. M, w |= ϕ и M, w |= ψ
M, w |= ¬ϕ е.т.е. M, w |= ϕ
для ∨ и → – аналогично
M, w |= Ki ϕ е.т.е. ∀w (w ∼i w → M, w |= ϕ)
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
49. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Выполнимость в модели
M, w |= p е.т.е. w ∈ V (p)
M, w |= ϕ ∧ ψ е.т.е. M, w |= ϕ и M, w |= ψ
M, w |= ¬ϕ е.т.е. M, w |= ϕ
для ∨ и → – аналогично
M, w |= Ki ϕ е.т.е. ∀w (w ∼i w → M, w |= ϕ)
M, w |= ˆKi ϕ е.т.е. ∃w (w ∼i w ∧ M, w |= ϕ)
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
50. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Ограничения на ∼i
Ki ϕ → ϕ
∀w (w ∼i w )
Ki ϕ → Ki Ki ϕ
∀w ∀w ∀w ((w ∼i w ∧ w ∼i w ) → w ∼i w )
¬Ki ϕ → Ki ¬Ki ϕ
∀w ∀w ((w ∼i w ∧ w ∼i w ) → w ∼i w )
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
51. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
агент a знает, что p
M1, w1 |= Kap
52. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
агент a знает, что p
M1, w1 |= Kap
w1 : p
53. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
агент a знает, что p
M1, w1 |= Kap
w1 : p w2 : p
54. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
агент a знает, что p
M1, w1 |= Kap
w1 : p w2 : p
a
55. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
агент a знает, что p
M1, w1 |= Kap
w1 : p w2 : p
a a
56. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
агент a знает, что p
M1, w1 |= Kap
w1 : p w2 : p
a a
a
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
57. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
агент a не знает, что p
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
58. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
агент a не знает, что p
M2, w1 |= ¬Kap
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
59. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
агент a не знает, что p
M2, w1 |= ¬Kap
w1 : p
60. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
агент a не знает, что p
M2, w1 |= ¬Kap
w1 : p w2 : p
61. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
агент a не знает, что p
M2, w1 |= ¬Kap
w1 : p w2 : p
a
62. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
агент a не знает, что p
M2, w1 |= ¬Kap
w1 : p w2 : p
a a
63. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
агент a не знает, что p
M2, w1 |= ¬Kap
w1 : p w2 : p
a a
a
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
64. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Прагматика вопроса
a спрашивает у b: p?
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
65. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Прагматика вопроса
a спрашивает у b: p?
w1 : p
66. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Прагматика вопроса
a спрашивает у b: p?
w1 : p w2 : p
67. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Прагматика вопроса
a спрашивает у b: p?
w1 : p w2 : p
a
68. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Прагматика вопроса
a спрашивает у b: p?
w1 : p w2 : p
a
b
69. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Прагматика вопроса
a спрашивает у b: p?
w1 : p w2 : p
a
b
a
70. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Прагматика вопроса
a спрашивает у b: p?
w1 : p w2 : p
a
b
a
b
71. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Прагматика вопроса
a спрашивает у b: p?
w1 : p w2 : p
a
b
a
b
a
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
79. w1 : p, q w2 : p, q
w3 : p, q w4 : p, q
a
b
a
b
80. w1 : p, q w2 : p, q
w3 : p, q w4 : p, q
a
b
a
b
a
81. w1 : p, q w2 : p, q
w3 : p, q w4 : p, q
a
b
a
b
a
b
82. w1 : p, q w2 : p, q
w3 : p, q w4 : p, q
a
b
a
b
a
b
a
83. w1 : p, q w2 : p, q
w3 : p, q w4 : p, q
a
b
a
b
a
b
a
b
84. w1 : p, q w2 : p, q
w3 : p, q w4 : p, q
a
b
a
b
a
b
a
b
a
85. w1 : p, q w2 : p, q
w3 : p, q w4 : p, q
a
b
a
b
a
b
a
b
a
a
86. w1 : p, q w2 : p, q
w3 : p, q w4 : p, q
a
b
a
b
a
b
a
b
a
a
b
87. w1 : p, q w2 : p, q
w3 : p, q w4 : p, q
a
b
a
b
a
b
a
b
a
a
b b
88. w1 : p, q w2 : p, q
w3 : p, q w4 : p, q
a
a
b b
89. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Формулы и модели
Построить модель для следующих формул (или доказать, что
это невозможно)
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
90. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Формулы и модели
Построить модель для следующих формул (или доказать, что
это невозможно)
(1) ¬Kaϕ ∧ Kbϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
91. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Формулы и модели
Построить модель для следующих формул (или доказать, что
это невозможно)
(1) ¬Kaϕ ∧ Kbϕ
(2) ¬Kaϕ ∧ ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
92. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Формулы и модели
Построить модель для следующих формул (или доказать, что
это невозможно)
(1) ¬Kaϕ ∧ Kbϕ
(2) ¬Kaϕ ∧ ϕ
(3) Kaϕ ∧ ¬ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
93. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Формулы и модели
Построить модель для следующих формул (или доказать, что
это невозможно)
(1) ¬Kaϕ ∧ Kbϕ
(2) ¬Kaϕ ∧ ϕ
(3) Kaϕ ∧ ¬ϕ
(4) ˆKaϕ ∧ ¬ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
94. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Формулы и модели
Построить модель для следующих формул (или доказать, что
это невозможно)
(1) ¬Kaϕ ∧ Kbϕ
(2) ¬Kaϕ ∧ ϕ
(3) Kaϕ ∧ ¬ϕ
(4) ˆKaϕ ∧ ¬ϕ
(5) Kaϕ ∧ (ϕ → ψ) ∧ ¬Kaψ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
95. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Формулы и модели
Построить модель для следующих формул (или доказать, что
это невозможно)
(1) ¬Kaϕ ∧ Kbϕ
(2) ¬Kaϕ ∧ ϕ
(3) Kaϕ ∧ ¬ϕ
(4) ˆKaϕ ∧ ¬ϕ
(5) Kaϕ ∧ (ϕ → ψ) ∧ ¬Kaψ
(6) Kaϕ ∧ Ka(ϕ → ψ) ∧ ¬Kaψ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
96. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Формулы и модели
Построить модель для следующих формул (или доказать, что
это невозможно)
(1) ¬Kaϕ ∧ Kbϕ
(2) ¬Kaϕ ∧ ϕ
(3) Kaϕ ∧ ¬ϕ
(4) ˆKaϕ ∧ ¬ϕ
(5) Kaϕ ∧ (ϕ → ψ) ∧ ¬Kaψ
(6) Kaϕ ∧ Ka(ϕ → ψ) ∧ ¬Kaψ
(7) ˆKaϕ ∧ ˆKa¬ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
97. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Формулы и модели
Построить модель для следующих формул (или доказать, что
это невозможно)
(1) ¬Kaϕ ∧ Kbϕ
(2) ¬Kaϕ ∧ ϕ
(3) Kaϕ ∧ ¬ϕ
(4) ˆKaϕ ∧ ¬ϕ
(5) Kaϕ ∧ (ϕ → ψ) ∧ ¬Kaψ
(6) Kaϕ ∧ Ka(ϕ → ψ) ∧ ¬Kaψ
(7) ˆKaϕ ∧ ˆKa¬ϕ
(8) KaKbϕ ∧ ¬Kaϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
98. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Формулы и модели
Построить модель для следующих формул (или доказать, что
это невозможно)
(1) ¬Kaϕ ∧ Kbϕ
(2) ¬Kaϕ ∧ ϕ
(3) Kaϕ ∧ ¬ϕ
(4) ˆKaϕ ∧ ¬ϕ
(5) Kaϕ ∧ (ϕ → ψ) ∧ ¬Kaψ
(6) Kaϕ ∧ Ka(ϕ → ψ) ∧ ¬Kaψ
(7) ˆKaϕ ∧ ˆKa¬ϕ
(8) KaKbϕ ∧ ¬Kaϕ
(9) KaKbϕ ∧ ¬KbKaϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
99. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Формулы и модели
Построить модель для следующих формул (или доказать, что
это невозможно)
(1) ¬Kaϕ ∧ Kbϕ
(2) ¬Kaϕ ∧ ϕ
(3) Kaϕ ∧ ¬ϕ
(4) ˆKaϕ ∧ ¬ϕ
(5) Kaϕ ∧ (ϕ → ψ) ∧ ¬Kaψ
(6) Kaϕ ∧ Ka(ϕ → ψ) ∧ ¬Kaψ
(7) ˆKaϕ ∧ ˆKa¬ϕ
(8) KaKbϕ ∧ ¬Kaϕ
(9) KaKbϕ ∧ ¬KbKaϕ
(10) KbKaϕ ∧ KaKbϕ ∧ ¬KaKbKaϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
100. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Синтаксис
Cемантика
Формулы и модели
Формулы и модели
Построить модель для следующих формул (или доказать, что
это невозможно)
(1) ¬Kaϕ ∧ Kbϕ
(2) ¬Kaϕ ∧ ϕ
(3) Kaϕ ∧ ¬ϕ
(4) ˆKaϕ ∧ ¬ϕ
(5) Kaϕ ∧ (ϕ → ψ) ∧ ¬Kaψ
(6) Kaϕ ∧ Ka(ϕ → ψ) ∧ ¬Kaψ
(7) ˆKaϕ ∧ ˆKa¬ϕ
(8) KaKbϕ ∧ ¬Kaϕ
(9) KaKbϕ ∧ ¬KbKaϕ
(10) KbKaϕ ∧ KaKbϕ ∧ ¬KaKbKaϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
101. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Новые инструменты анализа
Новые вопросы
Новые инструменты анализа
Формальные языки vs. естественные языки
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
102. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Новые инструменты анализа
Новые вопросы
Новые инструменты анализа
Формальные языки vs. естественные языки
микроскоп vs. глаз (метафора Г.Фреге)
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
103. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Новые инструменты анализа
Новые вопросы
Новые инструменты анализа
знание vs. мнение
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
104. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Новые инструменты анализа
Новые вопросы
Новые инструменты анализа
знание vs. мнение
Ki ϕ vs. ˆKi ϕ vs. Bi ϕ vs. ˆBi vs. B+
i ϕ vs. ˆB+
i
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
105. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Новые инструменты анализа
Новые вопросы
Новые инструменты анализа
знание vs. мнение
Ki ϕ vs. ˆKi ϕ vs. Bi ϕ vs. ˆBi vs. B+
i ϕ vs. ˆB+
i
EG ϕ vs. DG ϕ vs. CG ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
106. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Новые инструменты анализа
Новые вопросы
Новые инструменты анализа
знание vs. мнение
Ki ϕ vs. ˆKi ϕ vs. Bi ϕ vs. ˆBi vs. B+
i ϕ vs. ˆB+
i
EG ϕ vs. DG ϕ vs. CG ϕ
[!ϕ]ψ vs. [↑ ϕ]ψ vs. [⇑ ϕ]ψ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
107. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Новые инструменты анализа
Новые вопросы
Парадокс Фитча
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
108. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Новые инструменты анализа
Новые вопросы
Парадокс Фитча
(1) Ki ϕ → ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
109. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Новые инструменты анализа
Новые вопросы
Парадокс Фитча
(1) Ki ϕ → ϕ
(2) Ki (ϕ ∧ ψ) → (Ki ϕ ∧ Ki ψ)
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
110. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Новые инструменты анализа
Новые вопросы
Парадокс Фитча
(1) Ki ϕ → ϕ
(2) Ki (ϕ ∧ ψ) → (Ki ϕ ∧ Ki ψ)
(3) ϕ → Ki ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
111. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Новые инструменты анализа
Новые вопросы
Парадокс Фитча
(1) Ki ϕ → ϕ
(2) Ki (ϕ ∧ ψ) → (Ki ϕ ∧ Ki ψ)
(3) ϕ → Ki ϕ
Из (1), (2), (3) следует, что ϕ → Ki ϕ
В.В.Долгоруков Введение в динамическую эпистемическую логику-1
112. Структура курса
Основные идеи эпистемической логики
Синтаксис и семантика эпистемической логики
Формальная эпистемология
Домашнее задание
Что значит "они не знают, что мы знаем, что они знают,
что мы знаем"?
Построить модель для истории с Джо
В.В.Долгоруков Введение в динамическую эпистемическую логику-1