Olszewski, Adam2024-04-102024-04-102020Analecta Cracoviensia, 2020, T. 52, s. 195-212.0209-08642391-6842http://theo-logos.pl/xmlui/handle/123456789/15007Artykuł 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.plAttribution-NonCommercial-NoDerivs 3.0 Polandhttp://creativecommons.org/licenses/by-nc-nd/3.0/pl/prawdadefinicjaTomasz z Akwinuteza Churchahipoteza Churcha-TuringapojęciefilozofiametafizykatruthdefinitionThomas AquinasChurch’s thesisChurch-Turing thesisconceptphilosophymetaphysicsArticle