#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Дата и время: 06.06.2025 в 16:20

Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog

Докладчик: Иван Пыльцын

Название: Нефундированное расширение интуиционистской логики и игровая семантика Межирова.

Аннотация:
Семантическая игра Межирова впервые была описана Ильёй Межировым в 2006 году для интуиционистской пропозициональной логики и модальной логики Гжегорчика, представляя из себя независимый (в частности, не опирающийся на модели Крипке) семантический подход к описанию этих логик. Данная теоретико-игровая семантика описывала эти логики как множества тавтологий. Я заинтересовался поиском обобщения игры Межирова, которое бы описывало логики как отношения следования. В процессе моих поисков я обнаружил, что возможные естественные направления модернизации данной семантики приводят к некомпактным отношениям следования.

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

Фокус доклада будет направлен на полученное теоретико-игровое описание нефундированного расширения интуиционистской логики.

➰ ВК

13 июня (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».

Тема доклада: Многомерный и одномерный подходы к моделированию языковых значений: монады vs. импозиции.

Докладчик: Дарья Попова (научный сотрудник МЛ ЛогЛинФФ).

Аннотация: ​​​​​​​В докладе будет рассмотрен многомерный подход к моделированию значений в терминах монад (Shan 2002; Giorgolo and Asudeh 2012, 2014; Charlow 2014). Подход позволяет сохранить интуицию, что высказывание может быть ассоциировано с несколькими независимыми значениями, при этом не исключает взаимодействия значений разных уровней, что важно для моделирования случаев анафоры и эллипсиса. Многомерный подход в терминах монад будет противопоставлен одномерному подходу в рамках динамической семантики в терминах импозиций, моделирующего те же языковые данные (AnderBois et al. 2010). Оба подхода будут применены к эвиденциальным конструкциям с пропозициональными глаголами. Будут рассмотрены сильные стороны каждого подхода и намечен путь их инкорпорации.

Ждём вас в кабинете А-117 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/1055523799.html

Открыта регистрация для слушателей конференции "Формальная философия 2025", регистрация будет открыта до 21 июня, llfp.hse.ru/formphil2025

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk

16.06.2025, совместно с семинаром С.И. Адяна, И.А. Дынников (МИАН, https://www.mathnet.ru/person8990): Алгоритмическое сравнение лежандровых узлов (очный доклад)

Доклад основан на совместных работах с Максимом Прасоловым и Владимиром Шастиным. Мы разрабатываем подход к классификации узлов и зацеплений в трёхмерном пространстве, основанный на монотонном упрощении диаграмм специального вида (называемых прямоугольными). Это по сути означает описание множества всех "неупрощаемых" прямоугольных диаграмм, то есть диаграмм, которые невозможно упростить, применяя не увеличивающие сложность элементарные преобразования. Мы показали, что задача классификации неупрощаемых диаграмм в некотором смысле эквивалентна топологической классификации так называемых лежандровых зацеплений, не допускающих дестабилизации. Это, в свою очередь, позволило построить алгоритм, позволяющий проверять эквивалентность любых двух данных лежандровых зацеплений.

➰ ВК

После «Формальной философии 2025» и летней школы «Логика, лингвистика и формальная философия» в МЛ ЛогЛинФФ пройдет еще одна конференция

Но есть и хорошие новости.
В 3 номере «Эпистемологии и философии науки» выйдет дискуссия с заглавной статьей Пирмина Штекелера-Вайтхофера при участии его учеников, а также коллег из ВШЭ.

По мотивам дискуссии мы организуем конференцию по метафизике, которая пройдет 9 и 10 июля 2025 года.
Что имеем: две секции, на русском и английском языках. Русскоязычная часть намечена на 9 июля и можно прийти послушать лично (регистрируйтесь), англоязычная часть пройдет 10 июля полностью онлайн. Присоединяйтесь в качестве слушателей онлайн и приходите в вышку лично.

У нас будут убойные докладчики. Первая секция с молодыми и дерзкими отечественными философами, вторая с маститыми иностранными мэтрами (см. описание!).
Конференция интересна тем, что она задает довольно широкие тематические рамки и находится на стыке аналитической философии и немецкой традиции, там будет и аналитика, и (подспудно) Гегель, и (явно) Хайдеггер и Витгенштейн.
Интересно будет всем.

https://llfp.hse.ru/confmetaphysics

Началась конференция «Формальная философия 2025»

Доклад С.П. Одинцова "Weak and Strong Definability in FDE-based Logics"