11 февраля в 12-00 в конференц-зале ИФПР СО РАН д.филос.н. Е.В. Борисов представит доклад на тему:
ПРОБЛЕМА КРОСС-МИРОВОЙ ПРЕДИКАЦИИ В МОДАЛЬНОЙ ЛОГИКЕ
Доклад посвящен одной из проблем, возникающих рамках логического анализа языка, основанного на семантике возможных миров. Проблема состоит в следующем: некоторые предложения естественного языка (такие как "Джон мог быть выше, чем Мэри, как она есть") приписывают объектам кросс-мировые отношения, но стандартные версии модальной логики не имеют средств для отображения кросс-мировых отношений. Это делает невозможным логический анализ предложений, содержащих кросс-мировую предикацию. В докладе будет дана неформальная экспликация проблемы и будут описаны основные подходы к ее решению.
По окончании к.филос.н. О.А. Доманов представит содоклад на тему:
ЗАМЕЧАНИЕ О КРОСС-МИРОВОЙ ПРЕДИКАЦИИ: ТЕОРЕТИКО-МНОЖЕСТВЕННАЯ И ТЕОРЕТИКО-ТИПОВАЯ ЭКСПЛИКАЦИЯ
При построении моделей теория типов обладает преимуществами по сравнению с теорией множеств. В частности, во многих случаях понятие зависимых типов позволяет проводить более простые и прозрачные построения. Доклад посвящён сравнению теоретико-множественных и теоретико-типовых моделей на примере формализации кросс-мировой предикации.
Просьба проинформировать аспирантов.
Ссылка для он-лайн подключения: meet.google.com/twb-ypnf-adq