• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Международная конференция «Формальная философия 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)

  • 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 и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.