Анна Моисеева с докладом «Модальность вероятно возможного. Набросок формальной семантики»
10 марта Анна Моисеева выступила на заседании семинара «Современная аналитическая философия» ИФ РАН.
Аннотация:
Доклад посвящен теме моделирования ограничений, которые требования рациональности накладывают на наши представления о том, как могут развиваться те или иные обстоятельства. Точнее, я буду говорить о различии между тем, во что мы можем поверить как в результат нормального, естественного хода вещей (при определенных входных данных), и тем, что мы считаем странным, противоестественным, тем, во что мы не склонны верить, даже если в этом нет никакого логического противоречия. Ход вещей в данном случае может включать развитие как фактических, так и контрфактических, в самом широком смысле, сценариев. Модальность вероятно возможного, как я ее понимаю, формирует обширную область, внутри которой можно найти такие разные вещи как мечты и кошмары конкретных людей, относящиеся к их конкретной жизни; истории, воображаемые читателями художественной литературы (в особенности научной фантастики); мысленные эксперименты философов; притворство в сюжетно-ролевых играх (make-believe play) и т.п. Я не буду исследовать особенности работы рациональности в каждом из этих случаев, а лишь намечу общее представление об источниках ограничений и о том, как может моделироваться процесс построения нарратива в поле вероятно возможного с использованием средств современной формальной семантики. Будут затронуты такие вопросы как кроссмировое тождество и двойничество объектов, семантика имен фикциональных сущностей, содержание притворных убеждений (make-beliefs), пересмотр убеждений с учетом новых входных данных, критерии убедительности историй, ветвление историй и поиск пути между актуальным положением дел в мире и некоторым «целевым» положением дел в нем. Целью доклада является обсуждение проекта части формального аппарата, а именно модели, позволяющей задать критерии истинности для утверждений с различными пропозициональными установками, относящимися к области вероятно возможного, так, чтобы оказались удовлетворены базовые интуиции, лежащие в основе постулирования этой модальности.
Список литературы
Широкий контекст доклада (к кому будут содержательные отсылки):
- Микиртумов И.Б. Знакомство с вымышленным объектом: семантические условия и прагматические правила // Эпистемология и философия науки, 2023. Т. 60. № 3. С. 112–130
- Kratzer A. Conditionals / A. Kratzer. Modals and Conditionals: New and Revised Perspectives. Oxford Studies in Theoretical Linguistics. Oxford University Press, 2012.
- Jago M. The Impossible: An Essay on Hyperintensionality. UK: Oxford University Press, 2014.
Более узкий контекст доклада (пригодится для понимания способа моделирования):
- Berto F. Impossible Worlds and the Logic of Imagination // Erkenn, 2017. DOI 10.1007/s10670-017-9875-5
- Baltag A., Smets S. Dynamic Belief Revision over Multi-Agent Plausibility Models. / G. Bonanno, W. van der Hoek, M. Wooldridge (Eds.) Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision (LOFT2006). University of Liverpool, 2006, pp. 11–24.
- Bonanno G. Axiomatic characterization of the AGM theory of belief revision in a temporal logic. Artificial Intelligence, 2007, 171(2), pp. 144–160.
- Özgün A., Berto F. Dynamic Hyperintensional Belief Revision. The Review of Symbolic Logic, 2021 (3), pp. 766–811.
Конкретно по теме доклада:
- Badura C., Berto F. Truth in Fiction, Impossible Worlds and Belief Revision // Australasian Journal of Philosophy, 2018. https://doi.org/10.1080/00048402.2018.1435698
- Özgün A., Schoonen T. The Logical Development of Pretense Imagination // Erkenn, 2024 (89), pp. 2121–2147. https://doi.org/10.1007/s10670-021-00476-9
