Prawda a teza Churcha – wyzwanie rzucone tomistom

Abstract

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.

This work aims to formulate an important issue of contemporary philosophy of mathematics – Church’s thesis [CT] – by taking advantage of the richness of the conceptual system of St. Thomas’ philosophy and using its type of notions. The indicated aim was first tried to achieve through an in-depth analysis of Thomas’ definition of truth as “adaequatio rei et intellectus.” This analysis revealed a great wealth of underlying philosophical content and showed its nontriviality. The final result is an attempt to formulate Church’s thesis as a specific instance of Thomas’ definition of truth. The result of the work is ambiguous and therefore it constitutes a specific challenge for the supporters of Thomism to discuss this topic.