Динамическая эпистемическая логика как инструмент анализа прагматических явлений

Доклад будет посвящен обзору семейства эпистемических логик, а также их приложений для анализа прагматических феноменов (пресуппозиций, общего основания (common ground), эвиденциальности и др.). Поскольку прагматика имеет дело с контекстом высказывания, важным аспектом для анализа является знание говорящих о мире и о знаниях друг друга. Системы логики публичного объявления (public announcement logic) позволяют формализовывать динамику передачи информации, которая имеет важное значение для прагматики. Наряду с лингвистическими приложениями, в докладе будет обсуждаться следующие темы: сравнение эпистемических логик по выразительности, варианты аксиоматизации, а также техника доказательства теоремы о полноте с помощью аксиом редукций.