Даты
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 Objects17.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