来自罗兹大学哲学与历史学院逻辑与科学方法学系主任Andrzej Indrzejczak教授因其研究项目获得了享有盛誉的欧洲研究理事会 (ERC) 的高级资助。超过 160 万欧元。

这是罗兹大学科学家在历史上首次获得此类资助，也是罗兹大学首次获得 ERC 资助。这也是波兰科学家首次获得 ERC 社会科学和人文领域的高级资助，迄今为止已授予物理和工程科学的代表。

Andrzej Indrzejczak教授的项目 “来到术语：证明理论扩展到明确的描述和其他术语” 致力于使用复杂命名表达式（例如短语：“Wajda’s last film”）作为信息的形式理论的证明理论和自动演绎程序运营商。项目旨在使形式逻辑工具适应自然语言的结构，其中复杂的名称表达式起着非常重要的作用。