Доклад Виталия Долгорукова «Четыре способа украсть рыбу: DEL и семантика эвиденциалов»

Виталий Долгоруков
научный сотрудник МЛ ЛогЛинФФ

выступит с докладом 
«Четыре способа украсть рыбу: DEL и семантика эвиденциалов»

Аннотация

В языке тукано фразу «собака украла рыбу» нельзя произнести, не указав источник этой информации [Aikhenvald, 2004]. Говорящий может сам увидеть это событие, услышать его, судить о нем по следам или узнать о нем с чужих слов. Такая грамматическая категория получила название "эвиденциальность". В докладе будет продемонстрировано как инструментарий динамической эпистемической логики (DEL) позволяет анализировать подобные примеры. Прямые эвиденциалы формализуются с помощью перцептивных модальностей в духе Я. Хинтикки и условного убеждения в моделях правдоподобия. Для инференциальных эвиденциалов используется логика произвольных публичных объявлений (APAL) с квантификацией, ограниченной формулами, не содержащими сообщаемой пропозиции. Для репортативных используется логика групповых публичных объявлений (GAL). Обсуждается также, как этот подход распространяется на более сложные случаи: свидетельство через нескольких посредников и сочетание вывода с чужим сообщением.

Ågotnes T., Balbiani P., van Ditmarsch H., Seban P. Group Announcement Logic // Journal of Applied Logic. 2010. Vol. 8. No. 1. P. 62–81.
Aikhenvald A.Y. Evidentiality. Oxford: Oxford University Press, 2004.
Balbiani P., Baltag A., van Ditmarsch H., Herzig A., Hoshi T., de Lima T. ‘Knowable’ as ‘Known after an Announcement’ // The Review of Symbolic Logic. 2008. Vol. 1. No. 3. P. 305–334.
Barés-Gómez C., Fontaine M., Nepomuceno A. Knowledge in Action: Logico-Philosophical Approach to Linguistic Evidentiality // Logic Journal of the IGPL. 2021. Vol. 29. No. 4. P. 549–568.
Hintikka J. On the Logic of Perception // Hintikka J. Models for Modalities. Dordrecht: D. Reidel, 1969. P. 151–183.