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
Professor Fábio Maia Bertato, a logician, philosopher, and researcher at the Centre for Logic, Epistemology and the History of Science (CLE) at the University of Campinas (Unicamp), has been elected a full member of the Brazilian Academy of Philosophy.
November 11
Denis Fedyanin received the Best Paper Award for a paper co-authored with student Valeria Demina.
November 08
A meeting of the “Formal Philosophy” research seminar was held on November 3.
November 04
A report on the “Formal Philosophy 2026” International Conference, held from October 27 to 30.
November 01
A session of the “Formal Philosophy” research seminar was held on October 31.
October 31
A look back at the final day of the conference.
October 30
A look back at the third day of the conference.
October 29
A photo report from the second day of the conference.
October 28
The “Formal Philosophy 2026” conference opened on October 27.
October 27
Denis Fedyanin delivered a presentation entitled “Self-Play with Variational Problem Synthesis in Reinforcement Learning with Verifiable Rewards” at an international conference held in China on October 23–25.
October 26