Cеминар «Нестандартные логики» им. Л. Л. Максимовой

Архив семинара

22 октября 2026 г.

М. П. Сербский (ММФ НГУ)
Опыты прочтения "Логико-философского трактата" Людвига Витгенштейна.

Аннотация

В ходе доклада мы попытаемся посмотреть на "Трактат" с нескольких сторон:

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

15 октября 2026 г.

О. А. Доманов (ИФИП СО РАН)
Генеративный ИИ и проблема следования правилу.

Аннотация

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

01 октября 2026 г.

Николай Вячеславович Шилов (преподаватель Лицея 22 "Надежда Сибири" и Институт систем информатики СО РАН, Новосибирск)
Путеводитель (для начинающих) по стране Формальной Семантики Программ.

Аннотация

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

24 сентября 2026 г.

М. Н. Рыбаков (Тверь, Москва)
Логики для описания вычислений: синтаксис, семантика, сложность.

Аннотация

Доклад посвящён логикам, предназначенным для формального описания свойств вычислительных процессов, – прежде всего динамическим пропозициональным логикам (PDL, DPDL, IPDL и др.), а также таким темпоральным логикам как LTL (linear-time temporal logic), CTL (computation tree logic) и ATL (alternating-time temporal logic). Будут даны синтаксические и семантические описания этих логик, и особое внимание будет уделено сложности проблемы разрешения: будут приведены оценки сложности как для логик в полном языке, так и для различных их фрагментов (в том числе с ограниченным числом переменных). При этом предполагается обсудить не только разрешимые, но и неразрешимые проблемы, а также идеи, лежащие в основе сложностных оценок. Все необходимые определения будут даны.

17 сентября 2026 г.

М. И. Кудряшова (НГУ)
Декартово замкнутые категории $T_0$-пространств с аппроксимациями.

Аннотация

Ю. Л. Ершов установил декартову замкнутость категории $\Delta$-пространств, как рефлексивных подпространств декартово замкнутой категории $\Delta^d$-пространств. Используя похожий подход мы устанавливаем декартову замкнутость некоторых других полных подкатегорий в $Top_0$.

28 мая 2026 г.

А. А. Харитонов (НГУ)
Динамическая логика с продолжениями (окончание).

Аннотация

В докладе будет представлено описание модуля $G0$, предложенного в оригинальной работе [de Groote, 2006] и получившего развитие до $G$ (и далее) в диссертации "Expressing discourse dynamics through continuations" (Ekaterina Lebedeva, 2016). Будет обсуждаться предлагаемый способ отделения пропозиционального содержания и контекста, благодаря чему значения выражений естественного языка при необходимости могут трактоваться как функции от контекста, а дискурсивная динамика — включая анафорические связи и другие прагматические явления — моделироваться при помощи механизма "продолжений" (continuations).

21 мая 2026 г.

А. А. Харитонов (НГУ)
Динамическая логика с продолжениями.

Аннотация