В четверг, 21 марта 2019 г. состоится совместный научный семинар Отдела философии Института философии и права СО РАН, Кафедры логики и истории философии Томского государственного университета и Кафедры истории философии Института философии и права НГУ. Семинар посвящён проблемам современной философской логики. На семинаре планируется два доклада, после каждого предусмотрено обсуждение и дискуссия. Приглашаются студенты и преподаватели НГУ, сотрудники Института философии и права СО РАН и все желающие.
Мероприятие начнётся 21 марта в 16.20.
Место проведения: НГУ, Новый корпус, 3-й блок, ауд. 5263.
1. 21 марта в 16.20 д.филос.н., проф. Евгений Васильевич Борисов (Кафедра логики и истории философии Томского государственного университета) выступит с докладом
«Семантика для кросс-мировой предикации».
Аннотация:
Некоторые предложения естественного языка выражают кросс-мировые отношения. Например, предложение «Ваня мог бы быть выше, чем Маша, как она есть», описывает отношение между Ваней, каков он в некоторых возможных мирах, и Машей, какова она в действительном мире. Стандартная модальная логика не позволяет формализовать предложения данного типа и адекватно отображать их истинностные условия. Butterfield, Stirling и Wehmeier предложили нестандартные семантические системы, решающие данную проблему для некоторых частных случаев. В докладе предлагается модификация их подхода, обеспечивающая общее решение проблемы.
2. 21 марта в 18.10 к.филос.н. Доманов Олег Анатольевич (Отдел философии Института философии и права СО РАН, Кафедра истории философии Института философии и права НГУ) выступит с докладом
«Монады и зависимость от контекста в семантике».
Аннотация:
Монада это структура из теории категорий, позволяющая отображать "простые" данные в "сложные". Это свойство позволяет использовать её в семантике для моделирования зависимости от контекстов. Доклад представляет собой обзор некоторых подходов и результатов применения монад (конкретно, Reader monads или Function monads) в интенсиональной логике, модальной логике и анализе кореференциальных высказываний.
Литература:
1. Moggi, Eugenio. 1989. Computational lambda-calculus and monads // 4th annual symposium on Logic in Computer Science, 14–23. Piscataway, NJ: IEEE Press.
2. Asudeh A., Giorgolo G. 2016. Perspectives // Semantics & Pragmatics 9 (21).
3. Asudeh, Ash. 2014. Monads: Some Linguistic Applications (https://www.sas.rochester.edu/lin/sites…).
P.S. Просьба тем участникам, которые не имеют пропусков НГУ или других документов, позволяющих беспрепятственно проникать на территорию НГУ, заранее обратиться к администрации Института философии и права НГУ для оформления соответствующих разрешений.