Доклад Елены Поповой в МИАН им. Стеклова
15 марта в МИАН состоялся семинар «Логические и алгебраические методы в языкознании», на котором Елена Попова выступила с докладом «Динамическая эпистемическая логика как инструмент анализа прагматических явлений».
.png "фото Степана Кузнецова")
Аннотация доклада:
Доклад посвящен обзору семейства эпистемических логик, а также их приложений для анализа прагматических феноменов (пресуппозиций, общего основания (common ground), эвиденциальности и др.). Поскольку прагматика имеет дело с контекстом высказывания, важным аспектом для анализа является знание говорящих о мире и о знаниях друг друга. Системы логики публичного объявления (public announcement logic) позволяют формализовывать динамику передачи информации, которая имеет важное значение для прагматики. Наряду с лингвистическими приложениями, в докладе будет обсуждаться следующие темы: сравнение эпистемических логик по выразительности, варианты аксиоматизации, а также техника доказательства теоремы о полноте с помощью аксиом редукций.
Видео доклада доступно по ссылке.
