About the Laboratory

LLFP is an interdisciplinary centre of cooperation, where researchers in logics 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.

The overall breakthrough in 20^th-century logic was driven by the formalization of intuitive ideas of calculability, solvability, provability, deductive and descriptive completeness, as well as consistency. Furthermore, the evolution of contemporary linguistics also resulted from the development of formal methods of structural and synchronic language analysis. The expansion of formal logical and linguistic methods with respect to traditional philosophy problems has played a major role, both in solving issues of internal substantiation in these disciplines and in the progress of philosophy that is not limited to reflecting its own history, but also involved in current academic and intellectual trends.

One such trend is the cognitive turn in humanitaristics, which has led to the refocus of research interest in logics and linguistics towards a more formal analysis of agency, cognitive semantics, and formal pragmatics. In its 2018-2020 project ‘Formal Epistemology, Logics and Pragmatics of Agency in Rational Interactions’, the Laboratory is eager to develop complex approaches for adjusting various interactionist and dynamic models of rational agency, production of group and individual obligations, presuppositions and implicatures, formal representations, verification of knowledge and correction, to each other.

LLFP’s studies utilize and develop the following methodologies: dynamic epistemic logics, game theory (e.g., epistemic game theory and bisimulation game theory); the semantics of possible worlds; situation semantics; constructive theory of types; theory of categories; homotopic theory of types; descriptive logics; logics of evidence; formal phenomenology; univalent foundations in mathematics; speech act and post-Gricean pragmatics theories; and corpus and experimental methods.