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

Молодёжный коллоквиум по математической логике и её приложениям
(31 августа–4 сентября 2026 г., МИАН, Москва, ул. Губкина, 8, https://www.mathnet.ru/conf2744)

Цель коллоквиума — познакомить молодых исследователей, включая студентов и аспирантов, с перспективными направлениями развития математической логики и предоставить им возможность выступить с докладами по результатам своих исследований. Параллельно с выступлениями молодых исследователей в рамках коллоквиума планируется чтение нескольких мини-курсов (по 2–3 лекции каждый), ориентированных на широкую аудиторию:
⚡Искандер Шагитович Калимуллин (КФУ, https://kpfu.ru/Iskander.Kalimullin): Теорема рекурсии и критерии полноты
⚡Алексей Леонидович Таламбуца (МИАН, https://www.mathnet.ru/person/20324): Алгоритмические проблемы для матричных полугрупп
⚡Валентин Борисович Шехтман (МФТИ, https://www.mathnet.ru/person/37158): Семантики модальных предикатных логик

К участию с докладом приглашаются молодые исследователи, в том числе студенты и аспиранты, при соблюдении следующих условий:
👉 возраст докладчика на момент начала коллоквиума — до 39 лет включительно;
👉 очный доклад (вместе с тем онлайн-участие без доклада будет возможно);
👉 тезисы доклада должны быть оформлены в соответствии с прилагаемым шаблоном (https://disk.yandex.ru/d/Jc8n3g_vF3tEng), иметь объём от одной до двух страниц, включая список литературы, и содержать ясную формулировку основных результатов.

Для подачи тезисов просьба использовать регистрационную форму (https://forms.yandex.ru/u/69c699d5902902d410ad120b). Решение о принятии или отклонении тезисов принимает оргкомитет. Допускаются доклады по работам в соавторстве при условии, что очный докладчик удовлетворяет условию 1 выше. Участвовать без доклада могут все желающие, как очно, так и дистанционно; онлайн-подключение планируется организовать через Контур.Толк.

‼Важнейшие даты
регистрация на участие с докладом — не позднее 01.08.2026
регистрация на участие без доклада — не позднее 26.08.2026
даты проведения: c 31.08.2026 по 04.09.2026
Решения о принятии или отклонении тезисов принимаются в течение 10 рабочих дней с момента подачи.

1 апреля в 18:10 состоится 117-е заседание научно-теоретического семинара «Формальная философия».

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

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

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

В работе представлен детальный анализ программы, предложенной Дж. Рассел и другими представителями нигилизма, выявлены их критические требования к отношению следования и обращение к феноменам естественного языка. Одновременно с этим рассматривается концепция универсальной логики Ж.-И. Безье как абстрактной метатеории, призванной описывать мета-свойства различных логических систем. С помощью сравнительного и теоретико-проблемного методов демонстрируется, что оба подхода основаны на критике универсальности классических систем и используют сходный аппарат. Исследование приходит к выводу о существовании глубокой концептуальной взаимосвязи между этими направлениями, в рамках которой негативные результаты проекта универсальной логики служат подтверждению аргументов логических нигилистов.
_____________________

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

Анонс и регистрация: https://llfp.hse.ru/announcements/1143172340.html?_r=32919551774947479.06931&__t=8708284&__r=OK