3-7 июля в Кочубей-центре прошла летняя школа “Логика и формальная философия”

Летнюю школу провела Международная лаборатория логики, лингвистики и формальной философии НИУ ВШЭ  в г. Пушкин

Программа школы состояла из серии мини-курсов и лекций, посвященных различным аспектам логики и формальной философии, а также студенческой постерной секции.

 

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

 

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

 

В рамках курса "Введение в интуиционистскую логику" Анастасия Оноприенко напомнила слушателям об основах классической логики высказываний, доказала теорему о дедукции, а затем перешла к описанию интуиционистской логики. Была представлена BHK-интерпретация, аксиоматика и семантика Крипке для интуиционистской логики.

 

Заключительной была лекция Елены Драгалиной-Черной, посвященная когнитивной обработке различных типов кванторов: стандартных, ординальных и пропорциональных. Исследования показывают, что для обработки пропорциональных кванторов требуется больше когнитивных ресурсов. В частности в ходе экспериментов наблюдается большая активность лобной коры, чем при обработке стандартных и ординальных кванторов. 

 

Между лекциями прошла постерная секция студентов: свои исследования представили Анна Петрова, Игорь Зайцев и Анна Овчинникова.

 

Во второй и третий дни в рамках курса по деонтической логике Алексей Кислов рассказывал об аксиоматизациях различных деонтических логик и о деонтических парадоксах, в частности о парадоксах А. Росса и А. Прайора. Кроме того, обсуждался диадический подход, представленный в "Нормативных системах" К.Э. Альчуррона и Е.В.Булыгина. 

 

Виталий Долгоруков продолжил читать курс "Логики групповых форм знания: выразительность и полнота": обсуждалась связь между бисимуляционными играми с n количеством раундов и модальной n-эквивалентностью. Помимо этого, лектор доказал полноту логик S5 и S5mC. 

 

В рамках курса "Введение в интуиционистскую логику" Анастасия Оноприенко продолжила знакомить аудиторию с интуиционистской логикой: обсуждались различные метатеоретические свойства интуиционистской логики. Также был представлен перевод формул языка интуиционистской логики в формулы языка модальной логики S4. 

 

Елена Драгалина-Черная выступила с лекцией о вариантах инвариантности: речь шла о ветвящихся кванторах и о том, как люди воспринимают соответствующие им конструкции в естественном языке. Помимо этого, обсуждались "Заметки о цвете" Витгенштейна. 

 

Отдельную лекцию о субструктурных логиках прочитал Степан Кузнецов: лектор рассказал краткое введение в неклассические логики, затем обсуждались классические и интуиционистские линейные логики. Особое внимание было уделено исчислению Ламбека. 

 

С вводной лекцией о логике аргументации выступила Елена Лисанюк: были введены базовые понятия логики аргументации, в основе которой множество аргументов и отношения между ними. Также обсуждались различные взгляды на аргумент: выводной, диалоговый, абстрактный. 

Помимо этого, состоялась студенческая постерная секция.

 

Больше фотографий можете посмотреть здесь:https://t.me/llfpsummerschool2023/17

https://t.me/llfpsummerschool2023/3