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

International Laboratory for Logic, Linguistics and Formal Philosophy

Publications
Article
Abstraction and Generalization in the Logic of Science: Cases from Nineteenth-Century Scientific Practice

Pietarinen A., Cristalli C.

HOPOS. 2021. Vol. 11. No. 1. P. 93-121.

Article
Active Inference and Abduction

Pietarinen A., Beni M. D.

Biosemiotics. 2021.

Article
Beta Assertive Graphs: Proofs of Assertions with Quantification

Pietarinen A., Bellucci F., Chiffi D.

IfCoLoG Journal of Logics and their Applications. 2021. Vol. 8. No. 2. P. 353-376.

Article
Joint attention and perceptual experience

Гёртс Л. Б., Battich L.

Synthese. 2020.

Article
Abduction and diagrams

Pietarinen A.

Logic Journal of the IGPL. 2020.

Article
If Sounds Were Dispositions: a Framework Proposal for an Undeveloped Theory

Mendez Martinez J. L.

Organon F. 2020. Vol. 27. No. 4. P. 446-479.

Article
Sound Ontology and the Brentano-Husserl Analysis of the Consciousness of Time

Mendez Martinez J. L.

Horizon, Fenomenologiceskie Issledovania. 2020. Vol. 9. No. 1. P. 184-215.

Article
Instability and Contraction

Zardini E.

Journal of Philosophical Logic. 2019. Vol. 48. No. 1. P. 155-188.

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

Гёртс Л. Б.

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

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.

"Formal Philosophy 2021" Plenary Session Videos are Published

Videos of talks by Pavel Naumov, Itala M. Loffredo D’Ottaviano and Natasha Alechina are available!

Denis Fedyanin participated at the Fifteenth International Conference on Game Theory and Management

Illustration for news: Formal Philosophy 2021

Formal Philosophy 2021

On June 21-23, the International Conference "Formal Philosophy – 2021" was held, organized by the HSE International Laboratory of Logic, Linguistics and Formal Philosophy.

Natalia Zevakhina and Veronika Prigorkina participated at the 14th European Conference on Formal Description of Slavic Languages

On June 2, Natalia Zevakhina and Veronika Prigorkina presented the talk "Deriving Conditional Perfection in Russian: the role of negation, clause order and face" at the 14th European Conference on Formal Description of Slavic Languages (FDSL-14). 

The new article of Ahti-Veikko Pietarinen

The article "Active Inference and Abduction" written by Ahti-Veikko Pietarinen and Majid D. Beni was published in the academic journal “Biosemiotics”.

The Laboratory Has Turned Three Years Old!

On April 16, a round table discussion dedicated to the triennial of the International Laboratory of Logic, Linguistics and Formal Philosophy was held.

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.