Dates

31 October–3 November, 2022


Format

Hybrid


Language

English & Russian


The "Formal Philosophy" is an annual conference organized by the HSE International Laboratory for Logic, Linguistics and Formal Philosophy since 2018. In 2022, the Formal Philosophy conference will be held for the 5th time.

We are pleased to invite papers in:

  • philosophical logic
  • formal epistemology
  • formal ontology
  • philosophy of logic
  • epistemology of logic
  • formal ethics
  • other branches of formal and mathematical philosophy.

Important Dates

  • 21 October

    Submission Deadline

  • 24 October

    Notification of acceptance

Abstract submission and review

Abstracts are to be submitted exclusively via the EasyChair system.

The submitted materials will undergo a double-blind review. The Programme Committee reserves the right to reject abstracts that do not fit into the scope of the conference.

Authors are asked to submit an abstract up to 1000 words. 

Make a submission

Programme (GMT+3)

  • 31 October

    Chair: Elena Dragalina-Chernaya (14.00–16.00, 18.30–20.30), Vitaly Dolgorukov (16.30–18.00)

    13.50–14.00

    Opening

    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

    Coffee break / poster section (A-121)

    Nikita Churakov
    Ivan Slyusarev

    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

    Coffee break (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 November

    Chair: Vladimir Vasyukov (14.30–16.00, 18.30–19.30), Ivan Mikirtumov (16.30–18.00)

    14.30–15.00

    Ivan Mikirtumov (St. Petersburg State University), Imaginary de re: Counterpart and Agency (in Russian)

    15.00–15.30

    Alexey Kislov (UrFU), Correction of the Structure of the Deontic Universe with the "Standard" and "Strict" Versions of the Normative Characteristics of Actions (in Russian)

    15.30–16.00

    Rustem Galiev (independent researcher), Abstraction from Epistemic Constraints and Eternalism as Methods in Ontology (in Russian)

    16.00–16.30

    Coffee break / poster section (A-121)

    Georgy Cherkasov

    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

    Coffee break (A-121)

    18.30–19.30

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

  • 2 November

    Chair: Lolita Makeeva (14.00–16.00), Konstantin Shishov (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 (Moscow 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.30

    Coffee break / poster section (A-121)

    Irina Nikitina

    16.30–17.00

    Zinaida Sokuler (MSU), Distinguishing a sign and a symbol in "Tractatus Logico-Philosophicus" as a tool of philosophical analysis (in Russian)

    17.00–17.30

    Angelina Bobrova (RSUH), Rationalizing Abduction: Possibilities and Difficulties of its Formal Representation (in Russian)

    17.30–18.00

    Olga Shapiro (Voronezh State University), Is a "Quantum" Thinker Inconsistent? (in Russian)

    18.00–18.30

    Coffee break (A-121)

    18.30—19.00

    Kirill Krasnikov (MIREA — Russian Technological University), Some Ethical Norms Of Behavior: Mathematical Modeling Using Game-Theoretic Approaches (in Russian)

    19.00–19.30

    Daniil Gerk (MSU), Some conclusions from the theory of explication (in Russian)

    19.30–20.00

    Grigory Velmakin (MIPT), An attempt at strict formalization of Platonism (in Russian)

  • 3 November

    Chair: Vitaly Dolgorukov

    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

    Coffee break / poster section (A-121)

    Daniil Vasiliev

    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

    Coffee break (A-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

Contacts

For any further questions please contact organizing committee via llfp@hse.ru