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

News

Illustration for news: Arsen Volskiy gave a talk on the topic of "The Concept of Modality in the Context of Lukasiewicz's Three-Valued Logic"

Arsen Volskiy gave a talk on the topic of "The Concept of Modality in the Context of Lukasiewicz's Three-Valued Logic"

A research workshop "From the Logical Point of View" was held on March 15. Arsen Volskiy (a student of NSU) made a presentation on "The Concept of Modality in the Context of Lukasiewicz's Three-Valued Logic". 

Abstract

Jan Lukasiewicz is a well-known Polish logician, considered to be one of the first major researchers in the field of many-valued logic. In this regard, perhaps the most significant work is his article “Philosophical Remarks on Many-Valued Systems of Propositional Logic” wherein he formulates the concept of “possible” as a third truth value. I am going to talk about the logical system that Lukasiewicz is building as well as the motivations that lead him to this concept.

Illustration for news: Prof Elena Dragalina-Chernaya gave a talk at the Complutense University of Madrid

Prof Elena Dragalina-Chernaya gave a talk at the Complutense University of Madrid

On the 1st of March Prof Elena Dragalina-Chernaya gave a talk entitled "Classifying Logical Forms: Variety of Invariance in Formal and Regional Ontologies" at the analytic philosophy workshop at the Complutense University of Madrid.

Illustration for news: Valeria Chasova made a presentation at the Formal Philosophy workshop

Valeria Chasova made a presentation at the Formal Philosophy workshop

On February 16, a meeting of the theoretical workshop "Formal Philosophy" was held. Valeria Chasova made a presentation "Ontology of symmetries: foundations, history and systematization".

Abstract

Symmetry is the invariance of one when the other is transformed. For example, saving the content when changing the form. Physical theories are full of theoretical symmetries. Due to this, gravitational waves and the Higgs boson were predicted. However, it is still not clear how exactly theoretical symmetries relate to the world around us. I am going to tell you in more detail about the ways physical theories are arranged, what kinds of theoretical symmetries can be found there, what the different ways they relate to the world are and how we can systematize research in this area.

An article by Jorge Luis Mendez Martinez has been published

The article "La cognición auditiva. Especificidad modal y perplejidad semántico-definicional" by a staff member, researcher Jorge Luis Mendes Martinez was published in the journal "Andamios".

Illustration for news: Maxim Gladyshev gave a talk at the workshop “From the Logical Point of View””

Maxim Gladyshev gave a talk at the workshop “From the Logical Point of View””

Maxim Glavychev (Utrecht University) made a presentation on " Reasoning About Group Responsibility for Exceeding Risk Threshold" at the workshop "From a logical point of view" on February 9.

Abstract

Tracing and analysing the responsibility for unsafe outcomes of actors’ decisions in multi-agent settings have been studied in recent years. These studies often focus on deterministic scenarios and assume that the unsafe outcomes for which actors can be held responsible are actually realized. This paper considers a broader notion of responsibility where unsafe outcomes are not necessarily realized, but their probabilities are unacceptably high. We present a logic combining strategic, probabilistic and temporal primitives designed to express concepts such as the risk of an undesirable outcome and being responsible for exceeding a risk threshold in one-shot games. We demonstrate that the proposed logic is (weakly) complete, decidable and has an efficient model-checking procedure. Finally, we define a probabilistic notion of responsibility and study its formal properties in the proposed logic setting.

Pre-defense of Natalia Zevakhina's doctoral dissertation (Dr Habilitation)

On February 9, 2024, the HSE School of Linguistics held a pre-defense of Natalia Zevakhina's doctoral dissertation "Experimental and Corpus Studies of Linguistic Pragmatics: Informativeness, Illocutionary Types of Sentences, Metalinguistic Comparison".

Illustration for news: The workshop to celebrate World Logic Day was held

The workshop to celebrate World Logic Day was held

On January 15, a workshop dedicated to World Logic Day was held at the International Laboratory of Logic, Linguistics and Formal Philosophy.

The first World Logic Day was held at universities and research centers on January 14, 2019. Researchers from more than 30 countries joined the celebration. Yet in the fall of 2019, at the UNESCO conference, January 14 was declared World Logic Day.

The International Laboratory of Logic, Linguistics and Formal Philosophy celebrates World Logic Day for the fifth time. 

Program 17.00–17.10 Opening

17.10–17.35 Evgeny Lebkov, Yulia Blinova, The interplay of the ability to solve non-standard mathematical problems in compliance with logical laws
17.35–18.00 Vyacheslav Pyatakov, The logic of the dynamics of legal relations DyLeR
18.00–18.25 Anna Moiseeva, Situational semantics of conditionals and logical consequence
18.25–18.50 Anna Ovchinnikova, De Re and De Dicto Knowledge in Two-Dimensional Semantics 
18.50–19.20 poster section
19.20–19.45 Ramadan Ayupov, The problem of empty names and its significance for semantics
19.45–20.10 Valeria Chasova, Empirical statuses of theoretical symmetries
20.10–20.35 Vladimir Stepanov, The method of constructing tables of multivalued logic of self-reference 
20.35–21.00 Viktoria Denisova, On the issue of the demarcation of logic from psychology

Illustration for news: Conference "Formal Philosophy 2023"

Conference "Formal Philosophy 2023"

On 11  – 13 October 2023, the International Conference "Formal Philosophy – 2023" was held, organized by the HSE International Laboratory of Logic, Linguistics and Formal Philosophy (HSE University).

Illustration for news: The interview of Elena Dragalina-Chernaya was published in JORNAL DA UNICAMP

The interview of Elena Dragalina-Chernaya was published in JORNAL DA UNICAMP

Elena Dragalina-Chernaya gave an interview to the professor of UNICAMP (Campinas, Brazil) Walter Carnielli who is also the chairman of an advisory committee of the São Paulo School of Advanced Science on Contemporary Logic, Rationality, and Information (SPLogIC). The interview was published in JORNAL DA UNICAMP and is dedicated to the history of logic and its current development prospects.

Illustration for news: Formal Philosophy 2022

Formal Philosophy 2022

On 31 October – 3 November 2022 , the International Conference "Formal Philosophy – 2022" was held, organized by the HSE International Laboratory of Logic, Linguistics and Formal Philosophy.