"Constructive Knowledge - 8: Formal Representation of Mathematics" Workshop
Andrei Rodin, the senior research fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, together with Sergei Kovalev gave a presentation on "Formal Epistemology and Computational Representation of Knowledge"
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.
Lena Pasalskaya Took Part in the Work of Project Group on Sign Languages in the Institut Jean Nicod
Lena 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 gave a talk at the Conference in Brussels
The Head of the International Laboratory for Logic, Linguistics and Formal Philosophy gave a talk 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.
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”.
Vitaliy Dolgorukov Made a Report in the RAS Institute of Philosophy
On October 9, Vitaliy Dolgorukov, the Deputy Head of the Laboratory, made a report “The Ontological Square and Type-Theoretic Semantics”