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.
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.
News
Two talks were presented at the Maltsev Readings Conference (Novosibirsk, November 11-15, 2024): “Undecidable fragments of predicate extensions of Gödel–Dummett logic” (Mikhail Rybakov and Darya Serova) and "The computational complexity of logic HS with a single variable" (Mikhail Rybakov and Anastasia Onoprienko). The presentations have been prepared as part of the "International Academic Cooperation" project.
November 15
Viktoriia Denisova, intern researcher IL LLFF made two presentations at the University of Campinas "Unicamp", Brazil, where she is undergoing an internship.
Research & Expertisediscussionsideas & experienceconferences & seminarsresearch projectsReporting an eventinternational cooperationpartnerships
November 11
Photo report from the third day of the conference.
November 09
Photo report from the second day of the conference on logical pluralism in memory of Newton da Costa.
November 06
The first day of the conference on logical pluralism in memory of Newton da Costa has ended.
November 05
A photo report from the last day of school.
November 01
The school is part of the international academic cooperation project of IL LLFP and the Center for Logic, Epistemology and History of Science of the University of Campinas.
October 28
Jorge Luis Méndez-Martínez, a researcher at IL LLFP, became the winner of the competition of the National Council for Sciences, Technology and Humanities of Mexico.
October 18
On October 14, the International Russia — Brazil Partnership Day took place, organized at the Higher School of Economics in cooperation with the Brazilian Embassy in Moscow.
October 15
Under the supervision of Professor Fábio Maia Bertato and Professor Itala Loffredo d’Ottoviano Viktoriia is working on formalisms for reasoning with conditionals.
October 12