Модальная логика как инструмент формализации языка

В рамках серии научных семинаров по направлению «Искусства и гуманитарные науки» выступление Евгения Борисова (Институт философии и права Сибирского отделения РАН) «Модальная логика как инструмент формализации естественного языка» (ул. Галерная, 58–60, ауд. 152).

Рассуждения на естественном языке чрезвычайно разнообразны, что делает невозможной их единообразную логическую репрезентацию (формализацию). В связи с этим для формализации рассуждений на естественном языке в разных контекстах используются различные логические системы. Это относится, в частности, к модальным рассуждениям, то есть к рассуждениям с использованием модальных понятий: разнообразные модальности, используемые в естественном языке, репрезентируются различными модальными логиками.

На семинаре будут рассмотрены алетическая, эпистемическая и деонтическая модальности, как они используются в естественном языке, и их репрезентация в модальных логиках S5, S4 и D соответственно. Также в ходе осуждения будут рассмотрены некоторые нерешенные проблемы, связанные с формализацией модальных рассуждений средствами современной логики.

Семинар будет проходить в смешанном формате. Для участия в мероприятии необходимо пройти регистрацию: для очного участия до 11:00 2 июня, для онлайн-участия — до 13:00 3 июня. Для посещения мероприятия на входе необходимо будет предъявить паспорт.