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

News

Illustration for news: Jorge Luis Méndez-Martínez has been selected as a Researcher for Mexico ("Investigador por México")

Jorge Luis Méndez-Martínez has been selected as a Researcher for Mexico ("Investigador por México")

Jorge Luis Méndez-Martínez, a researcher at IL LLFP, became the winner of the competition of the National Council for Sciences, Technology and Humanities of Mexico.

Illustration for news: IL LLFP at the International Russia — Brazil Partnership Day

IL LLFP at the International Russia — Brazil Partnership Day

On October 14, the International Russia — Brazil Partnership Day took place, organized at the Higher School of Economics in cooperation with the Brazilian Embassy in Moscow.

Illustration for news: Viktoriia Denisova is undergoing an internship at the Center for Logic, Epistemology and History of Science at the University of Campinas, Brazil

Viktoriia Denisova is undergoing an internship at the Center for Logic, Epistemology and History of Science at the University of Campinas, Brazil

Under the supervision of Professor Fábio Maia Bertato and Professor Itala Loffredo d’Ottoviano Viktoriia is working on formalisms for reasoning with conditionals.

Illustration for news: Denis Maslov's interview has been published

Denis Maslov's interview has been published

The HSE academic unit "Schola" published an interview with Denis Maslov, dedicated to his academic career before HSE and research plans as a postdoc at the International Laboratory for Logic, Linguistics and Formal Philosophy.

Illustration for news: An interview with Elena Dragalina-Chernaya has been published

An interview with Elena Dragalina-Chernaya has been published

The academic unit of the HSE "Schola" published an interview by Elena Dragalina-Chernaya, dedicated to a joint research project of the International Laboratory for Logic, Linguistics and Formal Philosophy and the Center for Logic, Epistemology and History of Science of the University of Campinas "Pluralistic Perspectives on Logic and Formal Philosophy".

Illustration for news: Arnold Grigoryan made a presentation entitled "Univalent Foundations and Constructive Type Theory"

Arnold Grigoryan made a presentation entitled "Univalent Foundations and Constructive Type Theory"

On the 4th of October Arnold Grigoryan (NRU HSE) gave a talk on the topic of "Univalent Foundations and Constructive Type Theory" at the workshop «From the Logical Point of View». 

Illustration for news: An intern researcher Yuri Kazakov gave a talk

An intern researcher Yuri Kazakov gave a talk

On September 27, Yuri Kazakov made a presentation "Dynamic Epistemic Approaches to Solving the Surprise Exam Paradox" at the workshop "From the Logical Point of View".

Software for checking if there is an equivalence between two models of knowledge by Denis Fedyanin and Valeria Nikolaeva

The software package developed by the laboratory staff members was officially registered as a computer program for the first time.

Non-transitive Dominance Relations and the Axiom of Transitivity: an article by Alexandr Poddyakov has been published

An article "Are Mathematicians, Physicists and Biologists Irrational? Intransitivity Studies vs. the Transitivity Axiom" by Alexander Poddyakov has been published in the journal "Human Arenas".

Illustration for news: Pavel Astafyev made a presentation at the workshop "From the Logical Point of View"

Pavel Astafyev made a presentation at the workshop "From the Logical Point of View"

On September 20, Pavel Astafyev made a presentation on "Disjunction in Natural Language, Exclusivity and Alternative Issues".