• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

International Laboratory for Logic, Linguistics and Formal Philosophy

Publications
Article
Consensus in Social Networks of Compound Nodes

Fedyanin D., Чхартишвили А. Г.

Automation and Remote Control. 2018. Vol. 79. No. 6. P. 1117-1124.

Book chapter
Univalent Foundations of Mathematics and Paraconsistency

Vasyukov V. L.

In bk.: New Directions in Paraconsistent Logic. Springer. P. 285-294.

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.

This year, LLFP is working on the project entitled ‘Formal Epistemology, Logics and Pragmatics of Agency in Rational Interactions’.

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.

LLFP includes three research groups:

  1. Logics and Formal Philosophy Group;
  2. Analytic Metaphysics, Philosophy of Logics, and Philosophy of Mathematics Group;
  3. Theoretical Linguistics and Philosophy of Language Group.