Международная конференция «Формальная философия 2025»
О конференции
«Формальная философия» – ежегодная международная конференция, которую организует Международная лаборатория логики, лингвистики и формальной философии. В 2025 конференция пройдет в 8-й раз (о прошедших конференциях). Конференция посвящена обсуждению проблематики философской логики, формальной эпистемологии, эпистемической логики, формальной онтологии, аналитической метафизики, философии логики, математической логики, филоcофии математики, а также другим аспектам формальной философии. После конференции пройдет ассоциированное мероприятие – Летняя школа "Логика, лингвистика и формальная философия" (30 июня – 4 июля 2025).
Даты конференции: с 23 по 26 июня 2025
Место проведения: г. Москва, ул. Старая Басманная, д. 21/4, А-307 + Zoom
Формат: гибридный (возможно как очное, так и дистанционное участие)
Рабочие языки: русский и английский
Приглашенные докладчики
Программа / Programme
Московское время / Moscow Time Zone (UTC+03:00)
-
23 июня / June 23
А-307
14.00–15:00
РЕГИСТРАЦИЯ И ОТКРЫТИЕ / REGISTRATION & OPENING
15:00–16:00 Chair: Walter Carnielli
Sergei Odintsov (Sobolev Institute of Mathematics), Weak and Strong Definability in FDE-based Logics
16:00–17:00
Lev Beklemishev (Steklov Mathematical Institute), On Formal Systems Proving Their Own Consistency
17:00–17:30 A-323
КОФЕ-БРЕЙК / COFFEE BREAK
17:30–18:30 Chair: Elena Dragalina-Chernaya
Walter Carnielli (University of Campinas), Paraconsistency, Evidence, and Probability – The Research Program around the Logics of Evidence and Truth
18:30–19:30
Marcelo Esteban Coniglio (University of Campinas), An AGM-like Paraconsistent Belief Revision System based on Epistemic Entrenchment
19:30–20:00 A-323
КОФЕ-БРЕЙК / COFFEE BREAK
20:00–21:00 (2:00–3:00 PM BRT)
Itala Maria Loffredo D'Ottaviano (University of Campinas), Translations between Logics (online)
-
24 июня / June 24
А-307
11:00–12:00 Chair: Vitaliy Dolgorukov
Ivan Mikirtumov (HSE University), Immediate and Naive Metaphysics
12:00–12:30
Daria Popova (HSE University), Multi- vs. Unidimensional Semantics for Discourse Asymmetry in Constructions with Propositional Verbs
12:30–13:00
Ivan Sobolev (HSE University), Semantics-Pragmatics Frontier: Pragmatic Enrichments and Use-conditional Meaning
13:00–15:00
ПЕРЕРЫВ / BREAK
15:00–15:30 Chair: Ivan Mikirtumov
А.А.Оноприенко (НИУ ВШЭ), Интуиционистская эпистемическая логика с точки зрения классической
15:30–16:00
Andrei Kudinov (Moscow Institute of Physics and Technology), Epistemic Logics for Agents with Rule Application Constraints
16:00–16:30
Elena Dragalina-Chernaya (HSE University), Abstract Logics as Classifications of Abstract Structures
16:30–17:00
Sayantan Roy, Abstract Model Structures and the Compactness Theorem (online), co-authors: S.Basu (Indraprastha Institute of Information Technology), M. Chakraborty (Jadavpur University)
17:00–17:30 A-323
КОФЕ-БРЕЙК / COFFEE BREAK
17:30–18:00
Ilenia Amitrano (Università di Siena), Sense, Absurdity, and Nonsense: On the Philosophical Foundations of Logicality (online)
18:00–18:30
-
25 июня / June 25
А-307
11:00–11:30 chair: Vitaliy Dolgorukov
А.С. Чернавский (МПГУ), И.Н. Зырянова (Байкальский государственный университет), Потенциал и актуальные возможности создания нового универсального метаязыка для коммуникации с AI в контексте развития Large Concept Models З (онлайн)
11:30–12:00
А.C. Пиманов (ИФ РАН), Расширение систем временной логики В.А. Смирнова в контексте детерминизма
12:00–12:30
И.В. Зайцев (НИУ ВШЭ), Формулировка отмеченного секвенциального исчисления для базовой интуиционистской кондициональной логики с допустимым аддитивным правилом сечения
12:30–13:00
Ю.С. Казаков (НИУ ВШЭ), Семантическая загрязнённость доказательственных систем
13:00–15:00
ПЕРЕРЫВ / BREAK
15:00–15:30 Chair: Anna Moiseeva
Л.Ю. Девяткин (ИФ РАН), Проблема определения понятия паранепротиворечивости
15:30–16:00
А.А.Тимохин (МГУ), Адекватные алгебраические семантики для мезоконнексивной логики MeC
16:00–16:30
Vladimir Stepanov (Dorodnicyn Computing Centre of FIC CSC RAS), Dynamic Approximation for a Self-Referential Sets
16:30–17:00
Mikhail Smirnov (HSE University, Financial University), Against Philosophical Justification of Paraconsistent Logics
17:00–17:30 A-323
КОФЕ-БРЕЙК / COFFEE BREAK
17:30–18:30 (11:30 AM – 12:30 PM BRT) chair: Elena Dragalina-Chernaya
Fábio Maia Bertato (University of Campinas), Logical Analysis of the Concept of Goodness: A Ground for Formal Ethics (online)
-
26 июня / June 26
А-307
11:00–11:30 chair: Vitaliy Dolgorukov
К. И. Александров (НИУ ВШЭ), Сложность линейно аппроксимируемых расширений базисной пропозициональной логики Виссера
11:30–12:00
Daniyar Shamkanov (Steklov Mathematical Institute, HSE University), Cyclic Proofs in Peano Arithmetic, co-authors: L.Beklemishev (Steklov Mathematical Institute), I.Smirnov (Steklov Mathematical Institute)
12:00–12:30
Ajay Mohan (University of Calicut), Neutrality of Logic and the Formal Structure (online)
12:30–13:00
J. J. Snodgrass (University of St. Andrews), Co-intensional Properties and Classificatory Propositions (online)
13:00–15:00
ПЕРЕРЫВ / BREAK
15:00–15:30 Председатель: Ангелина Боброва
А.Ю. Моисеева (НИУ ВШЭ), «Интенциональное тождество» в контексте рассуждений о фикциях
15:30–16:00
Г.А. Золотков (НИУ ВШЭ, Финансовый университет), Природа и метод философии в "Большой машинописной рукописи" (TS 213) Л. Витгенштейна
17:00–17:30 A-323
КОФЕ-БРЕЙК / COFFEE BREAK
19:30–19:50
А.С.Боброва, Презентация компьютерной программы для работы с экзистенциальными графами Ч.С. Пирса
19:50–20.00
ЗАКРЫТИЕ
Программа круглого стола «Проблема нормативности в моделировании рассуждений»
- И.А. Никитина (НИУ ВШЭ), Моделируя коллективное действие: между реальностью и desiderata.
- А.Н. Поддьяков (НИУ ВШЭ), Мнение представителей гуманитарных и точных наук о решениях задач на нетранзитивность превосходства.
- А.С. Боброва (РГГУ, НИУ ВШЭ), Особенности оценки «базового» кондиционала в зависимости от типа описываемого им объекта.
- В.В. Долгоруков (НИУ ВШЭ), Е.Л. Попова (НИУ ВШЭ), Эвиденциалы с точки зрения APAL и GAL.
- Д.Н. Федянин (ИПУ РАН, НИУ ВШЭ), Использование динамической эпистемической логики и алгоритмов машинного обучения для исследования социальных аспектов различия нормативных и дескриптивных убеждений.
- Е.Н. Лисанюк (ИФ РАН, НИУ ВШЭ), Логические и когнитивные аспекты демаркации аргументов к авторитету и к экспертному мнению.
Круглый стол проводится при поддержке РНФ «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» No 23-18-00695.
Программа постерной секции
- Эмиль Рахманкулов (НИУ ВШЭ), Теория категорий как основание лексикона универсального философского языка Дж. Дальгарно
- Yulia Kopcheva (HSE University), Modification of Axioms on Positivity in Kurt Gödel’s Ontological Proof
- Катерина Волынская (НИУ ВШЭ), Природа знака в нотации Пирса и танцевальная нотация Фейе: возможна ли единая танцевальная нотация?
Важные даты
-
25 мая 2025
завершение приема заявок
-
27 мая 2025
уведомление о принятии
-
30 мая 2025
подтверждение участия
-
23 – 26 июня 2025
конференция
-
30 июня – 4 июля 2025
Летняя школа "Логика, лингвистика и формальная философия"
Заявки
- Формат файла: .pdf или .tex
- Объем: не более 8 000 знаков
- Язык заявки: русский или английский
- Формат доклада: устный или постерный
- Для прохождения процедуры слепого рецензирования, пожалуйста, убедитесь, что в тексте заявки нет идентифицирующей информации
Регистрация
Контакты
По вопросам можно обращаться на почту лаборатории llfp@hse.ru
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.