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

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

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

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

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

Докладчик: Федор Пахомов

Название: Инфинитарная логика доказуемости

В данном докладе я расскажу об аналогах и обобщениях некоторых результатов об обычной логике доказуемости на инфинитарный случай. С одной стороны, будет дана полная по Крипке нефундированная система доказательств на основе глубокого вывода. С другой стороны, будет дана интерпретация связки бокс как некоторых предикатов доказуемости в допустимых фрагментах инфинитарной первопорядковой логики.

🔗 Логика в Москве


➰ ВК

7 марта (пятница) в 19.30 состоится очередное заседание исследовательского семинара "Формальная философия".

Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом.

Докладчик: Арсен Вольский.

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

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

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

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

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

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

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

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

Докладчик: Анастасия Оноприенко

Название: Таблицы Лейвера

Аннотация.
Таблицы Лейвера - конечные комбинаторные объекты с очень простым определением. Они были введены в рассмотрение Ричардом Лейвером в 1990-х годах в процессе исследования им теории множеств. Тем не менее, изучение свойств таблиц Лейвера требует очень сильных методов, выходящих далеко за "стандартную" математику, лежащую в рамках теории множеств ZFC.
В докладе будет дано введение в эту любопытную и, к сожалению, малоизвестную тему. Предварительных знаний для понимания доклада не требуется, все определения будут даны.

🔗 Логика в Москве


➰ ВК

❗️Дорогие слушатели и участники семинара,

К сожалению, доклад в рамках семинара "Формальная Философия" 7 марта (пятница) не состоится. Доклад переносится на другое время, о чем мы сообщим дополнительно.

#матлог #учёба #просеминар

💥В четверг 13 марта на просеминаре по математической логике и информатике будет продолжение темы: "Колмогоровская сложность" (А.А.Оноприенко).

✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://t.me/+8lzSUf8ghLAzMjRi

✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале!

➰ ВК

14 марта (пятница) в 19.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View".

Тема доклада: Морской Ёж: формальная теория познания на основе графов.

Докладчик: Александр Кузнецов (д.ф-м.н., доцент заведующий лабораторией 90 ИПУ РАН).

Аннотация: Строится формальная теория познания реальности, описываемой определенной онтологией, агентом в условиях неполной информированности агента. Онтология описывается графом, вершины и ребра которого соответствуют сущностям и их отношениям. Вводятся различные классы утверждений -- истинных или ложных, а также бессмысленных, об этом графе, конъюнкции этих утверждений могу описывать граф полностью или частично. Введено две меры, одна — типа логической вероятности, с сигма-аддитивностью, вторая — типа расстояния редактирования графов. С помощью второй меры агент строит состоящую из предполагаемых онтологий окрестность вокруг того, что он считает (неполным и неточным) отражением реальной онтологии, с помощью второй -- вычисляет степень неопределенности этой окрестности (потому что окрестность соответствует дизъюнкции разных возможных описаний графа-онтологии). Внутри окрестности агент ищет то, что ему кажется наиболее верным отражением онтологии, расширяет найденный граф онтологии нужным ему образом, строит вокруг получившегося графа окрестность из близких к нему графов онтологий заданного радиуса по второй мере и с заданной неопределенностью по первой мере. Процесс повторяется до получения убедительной для агента картины мира, т.е. до лучшего в каком-то смысле графа, по мнению агента описывающего реальную онтологию. Показан теоретико-игровой пример конкуренции двух агентов в процессе познания онтологии.

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

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

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

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

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

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

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

Докладчик: Анна Задаля

Название: Темпоральные логики LTL и CTL.

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

➰ ВК

ПЕРЕНОС НА НЕДЕЛЮ - 22 МАРТА

В следуюдую субботу 22 марта в 14:00 очно в каб. A117 по адресу ул. Старая Басманная, д. 21/4 и онлайн в Zoom состоится очередное заседание ридинг-семинара «Analytics». Начинается чтение статьи Маттьё Кело «Function-Based Conceptual Engineering and the Authority Problem». Все дальнейшие подробности по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6

#матлог #не_мехмат #ВШЭ

В пятницу 21 марта 2025 г. в 18:10 на Математическом семинаре ФКН ВШЭ состоится доклад Павла Соколова на тему "Теория типов и альтернативные основания математики".

Аннотация:

Теория типов — сравнительно молодая область на стыке математической логики, теории категорий и компьютерных наук. Появившись как один из вариантов разрешения парадоксов наивной теории множеств, системы типов нашли неожиданное применение в языках программирования как средство легковесной верификации как пользовательского кода, так и программных оптимизаций. Кроме этого, системы типов естественным образом обеспечивают конструктивный и, более того, синтетический подход к математике (синтетическая (дифференциальная) геометрия, синтетическая топология, синтетическая теория гомотопий и т.д.) В особенности, гомотопическая теория типов (HoTT) претендует на статус альтернативного основания (конструктивной) математики.

В рамках данного доклада будет изложена история становления теории типов как самостоятельной дисциплины с изложением основных математических результатов, начиная с Principia Mathematica Бертрана Рассела и заканчивая сегодняшними наиболее активными направлениями исследований.

Место проведения: Покровский бульвар 11, аудитория R305.

Объявление и ссылку для регистрации см. на странице семинара:
https://cs.hse.ru/seminatfkn/

➰ ВК

21 марта (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".

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

Докладчик: Илья Гущин (УрФУ).

Аннотация: В докладе будут рассмотрены две альтернативные классическому вариации платонизма в философии математики. В качестве аргумента в пользу классического платонизма часто указывается, что принятие его как метафизики обеспечивает уникальный эпистемологический статус для математического доказательства, чем обеспечивает преимущество математики над другими системами знания. В докладе будет показано, что в действительности классический платонизм создаёт серьезные трудности для доказательства, а его альтернативные версии позволяют от этих проблем избавиться.

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

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

Британская философия середины прошлого века подарила нам множество выдающихся мыслителей. Одним из таких стал Питер Стросон, оказавший значимое влияние на поворот «оксфордской» философии обратно к метафизике. Получив первоначально известность за счёт атаки на теорию референции Рассела, Стросон закрепился в истории мысли как автор проекта «дескриптивной метафизики», который до сих пор привлекает к себе большое внимание.

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

https://youtu.be/qdf6P9XWgfc
https://band.link/pathwaysofaletheiatg

#Выпуски

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

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

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

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

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

Докладчик: Дудаков С.М. (ТвГУ, ВШЭ)

Название: О теориях алгебр подмножеств и решёток подалгебр

Аннотация.
Одним из способов построения новых алгебр является конструкция алгебры всех или некоторых подмножеств уже имеющейся. Например, для произвольной полугруппы S можно можно построить новую полугруппу exp S, элементами которой будут подмножества S, а операция определена поточечно. В докладе будут рассмотрены теории таких подалгебр exp A, когда исходная алгебра A снабжена бинарной операцией (то есть A — группоид). Будет показано, что при определённых условиях теория exp A позволяет интерпретировать элементарную арифметику (и даже - арифметику второго порядка) или, как минимум, арифметические операции для начального фрагмента натурального ряда. Аналогичный результат будет показан для теории решётки lat A подалгебр алгебры A. Далее, для любого класса K алгебр можно рассмотреть классы exp K и lat K. Первый из них состоит из всех алгебр вида exp A, а второй - из всех решёток вида lat A, когда A берётся из K. Будет показано, что для широко распространённых классов K теории классов exp K и lat K тоже допускают интерпретацию элементарной арифметики. В частности, они неразрешимы и не имеют рекурсивной аксиоматизации.

➰ ВК

❗️В Международной лаборатории логики, лингвистики и формальной философии идет набор на позицию постдока. Подробнее по ссылке:
https://postdocru.hse.ru/projects2025

#матлог #наука #конференция

Ломоносовские чтения 2025, кафедра математической логики и теории алгоритмов

Научно-исследовательский семинар по математической логике
под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова

2 апреля 2025 г., среда, 18:30

Главное здание, сектор "А", ауд. 16-04

✅О теореме Гудман-Штрауса. Доклад профессора Верещагина Н. К.
✅О конструктивном исчислении предикатов. Доклад доцента Плиско В. Е.
✅Предикатные модальные логики ограниченной альтернативы. Доклад профессора Шехтмана В. Б.

➰ ВК