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.
The research assistant of the International Laboratory for Logic, Linguistics and Formal Philosophy has presented her work at the TISLR 13.
On 6 September, research assistant of the International Laboratory for Logic, Linguistics and Formal Philosophy presented a project in a colloboration with research fellow from Institut Jean Nicod.
The article "What Counts as “a” Sound and How “to Count” a Sound. The Problems of Individuating and Identifying Sounds", written by Jorge Luis Mendez Martinez was publushed in "Synthesis philosophica".