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

International Laboratory for Logic, Linguistics and Formal Philosophy

Publications
Article
To Peirce Hintikka’s Thoughts In press

Pietarinen A.

Logica Universalis. 2018.

Article
Peirce’s calculi for classical propositional logic In press

Pietarinen A., Ma M.

Review of Symbolic Logic. 2018.

Article
To Peirce Hintikka’s Thoughts In press

Pietarinen A.

Logica Universalis. 2018.

Article
Meaning and Affect in Placebo Effect

Chiffi D., Pietarinen A., Grecucci A.

Journal of Medicine and Philosophy. 2018.

Article
First-Order Tolerant Logics In press

Zardini E.

Review of Symbolic Logic. 2018.

Article
Closed without Boundaries In press

Zardini E.

Synthese. 2018.

Article
Communication as commitment sharing: speech acts, implicatures, common ground In press

Гёртс Л. Б.

Theoretical Linguistics. 2018.

Article
On the Constructive Axiomatic Method

Rodin A.

Logique et Analyse. 2018. Vol. 242. No. 2. P. 201-231.

Article
Two “Styles” of axiomatization: Rules versus Axioms. A Modern Perspective.

Rodin A.

Bulletin of Symbolic Logic. 2018. Vol. 24. No. 2. P. 263-264.

Article
Consensus in Social Networks of Compound Nodes

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

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

Article
On Distributed Reflexive Complex Mechanisms of Decision-making in a Transportation System of a Smart city

Fedyanin D., Vershinin Y.

International Journal of Engineering and Technology. 2018. Vol. 7. No. 28. P. 164-167.

Article
Horizons of Scientific Pluralism: Logics, Ontology, Mathematics

Vasyukov V. L.

IfCoLOg Journal of Logics and their Applications. 2017. Vol. 4. No. 4. P. 1477-1494.

Article
The Grammar of Russian Metalinguistic Comparatives

Zevakhina N., Dzhakupova S., Вишенкова А. С.

Scando-Slavica. 2017. No. 2(63). P. 179-197.

Working paper
Aesthetic Preferences in Mathematics: a Case Study

Старикова И. В.

22. 22. 22, 2017

Article
Crossing the Line: New Intuitions Behind Frankfurt-Type Cases

Mishura A.

Axiomathes. 2017. Vol. 27. No. 4. P. 393-402.

Article
Undecidability of the transitive graded modal logic with converse

Zolin E.

Journal of Logic and Computation. 2017. Vol. 27. No. 5. P. 1399-1420.

Article
Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematic

Vasyukov V. L.

Logical Investigations. 2017. Vol. 23. No. 2. P. 76-95.

Article
What Hamblin's Formal Dialectic Tells Us About the Medieval Logical Disputation

Pavlova A.

Logical Investigations. 2017. Vol. 23. No. 1. P. 151-176.

Book chapter
Vasiliev’s Clue to Mourdoukhay-Boltovskoy’s Hypersyllogistic

Vasyukov V. L.

In bk.: The Logical Legacy of Nikolai Vasiliev and Modern Logic. Vol. 387: Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science. Springer, 2017. P. 189-198.

Book chapter
Thought experiments in mathematics

Старикова И. В., Giaquinto M.

In bk.: The Routledge Companion to Thought Experiments. L.; NY: ROUTLEDGE JOURNALS, TAYLOR & FRANCIS LTD, 2017. P. 257-278.

Article
Scalar diversity

van Tiel B., van Miltenburg E., Zevakhina N. et al.

Journal of Semantics. 2016. No. 33 (1). P. 137-175.

Studia Logica Conference Trends in Logic19, 02.-04.10.2019

International Conference "Formal Philosophy 2019", 27-28.06.2019

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.
Illustration for news: World Logic Day on January 14

World Logic Day on January 14

On January 14 International Laboratory for Logic, Linguistics and Formal Philosophy (HSE), Department of Logic of Faculty of Philosophy (MSU), Department of Logic of Institute of Philosophy Russian Academy of Sciences held the 50th meeting of Theoretical Seminar "Formal Philosophy": the round table“Formal Philosophy: Foundations and Prospects”, devoted to the application of formal methods in philosophy.

The results of the Open HSE Student Research Paper Competition (NIRS) in 2018

Two works of the winners of the Open HSE Student Research Paper Competition (NIRS) in 2018 in subject area “Philosophy” were dedicated to the problems of formal epistemology and were prepared under scientific supervision of the Deputy Head of the International Laboratory for Logic, Linguistics and Formal Philosophy Vitaliy Dolgorukov.

Illustration for news: Elena Pasalskaya took part in the work of project group on sign languages in the Institut Jean Nicod

Elena Pasalskaya took part in the work of project group on sign languages in the Institut Jean Nicod

Elena Pasalskaya made a report on the workshop, organized by the Institut Jean Nicod

Illustration for news: Formal Philosophy – 49: the report of Elia Zardini

Formal Philosophy – 49: the report of Elia Zardini

On the 5th of December Elia Zardini, the Senior Research Fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, made a report “Unstable Knowledge” on the 49th session of theoretical seminar “Formal Philosophy”.

Illustration for news: Gala V. Maksudova-Eliseeva made a report on the conference in Krakow

Gala V. Maksudova-Eliseeva made a report on the conference in Krakow

Gala V. Maksudova-Eliseeva made a report on the conference, which was dedicated to Frege and Wittgenstein

Illustration for news: Elena Dragalina-Chernaya made a report at the conference in Brussels

Elena Dragalina-Chernaya made a report at the conference in Brussels

The Head of the International Laboratory for Logic, Linguistics and Formal Philosophy made a report at the conference in Brussels, Belgium.

Vladimir L. Vasyukov made a report at the conference in Crete, Greece

The Leading Research Fellow Vladimir L. Vasyukov made a report at the conference in Crete, Greece.

Illustration for news: The paper written by Andrei Rodin "On the Constructive Axiomatic Method" was published in the journal "Logique et Analyse"

The paper written by Andrei Rodin "On the Constructive Axiomatic Method" was published in the journal "Logique et Analyse"

The paper written by the senior research fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy Andrei Rodin "On the Constructive Axiomatic Method" was published in the journal "Logique et Analyse".

Illustration for news: Denis Fedyanin participated at the conference in Paris

Denis Fedyanin participated at the conference in Paris

On October 25-26, Denis Fedyanin, the Research Fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, made a report at the conference in Paris.

Illustration for news: Formal Philosophy – 48: «Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations»

Formal Philosophy – 48: «Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations»

On the 24th of October Andrei Rodin, Senior Research Fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, made a report “Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations” on the 48th session of theoretical seminar “Formal Philosophy”.