Prawda a teza Churcha – wyzwanie rzucone tomistom

Artykuł stawia sobie za cel, poprzez skorzystanie z bogactwa pojęciowego systemu filozofii św. Tomasza i z użyciem jego typu pojęć, sformułowanie ważnego zagadnienia współczesnej filozofii matematyki – tezy Churcha [CT]. Wskazany cel starano się najpierw uzyskać przez pogłębioną analizę Tomaszowego określenia prawdy jako „adaequatio rei et intellectus”. Analiza ta ujawniła wielkie bogactwo treści filozoficznych leżących u podstaw i ukazała jej nietrywialność. Efektem końcowym jest próba sformułowania tezy Churcha jako specyficznej instantacji definicji prawdy Tomasza. Wynik pracy jest niejednoznaczny i dlatego stanowi swoiste wyzwanie dla zwolenników tomizmu do dyskusji na ten temat.