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.
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.
Elena Dragalina-Chernaya gave an interview to the professor of UNICAMP (Campinas, Brazil) Walter Carnielli who is also the chairman of an advisory committee of the São Paulo School of Advanced Science on Contemporary Logic, Rationality, and Information (SPLogIC). The interview was published in JORNAL DA UNICAMP and is dedicated to the history of logic and its current development prospects.
On 31 October – 3 November 2022 , the International Conference "Formal Philosophy – 2022" was held, organized by the HSE International Laboratory of Logic, Linguistics and Formal Philosophy.
Videos of talks by Pavel Naumov, Itala M. Loffredo D’Ottaviano and Natasha Alechina are available!
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 article "Active Inference and Abduction" written by Ahti-Veikko Pietarinen and Majid D. Beni was published in the academic journal “Biosemiotics”.
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 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”.