#матлог #не_мехмат

В ближайшие две среды, 9 и 16 апреля 2025 г., С.Л. Кузнецов прочитает две лекции в рамках курса «Coq» в Центральном университете.

Первая лекция будет посвящена вычислительным возможностям различных версий лямбда-исчисления. Будет рассказано, что в бестиповом лямбда-исчислении представимы все вычислимые функции, а также охарактеризованы подклассы всюду определённых вычислимых функций, представимых в простом типовом лямбда-исчислении и лямбда-исчислении второго порядка (система F).

На второй лекции будет рассказано о доказательстве непротиворечивости исчисления индуктивных конструкций (CIC — базовое исчисление системы Coq) в рамках теории множеств ZFC со счётным набором недостижимых кардиналов, а также обратное кодирование соответствующих расширений ZFC в Coq, по статье Б. Вернера 1997 г.

Место: учебный корпус Центрального университета, Москва, ул. Гашека, д. 7, аудитория F304 (3 этаж, из лифтов перейти по мосту и прямо)
Время: 9 и 16 апреля, 19:30

Для посещения нужно получить пропуск. Для этого нужно написать в телеграм Владу Пимкину @delamelicon, что идёте на лекцию С.Л.Кузнецова в среду. Желательно сделать это не позднее вторника.

➰ ВК

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

🔥Возобновляет работу семинар "Некоторые применения математических методов в языкознании"! Это старейший семинар по математической лингвистике в России, одним из первых организаторов которого был Владимир Андреевич Успенский, в котором принимали участие Алексей Всеволодович Гладкий, Игорь Александрович Мельчук, Елена Викторовна Падучева и другие известные ученые. С 2025 года семинар проводится совместно Московским государственным университетом им. М.В. Ломоносова и Российской академией наук — Математическим институтом и Институтом языкознания.

Заседания будут проходить поочередно в ИЯз РАН и МИАН.

Когда: 11 апреля 2025 года, 14:30
Где: Институт языкознания РАН (Большой Кисловский пер., д. 1, стр. 1), конференц-зал + онлайн (ссылка отправляется зарегистрированным участникам)
Кто: Сергей Георгиевич Татевосов, Петр Олегович Россяйкин
Название: "Новое в семантике: о двух явлениях и всем остальном"
Аннотация:
В этом докладе мы рассмотрим несколько сюжетов, которые вписываются в две аналитические тенденции современной формальной семантики: (i) модальный анализ языковых выражений и явлений, традиционно не относимых к модальным; (ii) семантический анализ явлений, традиционно относимых к прагматике. А именно, преимущественно на материале русского языка, мы обсудим некоторые аргументы в пользу синтаксического представления речевых актов и модальный анализ перфектива (и, по возможности, некоторых других грамматических сущностей).

Для оформления пропуска в Институт языкознания или для получения ссылки для подключения онлайн необходимо заполнить форму до 23:59 10 апреля: https://forms.gle/jFsZcNFbbx15GskT7

Страница семинара: http://tipl.philol.msu.ru/index.php/science/seminars/npmmvia

➰ ВК

12 апреля в 14:30 состоится очередное заседание ридинг-семинара «Analytics». Начнется чтение новой статьи: Joel J. Kupperman «The Indispensability of Character». Встреча пройдет в гибридном формате - очно в каб. А117 по адресу Москва, ул. Старая Басманная, д. 21/4 и онлайн в Zoom. Дальнейшие подробности по ссылке: https://www.group-telegram.com/+B3UPwOcK5ao0Y2E6

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

Тема доклада: Black Boxes: The Semantics and Logic of Obliterative Modalities.

Докладчик: Элиа Дзардини.

Аннотация: If we wish to analyse knowability (and similar notions) in terms of some kind of possibility of knowledge, troubles quickly arise if the possibility in question is supposed to obey some very basic modal principles (like law 4 or the law of distribution). In this paper, I first provide an informal explanation of the notion of possibility in question. I then proceed to show how this informal explanation can be turned into a natural formal possible-world semantics with a multiplicity of accessibility relations, which gives rise to a nonregular modal logic that avoids the above-mentioned troubles. After introducing a sound and complete axiomatization of the logic, I close by mentioning some philosophically interesting directions in which the basic system can be extended or modified.

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

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

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

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

14.04.2025 L. D. Beklemishev: Fragments of arithmetic and cyclic proofs (onsite, https://homepage.mi-ras.ru/~bekl/)

(jww with Daniyar Shamkanov and Ivan Smirnov)

We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing inductive proof search. In addition, we show how various traditional subsystems of Peano arithmetic defined by restricted forms of induction can be represented as fragments of the proposed system.

➰ ВК

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

Тема доклада: Теория понимания у раннего Хайдеггера: трансцендентально-феноменологическая перспектива.

Докладчик: Екатерина Мельникова.

Аннотация: В рамках доклада будут рассмотрены трансцендентально-феноменологические основания теории понимания (теории категорий), получившей свое развитие в трудах раннего Хайдеггера. Тема доклада предполагает обращение к ряду исходных проблем и вопросов феноменологической философии Хайдеггера, на примере которых будет показано, как первым теоретическим обоснованием “бытийного вопроса” становится идейное содержание таких трудов, как «Логика философии и учение о категориях» Ласка, «Логические исследования» Гуссерля и «Критика чистого разума» Канта.

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

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

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

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

Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идете на семинар ВШМ и предъявить паспорт.

К семинару можно подключиться дистанционно, для получения ссылки пишите на почту [email protected].

Докладчик: Дворкин Лев

Название: Финитная аппроксимируемость расширений wK4, наследуемых подшкалами (часть 1)

Подшкалой шкалы Крипке (X; R) называется подмножество S носителя X с индуцированным отношением достижимости. Логика L наследуется подшкалами Крипке, если класс её шкал Крипке замкнут относительно взятия подшкал. Файн доказал, что все полные по Крипке расширения K4, наследуемые подшкалами, финитно аппроксимируемы. Данный результат был усилен Захарьящевым на случай логик, наследуемых конфинальными подшкалами (подшкалами, носитель которых конфинален в исходной шкале). Доказательства Файна и Захарьящева основываются на семантике Крипке. Бежанишвилли, Гильярди и Джибладзе дали чисто алгебраическое доказательство результатов Файна и Захарьящева, одновременно обобщив их на расширения wK4 = K + p → p \/ p. Разбору доказательства последнего результата и посвящён доклад. В первой части мы обсудим некоторые факты, касающиеся алгебраической семантики модальных логик. В отличие от семантики Крипке, данной семантике уделяют мало времени в курсах по модальной логике, поэтому мы остановимся на ней достаточно подробно. Вторая часть посвящена непосредственно доказательству результата. От слушателей предполагается знание базовых фактов о модальных логиках и семантике Крипке.

➰ ВК

24 апреля на очередном заседании межсекторского семинара "Современная аналитическая философия" состоится доклад Ирины Никитиной.

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

Аннотация и список литературы.

Регистрация: https://forms.gle/xonPcNve92JKUszCA

@sector_szf

#матлог #новости

В выпуске (№ 1, январь-февраль) журнала "Вестник Московского университета. Серия 1. Математика. Механика" вышла обзорная статья, посвящённая нашей кафедре!

Серия обзорных статей в "Вестнике" приурочена к 270-летию Московского университета.

Со статьёй о кафедре математической логики и теории алгоритмов можно ознакомиться по ссылке.

http://vestnik.math.msu.su/issues/2025/1/04.pdf

➰ ВК

Философия живёт в диалоге

Научные семинары — это не просто обмен идеями, а способ построить междисциплинарные проекты и решить актуальные философские задачи. В этом точно уверена Елена Драгалина-Чёрная — профессор Школы философии и культурологии ФГН, заведующая Международной лаборатории логики, лингвистики и формальной философии.

В интервью для портала Schola она рассказала о семинарах-ветеранах, важности диалога для научного процесса и почему формальная философия прочно ассоциируется именно с Вышкой.

Международная конференция «Формальная философия 2025»

«Формальная философия» – ежегодная международная конференция, которую организует Международная лаборатория логики, лингвистики и формальной философии. В 2025 конференция пройдет в 8-й раз (о прошедших конференциях). Конференция посвящена обсуждению проблематики философской логики, формальной эпистемологии, эпистемической логики, формальной онтологии, аналитической метафизики, философии логики, математической логики, филоcофии математики, а также другим аспектам формальной философии. После конференции пройдет ассоциированное мероприятие – Летняя школа "Логика, лингвистика и формальная философия" (30 июня – 4 июля 2025).

Даты конференции: с 23 по 26 июня 2025

Место проведения: г. Москва, ул. Старая Басманная, д. 21/4, А-307 + Zoom

Формат: гибридный (возможно как очное, так и дистанционное участие)

Рабочие языки: русский и английский

Заявки на участие принимаются до 25 мая.

#матлог #наука #семинар

Приглашаем принять участие в очередном, 9-м по счету Колмогоровском семинаре по компьютерной лингвистике, который состоится 25 апреля 2025 года.

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

Семинар пройдет в смешанном формате.

Информация о семинаре и регистрация доступна по ссылке https://cs.hse.ru/clls/2025/

➰ ВК

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

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

21.04.2025 Anna Dmitrieva (U. of East Anglia, https://research-portal.uea.ac.uk/en/persons/anna-dmitrieva): Complex field with quasiminimal structure (online)

Zilber's Quasiminimality Conjecture states that the complex field equipped with the exponential function is quasiminimal, i.e. every definable subset is countable or co-countable. Despite remaining open, this conjecture led to multiple new concepts and results. One of the directions inspired by the conjecture is the investigation of analogous conjectures where the exponential map is replaced with another function or a function-like object. In most cases the obtained conjecture seems to stay as difficult as the exponential one; as pointed out by Koiran and Wilkie, it even remains open whether adding all entire functions to the complex field would make it quasiminimal or non-quasiminimal. In this talk we provide two quasiminimal examples of this sort: first one involves a correspondence between two elliptic curves, while the second one considers the theory of a generic function, as introduced by Zilber in 2002.

➰ ВК

Конференция «Скептицизм, здравый смысл и рациональность: 315 лет Томасу Риду»

26 апреля в корпусе НИУ ВШЭ на Старой Басманной (ауд. А-307) пройдет научная конференция «Скептицизм, здравый смысл и рациональность: 315 лет Томасу Риду».

Программа конференции
12.00—12.45. Васильев, В.В. (МГУ): Томас Рид как критик Дэвида Юма
12:45—13.30. Беседин, А.П. (МГУ): К истории бравого офицера Томаса Рида: Кларк, Коллинз и Беркли
13.30—14.15. Евстигнеев, М.Д. (НИУ ВШЭ): Воспринимать” и “иметь идеи”: Антуан Арно и Томас Рид
14.15—15.50. Савелов, А.Д. (МГУ): Джон Стюарт Милль vs Томас Рид
15.50—16.35. Макеева, Л.Б. (НИУ ВШЭ): Томас Рид и Хилари Патнэм о преодолении догматизма и скептицизма ("третий путь")
16.35—17.10. Коченков, А.А. (РГГУ): Прямой реализм Томаса Рида и вопрос о цветах
 
Модераторы: 
Евстигнеев, М.Д., Савелов, А.Д.

Регистрация по ссылке.

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

В пятницу 25 апреля в 14:30 в Математическом институте им. В.А. Стеклова РАН состоится заседание семинара "Некоторые применения математических методов в языкознании".

Где: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 110 (см. информацию о пропусках и онлайн-подключении ниже)
Кто: Валентин Борисович Шехтман (ВШМ МФТИ)
Тема: Временные логики
Аннотация:
Временны́е логики изучают высказывания, зависящие от времени. Такие высказывания возникают в естественном языке и в различных науках: философии, физике, информатике и т.д. С формальной точки зрения, временные логики - это, как правило, модальные логики со специальным синтаксисом и семантикой. На сегодняшний день имеется большое разнообразие таких логик. В докладе будет дан краткий обзор проблематики и результатов в этой обширной области, с упоминанием некоторых приложений.
Для понимания доклада полезно иметь представление о семантике возможных миров.

Если 25 апреля вы собираетесь прийти на заседание семинара в Математический институт и у вас есть пропуск студента/аспиранта/сотрудника научной или образовательной организации (МГУ, ВШЭ, МФТИ, ...), достаточно предъявить этот пропуск и сообщить, что вы идете на семинар "Некоторые применения математических методов в языкознании". Если у вас нет такого пропуска, но вы хотите прийти очно, напишите Степану Львовичу Кузнецову на почту [email protected].

Онлайн-подключение осуществляется через платформу Контур.Толк; для подключения не требуется на ней регистрироваться.
Для получения ссылки напишите Степану Львовичу Кузнецову на почту [email protected].

В дальнейшем заседания будут поочередно проводиться в Институте языкознания и Математическом институте, следите за объявлениями.

➰ ВК

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

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдёт в среду 23 апреля в 14:00.
В рамках этого семинара пройдет предзащита докторской диссертации Рыбакова М.Н.

Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.

К семинару можно подключиться дистанционно, для получения ссылки пишите на почту [email protected].

Докладчик: Михаил Николаевич Рыбаков (ВШМ МФТИ)

Название: Моделирование логических систем средствами их фрагментов (предзащита докторской диссертации)

Аннотация:
Проведённое исследование связано с выразительностью языков, логик и теорий, и прежде всего с алгоритмической выразительностью (в том числе вычислительной сложностью) определённых их фрагментов.

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

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

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

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

➰ ВК