Даты

31 октября–3 ноября 2022


Место проведения

г. Москва, ул. Старая Басманная,  д. 21/4, ауд. 204 + Zoom


Языки

английский и русский


«Формальная философия» – ежегодная международная конференция, которую организует Международная лаборатория логики, лингвистики и формальной философии c 2018 года. В 2022 конференция «Формальная философия» пройдет в 5-й раз.

Конференция посвящена обсуждению проблематики:

  • философской логики
  • формальной эпистемологии и эпистемической логики
  • формальной онтологии
  • философии логики
  • математической логики и филоcофии математики

Важные даты

  • 21 октября

    Последний день приёма заявок

  • 24 октября

    Уведомление участников о приёме

Процедура подачи заявок

Заявки принимаются через EasyChair.

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

Формат заявки: не более 1000 слов.

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

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

Подать заявку

Организационный комитет

Запрягаев Александр Александрович

Шишов Константин Васильевич

Программа

  • 31 октября

    Председатели секций: Елена Драгалина-Черная (14.00–16.00, 18.30–20.30), Виталий Долгоруков (16.30–18.00)

    13.50–14.00

    Открытие

    14.00–15.00

    Denis Bonnay Charles Beniac (Université Paris Nanterre), What Language Models Know about Logic

    15.00–15.30

    Ludovica Conti (School for Advanced Studies IUSS Pavia), Weak Invariance and Arbitrary Logicism 

    15.30–16.00

    Siddhant Khamkar (Indian Institute of Technology Bombay), Quinean Translation & The Problem of Deviant Logics

    16.00–16.30

    Кофе-брейк / постерная секция  (A-121)

    • Никита Чураков
    • Иван Слюсарев
    16.30–17.00

    Giacomo Andreoletti (School of Advanced Studies, University of Tyumen), Tense Logic and the Open Future

    17.00–17.30

    Alan René Antezana (State University of Campinas), Non-classical Ontology for Quantum Objects

    17.30–18.00

    David Thorstad (University of Oxford), High Risk, Low Reward: A Modeling Challenge to the Astronomical Importance of Existential Risk Mitigation

    18.00–18.30

    Кофе-брейк (A-121)

    18.30–19.30

    Lev Beklemishev (Steklov Mathematical Institute), On Kreisel's Explication of the Concept of Finitism

    19.30–20.30

    Gila Sher (University of California), Truth, Realism, and Discovery in Logic

  • 1 ноября

    Председатели секций: Владимир Васюков (14.30–16.00, 18.30–19.30), Иван Микиртумов (16.30–18.00)

    14.30–15.00

    Иван Микиртумов (СПбГУ), Имагинативное de re: двойничество и агентность

    15.00–15.30

    Алексей Кислов (УрФУ), Коррекция структуры деонтического универсума со «стандартными» и «строгими» версиями нормативных характеристик действий

    15.30–16.00

    Рустем Галиев (независимый исследователь), Абстрагирование от эпистемических ограничений и этернализм как методы в онтологии

    16.00–16.30

    Кофе-брейк 

    16.30–17.00

    Elena Lisanyuk (St Petersburg State University, HSE University), Liars in Argumentation Logic

    17.00–17.30

    Alex Shkotin (ACM ICS), English is a HOL language

    17.30–18.00

    Vladimir Vasyukov (RAS Institute of Philosophy, HSE University), Logic of momentariness

    18.00–18.30

    Кофе-брейк (А-121) / Постерная секция

    • Георгий Черкасов
    18.30–19.30

    Itala D'Ottaviano (State University of Campinas), Baptizing Paraconsistent Logic: the unique touch of Miró Quesada

  • 2 ноября

    Председатели секций: Лолита Макеева (14.00–16.00),  Константин Шишов (16.30–20.00)

    14.00–14.30

    Valeriia Kudriashova (HSE University), Propositions and Propositional Knowledge in E. Sosa’s Epistemic Logic

    14.30–15.00

    Valerii Shevchenko (HSE University), Equilibrium Emergence as a Core Problem of Social Ontology  

    15.00–15.30

    Svetlana Kuskova (Moscov Institute of Psychoanalysis), The role of abstractions in metaphysics A.N. Whitehead  

    15.30–16.00

    Arnold Grigorian (HSE University), Theory Сhoice for Modal Metaphysics

    16.00–16.45

    Кофе-брейк

    Ангелина Боброва (РГГУ), Рационализируя абдукцию: возможности и сложности ее формальной репрезентации 

    16.45–17.30

    Зинаида Сокулер (МГУ), Различение знака и символа в «Логико-философском трактате» как инструмент философского анализа

    17.30–18.00

    Ольга Шапиро (Воронежский государственный университет), Противоречив ли «квантовый» мыслитель?

    18.00–18.30

    Кофе-брейк (А-121)

    18.30—19.00

    Кирилл Красников (МИРЭА — Российский Технологический Университет), Математическое моделирование этических принципов с помощью теоретико-игровых подходов

    19.00–19.30

    Даниил Герк (МГУ), Ряд выводов из теории экспликаций

    19.30–20.00

    Григорий Вельмакин (МФТИ), Попытка строгой формализации платонизма 

  • 3 ноября

    Председатель секции: Виталий Долгоруков

    14.00–14.30

    Fabien Schang (independent researcher), Why "every thing" is not "everything" (among other "thing" 's)

    14.30–15.00

    Denis Fedyanin (HSE University), A Multiagent Scaling of the Sally-Ann Test and a Part of a Logical Framework for it

    15.00–15.30

    Elena Popova (HSE University, MIPT), Temporal Epistemic Logic for Agents with Minimum Delay in Awareness  

    15.30–16.00

    Alexandra Pavlova (Vienna University of Technology), Provability Games for Non-classical logic

    16.00–16.30

    Кофе-брейк / постерная секция (А-121)

    • Ирина Никитина
    16.30–17.00

    Stepan Kuznetsov (Steklov Mathematical Institute RAS), Algorithmic Complexity for Extended Lambek Grammars

    17.00–17.30

    Yaroslav Petrukhin (Institute for Information Transmission Problems RAS), Paraconsistent versions of Visser's logics

    17.30–18.00

    Alexander Belikov (MSU) A Simple Way to Overcome Hyper-Connexivity

    18.00–18.30

    Кофе-брейк (А-121)

    18.30–19.00

    Hayden Wilkinson (University of Oxford), Flummoxing expectations

    19.00–19.30

    Sophia Kimiagari (University of Calgary), Logical Nihilism: Where the Disagreement Stems from  

    19.30–20.00

    Alan René Antezana (State University of Campinas), Non-classical Ontology for Quantum Objects

Постерная секция

  • Никита Чураков (НИУ ВШЭ), Теорема Аумана и ее интерпретация
  • Иван Слюсарев (МГУ), Дисплейные исчисления: описание базовых свойств
  • Георгий Черкасов (МГУ), Две трактовки экзистенциального утверждения об абстрактных объектах и их значение для оценки экономности (минималистичности) номинализма/платонизма
  • Ирина Никитина (НИУ ВШЭ), Этернализм и презентизм: ветвящееся время

Контакты

По всем вопросам можете писать на почту llfp@hse.ru