Осенняя школа "Логика и формальная философия 2024"

Формат

Школа пройдет в гибридном формате. Все курсы и лекции будут проводиться оффлайн с параллельной онлайн-трансляцией.

Программа школы

• Е.В. Борисов, "Проблема кросс-мировой предикации в модальной логике"

В терминах семантики возможных миров предложение "Джон мог быть выше, чем Мэри, как она есть", приписывает отношение "выше" Джону, каков он в некотором возможном мире, и Мэри, какова она в действительном мире. Это пример кросс-мировой предикации. Кросс-мировая предикация - это атрибуция отношений объектам, каждый из которых ассоциирован с некоторым возможным миром (объект, ассоциированный с возможным миром w, - это объект, каков он в w.) Кросс-мировая предикация не может быть выражена в стандартной модальной логике первого порядка; для ее выражения необходимы нестандартные логики с особыми синтаксическими и/или семантическими свойствами. В курсе описывается три логики такого вида (логика сослагательного наклонения Вемайера, гибридная логика Коцурека и логика, разработанная автором) и демонстрируются их вырази~тельные возможности.

• В.В. Долгоруков, "Модальная логика предикатов: три варианта семантики и теорема о полноте"

Сочетание кванторов и модальностей является важным сюжетом как для аналитической метафизики, так и для чистой логики. В курсе  будут рассматриваться три варианта семантики Крипке для модальной логики предикатов:  семантика с постоянными доменами, семантика с растущими доменами и семантика с переменными доменами.  Мы рассмотрим адекватные указанным семантикам гильбертовские исчисления и сосредоточимся на доказательстве теорем о полноте. Обсудим роль знаменитой  формулы (схемы) Баркан в доказательствах, а также взаимоотношения между тремя типами семантик. Для освоения курса желательно иметь представление о  доказательствах теорем о полноте для пропозициональной модальной логики и классической логики предикатов.  Литература: Brauner T.,  Ghilardi S.  First-Order Modal Logic // Handbook of Modal Logic. Amsterdam: Elsevier, 2006.  P. 549-620; Garson J.W.  Quantification in Modal Logic //  Handbook of Philosophical Logiс. Vol. 3.  Amsterdam:  Kluwer, 2001.  P. 267-323;  Gabbay D., Skvortsov D., Shehtman V. Quantification in nonclassical logic. Amsterdam:  Elsevier, 2009.

• Е.Г. Драгалина-Черная, "Абстрактные логики как структуры и классификации структур"

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

• А.Ю. Моисеева, "Ситуационная семантика естественного языка"

Курс состоит из четырех смысловых частей, попарно объединенных в две лекции. Первая часть будет посвящена основам ситуационной семантики: ее идеологии, концептуальному аппарату и формальному представлению в ней значения предложения в виде отношения между ситуациями. Во второй части будет показано, как изложенный подход применяется к анализу значения собственных имен и индексикалов. Третья часть будет посвящена значению определенных дескрипций при различных способах их употребления и условиям их значимости, обычно называемым пресуппозициями. В четвертой части мы рассмотрим подход ситуационной семантики к моделированию эпистемических установок, сформулируем решение головоломки Фреге с именами с точки зрения этого подхода и попытаемся провести его сравнение с другими подходами к данной проблеме.

• А.А. Оноприенко, "Интуиционистская эпистемическая логика" 

В курсе будет изложен интуционистский взгляд на знание, при котором, с одной стороны, сохраняется семантика интуиционизма Брауэра-Гейтинга-Колмогорова, а с другой стороны, он согласуется с известным подходом, согласно которому интуиционистское знание следует рассматривать как результат верификации. В первой части курса предполагается содержательное обсуждение аксиом, содержащих модальность знания и добавляемых к интуиционистской логике высказываний. Во второй части курса мы рассмотрим семантику типа Крипке, докажем теорему о полноте и обсудим некоторые смежные вопросы.

• М.Н. Рыбаков,   "Алгоритмическая выразительность модальных предикатных логик и их фрагментов" 

Предполагается рассмотреть алгоритмические вопросы для логик и теорий первого порядка — как классических, так и неклассических. С помощью техники домино предполагается доказать теоремы Чёрча и Трахтенброта для классических логик и теорий бинарного предиката, а затем извлечь следствия для неклассических (прежде всего, модальных) логик унарного предиката, связанные с неразрешимостью соответствующих их фрагментов. Кроме того, предполагается обсудить ограничения, возникающие в доказательствах, и показать ситуации, когда их нарушение приводит к разрешимым фрагментам.

• Itala D'Ottaviano, "Russian Thinkers: insights and the innovative creation of non-Aristotelian logics"

I intend to discuss the original and innovative works of Vasiliev, Florensky, Kolmogorov, Orlov and Bochvar.

• Denis Fedyanin, "Games on Informational Structures"

We discuss how strategic and naive Interactions of agents depend on Kripke structure in terms of Dynamic Epistemic Logic. For example, we use this approach to discuss Cheryl's birthday example, Russian Card games and their new modifications and applications like Secured Communacation Protocol and AI. We also discuss transformation of Kripke structures into Generalized Multiple Awareness Structures as a way to easily find Bayesian-Nash equilibrium.

• Серия лекций 

Владимир Васюков, Марсело Конильо и Эвандро Гомес.

• Постерная секция

Регистрация и участие

• Заявки на участие в школе принимаются до 1 октября
• Заявки на  конкурс тревел-грантов принимаются до 1 сентября