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

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

Тема доклада: Устранение информационных каскадов с помощью публичных аудитов.

Докладчик: Арнольд Григорян (Ludwig-Maximilians-Universität München).

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

В статье «Логические модели информационных каскадов» [1] последовательность агентов конфиденциально вытягивает шар из урны, чье содержание неизвестно, обновляет свои убеждения, а затем публично объявляет предположение о ее содержании. В силу того, что объявляются только апостериорные предположения, а не сами розыгрыши, ранние объявления могут стать доминирующими среди общественного мнения. Авторы показывают, что после конечного этапа для агентов рационально игнорировать результаты своих собственные розыгрышей. Это и запускает информационный каскад.

Мы представим расширенную версию модели, которая добавляет дополнительное событие «публичного аудита», происходящее после того, как агент вытащил мяч. С вероятностью p событие аудита заставляет агента объявить результат розыгрыша, а не его апостериорное предположение. Мы показываем, что для любого p > 0 при числе агентов n → ∞ вероятность формирования каскада, который неправильно определяет положение дел, стремится к 0.

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

[1] A. Baltag, S. Smets, and J. Zvesper. Logical Models of Informational Cascades. 2013.
_____________________

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

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

Осталось 2 дня, чтобы успеть зарегистрироваться на весеннюю школу https://llfp.hse.ru/school26

Уже в четверг на нашем секторском семинаре выступит Денис Маслов с докладом Был ли Гегель герметическим мыслителем?

Аннотация:

Доклад предлагает обсуждение недавно переведенной книги Гленна Александра Мэги "Гегель и герметическая традиция" и посвящен разбору основной идеи и предложенной автором аргументации. Мэги придерживается радикальной версии традиционного прочтения Гегеля как докантовского философа, и более того, герметического мудреца, алхимика и мага. В пользу своего тезиса автор приводит различные биографические свидетельства, призванные так или иначе связать Гегеля с традицией герметической философии. В докладе рассматривается общая форма аргументация Мэги, а также обсуждается биография раннего Гегеля, проблема авторства "Старейшей программы системы немецкого идеализма", роль поэмы "Элевсин", отношение Гегеля к философии Беме и предложенное Мэги понимание спекуляции.


Гостям ИФ РАН зарегистрироваться на мероприятия можно, написав свою фамилию имя и отчество на адрес izf@iphras.ru, и взяв с собой паспорт в день визита.

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

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

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

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

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

Тема: Бисимуляционные произведения и интерполяционные свойства в модальных логиках

Аннотация:

Доклад посвящен теоретико-модельному методу доказательства интерполяционных свойств Крейга (CIP) и Линдона (LIP) в нормальных модальных логиках. Основой метода является конструкция бисимуляционного произведения на шкалах Крипке, которая двойственна конструкции амальгам специального вида в соответствующих классах булевых алгебр с операторами.

В диссертации Маркса (1995) [1] было показано, что если каноническая логика сохраняется при бисимуляционных произведениях, то она обладает CIP. В докладе будет показано, что на самом деле из этих посылок следует более сильный результат — наличие LIP.

Далее, следуя работе Маркса, мы рассмотрим классы логик, для которых применима эта теорема. К ним относятся логики, чьи классы шкал определяются хорновскими формулами первого порядка (K, KT, K4, S4), а также их расширения замкнутыми формулами.

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

* Для логики S4.1 сохранение имеет место только при конечных бисимуляционных произведениях, чего, однако, оказывается достаточно для доказательства интерполяции.
* Логика S4.2 не сохраняется при бисимуляционных произведениях произвольных шкал, но сохраняется при применении конструкции к канонической модели, что позволяет установить интерполяционные свойства.
* Логика GL неканонична, но для неё применим аналогичный метод в сочетании с техникой селективной фильтрации, что даёт доказательство наличия интерполяции.

От слушателей предполагается знакомство с семантикой Крипке и основными свойствами канонической модели для модальных логик.

Доклад планируется в двух частях. В первой мы разберём (с доказательством) общие результаты, во второй — обсудим, как применять конструкцию в перечисленных частных случаях.

Ссылки:
[1] Marx, M. (1995). Algebraic Relativization and Arrow Logic. ILLC Dissertation Series.

➰ ВК

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

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

Докладчик: Валерий Шевченко.

Аннотация: В современной социальной онтологии популярен тренд на унификацию — объединение разнородных теорий для поиска наиболее объяснительно глубоких онтологических рамок. Центральная теория в этом направлении — теория институтов как «правил-в-равновесии» Франческо Гуалы и Фрэнка Хиндрикса (ПвР). Несмотря на её успехи в среде философов науки, у неё есть критические лакуны, подрывающие её унифицирующий пафос: правила не необходимы, а равновесия недостаточны. Разбирая основные для аргументации ПвР модели игр, мы разрешаем эти противоречия и строим собственную параметрическую модель социального института как связной сети дельта-стабилизированных равновесий с двумя параметрами — сила санкции и взаимная инфомрация между фактами применения санкции в играх популяции. Наша модель позволяет непротиворечиво сделать то, что пытается сделать ПвР: объединить подходы к институтам как к равновесиям, регулятивным и конститутивным правилам в одной онтологической рамке.
_____________________

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

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

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

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

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

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

Язык доклада: английский.

Докладчик: Стас Кикоть

Название: Переформулировка запросов относительно представлений и интерполяция Крейга.

Аннотация.

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

➰ ВК

Друзья, на очередном заседании межсекторского семинара "Современная аналитическая философия" выступит Анна Моисеева.

В докладе рассматривается, как требования рациональности ограничивают наши представления о том, какими путями могут развиваться те или иные обстоятельства.

Модальность вероятно возможного (believable possibility) очерчивает широкую область правдоподобных сценариев. В неё попадают разные феномены: мечты и кошмары, связанные с конкретной жизнью людей; истории, которые воображают читатели художественной литературы (в особенности научной фантастики); мысленные эксперименты; притворство в сюжетно-ролевых играх (make-believe play) и т. п.

Цель доклада — обсудить проект модели, которая задаёт критерии истинности для утверждений с различными пропозициональными установками в этой области, так чтобы сохранялись базовые интуиции, лежащие в основе введения данной модальности.

Развёрнутая аннотация и список литературы.

Регистрация.

@sector_szf

4 марта в 18:40 состоится 114-е заседание научно-теоретического семинара «Формальная философия».

Тема доклада: Формальная философия для нормативного реалиста.

Докладчик: Константин Фролов (научный сотрудник сектора социальной эпистемологии Института философии РАН).

Аннотация: Доклад будет состоять из двух частей.
В первой части мы кратко рассмотрим основную линию дискуссии между нормативным реализмом и нормативным антиреализмом по поводу существования в мире нормативных отношений, распространяющихся на всех агентов независимо от их когнитивных и некогнитивных установок. Здесь мы вначале рассмотрим версию непоследовательного нормативного антиреализма, а затем сравним её с версией последовательного антиреализма. Также мы покажем некоторые доводы в пользу нормативного реализма.
Во второй части доклада мы рассмотрим несколько несложных формальных моделей реалистически понимаемых нормативных отношений.
Отправной точкой нам послужит цитата из опубликованных оксфордских лекций Томаса Скэнлона:
«Быть причиной для» – это четырёхместное отношение R(p, x, c, a), связывающее факт p, субъект x, набор условий c и действие или отношение a. Это отношение выполняется только в том случае, если p является основанием для агента x в ситуации c сделать или выполнить действие a» (Scanlon, 2014, p. 31).
Мы попытаемся продвинуться несколько дальше этой простейшей формализации и рассмотрим четыре модели нормативных отношений.
Первую модель мы будем называть детальной (fine-grained), вторую – умеренно детализированной (medium-grained), третью – обобщенной моделью (coarse-grained) и, наконец, четвёртую – универсалистской (universal) моделью.
Эти четыре модели позволят нам сравнить структуру нормативных отношений между событиями и действиями со структурой каузальных отношений между событиями. Также они позволят продемонстрировать те затруднения, с которыми мы сталкиваемся при попытках натурализации нормативности. Наконец, эти четыре модели позволят показать, в каких пределах натурализация реалистически истолкованной нормативности возможна без существенных затруднений.
– Scanlon T.M. Being Realistic about Reasons. Oxford University Press, 2014.
_____________________

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

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

С 12 по 13 марта пройдет конференция «Эмпиризм и метафизика: 70 лет "Эмпиризму и философии сознания" У. Селларса"

Модераторы: Коченков Андрей (МГУ), Евстигнеев Максим (ИФ РАН, НИУ ВШЭ)

Адрес: Национальный исследовательский университет «Высшая школа экономики»,
г. Москва, ул. Старая Басманная 21/4, ауд. А-205, онлайн платформа

Программа и регистрация по ссылке: https://llfp.hse.ru/announcements/1133941438.html

«Вольфианская лингвистика: Иоганн Петер Зюсмильх о происхождении языка»

Во вторник (3 марта) в 19:30 на семинаре «Философия языка и историческое языкознание» Максим Евстигнеев выступит с докладом об Иоганне Петере Зюсмильхе и его теории происхождения языка.

Вопрос, каким образом у людей появился язык, — один из главных в философии XVIII века. Традиционно считается, что И. Г. Гердер в своем «Трактате» разгромил аргументы И. П. Зюсмильха о божественном происхождении языка.

В докладе Максим Евстигнеев покажет, что критика Гердера была несправедливой, а позиция Зюсмильха — гораздо глубже, чем принято считать. В докладе будут затронуты следующие вопросы:
• почему Зюсмильха нужно читать через призму вольфианской философии;
• как работала вольфовская теория «символического познания»;
• что на самом деле означал тезис о «божественном происхождении» языка в контексте науки того времени.

Чтобы принять участие в семинаре, пишите нам на news@7seminarov.com!

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

Тема доклада: The Bearers of Logical Consequence.

Докладчик: Elia Zardini (Complutense University of Madrid, IL LLFP).

Аннотация: What are the primary bearers of the relation of logical consequence? It is first argued against propositions, on the three grounds that propositions do not have enough structure as is required by logical consequence, that it is not at all clear just which propositions should count as standing in the relation of logical consequence and that there are many cases of logical consequence where no propositions are plausibly in the offing. It is then argued against utterances (qua particular speech acts) on the three grounds that utterances seem at the same time too many and too few with respect to the intended field of the relation of logical consequence, that it is not at all clear just which utterances should count as standing in the relation of logical consequence and that some sentences corresponding to logical truths can be uttered falsely. Jointly, these considerations provide enough materials for an argument by elimination to the conclusion that the primary logical-consequence bearers are sentences (qua interpreted syntactic structures), which is then supplemented by two methodological considerations to the effect that it is doubtful that all the results acquired by logic in a sentence-based framework can be translated into other frameworks and that it is undesirable to impute to logicians substantial mistake about the objects constituting the field of the relation they study. Finally, two objections against sentences as primary logical-consequence bearers are addressed, concerning, respectively, the logical evaluation of non-linguistic beings and the fact that some logically valid sentences are not by themselves true.
_____________________

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

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

Весенняя школа "Логика, лингвистика и формальная философия"

О школе: школа (летняя, осенняя, весенняя) – традиционное мероприятие, которое проводится Международной лабораторией логики, лингвистики и формальной философии уже в шестой раз (о предыдущих школах). Весенняя школа пройдет в рамках проекта международного академического сотрудничества МЛ ЛогЛинФФ и Центра логики, эпистемологии и истории науки Университета Кампинас. Программа школы будет состоять из 4 мини-курсов, 2 серий лекций, 4 отдельных лекций, а также постерной секции. Участие в школе бесплатное.

Даты: 23 – 28 марта 2026
Формат: очно с параллельной трансляцией в Zoom
Место проведения: Москва, ул. Старая Басманная, д. 21/4 + Zoom
Участие: очно или онлайн
Языки: английский и русский

Подробнее в анонсе: llfp.hse.ru/school26

#матлог #не_мехмат #ВШЭ

54-е заседание Математического семинара ФКН состоится 27 февраля в 18:10.

На семинаре выступит Андрей Кудинов с докладом "Модальная логика топологических пространств и битопологическое произведение".

Хорошо известно, что логика высказываний полна относительно булевых алгебр, а любая булева алгебра вкладывается в множество подмножеств некоторого множества (теорема Стоуна). С другой стороны на топологическое пространство можно смотреть как на булеву алгебру подмножеств с операцией взятия внутренности. Куратовский предложил эквивалентную аксиоматизацию топологический пространств через оператор взятия внутренности. Оказалось, что эти аксиомы дают в точности аксиоматизацию модальной логики S4. Модальная логика высказываний, получается добавлением оператора к языку булевых формул. При этом этот язык получается очень слабо выразительным, многие естественные свойства топологических пространств (плотность, аксиомы отделимости, компактность и т.д.) оказываются невыразимыми. Тем не менее, большим плюсом модальной логики S4 является ее разрешимость, которая отсутствует в логике предикатов, в которой можно выразить гораздо больше свойств топологических пространств.

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

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

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

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

Регистрация: https://cs.hse.ru/big-data/polls/788384338.html

➰ ВК

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

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

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

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

Язык доклада: английский.

Speaker: Sayantan Roy

Title: Abstract Model Structures and Compactness Theorems

Abstract: The compactness theorem for a logic states, roughly, that the satisfiability of a set of wffs can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the syntactic/semantic particularities of the corresponding logic. In this talk, using the notion of abstract model structures, we investigate a generalized notion of compactness that is independent of these. Thus, in terms of spirit, this work belongs to the subject known as abstract model theory although methodologically, it goes beyond it (e.g., we do not maintain the same commitment lack the strong commitment to the conventional concrete systems of logic that are characteristic features of works in this area). We also differ from a more categorical take to the subject since our approach is purely set-theoretic. We, however, do not compromise with the level of generality, and obtain several characterization theorems for a particular class of compact abstract model structures, generalizing the traditional Henkin-style, topological and ultrproduct proofs respectively. Finally, some open problems and directions for future research are discussed as well.

➰ ВК

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

Научно-образовательный математический центр Приволжского федерального округа приглашает вас принять участие в VI Конференции математических центров России, которая пройдет с 17 по 22 августа 2026 года в г. Казани на базе Казанского (Приволжского) федерального университета.

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

Формат работы конференции очный, будут представлены пленарные, секционные и постерные доклады по актуальным направлениям развития и современным достижениям математической науки.

В приложении - информационное письмо о проведении конференции.

Подробная информация о мероприятии находится на официальном сайте конференции: https://mathcenter.kpfu.ru/mc-conf

По всем возникающим вопросам следует обращаться на почту оргкомитета по адресу: mcVI-conf@yandex.ru

📝 Первое информационное сообщение.pdf

➰ ВК

Без лишних слов, мы наконец готовы представить итоговую программу NEC.Большие Формы - ждём всех, событие обещает быть действительно большим!

Место: ГАУГН, Мароновский переулок, д. 26, аудитория 321.

Большие Формы. Записываться и Слушать