В школе философии состоялись защиты курсовых работ
Участники НУГ Анастасия Малкова и Максим Гладышев успешно защитили свои проекты.
Тема работы Максима - "Ложь с точки зрения динамической эпистемической логики". В работе рассматриваются попытки построения формальных моделей для оператора лжи, приведена критика существующих сегодня подходов и предложен переход к событийным моделям в эпистемической логике.
Тема работы Анастасии - "Логические модели семантических пресуппозиций". В работе содержится обзор подходов Рассела и Строссона к рассмотрению пресуппозиций и их формализации. Также проведено пилотное исследование для выявления интуиции опрашиваемых на восприятие пустых дескрипций. В дальнейшем планируется улучшение эксперимента для продолжения исследования в данной сфере.
Поздравляем ребят с успешной защитой и желаем дальнейших успехов в исследованиях!