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

News

An article by Mikhail Smirnov has been published in the journal Manuscrito

An article "Attitudinal objects and referential interpretation for performative utterances" by Mikhail Smirnov has been published in the journal Manuscrito.

Illustration for news: Mikhail Smirnov's Presentation at the International Congress of Logic "UNILOG-8" (Cusco, Peru)

Mikhail Smirnov's Presentation at the International Congress of Logic "UNILOG-8" (Cusco, Peru)

On December 9, research fellow of the IL LLFP Mikhail Smirnov delivered a presentation at the international congress of logic UNILOG-8, held in the city of Cusco, Peru. The presentation on the topic "Frege as a Cartesian" took place as part of the workshop "Frege and Beyond," dedicated to the 100th anniversary of Gottlob Frege's death.

Results of the Student Research Work Competition

Congratulations to the research assistants and their academic supervisors on winning the Student Research Competition!

Illustration for news: Vera Shumilina presented on "The Peircean theory of scientific explanation: from three types of reasoning to the typology of scientific explanations."

Vera Shumilina presented on "The Peircean theory of scientific explanation: from three types of reasoning to the typology of scientific explanations."

On December 17, the 107th meeting of the "Formal Philosophy" theoretical research seminar took place.

Sayantan Roy Spoke at the Seminar of the Logical Center of the Institute of Philosophy, RAS

On 11 December 2025, Sayantan Roy gave a talk titled “On Abstract Paraconsistency” at the seminar of the Logical Center of the Institute of Philosophy of the Russian Academy of Sciences (IF RAS).

The news is available on the IF RAS website (in Russian).

Illustration for news: Presentation by Anastasia Onoprienko "NP-Completeness of Hanabi Game with Minimal Parameters"

Presentation by Anastasia Onoprienko "NP-Completeness of Hanabi Game with Minimal Parameters"

On December 10, the research seminar "From the Logical Point of View" took place.

Illustration for news: Yuri Kazakov gave a talk titled "The Structural Proof Theory in the service of Formal Epistemology"

Yuri Kazakov gave a talk titled "The Structural Proof Theory in the service of Formal Epistemology"

On December 3, a session of the research seminar “From the Logical Point of View” took place.

Illustration for news: Elena Dragalina-Chernaya visits "Scientific Session"

Elena Dragalina-Chernaya visits "Scientific Session"

E.G. Dragalina-Chernaya gave an interview to the "Scientific Session" podcast by the HSE University Center for Student Academic Development (in Russian).

Congratulations to Mikhail Rybakov on the Successful Defense of His Doctoral Dissertation

On November 20, Mikhail Rybakov successfully defended his doctoral dissertation on the topic "Modeling of Logical Systems by Means of Their Fragments."

Illustration for news: José da Mata (SBL, Brazilian Society of Logic) delivered a presentation titled "Modality and Time in Aristotle"

José da Mata (SBL, Brazilian Society of Logic) delivered a presentation titled "Modality and Time in Aristotle"

On November 26, the 106th session of the Formal Philosophy research seminar was held.