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
HSE University has announced the results of the first Competition of Joint Basic Research Projects 'International Academic Cooperation' held from December 11, 2023, to April 8, 2024. Highly successful research teams at HSE University, having extensive experience in collaborating with international partners, took part in the competition. A total of 25 applications were submitted from departments across HSE University's campuses.
April 09
The results of the competition of joint fundamental scientific projects "International Academic Cooperation" of the National Research University "Higher School of Economics" have been summed up.
April 08
A series of articles on the topic of teaching logic has been published in the journal "Philosophy. The Journal of the Higher School of Philosophy" under the general editorship of Angelina Bobrova and Elena Dragalina-Chernaya.
Kruglov A. N. (2024). Teaching logic: A Historical Perspective. Philosophy Journal of the Higher School of Economics, 8(1), 17-28. https://doi.org/10.17323/2587-8719-2024-1-17-28 (In Russian)
Dragalina-Chernaya E. G. (2024). Logic As A Formal Philosophy And The Art of A Conceptual Design. Philosophy Journal of the Higher School of Economics, 8(1), 29-41. https://doi.org/10.17323/2587-8719-2024-1-29-41 (In Russian)
Bobrova A. S. (2024). Practical Logic: The Return of The Forgotten?. Philosophy Journal of the Higher School of Economics, 8(1), 42-53. https://doi.org/10.17323/2587-8719-2024-1-42-53 (In Russian)
Sorina G. V. (2024). Logical And Methodological Foundations of Teaching Humanities. Philosophy Journal of the Higher School of Economics, 8(1), 54-66. https://doi.org/10.17323/2587-8719-2024-1-54-66 (In Russian)
Lisanyuk E. N. (2024). Demonstrative Arguments In The logic of Eliminating One Legal Conflict: On The Example Of The Case "Women And the Jury Trial". Philosophy Journal of the Higher School of Economics, 8(1), 67-80. https://doi.org/10.17323/2587-8719-2024-1-67-80 (In Russian)
Bazhanov V. A. (2024). Is It Possible To Assert The Existence Of A Correlation Between Politics And Logic? Philosophy Journal of the Higher School of Economics, 8(1), 81-95. https://doi.org/10.17323/2587-8719-2024-1-81-95 (In Russian)
Kruglov A. N. (2024). Teaching logic: A Historical Perspective. Philosophy Journal of the Higher School of Economics, 8(1), 17-28. https://doi.org/10.17323/2587-8719-2024-1-17-28 (In Russian)
Dragalina-Chernaya E. G. (2024). Logic As A Formal Philosophy And The Art of A Conceptual Design. Philosophy Journal of the Higher School of Economics, 8(1), 29-41. https://doi.org/10.17323/2587-8719-2024-1-29-41 (In Russian)
Bobrova A. S. (2024). Practical Logic: The Return of The Forgotten?. Philosophy Journal of the Higher School of Economics, 8(1), 42-53. https://doi.org/10.17323/2587-8719-2024-1-42-53 (In Russian)
Sorina G. V. (2024). Logical And Methodological Foundations of Teaching Humanities. Philosophy Journal of the Higher School of Economics, 8(1), 54-66. https://doi.org/10.17323/2587-8719-2024-1-54-66 (In Russian)
Lisanyuk E. N. (2024). Demonstrative Arguments In The logic of Eliminating One Legal Conflict: On The Example Of The Case "Women And the Jury Trial". Philosophy Journal of the Higher School of Economics, 8(1), 67-80. https://doi.org/10.17323/2587-8719-2024-1-67-80 (In Russian)
Bazhanov V. A. (2024). Is It Possible To Assert The Existence Of A Correlation Between Politics And Logic? Philosophy Journal of the Higher School of Economics, 8(1), 81-95. https://doi.org/10.17323/2587-8719-2024-1-81-95 (In Russian)
April 01
Georgiy Filatov and Maxim Evstigneev gave a joint talk entitled "Three Metaphors of Analysis in the Works of G. Ryle, L. Wittgenstein, P. F. Strawson" at the workshop "From the Logical Point of View", which took place on March 22.
Abstract
The talk is aimed to uncover the concept of "analysis" in the philosophy of three classics of "analytical philosophy": G. Ryle, L. Wittgenstein, P. F. Strawson.We consider this concept from, perhaps, a somewhat unexpected angle. We are not interested in the doctrine of philosophical analysis itself in the works of these philosophers, but rather in the unpacking of which metaphors it is explained.Thus, the analysis is compared with the construction of a concept map, the compilation of a grammar textbook and psychoanalytic or psychotherapy. The first metaphor belongs primarily to Ryle, the second to Strawson, and the third to Wittgenstein. Although, in one way or another each of the authors addresses all three of them. During our joint presentation we are going show how the unpacking of these metaphors results in three philosophical projects that differ in technique, style and purpose.The report is based on the results of our work in the project group "Philosophy of Metaphors and Metaphors in Philosophy" (https://phc.hse.ru/metaphor /).
Abstract
The talk is aimed to uncover the concept of "analysis" in the philosophy of three classics of "analytical philosophy": G. Ryle, L. Wittgenstein, P. F. Strawson.We consider this concept from, perhaps, a somewhat unexpected angle. We are not interested in the doctrine of philosophical analysis itself in the works of these philosophers, but rather in the unpacking of which metaphors it is explained.Thus, the analysis is compared with the construction of a concept map, the compilation of a grammar textbook and psychoanalytic or psychotherapy. The first metaphor belongs primarily to Ryle, the second to Strawson, and the third to Wittgenstein. Although, in one way or another each of the authors addresses all three of them. During our joint presentation we are going show how the unpacking of these metaphors results in three philosophical projects that differ in technique, style and purpose.The report is based on the results of our work in the project group "Philosophy of Metaphors and Metaphors in Philosophy" (https://phc.hse.ru/metaphor /).
March 23
A research workshop "From the Logical Point of View" was held on March 15. Arsen Volskiy (a student of NSU) made a presentation on "The Concept of Modality in the Context of Lukasiewicz's Three-Valued Logic".
Abstract
Jan Lukasiewicz is a well-known Polish logician, considered to be one of the first major researchers in the field of many-valued logic. In this regard, perhaps the most significant work is his article “Philosophical Remarks on Many-Valued Systems of Propositional Logic” wherein he formulates the concept of “possible” as a third truth value. I am going to talk about the logical system that Lukasiewicz is building as well as the motivations that lead him to this concept.
Abstract
Jan Lukasiewicz is a well-known Polish logician, considered to be one of the first major researchers in the field of many-valued logic. In this regard, perhaps the most significant work is his article “Philosophical Remarks on Many-Valued Systems of Propositional Logic” wherein he formulates the concept of “possible” as a third truth value. I am going to talk about the logical system that Lukasiewicz is building as well as the motivations that lead him to this concept.
March 16
On the 1st of March Prof Elena Dragalina-Chernaya gave a talk entitled "Classifying Logical Forms: Variety of Invariance in Formal and Regional Ontologies" at the analytic philosophy workshop at the Complutense University of Madrid.
March 13
On February 16, a meeting of the theoretical workshop "Formal Philosophy" was held. Valeria Chasova made a presentation "Ontology of symmetries: foundations, history and systematization".
Abstract
Symmetry is the invariance of one when the other is transformed. For example, saving the content when changing the form. Physical theories are full of theoretical symmetries. Due to this, gravitational waves and the Higgs boson were predicted. However, it is still not clear how exactly theoretical symmetries relate to the world around us. I am going to tell you in more detail about the ways physical theories are arranged, what kinds of theoretical symmetries can be found there, what the different ways they relate to the world are and how we can systematize research in this area.
Abstract
Symmetry is the invariance of one when the other is transformed. For example, saving the content when changing the form. Physical theories are full of theoretical symmetries. Due to this, gravitational waves and the Higgs boson were predicted. However, it is still not clear how exactly theoretical symmetries relate to the world around us. I am going to tell you in more detail about the ways physical theories are arranged, what kinds of theoretical symmetries can be found there, what the different ways they relate to the world are and how we can systematize research in this area.
February 17
The article "La cognición auditiva. Especificidad modal y perplejidad semántico-definicional" by a staff member, researcher Jorge Luis Mendes Martinez was published in the journal "Andamios".
February 15
Maxim Glavychev (Utrecht University) made a presentation on "Reasoning About Group Responsibility for Exceeding Risk Threshold" at the workshop "From a logical point of view" on February 9.
Abstract
Tracing and analysing the responsibility for unsafe outcomes of actors’ decisions in multi-agent settings have been studied in recent years. These studies often focus on deterministic scenarios and assume that the unsafe outcomes for which actors can be held responsible are actually realized. This paper considers a broader notion of responsibility where unsafe outcomes are not necessarily realized, but their probabilities are unacceptably high. We present a logic combining strategic, probabilistic and temporal primitives designed to express concepts such as the risk of an undesirable outcome and being responsible for exceeding a risk threshold in one-shot games. We demonstrate that the proposed logic is (weakly) complete, decidable and has an efficient model-checking procedure. Finally, we define a probabilistic notion of responsibility and study its formal properties in the proposed logic setting.
Abstract
Tracing and analysing the responsibility for unsafe outcomes of actors’ decisions in multi-agent settings have been studied in recent years. These studies often focus on deterministic scenarios and assume that the unsafe outcomes for which actors can be held responsible are actually realized. This paper considers a broader notion of responsibility where unsafe outcomes are not necessarily realized, but their probabilities are unacceptably high. We present a logic combining strategic, probabilistic and temporal primitives designed to express concepts such as the risk of an undesirable outcome and being responsible for exceeding a risk threshold in one-shot games. We demonstrate that the proposed logic is (weakly) complete, decidable and has an efficient model-checking procedure. Finally, we define a probabilistic notion of responsibility and study its formal properties in the proposed logic setting.
February 09
On February 9, 2024, the HSE School of Linguistics held a pre-defense of Natalia Zevakhina's doctoral dissertation "Experimental and Corpus Studies of Linguistic Pragmatics: Informativeness, Illocutionary Types of Sentences, Metalinguistic Comparison".
February 09