Prof. Andrzej Indrzejczak, Leiter des Lehrstuhls für Logik und Methodologie der Wissenschaften an der Philosophischen und Historischen Fakultät der Universität Łódź (UŁ), hat für sein Forschungsprojekt einen prestigeträchtigen Advanced Grant des Europäischen Forschungsrats (European Research Council, ERC) in Höhe von über 1,6 Millionen EUR erhalten.

Wie das Förderzentrum der Universität Łódź berichtet, sei dies die erste Förderung dieser Art für einen Wissenschaftler der Universität Łódź und gleichzeitig der erste ERC-Grant für Universitäten in Łódź überhaupt. Es sei auch das erste Mal, dass ein polnischer Wissenschaftler einen ERC Advanced Grant im Bereich der Sozial- und Geisteswissenschaften erhält, da er bisher an Vertreter der Natur- und Ingenieurwissenschaften vergeben wurde.

Das Projekt von Prof. Indrzejczak mit dem Titel „Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms”  ist der Beweistheorie und den Programmen der automatischen Deduktion für formale Theorien, die komplexe Namensausdrücke (wie z. B. den Ausdruck: „Wajdas letzter Film”) als Informationsträger verwenden, gewidmet. Ziel des Projekts ist es, die Werkzeuge der formalen Logik an die Struktur natürlicher Sprachen anzupassen, in denen komplexe Namensausdrücke eine sehr wichtige Rolle spielen.