Elena Dragalina-Chernaya gave a talk at the conference dedicated to the Formal Methods of Philosophy
Elena Dragalina-Chernaya gave a plenary contributed talk "The Variety of Logical Hylomorphism" at the conference Formal Methods and Science in Philosophy III, Dubrovnik, Croatia.
Denis Fedyanin Made a Report at the XX April International Academic Conference
Junior research fellow, Denis Fedyanin, participated in a XX April International Academic Conference.
Aleksander Melnikov and Daria Paniukhina Made Reports at the Conference "Lomonosov - 2019"
Research assistants of the International Laboratory for Logic, Linguistics and Formal Philosophy made reports within the Logic subsection of the "Lomonosov-2019" Conference.
Vitaliy Dolgorukov Made a Report at the University of Lisbon
Vitaliy Dolgorukov made the report "Irony, Deception and Lying: an Epistemic Taxonomy for Assertions" at a scientific seminar of research group LangCog (Language, Mind and Cognition) of University of Lisbon.
Aleksandr Mishura Has Received a Grant from RSF
Russian Science Foundation has announced winners of competition for grants within the Program "Basic Scientific Research and Exploratory Scientific Research, Conducted by Small Research Reams".
An Article by Lolita Makeeva Has Been Published in Philosophy Journal
The article "Analytic philosophy as a historico-philosophical phenomenon" by Lolita Makeeva has been published in Philosophy Journal, Vol. 12, No. 1.
Andrei Rodin Made a Report on the Conference in Tübingen
Andrei Rodin made a presentation at the Third Tübingen Conference on Proof-Theoretic Semantics.
An Article by Elia Zardini Has Been Published in Journal of Philosophical Logic
The article "Instability and Contraction" by chief research fellow of LLFP has been published in Journal of Philosophical Logic (2019. Vol. 48. № 1).
"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.