Доклад Сергея Одинцова «Модальная логика Мойсила и родственные системы»
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