On January 15, there was a first session in this year and the 59th session in the history of the seminar "Formal Philosophy".
Leading Research Fellow of the ILFP has presented a talk at the Conference CREATIVITY-2019, which was held in Rio de Janeiro from 8 to 13 December 2019.
Researchers of the International Laboratory for Logic, Linguistics and Formal Philosophy have presented talks at the conference on mathematical philosophy in Paris
At the first World Congress of the Brazilian Academy of Philosophy in Honor of Newton da Costa 90th Birthday the Mathematical Creativity Workshop was organized.
The article "Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality" was published in the book "Philosophy of Logic and Mathematics".
В книге Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts опубликована статья Андрея Родина "Models of HoTT and the Constructive View of Theories".
What connects philosophers, linguists, and logicians? How do you develop partnerships with dozens of foreign research centres in just six months? Can science exist in isolation from the outside world? Elena Dragalina-Chernaya, Head of the International Laboratory for Logic, Linguistics, and Formal Philosophy, discusses these and other issues.
The senior research fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy Irina Starikova has given a talk at the Ockham Society in Oxford.
On October 2-4, HSE University hosted the international conference Trends in Logic 19. Current Issues in Philosophical Logic for the first time in Russia. The conference, which attracted a number of prominent Russian and international scholars, was organized jointly by the journal Studia Logica and the HSE International Laboratory for Logic, Linguistics and Formal Philosophy.