#матлог #учёба #школа

Студенты, обратите внимание на замечательную возможность концентрированно несколько дней поучиться логике здорового человека 😍

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
(27.08.2024 17:17)

С 28 октября по 1 ноября состоится осенняя школа "Логика и формальная философия 2024".

Школа пройдет в рамках сотрудничества с Центром логики, эпистемологии и истории науки Университета Кампинас.
Школа пройдет в гибридном формате. Все курсы и лекции будут проводиться оффлайн с параллельной онлайн-трансляцией.

Заявки на участие в школе принимаются до 1 октября.
Заявки на конкурс тревел-грантов принимаются до 1 сентября.

С программой школы можно ознакомиться по ссылке: https://llfp.hse.ru/announcements/955672040.html

🔗 Осенняя школа "Логика и формальная философия 2024"


➰ ВК

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

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

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

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

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

Докладчик: Станислав Сперанский (МИАН)

Название: Сильная неразрешимость и первая теорема Гёделя о неполноте

Аннотация.

Теория Г называется сильно неразрешимой, если всякая теория, совместная с Г, неразрешима. Известно, что такие теории существуют: в качестве примера можно взять некоторую конечно аксиоматизируемую «минимальную» арифметику, которую мы будем обозначать через MA. Из сильной неразрешимости MA следует современная версия первой теоремы Гёделя о неполноте (в форме Россера), а также теорема Чёрча над арифметической сигнатурой. На самом деле, первая теорема Гёделя в известном смысле равносильна сильной неразрешимости MA (по модулю нескольких простых наблюдений). Кроме того, MA интерпретируется в теории дискретно упорядоченных колец, а потому последняя также сильно неразрешима.

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


➰ ВК

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

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

23.09.2024 V. Shehtman (HSE Univeristy, MIPT): Completeness for modal predicate logics

In modal predicate logic the problem of semanticaI completeness is very nontrivial. Kripke semantics is too weak, and it is not clear how to improve it. In this talk we give a brief overview of the field and present proofs of some recent results on completeness and incompleteness. An earlier version of the talk was given at Workshop on first-order modal and temporal logics (Ljubljana 2023).

🔗 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar&


➰ ВК

#матлог #спецсеминар #не_мехмат #МФТИ

Начинает свою работу логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 25 сентября. Время проведения семинара 14:00.

Аудитория ГК329 (Главный корпус).
г. Долгопрудный, Институтский пер., 9, стр. 3.

В здании пропускной режим, поэтому если у вас нет пропуска в МФТИ, то напишите на почту kudinov.andrey@gmail.com, вас встретят у центрального входа в главный корпус со стороны Институтского пер. С собой иметь паспорт.

Просьба не опаздывать, т.к. аудитория находится в ректорате и туда так просто не попасть.
Собираемся в 14:00 у дверей в ректорат.

Заседание пройдет очно без трансляции.

Докладчик: М.Н.Рыбаков
Тема: Неразрешимость QLC с двумя переменными

Аннотация:
Логика QLC получается из интуиционистской предикатной логики QInt добавлением аксиомы линейности. Семантически QLC характеризуется классом линейных шкал Крипке. Её модальный напарник — логика QS4.3; она получается из QS4 аналогичным образом. Логика QLC содержит в себе логику QKC (логику слабого закона исключённого третьего), и в этом смысле она очень близка к классической логике предикатов QCl. Известно, что QCl неразрешима в языке с тремя переменными, но разрешима в языке с двумя. При этом и QInt, и QKC, и QS4.3 в языке с двумя переменными неразрешимы (даже при одной-двух унарных предикатных буквах). Техники, используемые в соответствующих доказательствах для фрагментов с двумя переменными, неприменимы к QLC — ни "классическая" с разрешимостью, ни "неклассическая" с неразрешимостью, и вопрос о разрешимости фрагмента QLC с двумя переменными долгое время оставался открытым. Оказалось, имеется довольно несложная конструкция, позволяющая закодировать средствами QLC неразрешимую проблему типа "домино", при это достаточно использовать две переменные и лишь позитивные формулы. В докладе предполагается показать детали этой конструкции и извлечь из неё следствия, касающиеся как QLC, так и некоторого бесконечного класса расширений QLC — во всех случаях будет получена неразрешимость, причём где-то Сигма-0-1-трудность, а где-то дополнительно и Пи-0-1-трудность.

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

➰ ВК

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

В четверг 26 сентября начинает работу просеминар по математической логике и информатике. Просеминар проходит по четвергам в 16:45-18:20 в аудитории 424 (2 гуманитарный корпус). Информацию о просеминаре можно найти на странице http://logic.math.msu.ru/proseminar/.

Формат просеминара — короткие серии из 1–2 занятий на разные темы, проводимые профессорами, преподавателями, аспирантами и студентами кафедры, с параллельным решением и разбором задач. Приглашаются студенты 1–3 курсов, школьники старших классов, студенты других специальностей и вообще все интересующиеся. Начинать посещение семинара можно с любого занятия.

26 сентября будет тема "Вполне упорядоченные множества". Можно заранее порешать задачи (прикреплены к посту).

🔗 Просеминар по математической логике и информатике — Кафедра математической логики и теории алгоритмов


📝 VUM2024.pdf

➰ ВК

#матлог #спецсеминар

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
(25.09.2024 13:08)

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

Тема доклада: "Динамические эпистемические подходы к решению парадокса неожиданного экзамена".
Докладчик: Юрий Казаков (НИУ ВШЭ)

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

Анонс появится в ближайшее время...

➰ ВК

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

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

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

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

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

Докладчик: Александр Герасимов

Название: Бесконечнозначная первопорядковая логика Лукасевича: исчисления для поиска вывода и полнота инфинитарного аналитического исчисления для предварённых предложений

Аннотация.

Бесконечнозначная первопорядковая логика Лукасевича относится к математическим нечётким логикам и служит для формализации приближённых рассуждений. Множество всех общезначимых предложений (и множество всех общезначимых предварённых предложений) этой логики неперечислимо; поэтому для неё не существует полного исчисления с рекурсивным множеством аксиом и конечным числом рекурсивных правил вывода. В докладе мы покажем, как удалось доказать полноту одного инфинитарного аналитического исчисления для предварённых предложений данной логики с помощью построений, полученных при разработке ориентированных на поиск вывода исчислений для рассматриваемой логики.
Доклад основан на статьях:
[1] A.S.Gerasimov, "Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic", Siberian Electronic Mathematical Reports, Vol.17, 2020, pp.1869-1899, https://doi.org/10.33048/semi.2020.17.127;
[2] A.S.Gerasimov, "Comparing calculi for first-order infinite-valued Lukasiewicz logic and first-order rational Pavelka logic", Logic and Logical Philosophy, Vol.32, No.2, 2022, pp.269-318, https://doi.org/10.12775/LLP.2022.030;
а также на некоторых неопубликованных результатах докладчика.

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


➰ ВК

#матлог #спецсеминар #не_мехмат #МФТИ

Слайды доклада М.Н.Рыбакова "Неразрешимость QLC с двумя переменными" (https://vk.com/wall-70743963_1754) прикреплены к посту!

📝 slides-QLC-2.pdf

➰ ВК

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

Logic Online Seminar (https://www.mathnet.ru/conf876), Monday 16:00 MSK (UTC+3), Room 313 MIAN + Zoom (onsite talk, in Russian)

30.09.2024 В.И. Данилов (ЦЭМИ РАН): Алгебры Магари и функции выбора Плотта

Я хотел бы поговорить о неожиданной и пока необъясненной связи двух тождеств: тождества Лёба из теории доказуемости и условия "независимости от пути" Плотта из теории рационального выбора. Не будучи специалистом в теории доказуемости, я сосредоточу свой рассказ больше на функциях выбора. Функции выбора Плотта - замечательная математическая структура, обобщающая понятие частичного порядка в несколько неожиданном направлении. В силу этого такие функции появляются в различных местах - в немонотонной логике, теории стабильности, комбинаторике. И под разными личинами - как выпуклые геометрии, как разреженные пространства, как колмогоровские предтопологии, как обобщенные алгебры Магари.

🔗 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar&


➰ ВК

#матлог #учёба #спецкурс

Golafshan Mehdi и Канель-Белов А.Я. прочитают спецкурс "Комбинаторика слов" (на английском языке). Это полугодовой спецкурс.

Первая лекция: 18 сентября (прошу прощения за позднее сообщение о начале спецкурса). Доступна видеозапись первой лекции: https://www.youtube.com/watch?v=QFu6qp0_Yfw

Место проведения: зум

Время проведения: среда 19:00-21:00

К посту прикреплён файл с информацией о содержании курса и критериях оценивания.
Ссылка на телеграм-канал курса: https://t.me/Wordds2024

Пожалуйста, обратите внимание на следующие важные замечания. В случае их игнорирования ответственность полностью ложится на студента:

1. Обязательно присоединитесь к Telegram-каналу, так как вся информация, касающаяся курса, включая ссылку для входа в класс, учебные материалы и записанные видео, будет размещена там.

2. Студенты, которые хотят официально записаться на курс, сдать экзамен и получить оценку, должны отправить письмо на указанный ниже адрес до декабря (подчеркиваю, до декабря). В противном случае оценка не будет присвоена. mgolafshan@yandex.ru

🔗 Combinatorics on Words

🎥 2024 (Fall). Combinatorics on Words. Lecture 1 - Introductions and connections


📝 cow_-2.pdf

➰ ВК

#матлог #доклад

1 октября на семинаре Совета молодых учёных РАН «Выбор в науке» выступит С.Л. Кузнецов с обзорным докладом на тему «Субструктурные логики в лингвистике и информатике».

Время: 1 октября 2024 (вторник), 16:30
Место: конференц-зал ИПМех РАН, Москва, пр-т Вернадского, 101 корп. 1 (https://ipmnet.ru/contacts/)
Регистрация для прохода в здание по ссылке: https://clck.ru/39pL6w
(внимание: регистрация открыта до 12:00 понедельника 30 сентября)

Аннотация:
Современная математическая логика включает в себя исследования неклассических логических систем, в которых логические операции ("и", "или", "если – то", "не" и т.д.) подчиняются несколько иным законам, чем в логике классической. Одним из интересных семейств таких систем являются субструктурные логики, в которых исключены или ограничены законы сокращения (из A можно вывести "A и A", и таким образом использовать одно утверждение несколько раз), ослабления (можно добавлять посылки, даже если они не используются в рассуждении), перестановки. Такие логики применяются для рассуждений об ограниченных ресурсах: логические формулы понимаются не как абстрактные утверждения, а как расходуемые ресурсы, которые нельзя свободно копировать или уничтожать. Если не допускается и правило перестановки, то важен также порядок использования ресурсов. В рамках доклада будет рассказано о применении субструктурных логик в информатике, для спецификации и верификации программ, и в лингвистике, для описания синтаксиса естественных языков.

🔗 Институт проблем механики им. А.Ю. Ишлинского РАН (ИПМех РАН) - Контакты, схема проезда


📝 VYBOR_seminar_2024-10-01.pdf

➰ ВК

#матлог #учёба #спецкурс

В.А.Любецкий прочитает спецкурс «Современные методы обработки данных». Это годовой спецкурс по выбору кафедры. Курс можно сдавать как два полугодовых или как годовой. Названия полугодовых «половинок»: «Математические методы анализа данных», «Компьютерный анализ клеточных типов».
Слушатели должны зарегистрироваться по адресу gorbunov@iitp.ru, сообщив о себе: ФИО полностью, факультет, группу, свой email и мобильный.

Первая лекция: 30 сентября. Спецкурс читается осенью 1 раз в 2 недели, весной 1 раз в неделю.

Место проведения: в смешанной форме (начинаем удалённо, для получения ссылки необходимо зарегистрироваться).

Время проведения: понедельник 16:45–18:20.

Аннотация.
Компьютерная обработка больших данных — универсальное направление исследований буквально во всех областях естественных и гуманитарных наук. В тоже время такая обработка опирается на методы современной математики, от алгоритмов до геометрии. Используемые здесь методы/алгоритмы в основном эвристические, интуитивно построенные, для которых почти неизвестны доказательства их правильности. Более того, обычно не существует даже математической постановки задачи, решаемой таким эвристическим алгоритмом; сама эта задача понимается интуитивно, на основе компьютерных экспериментов и опыта применения в данной прикладной области. Будет рассказан, так называемый, метод Seurat, широко применяемый в разных прикладных задачах и особенно в биоинформатике. Будут обсуждаться проблемы его обоснования, далёкие от математического решения. Будут предложены компьютерные вычислительные программистские математические задачи, как и реально прикладные, для курсовых и дипломных работ; для аспирантских тем. Никакие предварительные знания не предполагаются; все необходимые сообщаются на лекциях. После каждой лекции предполагается факультативный семинар и обсуждение задач.

➰ ВК

#матлог #учёба #спецкурс

В.О.Кирова прочитает спецкурс «Комбинаторные сложностные характеристики бесконечных слов».
Это полугодовой спецкурс по выбору студента.

Первая лекция: 1 октября

Место проведения: аудитория 425

Время проведения: вторник 16:45–18:20

Аннотация.
Курс включает основы комбинаторики слов и отвечает на вопросы: какими свойствами может и не может обладать множество подслов данного слова? Сколько заданным образом фрагментов определённого размера может содержаться в бесконечном слове? Как меняется их количество? В рамках курса будет представлен полный обзор имеющихся функций сложности бесконечных слов, которых более десятка: сложность Ли, Абелева сложность, k-абелева сложность, максимальная шаблонная сложность, сложность цикла, биномиальная сложность, оконная сложность, периодическая сложность, полиномиальная сложность. Для ряда функций будет представлен перечень открытых исследовательских задач.

Спецкурс был поддержан фондом «БАЗИС» (https://basis-foundation.ru/special-program/mathmech/courses/winners)

🔗 Список победителей


➰ ВК

#матлог #миникурс #не_мехмат #МИАН

С 1 по 3 октября 2024 года в Математическом институте им. В.А. Стеклова РАН (МИАН) пройдет мини-курс профессора Университета Дуйсбурга-Эссена Д.В. Беломестного «Математические основания обучения с подкреплением» (https://www.mathnet.ru/conf2496).

За три двухчасовые лекции курс предлагает глубокое погружение в математические принципы, лежащие в основе обучения с подкреплением (Reinforcement Learning, RL), преодолевая разрыв между теорией и практикой. Разработанный для студентов старших курсов, аспирантов и специалистов в области математики и машинного обучения, курс охватывает ключевые математические концепции в основе современных алгоритмов RL.

Место: МИАН, г. Москва, ул. Губкина, д. 8.
Время: 01 октября (18:00), 02 октября (15:00), 03 октября 2024 г. (18:00)

Лекции будут проходить очно с возможностью подключиться онлайн. Приглашаются все желающие.
Для участия необходима регистрация (ссылка есть на странице курса).

🔗 Мини-курс Д. В. Беломестного «Математические основания обучения с подкреплением»


➰ ВК

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

На занятии просеминара 3 октября будет тема "Ординалы" (А.А.Оноприенко).
Можно заранее порешать задачи (прикреплены к посту).

Просеминар проходит по четвергам в 16:45-18:20 в аудитории 424 (2 гуманитарный корпус). Информацию о просеминаре можно найти на странице http://logic.math.msu.ru/proseminar/.

🔗 Просеминар по математической логике и информатике — Кафедра математической логики и теории алгоритмо


➰ ВК

#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 02 октября. Время проведения семинара 14:00.

Аудитория ГК326 (Главный корпус).
г. Долгопрудный, Институтский пер., 9, стр. 3.

В здании пропускной режим, поэтому если у вас нет пропуска в МФТИ, то напишите на почту kudinov.andrey@gmail.com, вас встретят у центрального входа в главный корпус со стороны Институтского пер. С собой иметь паспорт.

Заседание пройдет очно без трансляции.

Докладчик: Михаил Рыбаков
Тема: Рекурсивная неотделимость в модальных и суперинтуиционистских предикатных логиках.

Аннотация

Предлагается проблема типа «домино», позволяющая моделировать два рекурсивно неотделимых множества натуральных чисел. Затем эта проблема используется, чтобы доказать сначала рекурсивную неотделимость многих теорий бинарного предиката в языке с тремя переменными, а затем — многих неклассических предикатных логик унарного предиката в языке с двумя переменными.

➰ ВК

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

С 7 по 9 ноября 2024 в Международной лаборатории логики, лингвистики и формальной философии пройдет ежегодная конференция «Формальная философия». Конференция посвящена обсуждению проблематики: философской логики, формальной эпистемологии и эпистемической логики, формальной онтологии, философии логики, математической логики и филоcофии математики.
https://llfp.hse.ru/announcements/968274219.html

🔗 Международная конференция "Формальная философия 2024"


➰ ВК

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

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

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

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

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

Докладчик: Елена Попова

Название: Логика свидетельств: обзор

Аннотация.

Доклад будет посвящен обзору логик свидетельств. Это явные аналоги модальных логик, в которых вместо модальности \Box используются выражения вида "t:ф", где t — свидетельский терм. Они интерпретируются как "t есть свидетельство в пользу ф".
Первая пропозициональная логика свидетельств LP, введенная С.Н. Артёмовым в 1995 году, соответствует модальной логике S4 (см. [1]). Дальнейшие исследования (см. [2] в качестве обзорной работы) описывают логики свидетельств для модальных систем K, KT, K4 и других. Семантика для этих логик была определена и изучена С.Н. Артёмовым и М. Фиттингом. В докладе мы опишем наиболее известные логики свидетельств, их свойства и семантику для них. Также планируется обсудить логику свидетельств первого порядка. Мы опишем синтаксис этой логики, её семантику и связь с модальной логикой предикатов.

1. Artemov S. N. Operational Modal Logic : tech. rep. / Mathematical Sciences Institute, Cornell University. 1995. No. 95–29.
2. Artemov S. N., Fitting M. Justification Logic: Reasoning with Reasons. Cambridge University Press, 2019.

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


➰ ВК

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

Logic Online Seminar (https://www.mathnet.ru/conf876), Monday 16:00 MSK (UTC+3), Room 313 MIAN + Zoom (onsite talk, in Russian)
07.10.2024 Лев Дворкин (МГУ, 6 курс): Об интерпретации нормальных модальных логик и аддитивных формул в S4, S5, Grz, K и GL.

Пусть L — модальная логика, A(p) — формула с единственной переменной p. Рассмотрим перевод формул [A/], коммутирующий с булевыми связками и отображающий формулу вида B в A([A/]B). Обозначим через L_A множество формул, перевод которых выводим в L. Несложно проверить, что L_A является логикой (вообще говоря, не нормальной). Будем говорить, что формула A задаёт интерпретацию L_A в L.

Несложно заметить, что логика L_A нормальна тогда и только тогда, когда
L |- A(p \/ q) ↔ A(p) \/ A(q) и L |- A(\bot) ↔ \bot.
Такие формулы A назовём аддитивными. Оказывается, что неэквивалентных аддитивных формул немного. В S5 их всего три, в S4 и Grz — пять. В K и GL аддитивных формул бесконечно много, но все они устроены относительно просто.

Мы обсудим основные методы, которыми были получены перечисленные результаты и возможные их обобщения

🔗 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar&


➰ ВК

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

На занятии просеминара 10 октября будет продолжение темы "Ординалы" (А.А.Оноприенко).
Можно заранее порешать задачи (прикреплены к посту).

❗По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi

Просеминар проходит по четвергам в 16:45-18:20 в аудитории 424 (2 гуманитарный корпус). Информацию о просеминаре можно найти на странице http://logic.math.msu.ru/proseminar/.

🔗 Просеминар по математической логике и информатике — Кафедра математической логики и теории алгоритмо


📝 Ordinals2024.pdf

➰ ВК

#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 09 октября. Время проведения семинара 14:00.

Аудитория ГК326 (Главный корпус).
г. Долгопрудный, Институтский пер., 9, стр. 3.

В здании пропускной режим, поэтому если у вас нет пропуска в МФТИ, то напишите на почту kudinov.andrey@gmail.com, вас встретят у центрального входа в главный корпус со стороны Институтского пер. С собой иметь паспорт.

Заседание пройдет очно без трансляции.

Докладчик: Александр Колпащиков

Название: Неразрешимые суперинтуиционистские исчисления и слабый закон исключённого третьего.

Аннотация.
Интуиционистская логика, получаемая из классической логики удалением закона исключённого третьего, была сформулирована в современном виде в 1930 году. Являясь более слабым, соответствующее исчисление Int может быть дополнено аксиомами до суперинтуиционистского — промежуточного между Int и классическим исчислением Cl. Алгоритмически неразрешимые примеры таких расширений были приведены только во второй половине семидесятых.
В книге А.Чагрова и М.Захарьящева приводится построение неразрешимой суперинтуиционистской логики с конечной аксиоматизацией при помощью машин Минского. Докладчик использовал этот метод для доказательства, что такая аксиоматизация может содержать ещё и формулу слабого закона исключённого третьего.
Для понимания материала желательно представлять себе связь шкал Крипке с интуиционистским исчислением высказываний, но основные понятия будут введены в течение презентации.
Доклад основан на 16 главе книги Александра Чагрова и Михаила Захарьящева — Modal Logic: №35 (Oxford Logic Guides): OUP Oxford, 1997.

➰ ВК