📢
Репост из группы
Кафедра математической логики МГУ:
#матлог #учёба #спецсеминар
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший четверг, 4 марта, начало в 18:30, состоится доклад
С.О. Сперанский (МИАН им. В.А. Стеклова)
Отрицание как модальный оператор в рамках логики предикатов
Идея интерпретации отрицания как (негативной) модальности используется в немалом числе логических систем; особого упоминания здесь заслуживает предложенная Дошеном пропозициональная логика N, в которой отрицание слабее, чем в «минимальной» логике Йохансона. Среди интересных расширений N можно выделить пропозициональные логики N* и Hype. Первая из них была предложена Кабаларом, Одинцовым и Пирсом в качестве базы для изучения оснований фундированной семантики логических программ с отрицанием; вторая же в последнее время рекламировалась Ляйтгебом как основная система для работы с «гиперинтенциональными контекстами», однако впервые она была описана Мойсилом ещё в 1942.
В моей недавней работе были изучены предикатные версии N и N*, а также описана простая семантика типа Раутли (где отрицание определяется посредством антимонотонной функции на возможных мирах) для предикатной версии Hype из статьи Ляйтгеба. В докладе будут приведены соответствующие результаты о сильной полноте. Кроме того, Ляйтгеб ошибочно утверждал, что Hype, подобно интуиционистской логике, обладает дизъюнктивным свойством. Однако это не так. Поэтому мы бегло обсудим дизъюнктивное и экзистенциальное свойства в контексте изучения кванторных расширений N. В целом исследования в данной области можно рассматривать как часть общей программы по изучению кванторных интуиционистских модальных логик.
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCXВеб-страница с аннотациями и слайдами:
http://lpcs.math.msu.su/rus/ml.htmДля получения ссылки на конференцию Zoom пишите на почту aleksandr.zapryagaev@yandex.ru.
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!