International Conference “Formal Philosophy 2022”

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. 

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