27 июня (пятница) в 18:30 состоится очередное заседание теоретического семинара «Формальная философия».

Тема доклада: Модальная логика Мойсила и родственные системы.

Докладчик: Сергей Одинцов (ведущий научный сотрудник Института математики им. С.Л. Соболева СО РАН).

Аннотация: Данный доклад посвящен статье румынского логика Григоре Мойсила "Modal Logic", которая была опубликована в 1942 году. В этой статье Мойсил постарался разработать теорию модальных операторов невозможности, случайности, необходимости и возможности опираясь на алгебраическую мотивацию. Фактически, Мойсил определил логику с двумя дуальными импликациями: одна из них образует резидуальную пару с конъюнкцией, а вторая с дизъюнкцей. Данная логика предвосхищает биинтуиционистскую логику С. Раушер. Среди других систем, введенных Мойсилом в данной работе, есть системы, эквивалентные логике цепей Даммета, следованию первого уровня (FDE) Белнапа и Дана, а такде логике Ляйтгеба HYPE.

Доклад основан на статье:
S. Drobyshevich, S.Odintsov, H.Wansing, Moisil's Modal Logic and Related Systems, in: K.Bimbo (Ed.) Relevance Logics and other Tools of Reasoning, Essays in Honor of J. Michael Dunn, College Publications, 2022
Ждём вас в кабинете А-117 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/1059934095.html