• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Important announcements 1

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. P. 1-32.

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: Natalia Zevakhina and Elena Pasalskaya made a presentation on the international conference on experimental pragmatics

Natalia Zevakhina and Elena Pasalskaya made a presentation on the international conference on experimental pragmatics

The members of the International Laboratory for Logic, Linguistics and Formal Philosophy, Natalia Zevakhina and Elena Pasalskaya, made a poster presentation on the conference in Edinburgh.

Illustration for news: Andrei Rodin participated in a conference in Oslo

Andrei Rodin participated in a conference in Oslo

On June 11, Andrei Rodin, the senior research fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, gave a talk at the conference in Oslo.

Andrei Rodin gave a talk at the 3d International Workshop “Formal Concept Analysis for Knowledge Discovery”

Andrei Rodin gave a talk at the 3d International Workshop “Formal Concept Analysis for Knowledge Discovery” of Department of Computer Science, Higher School of Economics.

Illustration for news: Elena Dragalina-Chernaya gave a talk at the University of Lisbon.

Elena Dragalina-Chernaya gave a talk at the University of Lisbon.

On May 3, the head of the laboratory gave a talk at the University of Lisbon.

Andrei Rodin Gave a Talk at City University of New York

On April 24 Andrei Rodin gave a talk on "Directed Homotopy Type Theory and the (In)vertibility of Mathematics".

"Constructive Knowledge - 9" Workshop

On 15 May, "Constructive Knowledge - 9: neural networks as a black box" Workshop was held in Institute of PhilosophyRussian Academy of Sciences.

Research Fellows of the LLFP Made Reports at the X International Conference

On 25 April research fellows of the International Laboratory for Logic, Linguistics and Formal Philosophy made reports on sessions "The philosophy of P.F. Strawson" and "Neurosciences and moral responsibility: neuroethics perspectives".

Illustration for news: Elena Dragalina-Chernaya Made a Report at the Conference Dedicated to the Formal Methods of Philosophy

Elena Dragalina-Chernaya Made a Report at the Conference Dedicated to the Formal Methods of Philosophy

Elena Dragalina-Chernaya gave a plenary contributed talk "The Variety of Logical Hylomorphism" at the conference Formal Methods and Science in Philosophy III, Dubrovnik, Croatia.

Illustration for news: Denis Fedyanin Made a Report at the XX April International Academic Conference

Denis Fedyanin Made a Report at the XX April International Academic Conference

Junior research fellow, Denis Fedyanin, participated in a XX April International Academic Conference.

Aleksander Melnikov and Daria Paniukhina Made Reports at the Conference "Lomonosov - 2019"

Research assistants of the International Laboratory for Logic, Linguistics and Formal Philosophy made reports within the Logic subsection of the "Lomonosov-2019" Conference.