Летняя школа "Логика, лингвистика и формальная философия"
О школе
Летняя школа - традиционное мероприятие, которое проводится Международной лабораторией логики, лингвистики и формальной философии уже в пятый раз (о предыдущих школах: 2021, 2022, 2023, 2024). В 2025 году летняя школа пройдет в партнерстве с Научно-учебной лабораторией по формальным моделям в лингвистике и Центром логики, эпистемологии и истории науки (Университета Кампинас). Программы школы будет состоять из серии мини-курсов, отдельных лекций, а также постерной секции.
- Даты проведения: 30 июня — 4 июля 2025
- Место проведения: г. Москва, ул. Старая Басманная, д. 21/4, ауд. А-307
- Формат: занятия будут проходить очно с параллельной трансляцией в Zoom
- Оплата: участие в школе бесплатное
- Поддержка участников: организаторы смогут поддержать участие небольшого количества студентов и аспирантов, отобранных по конкурсу тревел-грантов

Преподаватели летней школы
Программа
-
30.06
A-307
14.00–14.40
РЕГИСТРАЦИЯ И ОТКРЫТИЕ
14.40–16.00
C.П. Одинцов, «Конструктивные семантики и IF-логика» 1/3
16.00–16.20
ПЕРЕРЫВ
16.20-17.40
А.В. Подобряев, «Квантификация переменной силы в языках мира» 1/3
17.40-18.00
ПЕРЕРЫВ
18.00–19.20
Н.В. Ивлиева, «Дизъюнкция в грамматической теории импликатур» 1/2
19.20–20.00
КОФЕ-БРЕЙК (А-117)
20.00–21.20 / 2:00 –3:20 PM BRT
Itala Maria Loffredo D'Ottaviano, Ricardo Peraça Cavassane, «Pragmatic Nonsense» (online)
-
01.07
A-307
12.40–14.00
А. А. Оноприенко, «Модальные напарники интуиционистской логики и её расширений» 1/3
14.00–15.20
ПЕРЕРЫВ
15.20–16.40
А.В. Подобряев, «Квантификация переменной силы в языках мира» 2/3
16.40–17.10
КОФЕ-БРЕЙК (А-117)
17.10–18.30
Постерная секция (А-117)
-
02.07
A-307
11.00–12.20
C.П. Одинцов, «Конструктивные семантики и IF-логика» 2/3
12.20–12.40
ПЕРЕРЫВ
12.40–14.00
А. А. Оноприенко, «Модальные напарники интуиционистской логики и её расширений» 2/3
14.00–15.20
ПЕРЕРЫВ
15.20–16.40
А.В. Подобряев, «Квантификация переменной силы в языках мира» 3/3
16.40–17.10
КОФЕ-БРЕЙК (А-117)
17.10–18.30
Н.В. Ивлиева, «Дизъюнкция в грамматической теории импликатур» 2/2
-
03.07
A-307
12.40–14.00
А. А. Оноприенко, «Модальные напарники интуиционистской логики и её расширений» 3/3
14.00–15.20
ПЕРЕРЫВ
15.20–16.40
И.В. Зайцев, Ю.С. Казаков, «Ключевые метатеоремы теории доказательств: нормализуемость выводов и устранимость сечения в интуиционистской логике» 1/4
16.40–17.10
КОФЕ-БРЕЙК (А-117)
17.10–18.30
И.В. Зайцев, Ю.С. Казаков, «Ключевые метатеоремы теории доказательств: нормализуемость выводов и устранимость сечения в интуиционистской логике» 2/4
-
04.07
A-307
11.00–12.20
C.П. Одинцов, «Конструктивные семантики и IF-логика» 3/3
12.20–12.40
ПЕРЕРЫВ
12.40–14.00
И.В. Зайцев, Ю.С. Казаков, «Ключевые метатеоремы теории доказательств: нормализуемость выводов и устранимость сечения в интуиционистской логике» 3/4
14.00–15.20
ПЕРЕРЫВ
15.20–16.40 (9:20–10:40 AM BRT)
Fábio Maia Bertato, «Deontic and Axiological Concepts and Values in Formal Ethics» (online)
16.40–17.10
КОФЕ-БРЕЙК (А-117)
17.10–18.30
И.В. Зайцев, Ю.С. Казаков, «Ключевые метатеоремы теории доказательств: нормализуемость выводов и устранимость сечения в интуиционистской логике» 4/4
18.30–19.00
ЗАКРЫТИЕ
Программа постерной секции
- К.А. Козятник (Томский государственный университет), «Интуиционизм в математике: философские основы, основные принципы и влияние на современное математическое мышление»
- Т.С. Трубинов (БФУ им. И. Канта), «Категориальный подход к энтропии информации и его применение в спецификации формальных онтологий для интеллектуальных систем»
- А.С. Шарапов (Томский государственный университет), «Модальная логика первого порядка: табличное исчисление Kvd с возможностью доказательства открытых формул»
Регистрация
Сроки регистрации: до 1 июня 2025
Уведомление об отборе: 10 июня 2025
Подать заявку на участие в школе
Тревел-гранты для студентов и аспирантов
Сроки подачи заявки: до 25 мая 2025
Уведомление об отборе: 30 мая 2025
Критерии отбора: мотивационное письмо, качество тезисов для доклада на постерной секции
Постерная секция
В программе летней школы предусмотрена постерная секция. Прием заявок на участие в постерной секции (дополнительно к участникам-победителям конкурса тревел-грантов) будет запущен отдельно для очных участников летней школы.
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.