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

Тема доклада: Модальная логика с точки зрения теоретико-доказательственной семантики.

Докладчик: Юрий Казаков (стажер-исследователь МЛ ЛогЛинФФ).

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

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

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

В эту субботу 31 мая состоится очередное заседание ридинг-семинара «Analytics» — встреча состоится в 14:30 очно в каб. A117 по адресу ул. Старая Басманная, д. 21/4 и онлайн в Zoom . Для чтения была выбрана следующая статья: Larese, C. (2023). Hintikka’s conception of syntheticity as the introduction of new individuals. Synthese, 201(6), 207. Все дальнейшие подробности по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6

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

Тема доклада: Модификация аксиом о позитивности в онтологическом доказательстве Геделя.

Докладчик: Юлия Копчева (стажер-исследователь МЛ ЛогЛинФФ).

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

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

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

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

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

Дата и время: 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"