Prof. Andrzej Indrzejczak, head of the Department of Logic and Methodology of Sciences at the Faculty of Philosophy and History of the University of Łódź (UŁ), received the prestigious Advanced Grant of the European Research Council (ERC) for his research project in the amount of over EUR 1.6 million.

The Promotion Center of the University of Lodz emphasized that this is the first grant of this type in history for a scientist at the University of Lodz and the first ERC grant for Lodz universities. It is also the first time that a Polish scientist has won the ERC Advanced Grant in the field of social sciences and humanities, as so far it has been awarded to representatives of physical and engineering sciences.

Project by prof. Indrzejczak – “Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms” – is devoted to the theory of proof and automatic deduction programs for formal theories using complex naming expressions (such as the phrase: “Wajda’s last film”) as information carriers. The aim of the project is to adapt the tools of formal logic to the structure of natural languages, in which complex name expressions play a very important role.