The International Laboratory for Logic, Linguistics and Formal Philosophy (LLFP) was founded on April 16, 2018 based on the results of the project competition for creating international laboratories at the Higher School of Economics for the period from April 2018 to December 2020.
The projects of LLFP:
2018 Formal Epistemology, Logics and Pragmatics of Agency in Rational Interactions
2019 Semantics and Pragmatics of Agency
2020 Models of rational agency in logic, linguistics and formal philosophy
2021 Interactive Rationality in Logic, Linguistics and Formal Philosophy
LLFP is an interdisciplinary centre of cooperation, where researchers in logic and linguistics come together to apply formal methods to solve conceptual problems, as well as develop integrative approaches, which can address key issues related to classical philosophy, such as truth, knowledge, substantiation, rationality and normativity.
LLFP includes three research groups:
- Philosophical Logic and Formal Philosophy Group;
- Mathematical Logic Group;
- Theoretical Linguistics and Philosophy of Language Group.
LLFP organizes each year Formal Philosophy Conference.
"Formal Philosophy 2021" Plenary Session Videos are Published
Videos of talks by Pavel Naumov, Itala M. Loffredo D’Ottaviano and Natasha Alechina are available!

Formal Philosophy 2021
On June 21-23, the International Conference "Formal Philosophy – 2021" was held, organized by the HSE International Laboratory of Logic, Linguistics and Formal Philosophy.
Natalia Zevakhina and Veronika Prigorkina participated at the 14th European Conference on Formal Description of Slavic Languages
On June 2, Natalia Zevakhina and Veronika Prigorkina presented the talk "Deriving Conditional Perfection in Russian: the role of negation, clause order and face" at the 14th European Conference on Formal Description of Slavic Languages (FDSL-14).
The new article of Ahti-Veikko Pietarinen
The article "Active Inference and Abduction" written by Ahti-Veikko Pietarinen and Majid D. Beni was published in the academic journal “Biosemiotics”.
The Laboratory Has Turned Three Years Old!
On April 16, a round table discussion dedicated to the triennial of the International Laboratory of Logic, Linguistics and Formal Philosophy was held.
Natalia Zevakhina gave a presentation at the 43rd Annual Conference of the German Linguistic Society (DGfS).
On February 25, Natalia Zevakhina gave a talk "Veridicality and cause-effect relation inindicative and subjunctive conditionals" at the Semantics and Pragmatics of Conditional Connectives Workshop which was held during the 43rd Annual Conference of the German Linguistic Society (DGfS).
The conference was organized online by University of Freiburg from 24 to 26 February.
The new article of Alexander Zapryagaev
The article "Multi-dimensional Interpretations of Presburger Arithmetic in Itself" written by Fedor Pakhomov and Alexander Zapryagaev was published in the academic journal “Journal of Logic and Computation”.
The Preliminary Defense of Dissertation
On December 18, the dissertation prepared by Jorge Luis Méndez Martínez on the topic “Logic and Phenomenology of Non-Visual Representation” has been successfully presented at the preliminary defense.
Dissertation Advisors of the Doctoral School of Philosophy accepted the thesis for defense.