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

Тема доклада: Расплывчатость и смутность в пространстве научного поиска: объективные предпосылки и субъективный опыт переживания.

Докладчик: А.Н. Поддьяков (НИУ ВШЭ).

Аннотация: Рассматривается роль неясных идей, понятий, образов, метафор в математике и естественно-научных областях. Обсуждается осмысление исследователями своих неясных и смутных идей (понятий, образов, метафор), возникающих в ходе научного поиска. Представлены два авторских автобиографических примера развития изначально не вполне ясных идей в области: а) этики; б) математики. Второй пример подтвержден историей публикаций с 2021 по 2026 г. с наблюдаемой пульсацией ясности и неясности развивающихся идей. Обсуждается динамика ясных и неясных знаний детей при столкновении с чем-то необычным на первых онтогенетических этапах развития мышления, исследовательского поведения и любознательности как источник значимых автобиографических воспоминаний взрослых исследователей (маленький Эйнштейн и компас - самый известный, но не единственный пример).
_____________________

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

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

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

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.

Семинар пройдет в среду 10 июня в 14:00.

Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.

Докладчик: С.М. Дудаков (ТвГУ, ВШЭ)

Название: Об определимости в 3-дереве

Аннотация.
Мы рассматриваем решётку определимости теории 3-дерева, то есть (бесконечного) неориентированного дерева, все вершины которого имеют степень 3. Единственным сигнатурным символом является двухместный предикат E, означающий наличие ребра. Рассматривается множество определимых в этой теории предикатов. Если предикат A может быть быть определён через предикат B, то предикат B можно рассматривать как «более выразительный». Это отношение «быть более выразительным» является предпорядком, поэтому профакторизовав его, мы получим отношение частичного порядка на классах предикатов, каждый из которых состоит из определимых друг через
друга предикатов.
Наш основной результат — для теории 3-дерева этот частичный порядок состоит всего из трёх элементов, соответствующих отношению равенства, отношению «находиться на расстоянии 2» и собственно отношению E, то есть исходному предикату.

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

Приглашаем вас на Однодневный семинар по математической логике, который пройдет 29 июня с 11:00 до 18:00.

На семинаре планируем заслушать несколько коротких докладов, отражающих прикладные аспекты математической логики в Computer Science и смежных науках. Сейчас математическая логика имеет всё больше приложений "в жизни": пруверы (системы автоматических доказательств); лямбда-исчисление, ставшее основой для функционального программирования; изучение естественных языков при помощи исчисления Ламбека; модальные логики используются для представления знаний и многое другое.

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

Программа семинара будет уточняться: https://cs.hse.ru/big-data/seminatfknlogic26

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

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

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.

Семинар пройдет в среду 24 июня в 14:00.

Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.

Докладчик: О.В. Сипачёва

Название: Ультрафильтры в топологической алгебре и общей топологии

Аннотация.

Будет представлен обзор некоторых вопросов топологической алгебры и общей топологии, в которых естественно возникают ультрафильтры, за период с 1955 по 2026 г. К числу таких вопросов относятся существование однородных компактов без сходящихся последовательностей, максимальные топологические пространства, существование максимальных и экстремально несвязных топологических групп, существование совместимых с операциями недискретных топологий на бесконечных группах, существование незамкнутых дискретных множеств в топологических группах и факторизация непрерывных отображений топологических пространств (групп) через непрерывные отображения (гомоморфизмы) в пространства (группы) со счётной базой. Многие рассматриваемые проблемы либо не решены, либо решены не до конца, и для продвижения в их решении весьма желательно доказательство существования или несуществования ультрафильтров со специальными свойствами. Для понимания доклада не требуется никаких специальных знаний.

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

💥Напоминаю о Молодёжном коллоквиуме. По сравнению с предыдущим объявлением, в программу добавлен мини-курс А.А. Разборова «Теория сложности доказательств».

Молодёжный коллоквиум по математической логике и её приложениям (31 августа–4 сентября 2026 г., МИАН, Москва, ул. Губкина, 8, www.mathnet.ru/conf2744)

🧠Цель коллоквиума — познакомить молодых исследователей, включая студентов и аспирантов, с перспективными направлениями развития математической логики и предоставить им возможность выступить с докладами по результатам своих исследований. Параллельно с выступлениями молодых исследователей в рамках коллоквиума планируется чтение нескольких мини-курсов (по 2–3 лекции каждый), ориентированных на широкую аудиторию:
⚡Искандер Шагитович Калимуллин (КФУ, https://kpfu.ru/Iskander.Kalimullin): Теорема рекурсии и критерии полноты
⚡Александр Александрович Разборов (МИАН, U. Chicago, https://www.mathnet.ru/rus/person8770): Теория сложности доказательств
⚡Алексей Леонидович Таламбуца (МИАН, https://www.mathnet.ru/person/20324): Алгоритмические проблемы для матричных полугрупп
⚡Валентин Борисович Шехтман (МФТИ, https://www.mathnet.ru/person/37158): Семантики модальных предикатных логик

К участию с докладом приглашаются молодые исследователи, в том числе студенты и аспиранты, при соблюдении следующих условий:
👉 возраст докладчика на момент начала коллоквиума — до 39 лет включительно;
👉 очный доклад (вместе с тем онлайн-участие без доклада будет возможно);
👉 тезисы доклада должны быть оформлены в соответствии с прилагаемым шаблоном (https://disk.yandex.ru/d/Jc8n3g_vF3tEng), иметь объём от одной до двух страниц, включая список литературы, и содержать ясную формулировку основных результатов.

✅Для подачи тезисов просьба использовать регистрационную форму (https://forms.yandex.ru/u/69c699d5902902d410ad120b). Решение о принятии или отклонении тезисов принимает оргкомитет. Допускаются доклады по работам в соавторстве при условии, что очный докладчик удовлетворяет условию 1 выше. Участвовать без доклада могут все желающие, как очно, так и дистанционно; онлайн-подключение планируется организовать через Контур.Толк.

‼Важнейшие даты
регистрация на участие с докладом — не позднее 01.08.2026
регистрация на участие без доклада — не позднее 26.08.2026
даты проведения: c 31.08.2026 по 04.09.2026
Решения о принятии или отклонении тезисов принимаются в течение 10 рабочих дней с момента подачи.

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

Срок подачи заявок на участие с докладом на Молодёжном коллоквиуме по математической логике и её приложениям продлён до 9 августа!

Информация о коллоквиуме в посте.

Ссылка для регистрации: https://forms.yandex.ru/u/69c699d5902902d410ad120b

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

Международная конференция «Novikov-125», посвящённая 125-летию со дня рождения П.С. Новикова, пройдёт с 24 по 28 августа 2026 г. в Математическом институте им. В.А. Стеклова Российской академии наук (Москва, ул. Губкина, д. 8).

«Новиков-125» — это конференция, посвящённая 125-летию со дня рождения Петра Сергеевича Новикова, который известен своим выдающимся вкладом в алгебру, дескриптивную теорию множеств и теорию доказательств, а также является одним из основателей Московской школы математической логики. Конференция будет покрывать широкий спектр тем в области теории множеств, теории доказательств, алгебры, алгоритмических проблем и теории вычислимости. Программа будет состоять из приглашённых докладов, включая три пленарных исторических доклада, посвящённых работам П.С. Новикова.

Страница конференции.

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

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

Молодёжный коллоквиум по математической логике и её приложениям начинается в ближайший понедельник, 31 августа. Место: МИАН, Москва, ул. Губкина, 8, ауд. 104 (1-й этаж). Начало в 9:45.

Расписание: https://www.mathnet.ru/ConfLogos/2744/Colloq.pdf

Электронный сборник тезисов будет опубликован на странице коллоквиума (https://www.mathnet.ru/rus/conf2744) в ближайшее время.

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

30.11.2026-04.12.2026 Тверской государственный университет проводит вторую Всероссийскую научную конференцию "Математические основы информатики и
информационно-коммуникационных систем". Она будет посвящена 90-летию со дня рождения М.А.Тайцлина и 80-летию со дня рождения М.И.Дехтяря.

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

Срок подачи заявок на участие с докладом - до 11 октября 2026 года включительно.

Более подробная информация содержится в приложенном информационном письме, а также доступна по адресу

https://mfcsics.tversu.ru/

#матлог #учёба #спецкурс

В осеннем семестре 2026/2027 учебного года Николай Константинович Верещагин прочитает спецкурс на английском языке "Коды с исправлением ошибок" https://scs.math.msu.ru/ru/node/17492.

Спецкурс будет читаться по понедельникам с 10:45 до 12:20, аудитория 1613. Первая лекция - 7 сентября.

Страничка курса в Телеграме https://t.me/+7w1cLI5fA9Q1ZmYy

Рекомендуемая литература по спецкурсу: А. Ромащенко, А. Румянцев и А. Шень, Заметки по теории кодирования, МЦНМО, 2011.

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

Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk

07.09.2026 Тихон Пшеницын (МИАН, https://www.mathnet.ru/person189359):
Аспекты сложности линейной логики и ее инфинитарных расширений

В докладе будет представлен обзор результатов докладчика о различных сложностных характеристиках субструктурных логик.

Первая серия результатов посвящена расширениям исчисления Ламбека с помощью итерации Клини, аксиоматизированной с помощью инфинитарного правила. Показано, что алгоритмическая задача доказуемости для некоторых таких расширений принадлежит гиперарифметической иерархии, а именно — является \Sigma^0_{\omega^\omega}-трудной (эта оценка является точной). Установлена также точная нижняя оценка \omega^\omega на замыкающий ординал для инфинитарной логики действий, что дает ответ на вопрос из статьи (Kuznetsov, Speranski 2022).

Вторая серия результатов связана с характеризацией сложности субструктурных логик методами теории формальных языков. Субструктурные логики лежат в основе категориальных грамматик — одного из подходов в теории формального синтаксиса. Как показал М.Р. Пентус, категориальные грамматики над исчислением Ламбека задают в точности контекстно-свободные языки без пустого слова. В статьях (Buszkowski, 1984), (van Benthem, 1991) был поставлен вопрос, верен ли аналогичный результат для коммутативных грамматик Ламбека, то есть категориальных грамматик над мультипликативным фрагментом интуиционистской линейной логики. На этот вопрос дается отрицательный ответ, а также устанавливается ряд свойств класса языков, задаваемых коммутативными грамматиками Ламбека, в том числе с использованием недавних результатов из статьи (Bizière, Leroux, Sutre 2026).

#матлог #учёба #спецсеминар

Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)

7 September, 18:30 MSK (17:30 Paris time)

Nikolay Vereshchagin will talk on

Matching Rules for Substitution and Hierarchical Tilings for any Substitution with Finite Local Complexity

The Goodman-Strauss theorem states that for “almost every” substitution τ, the family of substitution tilings is sofic, that is, it can be defined by local matching rules for some decoration of tiles. The conditions on the substitution that guarantee the soficity are quite complicated in the statement of the theorem. In this paper we propose a version of the Goodman-Strauss theorem with very simple conditions on the substitution: the family of substitution tilings must have finite local complexity (FLC), that is, the number of crowns that appear in τ-supertiles is finite. Like the original theorem, our theorem provides matching rules for all known substitution tilings.
We also prove a similar theorem for the family of hierarchical tilings associated with the given substitution. A tiling is called τ -hierarchical if it has a composition under τ, such that this composition also has a composition, and so on, infinitely many times. Every substitution tiling is hierarchical, but the converse is not always true.

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

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

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

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

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

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

#матлог #учёба #спецкурс

В этом семестре Н.К. Верещагин прочтет курс "Теория информации" на мехмате МГУ (для студентов, магистрантов и аспирантов). https://scs.math.msu.ru/ru/node/17452

Чат курса в телеграмме: https://t.me/+bIR53NvrzrM2NTYy

Спецкурс читается по четвергам 16:45 - 18:20 в ауд. 405. Первая лекция 10 сентября. При желании слушателей лекции можно перенести в онлайн на платформу Zoom.

Краткое описание курса:

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

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

Институт математики им. С.Л. Соболева СО РАН (https://math.nsc.ru/) и Математический центр в Академгородке (https://www.nsu.ru/n/mca/) организуют традиционную международную конференцию "МАЛЬЦЕВСКИЕ ЧТЕНИЯ". В этом году она посвящена 75-летию академика РАН Сергея Савостьяновича Гончарова. Конференция пройдет в ИМ СО РАН (Новосибирск) с 9 по 14 ноября 2026 г.

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

Научная программа конференции будет состоять из пленарных докладов по приглашению и сообщений в секциях. Программный комитет возглавляет академик РАН Ю.Л. Ершов.

Чтобы зарегистрироваться для участия в конференции, необходимо заполнить форму на сайте конференции (https://docs.google.com/forms/d/e/1FAIpQLSe79qJNQ8L9k8VnscQpbTxcI1S48iGnBt-gCEFQNESsVUFlAg/viewform). В случае возникновения проблем при регистрации вы можете связаться с организаторами через электронную почту.

По традиции выступления на конференции приравниваются к выступлению на семинаре "Алгебра и логика", т.е. изложенные результаты могут быть представлены к публикации в журнале "Алгебра и логика" (https://alglog.org/). Правила оформления тезисов стандартные: не более 1 страницы в LaTeX по образцу на русском (http://old.math.nsc.ru/conference/malmeet/26/sample_rus.tex) или английском языке (http://old.math.nsc.ru/conference/malmeet/26/sample_eng.tex). Тезисы проходят рецензирование. Их следует отправлять по электронной почте malmeet@math.nsc.ru с указанием секции, в которой они будут рассматриваться. В качестве названия файла следует использовать фамилию автора (на том же языке, что и тезисы).

Организаторы могут предложить размещение участников в гостинице "Золотая долина" и гостинице НГУ.

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

Основные даты:
✅регистрация до 25 октября
✅прием тезисов докладов до 25 октября
✅извещения о принятии/отклонении тезисов докладов до 1 ноября
✅прием заявок на размещение до 25 октября
✅приезд участников 8-9 ноября
✅работа конференции 9-14 ноября
✅отъезд участников 14-15 ноября

Информация о конференции доступна по адресу
http://old.math.nsc.ru/conference/malmeet/26/index.html

С любыми вопросами Вы можете обращаться по электронной почте malmeet@math.nsc.ru

#матлог #учёба #спецкурс #спецсеминар

В осеннем семестре 2026 г. в Научно-образовательном центре Математического института им. В. А. Стеклова РАН (ул. Губкина, 8) будут читаться следующие курсы по математической логике и смежным темам:

✏Алгоритмические вопросы алгебры — д. ф.-м. н. И. Г. Лысенок, понедельник, 18:15, ауд. 104, первая лекция 14 сентября
✏Топосы и логика — д. ф.-м. н. В. Б. Шехтман, к. ф.-м. н. Д. С. Шамканов, вторник, 16:00, ауд. 530, первая лекция 15 сентября
✏Комбинаторика слов и переписывающие системы — асп. Т. Г. Пшеницын, к. ф.-м. н. А. Л. Таламбуца, пятница, 16:00, ауд. 430, первая лекция 18 сентября [лекции 18.09, 25.09 и 02.10 пройдут в ауд. 530]

Продолжают работу семинары:
✏Logic Online Seminar / «Теория доказательств» (рук. Л. Д. Беклемишев, С. Л. Кузнецов, С. О. Сперанский),
✏Рабочий семинар по математической логике (рук. С. Л. Кузнецов, С. О. Сперанский)
✏семинар «Геометрическая теория групп» (рук. И. Г. Лысенок, А. Л. Таламбуца).

❗В связи с ремонтом в здании Математического института возможен временный перенос занятий НОЦ в другие аудитории! Следите за информацией на страницах курсов и семинаров НОЦ.

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

#матлог #учёба #спецсеминар

Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)

14 September, 18:30 MSK (17:30 Paris time)

Nikolay Vereshchagin will continue his talk about tilings and the Goodman-Strauss theorem.

Видеозапись семинара 7 сентября: https://youtu.be/AVWn2w5xioE
Что такое подстановки и подстановочные замощения. Давние мечты о локальных правилах (возможно, в большем алфавите), порождающих все иерархические замощения или хотя бы их часть.

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

Возобновляет работу семинар им. В.А. Успенского "Некоторые применения математических методов в языкознании"!

Обратите внимание на новое время семинара: он будет проходить по вторникам в 18:00.

Во вторник 15 сентября в Институте языкознания РАН (с возможностью подключения онлайн) состоится доклад Н. В. Лукашевич "Предвзятость в LLM: национальности и государства".

Время: 15 сентября, 18:00-19:30.
Место: Институт языкознания РАН, Большой Кисловский пер., 1, стр. 1, конференц-зал. Для прохода необходимо зарегистрироваться по ссылке ниже и взять с собой паспорт.
Ссылка для регистрации: https://forms.gle/ZWWjdZJqhKSgsCox7

Анонс:
Проблема предвзятости больших языковых моделей достаточно хорошо известна.
Выделяют большое количество разных типов предвзятостей, для преодоления которых используется специальная процедура дообучения — alignment. В докладе будет рассмотрен тип предвзятости, который относительно менее известен — предвзятость по отношению к странам и народам. Мы рассмотрим метод построения модели, которая выявляет предвзятость (guard model), а также подход к дообучению моделей для снижения выявленной предвзятости.

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

#матлог #учёба #спецсеминар

16 сентября 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского.

Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533

Д.С. Трофимов (МГУ)

О доказательственной интерпретации монотонной логики Гёделя–Лёба

Аннотация:

Недавно В.И. Данилов обнаружил неожиданные связи между структурами, возникающими в математической экономике, и монотонными окрестностными шкалами, на которых общезначима аксиома Лёба: $\Box (\Box p \to p) \to \Box p$. Это привело к формулировке монотонного варианта логики $GL$, в котором аксиома нормальности заменена на более слабое правило монотонности. Соответствующая логика, обозначаемая через $mGL$, в дальнейшем изучалась Л.Д. Беклемишевым, В.И. Даниловым и Д.С. Шамкановым. В частности, Л.Д. Беклемишев предложил интерпретировать выражение $\Box \varphi$ над этой логикой как утверждение о доказуемости $\varphi$ в хотя бы одной из нескольких фиксированных арифметических теорий [см. https://www.mathnet.ru/rus/present50573]. Автором доклада доказано, что: 1) $mGL$ аксиоматизирует логику распределенной доказуемости для счётного числа независимых модальностей, удовлетворяющих аксиомам $GL$; 2) логика, отвечающая нескольким перечислимым предикатам доказуемости, оказывается строго более сильной, чем $mGL$. Кроме того, получена аксиоматизация для случая неограниченного числа предикатов доказуемости, а также установлена разрешимость соответствующего расширения $mGL$.

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

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.

Семинар пройдет в среду 16 сентября в 14:00.

Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.

Докладчики: И.Горбунов, М.Рыбаков

Название: Минимальная вполне-определённая логика и её теории.

Аннотация:

Понятие вполне-определённой логики (well-determined logic) было введено Р.Вуйцицким. Так он назвал логики, которые обладают слабым дедуктивным свойством (т.е. для них выполняется слабая теорема о дедукции) и свойством конъюнкции. Слабая теорема о дедукции заключается в том, что каждой секвенции логики сопоставлена некоторая её тавтология специального вида. Вполне-определёнными логиками являются, например, все суперинтуиционистские логики.

Содержательно, вполне-определённые логики выражают присущее им логическое следование с помощью своих тавтологий. Благодаря устройству таких логик, для их задания можно не требовать семантики с сильной полнотой, достаточно иметь слабую полную семантику, т.е. полную семантику для множества их тавтологий. Множество тавтологий вполне-определённой логики Р.Вуйцицкий назвал дедуктивным множеством, им же был найден критерий дедуктивности.

В ходе исследований вполне-определённых логик в сигнатуре {∧, →} авторами были получены следующие результаты:
👉найден эффективный критерий дедуктивности множества формул;
👉найдена аксиоматика минимальной вполне-определённой логики W;
👉построена характеристическая семантика логики W;
👉доказано, что множество тавтологий логики W не является ни табличным, ни локально табличным, но обладает свойством конечных моделей;
👉доказана полиномиальная разрешимость множества тавтологий логики W;
👉описана сложность конечно аксиоматизируемых теорий логики W.

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

Эти вопросы и будут затронуты в докладе.

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

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

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

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

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

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

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

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