Проф. Анджей Инджейчак, заведующий кафедрой логики и методологии наук факультета философии и истории Лодзинского университета, получил престижный расширенный грант Европейского исследовательского совета (ERC) на свой исследовательский проект в размере более 1,6 млн евро.

Как подчеркнули в Центре продвижения Лодзинского университета, это первое в истории финансирование такого типа для ученого Лодзинского университета и первый грант ERC для лодзинских университетов. Также это первый случай, когда польский ученый выиграл расширенный грант ERC в области социальных и гуманитарных наук, поскольку до сих пор он был присужден представителям физических и технических наук.

Проект проф. Инджейчак — «Приходя к терминам: теория доказательств, расширенная до определенных описаний и других терминов» — посвящена теории доказательств и программам автоматического вывода для формальных теорий, использующим сложные выражения именования (такие как фраза: «Последний фильм Вайды») в качестве информации. перевозчики. Цель проекта — адаптировать инструменты формальной логики к структуре естественных языков, в которых очень важную роль играют сложные именные выражения.