Formal Philosophy 2022
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.
"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”.