• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Доклад Елены Поповой на семинаре «Современные проблемы математической логики»

21 апреля Елена Попова выступила с докладом на семинаре математического факультета НИУ ВШЭ «Современные проблемы математической логики» с докладом «Подходы к решению проблемы логического всеведения в эпистемической логике».

Доклад Елены Поповой на семинаре «Современные проблемы математической логики»

кадр из видео

Аннотация:
Проблема логического всеведения заключается в замкнутости знания относительно логического следования, поэтому связана с чрезмерной
идеализацией познавательных способностей агентов - знание аксиом автоматически гарантирует знание всех следствий. В докладе будут
представлены возможные пути решения проблемы логического всеведения в эпистемической логике, в частности, мы рассмотрим логики с оператором осведомленности (Fagin R., Halpern J., 1988; van Benthem J., Velazquez-Quesada F., 2010) и их возможные модификации с темпоральным расширением эпистемической логики.

видео доклада