Le professeur Andrzej Indrzejczak, chef du Département de Logique et de Méthodologie des Sciences à la Faculté de Philosophie et d’Histoire de l’Université de Łódź (UŁ), a reçu une prestigieuse subvention avancée du Conseil Européen de la Recherche (CER) de plus de 1,6 million d’euros pour son projet de recherche.

Comme le souligne le Centre de Promotion de l’UŁ, il s’agit du tout premier financement de ce type pour un scientifique de l’Université de Łódź et en même temps de la première subvention CER pour les universités de Łódź. C’est également la première fois qu’un scientifique polonais remporte une bourse avancée du CER dans le domaine des sciences sociales et humaines, car jusqu’à présent, elle a été reçue par des représentants des sciences physiques et de l’ingénierie.

Le projet du professeur Indrzejczak – « Coming to Terms : Proof Theory Extended to Definite Descriptions and other Terms ». – est consacré à la théorie de la preuve et aux programmes de déduction automatique pour les théories formelles utilisant des expressions de noms complexes (telles que l’expression : « le dernier film de Wajda ») comme supports d’information. L’objectif du projet est d’adapter les outils de la logique formelle à la structure des langues naturelles, dans lesquelles les expressions de noms complexes jouent un rôle très important.