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.
This year, LLFP is working on the project entitled ‘Formal Epistemology, Logics and Pragmatics of Agency in Rational Interactions’.
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:
- Logics and Formal Philosophy Group;
- Analytic Metaphysics, Philosophy of Logics, and Philosophy of Mathematics Group;
- Theoretical Linguistics and Philosophy of Language Group.
.jpg "World Logic Day on January 14")
World Logic Day on January 14
On January 14 International Laboratory for Logic, Linguistics and Formal Philosophy (HSE), Department of Logic of Faculty of Philosophy (MSU), Department of Logic of Institute of Philosophy Russian Academy of Sciences held the 50th meeting of Theoretical Seminar "Formal Philosophy": the round table“Formal Philosophy: Foundations and Prospects”, devoted to the application of formal methods in philosophy.
The results of the Open HSE Student Research Paper Competition (NIRS) in 2018
Two works of the winners of the Open HSE Student Research Paper Competition (NIRS) in 2018 in subject area “Philosophy” were dedicated to the problems of formal epistemology and were prepared under scientific supervision of the Deputy Head of the International Laboratory for Logic, Linguistics and Formal Philosophy Vitaliy Dolgorukov.
Elena Pasalskaya took part in the work of project group on sign languages in the Institut Jean Nicod
Elena Pasalskaya made a report on the workshop, organized by the Institut Jean Nicod
Formal Philosophy – 49: the report of Elia Zardini
On the 5th of December Elia Zardini, the Senior Research Fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, made a report “Unstable Knowledge” on the 49th session of theoretical seminar “Formal Philosophy”.
Gala V. Maksudova-Eliseeva made a report on the conference in Krakow
Gala V. Maksudova-Eliseeva made a report on the conference, which was dedicated to Frege and Wittgenstein
Elena Dragalina-Chernaya made a report at the conference in Brussels
The Head of the International Laboratory for Logic, Linguistics and Formal Philosophy made a report at the conference in Brussels, Belgium.
Vladimir L. Vasyukov made a report at the conference in Crete, Greece
The Leading Research Fellow Vladimir L. Vasyukov made a report at the conference in Crete, Greece.
The paper written by Andrei Rodin "On the Constructive Axiomatic Method" was published in the journal "Logique et Analyse"
The paper written by the senior research fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy Andrei Rodin "On the Constructive Axiomatic Method" was published in the journal "Logique et Analyse".
Denis Fedyanin participated at the conference in Paris
On October 25-26, Denis Fedyanin, the Research Fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, made a report at the conference in Paris.
Formal Philosophy – 48: «Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations»
On the 24th of October Andrei Rodin, Senior Research Fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, made a report “Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations” on the 48th session of theoretical seminar “Formal Philosophy”.
