Прошла летняя школа «Логика и формальная философия 2023»
Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.
С 3 по 7 июля проходила летняя школа "Логика и формальная философия". В рамках курса по деонтической логике Алексей Кислов рассказывал о старом и новом модализме, а также презентовал целый ряд деонтических логик. Кроме этого обсуждалась динамическая логика PDL в качестве логики действий.
Виталий Долгоруков прочитал курс под названием «Логики групповых форм знания: выразительность и полнота»: была представлена мотивация для добавления операторов для различных форм группового знания в язык базовой эпистемической логики и была доказана полнота многих эпистемических логик.
Анастасия Оноприенко познакомила аудиторию с основами интуиционистской логики: была представлена аксиоматизация и семантика возможных миров для интуиционистской логики. Также был доказан ряд теорем, в частности теорема о полноте и теорема Гливенко.
Елена Драгалина-Черная прочитала две лекции под общим названием "Варианты инвариантности". Речь шла о критерии инвариантности Тарского и об абстрактных логиках как формальных онтологиях. Помимо этого, обсуждались кванторы как свойства свойств и как функции выбора.
В рамках курса «Реконструкции воображаемой логики Николая Васильева: новые результаты» Владимир Маркин рассказал о двух логиках, опирающихся на идеи Н. Васильева, - IL и IL2. Были представлены их формальные семантики и аксиоматизации. Также обсуждалась связь IL2 с C4.
Иван Микиртумов прочитал курс о знакомстве с вымышленными объектами: обсуждалась структура возможных миров. Также лектор представил подход, в рамках которого знакомство с вымышленным объектом понимается как результат воображаемой ситуации знакомства.
Кроме того, несколько приглашенных преподавателей провели отдельные лекции. Лекцию о субструктурных логиках прочитал Степан Кузнецов: было сделано краткое введение в неклассические логики, затем обсуждались классические и интуиционистские линейные логики. Особое внимание было уделено исчислению Ламбека.
С вводной лекцией о логике аргументации выступила Елена Лисанюк: были введены базовые понятия логики аргументации, в основе которой множество аргументов и отношения между ними. Также обсуждались различные взгляды на аргумент: выводной, диалоговый, абстрактный.
Гаррис Рогонян прочитал лекцию «Фреге и Макдауэлл о смысле и значении»: речь шла о связи фрегианского смысла с логическим пространством разумных оснований Селларса и с философией позднего Витгенштейна.
Также состоялась постерная секция: каждый день несколько студентов представляли результаты своих исследований:
Игорь Зайцев "Формулировка субординантного натурального исчисления для базовой предикатной кондиционально-интуиционистской логики"
Анна Овчинникова "Intentional identity from the perspective of de re/de dicto distinction: introduction to the problem"
Анна Петрова "Дескрипционная логика и проблема представления знания"
Никита Лукашов "Проблема унификации в бимодальной логике доказательств GLB"
Тихон Пшеницын "Исчисление Ламбека с операцией циклического сдвига"
Иван Пыльцын "Игра Межирова и её обобщение на язык первого порядка"
Вячеслав Пятаков "Теорема Стоуна для булевых алгебр и её применения"
Арсен Вольский "Как зарасселить Куайна-ван Инвагена"
Ульяна Пензина "Отрицательная и положительная поляризация"
Никита Чураков "Доктор Нэш про важность порядка", "Господин Курно считает до ω+1"
Любовь Вашенцева "Рациональная мультиагентность и модальность неслучайности"
Ирина Никитина "Формальные теории коллективной ответственности в stit-моделях и деонтических"
Валерия Николаева "Аксиоматизация общего знания "ли"
Александр Сильверстов "Как возможны парадоксы во времени?"
Георгий Филатов "Реализм в философии Л. Витгенштейна" стратегии интерпретации"
Георгий Черкасов "Введение в фундирование", "Метаонтологическая программа фундирования"
Виолетта Сим "Формализация φ-исчисления - исчисления декорированных объектов"
Отзывы о школе
Эта летняя школа стала для меня очень полезным опытом. С одной стороны, я прослушала интересные курсы по логике и философии языка от настоящих профессионалов своего дела. С другой стороны, была возможность обсуждать свои идеи с единомышленниками в неформальной обстановке. Такое взаимодействие не менее ценно, чем курсы, а может быть, и более. Приятным сюрпризом стало то, что школа проходила в Пушкине - атмосферном месте с богатой историей. Спасибо большое организаторам за летнюю школу! Однозначно буду подаваться в следующий раз! Анна Овчинникова
В первую очередь хотелось бы поблагодарить организаторов за то, что им удалось собрать такую хорошую команду специалистов. По части курсов и отдельных лекций мне хотелось бы отметить курс лекций по интуиционистской логике от А.А.Оноприенко и лекцию по субструктуктрным логикам от С.Л. Кузнецова. Как мне кажется, их выступления являют собой замечательный пример сочетания хорошего раскрытия темы и доступности для начинающего слушателя без ущерба для содержательности самих лекций. Также меня порадовало институциональное и тематическое разнообразие докладов и слушателей. Позволю себе заметить, что междисциплинарные контакты мне кажутся чрезвычайно важными для академической деятельности. Я бы очень хотел, чтобы подобные мероприятия проводились и дальше, так как, они, на мой взгляд, способствуют индивидуальному развитию каждого из нас и общему развитию логики как таковой в нашей стране. Арсен Вольский
Хотелось бы поблагодарить организаторов летней школы "Логика и формальная философия - 2023" за приглашение прочитать мини-курс по интуиционистской логике, за возможность рассказать студентам, интересующимся логикой, самых разных факультетов про свои исследования. Я пообщалась со студентами с математического факультета, философского факультета, факультета фундаментальной и прикладной лингвистики и даже с факультета права! На постерной секции узнала про многие неизвестные мне области логики, а также новые результаты из знакомых областей (например, Никита Лукашов исследует неклассическую логику GLB - бимодальную версию знаменитой логики GLP). Из мини-курсов, наиболее близких к моей области исследований, хотелось бы отметить курс В.В.Долгорукова про логики групповых форм знания, курс А.Г.Кислова про деонтическую логику, а также курс В.И.Маркина о воображаемой логике. Из более философских курсов отмечу мини-курс Е.Г.Драгалиной-Черной "Варианты инвариантности" - было очень любопытно узнать про психологические аспекты восприятия различных кванторов. Из отдельных лекций отмечу лекцию С.Л.Кузнецова по субструктурным логикам - отличный обзорный рассказ! Буду очень рада приехать в эту летнюю школу в будущие годы! Это была прекрасная возможность встретиться с коллегами и студентами, обменяться опытом в изучении логики. Оноприенко Анастасия Александровна, кандидат физико-математических наук.
Это был первый опыт участия в летних школах, и я от него в полном восторге! Для меня летняя школа оказалась не только местом для получения новых знаний, но и местом приобретения новых знакомств, заведением новых связей. Летняя школа "Логика и формальная философия - 2023" – это уникальная площадка, где можно было не только узнать что-то новое, но и пообщаться с теми людьми, которых я видел когда-то опосредованно, на докладах различных конференций, узнать своих единомышленников и обсудить вместе с ними свои исследования. В частности, для меня вопросы, связанные с философией, являются не основными в научных исследованиях (я специализируюсь именно в математической логике), и благодаря данной школе у меня была возможность познакомиться с философией поближе (курс А.Г Кислова по деонтическим логикам, курс Е.Г. Драгалиной-Черной “Варианты инвариантности” и другие), узнать её проблематику и увидеть, какие задачи стоят перед этой дисциплиной сегодня. Благодаря постерной секции, мне удалось представить свои исследования большому кругу людей и получить бесценную обратную связь, которая дальше поможет мне в исследованиях. Выражаю огромную благодарность организаторам ЛШ за этот опыт и очень надеюсь, что он будет не последним, что ещё будет возможность поучаствовать в такого рода уникальных мероприятиях и дальше узнавать для себя что-то новое. Никита Лукашов
Участники школы произвели очень хорошее впечатление как высоким уровнем своих постерных докладов, так и активным и заинтересованным обсуждением лекций. Я вынес на школу некоторые вопросы, по которым нет ясности и над которыми я как раз работаю, так что реплики участников, и их примеры были мне очень полезны.
Летние школы - самый тесный формат академического взаимодействия, сталкивающий исследователей, преподавателей и студентов из разных регионов. Такой формат жизненно необходим для современной академии, поскольку позволяет молодым исследователям интегрироваться в академическую среду. Эта летняя школа полностью оправдала себя и позволила мне улучшить знания в логике и философии языка. Особенно полезными для меня оказались курсы Е.Г. Драгалиной «Варианты инвариантности» и И. Б. Микиртумова «Знакомство с вымышленными объектами:семантика и прагматика». После курсов по эпистемической (В.В. Долгоруков) и деонтической (А.Г. Кислов) логикам появилась мотивация сесть за соответствующие хэндбуки и больше погрузиться в эти темы. Несмотря на гиперплотный и насыщенный график ежедневных курсов, после них каким-то чудом оставались силы на неформальное взаимодействие и совместную рекреацию в рамках прогулок по чудесным паркам г. Пушкина. В качестве преимущества данной школы могу заметить ее междисциплинарность: в неформальных беседах удалось поговорить как с логиками и философами, так и с лингвистами и математиками. Георгий Черкасов