O Prof. Andrzej Indrzejczak, chefe do Departamento de Lógica e Metodologia das Ciências da Faculdade de Filosofia e História da Universidade de Łódź (UŁ), recebeu uma Bolsa Avançada do Conselho Europeu de Investigação (ERC ou European Research Council). O valor da subvenção ascende a mais de 1,6 milhões de euros.

Conforme o Centro de Promoção da Universidade de Lódź, este é o primeiro financiamento do género na história para um cientista da Universidade de Łódź e a primeira bolsa ERC para uma universidade de Łódź. É também a primeira vez que um cientista polaco ganha a Advanced Grant do ERC na área das ciências sociais e humanas, uma vez que esta bolsa foi até agora atribuída a representantes das ciências físicas e da engenharia.

O projeto do Prof. Indrzejczak, Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms, lida com a teoria da prova e programas de dedução automática para teorias formais usando expressões de nomenclatura complexas (como a frase: “O último filme de Wajda”) como informações de suporte. O objetivo do projeto é adaptar as ferramentas da lógica formal à estrutura das linguagens naturais, nas quais expressões nominativas complexas desempenham um papel muito importante.