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.
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.
Logical aliens and where to find them: the new article of Gala Maksudova-Eliseeva
The article "Logical aliens and where to find them" written by Gala Maksudova-Eliseeva was published in the academic journal “Logical Investigations”.
Talks at the conference "HOMO LOQUENS"
On December 3, Vladimir L. Vasyukov and Irina Kirilova presented their papers, "Postnonclassical Universal Logic" and "Normativity of Logic and Probability Theory in the Analysis of Everyday Conditional Reasoning", respectively at the Second conference "HOMO LOQUENS: Logic-Language-Culture". The conference was organized by the Immanuel Kant Baltic Federal University.
Formal Philosophy 2020
The International Laboratory for Logic, Linguistics and Formal Philosophy has organized the International Conference "Formal Philosophy" for the third time in 2020. The conference was held online on November 16-18
Music as Driver for Research
This November, Jorge Luis Méndez Martínez, Research Assistant at the HSE International Laboratory for Logic, Linguistics and Formal Philosophy presented his report on Acoustic Mereotopolgy at the research seminar ‘From the Logical Point of View’. HSE News Service has talked to Mr Méndez Martínezabout his research interests and living and working in Moscow.
Natalia Zevakhina and Veronika Prigorkina gave a presentation at the 11th International Conference of Experimental Linguistics
On October 14, Natalia Zevakhina and Veronika Prigorkina presented the paper "Quantity inferences in conditionals: a pilot experimental study" at the 11th International Conference of Experimental Linguistics, ExLing2020.
Andrei Rodin gave a talk "Constructive Axiomatic Architecture for scientific theories"
On October 13, Andrei Rodin presneted the paper "Constructive Axiomatic Architecture for scientific theories" at the Workshop "Current Issues in Logic and Philosophy of Science".
