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

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

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

Даты конференции: с 27 по 30 октября 2026

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

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

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

Важные даты:
05.10.2026 - прием заявок
27.10.2026 - начало конференции
30.10.2026 - окончание конференции

Подробнее с информацией о конференции можно ознакомиться на сайте.

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

Тема доклада: Тонкая красная линия: оккамистский ответ на проблему эпистемического фатализма

Докладчик: Михаил Сафронов (магистратура ШФиК, НИУ ВШЭ).

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

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

Основное внимание уделяется Supervaluational Thin Red Line семантике разработаной Алексом Мальпассом и Яцеком Вевером, которая, как будет показано, наиболее близка к изначальным взглядам Оккама и вызывает наименьшее напряжение с тезисами классического теизма. Вместе с тем проект не может считаться полностью завершённым: остаются открытыми вопросы о метафизическом основании актуальной линии истории, о контрфактуальных сценариях свободы и о совместимости содержания божественного знания с божественной самобытностью. Отдельно будет показано, что в рамках существующих оккамистских семантик невозможно полностью выразить акцидентальную необходимость - тот факт, что нкоторое событие ранее было контингентно, но сейчас уже необходимо. STRL предстаёт не как окончательное устранение всех трудностей, а как развивающийся и во многом переходный проект к достаточно выразительной темпоральной логике, приемлемой в рамках классического теизма.

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

Анонс и регистрация: https://llfp.hse.ru/announcements/1200276070.html

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

Тема доклада: Периодическая таблица утверждений: структура и классификация некооперативной речи

Докладчик: Иван Соболев (стажер-исследователь МЛ ЛогЛинФФ).

Аннотация: В философии языка накопился очень внушительный перечень явлений, которые не укладываются в классическую картину кооперативной коммуникации: наглая ложь, брехня (bullshit), введение в заблуждение, инсинуации, ирония и так далее. Однако каждый из феноменов в этом каталоге зачастую изучается обособленно, без общей структуры. В докладе предлагается заменить этот список системой: вместо коллекционирования частных примеров предложить классификацию, которая выявляет внутреннюю логику явлений языковой прагматики. Выражена эта классификация будет в «периодической таблице» речевых актов утверждения. Все многообразные стратегии в этой таблице порождаются комбинацией всего трёх эпистемических параметров: (1) отношение утверждаемого содержания к общему фону беседы; (2) наличие и тип подразумеваемого смысла; (3) вера говорящего в то, что он сообщает. Перебор этих параметров даёт ровно 43 логически возможные клетки, которые соответствуют определённым стратегиям коммуникации. Такой подход не только упорядочивает известные явления, но и обнаруживает пробелы, т. е. способы речи, которые пока не описаны в литературе, но принципиально возможны. В докладе будут представлены таблицы для буквальных, ироничных и фигуральных высказываний, сопровождаемые примерами из естественного языка и критическим обсуждением границ кооперативности.

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

Анонс и регистрация: https://llfp.hse.ru/announcements/1197397569.html

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