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
On September 24, M. N. Rybakov gave a talk entitled “Logics for Describing Computations: Syntax, Semantics, and Complexity” at the L. L. Maksimova “Non-Classical Logics” Seminar, held at the Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences.
September 25
On September 23, a research seminar was held at which research intern Yuri Kazakov gave a talk entitled “Epistemic Models of Questions and Answers.”
September 23
Maxim Evstigneev successfully defended his PhD thesis entitled “The ‘Way of Ideas’ Idiom in Early Modern Philosophy from René Descartes to Thomas Reid.”
September 17
On September 16, I. A. Gorbunov and M. N. Rybakov gave a talk entitled “Minimal Fully Determined Logic and Its Theories” at the logic seminar of the Yuri Manin Laboratory, held at the Higher School of Mathematics of the Moscow Institute of Physics and Technology (MIPT).
September 17
A preprint by Alexander Poddiakov, "Vague Stimulating Ideas, Images and Metaphors in Scientific Thinking: Researchers' Work with Horizons of Unclear Knowledge," has been published.
Link to the preprint
Link to the preprint
September 10
On 21 August, at the Sixth Conference of Mathematical Centers of Russia in Kazan, Anastasia Onoprienko and Mikhail Rybakov presented a paper on the complexity of HC logic — a hybrid system combining classical and intuitionistic logics and its fragments.
August 22
In the journal Journal of Rational-Emotive and Cognitive-Behavior Therapy, an article by Viktoriia Denisova and Nikola Petrović was published titled "Cognitive Distortions Are Not Logical Errors: A Conceptual Clarification".
July 15
In the journal Annals of Pure and Applied Logic, an article by Mikhail Rybakov has been published.
The link to view the article.
The link to view the article.
July 13
Ivan Sobolev's article "The Frontier of Semantics and Pragmaticsin the Philosophy of Language" has been published in the journal Epistemology and Philosophy of Science.
July 07
On July 3, Ramazan Ayupov gave a talk titled "Analyticity and Modern Formal Theories: Hintikka's Typology and Type Theory" at the "Logical Colloquium" conference, which was held at Swansea University (Wales, UK).
July 04