Формальная философия

17 июня в 18:10 состоится заседание теоретического семинара «Формальная философия». Тема доклада: Анализ аналитичности в философии математики Хинтикки и теории типов Мартина-Лёфа. Докладчик: Рамазан Аюпов (стажер-исследователь МЛ ЛогЛинФФ). Аннотация: Доклад посвящен вопросу о том, возможна ли такая трактовка аналитичности, которая не подпадает под действие критики, предложенной Уиллардом Куайном в статье «Две догмы эмпиризма». История аналитичности от Канта до наших дней может быть представлена как история изменения самого критерия аналитичности. Так, у Канта аналитичность связана с содержанием понятия и отношениями внутри суждения; у Фреге — с обоснованием; у Карнапа — с языковыми правилами; у Куайна — с критикой неразъяснённых понятий значения, синонимии и семантических правил; у Хинтикки — с множественностью форм анализа; у Мартина-Лёфа — с типом суждения; у Бентцена — с вычислительной семантикой интуиционистской теории типов. Основной тезис доклада состоит в том, что вычислительный критерий аналитичности, предложенный Бруно Бентценом в рамках интуиционистской теории типов, может рассматриваться как самостоятельный смысл аналитичности, дополняющий типологию Хинтикки. Согласно этому критерию, суждение является аналитическим тогда, когда его корректность полностью устанавливается посредством вычисления входящих в него выражений и приведения их к каноническим формам. Такая трактовка аналитичности не опирается на неразъясненные понятия значения, синонимии или семантических правил, против которых была направлена критика Куайна, а потому позволяет иначе поставить вопрос о возможности проведения аналитико-синтетического различения. _____________________ Martin-Löf P. Analytic and Synthetic Judgements in Type Theory // Kant and Contemporary Epistemology / ed. by P. Parrini. The University of Western Ontario Series in Philosophy of Science. — Vol. 54. — Dordrecht: Springer, 1994. — P. 87–100. Bentzen B. Analyticity and Syntheticity in Type Theory Revisited // Review of Symbolic Logic. — 2024. — Vol. 17, no. 4. — P. 1119–1145. Hintikka J. An Analysis of Analyticity // Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. — Oxford: Clarendon Press, 1973. — P. 123–149. Ждём вас в кабинете А-117 или в Zoom! Анонс и регистрация: https://llfp.hse.ru/announcements/1169195774.html

10 июня в 18:10 состоится заседание теоретического семинара «Формальная философия». Тема доклада: Расплывчатость и смутность в пространстве научного поиска: объективные предпосылки и субъективный опыт переживания. Докладчик: А.Н. Поддьяков (НИУ ВШЭ). Аннотация: Рассматривается роль неясных идей, понятий, образов, метафор в математике и естественно-научных областях. Обсуждается осмысление исследователями своих неясных и смутных идей (понятий, образов, метафор), возникающих в ходе научного поиска. Представлены два авторских автобиографических примера развития изначально не вполне ясных идей в области: а) этики; б) математики. Второй пример подтвержден историей публикаций с 2021 по 2026 г. с наблюдаемой пульсацией ясности и неясности развивающихся идей. Обсуждается динамика ясных и неясных знаний детей при столкновении с чем-то необычным на первых онтогенетических этапах развития мышления, исследовательского поведения и любознательности как источник значимых автобиографических воспоминаний взрослых исследователей (маленький Эйнштейн и компас - самый известный, но не единственный пример). _____________________ Ждём вас в кабинете А-117 или в Zoom! Анонс и регистрация: https://llfp.hse.ru/announcements/1166726837.html

3 июня в 18:10 состоится заседание научно-исследовательского семинара «С логической точки зрения» («From the Logical Point of View»). Тема доклада: Логика SSL и ее сложность. Докладчик: А.В. Кудинов (НИУ ВШЭ). Аннотация: Доклад посвящён логике подмножеств пространства (Subset Space Logic, SSL) — бимодальной эпистемической логике с одной модальностью знания (K) и второй модальностью (\Box), соответствующей тому, что агент потратил какие-то ресурсы, чтобы увеличить свои знания. Вторую модальность можно воспринимать, как некоторую динамику, поэтому SSL можно отнести к динамической эпистемической логике. Логика была введена в работе A. Dabrowski, L. S. Moss & R. Parikh «Topological reasoning and the logic of knowledge» (Annals of Pure and Applied Logic, 1996), где, в частности, были предложены её аксиоматизации для класса всех подмножеств и для класса топологических пространств. В работе была доказана финитная аппроксимируемость, дающая оценку сверху на сложность логики SSL, а именно, что SSL лежит в 2EXPTIME. Также очевидно, что SSL - PSPACE-трудна, т.к. в нее погружается логика S4. Более точные оценки долгое время были неизвестны. В работе 2021 года (препринт был в 2019) Гертлингом и Кроммесом (Hertling, Krommes) было доказано, что SSL является EXPSPACE-полной. В докладе мы сделаем короткое введение и постараемся дать представление о том, как доказываются результаты о сложности. Все нужные определения и понятия будут даны, предварительные знания о сложности не требуются, но приветствуются. _____________________ Ждём вас в кабинете А-117 или в Zoom! Анонс и регистрация: https://llfp.hse.ru/announcements/1164883547.html

20 мая в 18:10 состоится заседание теоретического семинара «Формальная философия» Тема доклада: Сфера действия модальности и отрицания в семантике (и в синтаксисе) русских сложных предложений. Докладчик: А.Б. Летучий (НИУ ВШЭ). Аннотация: Понятие сферы действия широко используется в лингвистике, причём в самых разных областях . С одной стороны, оно важно для синтаксического анализа - синтаксисты анализируют, на какие части предложения распространяется формальное влияние главного глагола или каких-либо операторов. С другой стороны, оно первостепенно важно для семантики: анализируя значение предложения, невозможно обойтись без учёта сферы действия модальных операторов или отрицания. Например, в предложении появляется единица, выражающая ирреальность - на всё ли предложение или только на его часть это ирреальное значение распространяется? В докладе я расскажу о своих недавних и продолжающихся исследованиях, связанных со сферой действия. Например, будут рассмотрены такие предложения (примеры из корпуса и интернета): Психолог должен помочь тем, что найдет источник травмы. Мы не поможем автору тем, что начнём его критиковать. В этих сложных предложениях есть показатели, снижающие реальность ситуации: в первом случае показатель должен делает ситуацию гипотетической (но ещё не реализованной, 'должен помочь, но пока не помог'), во второй показатель не просто отрицает ситуацию ('неверно, что мы поможем автору'. А вот распространяется ли действие этих операторов на вторую, зависимую часть предложения? Относится ли модальный показатель должен ещё и к части найдёт источник травмы? Отрицает ли не зависимую часть начнём его критиковать? Ответ на эти вопросы может быть разным. Я покажу, что семантическая сфера действия показателей зависит от нескольких факторов и не всегда жёстко задана, а потом расскажу о том, как она влияет на формальные особенности некоторых предложений. _____________________ Ждём вас в кабинете А-117 или в Zoom! Анонс и регистрация: https://llfp.hse.ru/announcements/1159272518.html

В эту субботу 23 мая в 15:00 состоится очередное заседание ридинг-семинара "Analytics", посвященное статье Стивена Хейлза "Why Every Theory of Luck is Wrong". Подробности по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6

Интересно понять, как устроен язык? Приглашаем на Мастерскую Лингвистических задач, где вы познакомитесь с лингвистикой на практике! Лингвистические задачи просят от решающего выявить систему в незнакомом языке, опираясь исключительно на логику и языковую интуицию. Решая задачу, вы параллельно изучаете то, как работает некоторое языковое явление. Примеры можно найти здесь. Хочешь провести две недели на природе и познакомиться с наукой о языке? – отправляй заявку и жди приглашения на берег Волги! https://letnyayashkola.org/linguistics/ И подписывайтесь на канал, чтобы не пропускать обновления: https://t.me/lsh_linguistics

Научная конференция «Философия П.Ф. Стросона» 12 мая 2026 г. (вторник) в ауд. А-518 (зал заседаний ученого совета) с 12:00 состоится всероссийская научная конференция «Философия П.Ф. Стросона». Программа мероприятия: заведующий кафедрой истории зарубежной философии, чл.-корр. РАН, д.ф.н, Васильев Вадим Валерьевич. С докладом на тему: П. Стросон: мечты о метафизике; профессор кафедры истории и теории мировой культуры, д.ф.н. Чалый Вадим Александрович. С докладом на тему: Кант и Стросон на пределе; доцент кафедры истории зарубежной философии к.ф.н. Миронов Дмитрий Геннадьевич. С докладом на тему: Питер Стросон и теория ментальных файлов; доцент кафедры истории зарубежной философии к.ф.н. Беседин Артем Петрович. С докладом на тему: Аргумент всего лишь дополнительного содержания и единство сознания; доцент кафедры истории зарубежной философии к.ф.н. Логинов Евгений Владимирович. С докладом на тему: Дж. Д. Маббот и П. Ноуэлл-Смит о свободе и ответственности; директор центра исследования сознания Мерцалов Андрей Викторович. С докладом: Диахроническое соблюдение позитивных условий уместности возложения моральной ответственности сэра П.Ф. Стросона; младший научный сотрудник сектора истории западной философии ИФ РАН Евстигнеев Максим Дмитриевич. С докладом на тему: Питер Стросон об анализе; стажер-исследователь «Международной лаборатории логики, лингвистики и формальной философии НИУ ВШЭ Никитина Ирина Александровна. С докладом на тему: Моральная ответственность в свете некаузальной теории действия, или последовательное стросонианство; аспирант кафедры истории зарубежной философии, тьютор философского факультета Савелов Арсений Денисович. С докладом на тему: П.Ф. Стросон и аргумент неправильных оснований. К участию приглашаются все интересующиеся философией Стросона. Регистрация на мероприятие для гостей не из МГУ: ars109236@yandex.ru. Регистрация возможна до 07.05.2026.

#матлог #учёба #спецсеминар На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ "Модальная и алгебраическая логика" и "Логические методы в информатике" в четверг 07.05, начало в 18:30, состоится доклад Дворкин Лев Монотонность vs позитивность в модальных логиках Формула называется монотонной, если её истинность сохраняется при увеличении оценок входящих в неё переменной, и позитивной, если она построена из переменных при помощи позитивных связок (в случае модальной логики это константы ложь и истина, конъюнкция, дизъюнкция, ромб и бокс). Хорошо известно, что в классической логике высказываний любая монотонная формула эквивалентна позитивной. Аналогичный результат для классического исчисления предикатов доказал Линдон [Lynd59]. В общем случае, мы говорим, что логика L обладает свойством позитивности Линдона (LPP), если любая монотонная в L формула L-эквивалентна позитивной формуле. Воспользовавшись методом из работы [Lynd59], можно легко показать, что для нормальных модальных логик интерполяционное свойство Линдона (LIP) влечёт LPP. Однако в случае логик без LIP ситуация становится сложнее. В частности, среди табличных расширений S4 есть бесконечно много логик как с LPP, так и без него. В докладе мы рассмотрим новые результаты [Dvo26] относительно LPP и его связи с другими свойствами модальных логик. [Lynd59] Lyndon R.C. Properties preserved under homomorphism. Pacific Journal of Mathematics, 9(1):143–154, 1959. [Dvo26] Dvorkin L. Monotonicity vs positivity in modal logics. arXiv:2602.02837, 2026. Видеозаписи предыдущих докладов: https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX Веб-страница с аннотациями и слайдами: http://logic.math.msu.ru/sem/ml/ Для получения ссылки Zoom пишите на почту lev_135@mail.ru. Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!

29 апреля в 15:00 состоится заседание научно-исследовательского семинара «С логической точки зрения» («From the Logical Point of View»). Тема доклада: Минимальная вполне-определённая логика. Докладчик: И.А.Горбунов (ТвГУ, ВШЭ) и М.Н.Рыбаков (МФТИ, ТвГУ, ВШЭ). Аннотация: Понятие вполне-определённой логики (well-determined logic) было введено Рышардом Вуйцицким: это логика, обладающая слабым дедуктивным свойством (т.е. для неё выполняется слабая теорема о дедукции) и свойством конъюнкции. Таковыми являются, например, все суперинтуиционистские логики. Содержательно, вполне-определённые логики позволяют выражать логическое следование в них. Благодаря устройству таких логик, для их задания можно не требовать семантики с сильной полнотой, достаточно иметь слабую полную семантику, т.е. полную семантику для множества их тавтологий. Множество тавтологий вполне-определённой логики Р.Вуйцицкий назвал дедуктивным множеством, и затем нашёл критерий дедуктивности. Нами был получен эффективный критерий дедуктивности. На его основе была найдена наименьшая вполне-определённая логика W, о которой мы и расскажем. Мы покажем, что логика W не обладает дедуктивным свойством, а также опишем её в виде исчисления. Также будет предложена семантика, относительно которой W корректна и полна. Кроме того, мы представим результаты о финитной аппроксимируемости и разрешимости логики W. Отметим, что множество тавтологий логики W полиномиально разрешимо. _____________________ Ждём вас в кабинете А-117 или в Zoom! Анонс и регистрация: https://llfp.hse.ru/announcements/1151057313.html

Витгенштейн и аналитическая философия: круглый стол в рамках семинара "Современная аналитическая философия". 30 апреля 16:00, Институт философии РАН, ауд. 416. Анна Костикова Валерий Анашвили Григорий Золотков Юлия Чугайнова Людвиг Витгенштейн причисляется к отцам-основателям аналитической философии. Вместе с тем Витгенштейна часто «выписывают» из аналитической традиции и/или причисляют его к континентальной. Ряд интерпретаторов обнаруживает признаки, присущие континентальной философии: афористичность, диалогический и фрагментарный характер текстов, отсутствие аргументов в классическом понимании, обращение к понятию "форма жизни". Со временем при разрастании корпуса текстов увеличивается интерес к судьбе наследия работ Витгенштейна — это влияет на уже устоявшиеся интерпретации. В рамках круглого стола предлагается обсудить, каким образом сегодня можно осуществлять историко-философскую реконструкцию идей Витгенштейна в контексте аналитической традиции. Аннотация и литература Регистрация @sector_szf

#матлог #спецсеминар #не_мехмат #МФТИ Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ). Страница семинара: www.mathnet.ru/rus/conf2559. Семинар пройдет в среду 22 апреля в 14:15. Адрес: МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный. Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com Докладчик: Андрей Кудинов Название: Окрестностная полнота некоторых модальных предикатных логик Аннотация. Доклад посвящен окрестностной семантике (neighbourhood semantics) для предикатных модальных логик. Хорошо известны результаты о полноте относительно окрестностных шкал с постоянными областями для логик QK и QS4. В докладе будет доказана полнота для более широкого класса логик: так называемых направленных предтранзитивных модальных предикатных логик (определение будет дано в докладе). Результаты о полноте для модальных предикатных логик остаются на данный момент довольно разрозненными и теоремы типа теоремы Салквиста пока не удается доказать. Для направленных предтранзитивных логик была известна полнота относительно шкал Крипке с расширяющимися областями. Мы покажем, что для этих логик в окрестностной семантике можно обойтись постоянным областями, при этом аксиома Баркан, которая для шкал Крипке соответствует постоянным областям, в окрестностных шкалах опровергается даже на шкалах с постоянными областями.

22 апреля в 18:10 состоится 120-е заседание научно-теоретического семинара «Формальная философия». Тема доклада: Семантика и синтаксис абстрактного языка. Докладчик: В.В. Булыгин. Аннотация: Языков много, но есть общее, что присуще им всем. Это общее (абстрактный язык) - суть универсалии (термин лингвистики). С другой стороны, большая языковая модель (LLM) оперирует векторами. Как именно группируются вектора в языковые универсалии - тема доклада. _____________________ Ждём вас в кабинете А-117 или в Zoom! Анонс и регистрация: https://llfp.hse.ru/announcements/1150879364.html

Профессор Университета Индрапрастха (Дели, Индия) Санха Басу стал преподавателем весенней школы «Логика, лингвистика и формальная философия», https://www.hse.ru/news/edu/1150914202.html

#матлог #учёба #семинар #не_мехмат #ВШЭ Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ. Семинар пройдет в очном формате с одновременной трансляцией на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно. Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com. Дата и время: 17.04.2026 в 16:20 Докладчик: Елена Попова Тема: Логики свидетельств. Введение Аннотация: Доклад будет посвящен знакомству с логикой свидетельств. Язык данной логики получается добавлением к пропозициональному языку формул вида t:F, которые интерпретируются как “t есть свидетельство в пользу F”. Будут рассмотрены ключевые результаты: теорема о реализации, устанавливающая связь между логиками свидетельств и модальными логиками, а также арифметическая семантика для логики доказательств LP, которая позволила получить арифметическую интерпретацию для модальной логики S4. Будет дан обзор основных семантических моделей для логик свидетельств. В заключение планируется обозначить ряд открытых проблем и основные направления современных исследований.

15 апреля в 18:10 состоится 119-е заседание научно-теоретического семинара «Формальная философия». Тема доклада: Фрегеанский подход к перцептивному содержанию. Докладчик: Андрей Коченков (МГУ). Аннотация: Доклад посвящен анализу фрегеанского подхода к содержанию восприятия. Согласно этому подходу, содержание восприятия конституируется перцептивными способами данности объектов и их свойств. Его главной альтернативой является расселианский анализ, согласно которому содержание восприятия конституируется самими внешними положениями дел, объектами и их свойствами. Я покажу, что фрегеанский подход справляется с затруднениями, возникающими в рамках расселианского анализа, а именно с объяснением мисрепрезентации, трактовкой воспринимаемых свойств и различий в содержании при совпадающих внешних условиях корректности восприятия. Затем я сформулирую ключевые проблемы фрегеанского подхода: риск непрямого восприятия и проблему объяснения метафизического статуса перцептивных способов данности. В связи с этими проблемами я разделяю фрегеанские теории на две группы: феноменологический и натуралистический анализы способов данности. Я покажу, как каждая из них справляется с указанными трудностями и приведу несколько доводов в пользу того, что натуралистический анализ делает это успешнее. _____________________ Ждём вас в кабинете А-117 или в Zoom! Анонс и регистрация: https://llfp.hse.ru/announcements/1148124960.html