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

Важные даты

• 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