• 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

Pietarinen A.

Logica Universalis. 2019. Vol. 13. P. 241-262.

Article
Peirce’s calculi for classical propositional logic

Ma M., Pietarinen A.

Review of Symbolic Logic. 2020. Vol. 13. No. 3. P. 509-540.

Article
To Peirce Hintikka’s Thoughts

Pietarinen A.

Logica Universalis. 2019. Vol. 13. P. 241-262.

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

Zardini E.

Synthese. 2020.

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

Гёртс Л. Б.

Theoretical Linguistics. 2019. Vol. 45. No. 1-2. P. 1-30.

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

Irina S.

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

Irina S., 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.

 

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.

The projects of LLFP:

2018 Formal Epistemology, Logics and Pragmatics of Agency in Rational Interactions

2019 Semantics and Pragmatics of Agency

2020 Models of rational agency in logic, linguistics and formal philosophy

2021 Interactive Rationality in Logic, Linguistics and Formal Philosophy

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. Philosophical Logic and Formal Philosophy Group;
  2. Mathematical Logic Group;
  3. Theoretical Linguistics and Philosophy of Language Group.

LLFP organizes each year Formal Philosophy Conference.

Natalia Zevakhina gave a presentation at the 43rd Annual Conference of the German Linguistic Society (DGfS).

On February 25, Natalia Zevakhina gave a talk "Veridicality and cause-effect relation inindicative and subjunctive conditionals" at the Semantics and Pragmatics of Conditional Connectives Workshop which was held during the 43rd Annual Conference of the German Linguistic Society (DGfS).
The conference was organized online by University of Freiburg from 24 to 26 February. 

The new article of Alexander Zapryagaev

The article "Multi-dimensional Interpretations of Presburger Arithmetic in Itself" written by Fedor Pakhomov and Alexander Zapryagaev was published in the  academic journal “Journal of Logic and Computation”.

Illustration for news: HSE Workshop "Logic in the Tractatus Logico-Philosophicus: A Century of Interpretations" in the World Logic Day

HSE Workshop "Logic in the Tractatus Logico-Philosophicus: A Century of Interpretations" in the World Logic Day



The Preliminary Defense of Dissertation

On December 18, the dissertation prepared by Jorge Luis Méndez Martínez on the topic “Logic and Phenomenology of Non-Visual Representation” has been successfully presented at the preliminary defense.
Dissertation Advisors of the Doctoral School of Philosophy accepted the thesis for defense.

Logical aliens and where to find them: the new article of Gala Maksudova-Eliseeva

The article "Logical aliens and where to find them" written by Gala Maksudova-Eliseeva was published in the  academic journal “Logical Investigations”.

Talks at the conference "HOMO LOQUENS"

On December 3, Vladimir L. Vasyukov and Irina Kirilova presented their papers, "Postnonclassical Universal Logic" and "Normativity of Logic and Probability Theory in the Analysis of Everyday Conditional Reasoning", respectively at the Second conference "HOMO LOQUENS: Logic-Language-Culture". The conference was organized by the Immanuel Kant Baltic Federal University.

Illustration for news: Formal Philosophy 2020

Formal Philosophy 2020

The International Laboratory for Logic, Linguistics and Formal Philosophy has organized the International Conference "Formal Philosophy" for the third time in 2020. The conference was held online on November 16-18

Illustration for news: Music as Driver for Research

Music as Driver for Research

This November, Jorge Luis Méndez Martínez, Research Assistant at the HSE International Laboratory for Logic, Linguistics and Formal Philosophy presented his report on Acoustic Mereotopolgy at the research seminar ‘From the Logical Point of View’. HSE News Service has talked to Mr Méndez Martínezabout his research interests and living and working in Moscow.

Natalia Zevakhina and Veronika Prigorkina gave a presentation at the 11th International Conference of Experimental Linguistics

On October 14, Natalia Zevakhina and Veronika Prigorkina presented the paper "Quantity inferences in conditionals: a pilot experimental study" at the 11th International Conference of Experimental Linguistics, ExLing2020.

Andrei Rodin gave a talk "Constructive Axiomatic Architecture for scientific theories"

On October 13, Andrei Rodin presneted the paper "Constructive Axiomatic Architecture for scientific theories" at the Workshop "Current Issues in Logic and Philosophy of Science".