Международная лаборатория логики, лингвистики и формальной философии НИУ ВШЭ проводит летнюю школу «Логика и формальная философия 2023». Программа школы будет состоять из серии мини-курсов и лекций, посвященных различным аспектам логики и формальной философии, а также студенческой постерной секции.

Программа

  • Мини-курсы

    Варианты инвариантности

    Е.Г. Драгалина-Черная

    Введение в интуиционистскую логику

    А.А. Оноприенко

    Деонтическая логика: традиции, проблемы, перспективы

    А.Г. Кислов

    Знакомство с вымышленными объектами: семантика и прагматика

    И.Б. Микиртумов

    Логики групповых форм знания: выразительность и полнота

    В.В. Долгоруков

    Реконструкции воображаемой логики Николая Васильева: новые результаты

    В.И. Маркин

  • Лекции

    С отдельными лекциями выступят

    • С.Л. Кузнецов, «Субструктурные логики»
    • Е.Н. Лисанюк, «Элементарное введение в логику аргументации»
    • Г.С. Рогонян, «Фреге и Макдауэлл о смысле и значении» 
  • Студенческая постерная секция

Отбор участников

Оргкомитет сможет поддержать некоторое количество заявок и оплатить дорогу и проживание.  Конкурс тревел-грантов будет проходить на основании мотивационного письма и аннотации исследования, которое будет представлено на школе. 

Также возможно самостоятельное участие без поддержки оргкомитета. 

Важные даты

  • 15 мая

    окончание приема заявок

  • 16 мая

    уведомление участников

  • 17 мая

    подтверждение участия

  • 2 июля

    заезд участников

  • 3–7 июля

    летняя школа

  • 8 июля

    отъезд участников

Контакты

 llfp@hse.ru

Расписание

Занятия будут проходить в Белом Зале

  • 03 июля ПН

    08.00–10.00

    Завтрак

    10.00–11.20

    А.Г. Кислов, «Деонтическая логика: традиции, проблемы, перспективы»

    11.40–13.00

    В.В. Долгоруков, «Логики групповых форм знания: выразительность и полнота»

    13.00–14.00

    Постерная секция: И.В. Зайцев, А.А. Овчинникова,  А.А. Петрова

    14.00–15.00

    Обед

    15.00–16.20

    А.А. Оноприенко,  «Введение в интуиционистскую логику»

    16.20–17.00

    Кофе-брейк

    17.00–18.20

    Е.Г. Драгалина-Черная, «Варианты инвариантности»

    18.20–19.00

    Ужин

  • 04 июля ВТ

    08.00–10.00

    Завтрак

    10.00–11.20

    А.Г. Кислов,  «Деонтическая логика: традиции, проблемы, перспективы»

    11.40–13.00

    В.В. Долгоруков, «Логики групповых форм знания: выразительность и полнота»

    13.00–14.00

    Постерная секция: Н.В. Лукашов, Т.Г. Пшеницын, И.О. Пыльцын, В.И. Пятаков

    14.00–15.00

    Обед

    15.00–16.20

    А.А. Оноприенко,  «Введение в интуиционистскую логику»

    16.20–17.00

    Кофе-брейк

    17.00–18.20

    Е.Г. Драгалина-Черная, «Варианты инвариантности»

    18.20–19.00

    Ужин

  • 05 июля СР

    08.00–10.00

    Завтрак

    10.00–11.20

    А.Г. Кислов, «Деонтическая логика: традиции, проблемы, перспективы»

    11.40–13.00

    В.В. Долгоруков, «Логики групповых форм знания: выразительность и полнота»

    13.00-14.00

    Постерная секция: А.Д. Вольский, У.Д. Пензина, Н.С. Чураков

    14.00–15.00

    Обед

    15.00–16.20

    А.А. Оноприенко, «Введение в интуиционистскую логику»

    16.20–17.00

    Кофе-брейк

    17.00–18.20

    С.Л. Кузнецов,  «Субструктурные логики»

    18.20–19.00

    Ужин

    19.00–20.00

    Е.Н. Лисанюк, «Элементарное введение в логику аргументации»

  • 06 июля ЧТ

    08.00–10.00

    Завтрак

    10.00–11.20

    А.Г. Кислов, «Деонтическая логика: традиции, проблемы, перспективы»

    11.40–13.00

    В.В. Долгоруков, «Логики групповых форм знания: выразительность и полнота»
     

    13.00–14.00

    Постерная секция: Л.К. Вашенцева, И.А. Никитина, В.А. Николаева

    14.00–15.00

    Обед

    15.00–16.20

    В.И. Маркин, «Реконструкции воображаемой логики Николая Васильева: новые результаты»

    16.20–17.00

    Кофе-брейк

    17.00–18.20

    Г.С. Рогонян, «Фреге и Макдауэлл о смысле и значении»

    18.20–19.00

    Ужин

  • 07 июля ПТ

    08.00–10.00

    Завтрак

    10.00–11.20

    В.И. Маркин, «Реконструкции воображаемой логики Николая Васильева: новые результаты»

    11.40–13.00

    А.Г. Кислов, «Деонтическая логика: традиции, проблемы, перспективы»

    13.00–14.00

    Постерная секция: А.О. Сильверстов, Г.Ю. Филатов, Г.В. Черкасов

    14.00–15.00

    Обед

    15.00–16.20

    И.Б.Микиртумов, «Знакомство с вымышленными объектами:
    семантика и прагматика»

    16.20–17.00

    Кофе-брейк

    17.00–18.20

    И.Б.Микиртумов, «Знакомство с вымышленными объектами:
    семантика и прагматика»

    18.20–19.00

    Ужин

Отзывы участников

Участники школы произвели очень хорошее впечатление как высоким уровнем своих постерных докладов, так и активным и заинтересованным обсуждением лекций. Я вынес на школу некоторые вопросы, по которым нет ясности и над которыми я как раз работаю, так что реплики участников, и их примеры были мне очень полезны. 

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

Анна Овчинникова

В первую очередь хотелось бы поблагодарить организаторов за то, что им удалось собрать такую хорошую команду специалистов. По части курсов и отдельных лекций мне хотелось бы отметить курс лекций по интуиционистской логике от А.А.Оноприенко и лекцию по субструктуктрным логикам от С.Л. Кузнецова. Как мне кажется, их выступления являют собой замечательный пример сочетания хорошего раскрытия темы и доступности для начинающего слушателя без ущерба для содержательности самих лекций. Также меня порадовало институциональное и тематическое разнообразие докладов и слушателей. Позволю себе заметить, что междисциплинарные контакты мне кажутся чрезвычайно важными для академической деятельности. Я бы очень хотел, чтобы подобные мероприятия проводились и дальше, так как, они, на мой взгляд, способствуют индивидуальному развитию каждого из нас и общему развитию логики как таковой в нашей стране.

Арсен Вольский

Хотелось бы поблагодарить организаторов летней школы "Логика и формальная философия - 2023" за приглашение прочитать мини-курс по интуиционистской логике, за возможность рассказать студентам, интересующимся логикой, самых разных факультетов про свои исследования. Я пообщалась со студентами с математического факультета, философского факультета, факультета фундаментальной и прикладной лингвистики и даже с факультета права! На постерной секции узнала про многие неизвестные мне области логики, а также новые результаты из знакомых областей (например, Никита Лукашов исследует неклассическую логику GLB - бимодальную версию знаменитой логики GLP).

Из мини-курсов, наиболее близких к моей области исследований, хотелось бы отметить курс В.В.Долгорукова про логики групповых форм знания, курс А.Г.Кислова про деонтическую логику, а также курс В.И.Маркина о воображаемой логике. Из более философских курсов отмечу мини-курс Е.Г.Драгалиной-Черной "Варианты инвариантности" - было очень любопытно узнать про психологические аспекты восприятия различных кванторов. Из отдельных лекций отмечу лекцию С.Л.Кузнецова по субструктурным логикам - отличный обзорный рассказ!

Буду очень рада приехать в эту летнюю школу в будущие годы! Это была прекрасная возможность встретиться с коллегами и студентами, обменяться опытом в изучении логики.

Оноприенко Анастасия Александровна, кандидат физико-математических наук

Это был первый опыт участия в летних школах, и я от него в полном восторге! Для меня летняя школа оказалась не только местом для получения новых знаний, но и местом приобретения новых знакомств, заведением новых связей. Летняя школа "Логика и формальная философия - 2023" – это уникальная площадка, где можно было не только узнать что-то новое, но и пообщаться с теми людьми, которых я видел когда-то опосредованно, на докладах различных конференций, узнать своих единомышленников и обсудить вместе с ними свои исследования.  В частности, для меня вопросы, связанные с философией, являются не основными в научных исследованиях (я специализируюсь именно в математической логике), и благодаря данной школе у меня была возможность познакомиться с философией поближе (курс А.Г Кислова по деонтическим логикам, курс Е.Г. Драгалиной-Черной “Варианты инвариантности” и другие), узнать её проблематику и увидеть, какие задачи стоят перед этой дисциплиной сегодня. Благодаря постерной секции, мне удалось представить свои исследования большому кругу людей и получить бесценную обратную связь, которая дальше поможет мне в исследованиях. Выражаю огромную благодарность организаторам ЛШ за этот опыт и очень надеюсь, что он будет не последним, что ещё будет возможность поучаствовать в такого рода уникальных мероприятиях и дальше узнавать для себя что-то новое. 

Никита Лукашов

Летние школы - самый тесный формат академического взаимодействия, сталкивающий исследователей, преподавателей и студентов из разных регионов.  Такой формат жизненно необходим для современной академии, поскольку позволяет молодым исследователям интегрироваться в академическую среду.  Эта летняя школа полностью оправдала себя и позволила мне улучшить знания в логике и философии языка. Особенно полезными для меня оказались курсы Е. Г. Драгалиной «Варианты инвариантности» и И. Б. Микиртумова «Знакомство с вымышленными объектами:семантика и прагматика». После курсов по эпистемической (В. В. Долгоруков) и деонтической (А. А. Кислов) логикам появилась мотивация сесть за соответствующие хэндбуки и больше погрузиться в эти темы.  Несмотря на гиперплотный и насыщенный график ежедневных курсов, после них каким-то чудом оставались силы на неформальное взаимодействие и совместную рекреацию в рамках прогулок по чудесным паркам г. Пушкина. В качестве преимущества данной школы могу заметить ее междисциплинарность: в неформальных беседах удалось поговорить как с логиками и философами, так и с лингвистами и математиками.

Георгий Черкасов