KRYTERIUM BEZ FUNDAMENTU

Abstrakt

Artykuł rozwija tezę, że problem niezupełności — ujawniony formalnie przez Kurt Gödel i semantycznie przez Alfred Tarski — stanowi szczególny przypadek głębszego problemu: braku ostatecznego kryterium dowodliwości. Odwołując się do koncepcji docta ignorantia Mikołaj z Kuzy, artykuł argumentuje, że każda struktura poznawcza implikuje regres metapoziomów, który nie może zostać domknięty bez aktu pozasystemowego. Teza główna brzmi: wiara nie jest epistemicznym wyjątkiem, lecz warunkiem operacyjnym wszelkiego uzasadnienia.

I. Wprowadzenie

Nowoczesna epistemologia, zwłaszcza w jej wersji formalistycznej, zakłada możliwość:

określenia kryterium prawdy,

wyznaczenia reguł dowodzenia,

uzasadnienia twierdzeń w ramach zamkniętego systemu.

Jednak rozwój logiki XX wieku ujawnił, że:

system nie jest zdolny do pełnego uzasadnienia własnych warunków poprawności.

Celem artykułu jest wykazanie, że problem ten nie ogranicza się do logiki formalnej, lecz dotyczy samego pojęcia dowodu, a jego konsekwencją jest konieczność wprowadzenia aktu pozasystemowego — który tradycja filozoficzna określa mianem wiary.

II. Niezupełność formalna i jej zakres

Twierdzenia o niezupełności Kurt Gödel dotyczą systemów:

efektywnie aksjomatyzowalnych,

niesprzecznych,

zawierających arytmetykę liczb naturalnych.

Pierwsze twierdzenie głosi:

istnieją zdania prawdziwe, których nie można dowieść w systemie¹

Drugie:

system nie może dowieść własnej niesprzeczności²

Ograniczenie

Twierdzenia te:

nie odnoszą się bezpośrednio do rzeczywistości ontologicznej,

lecz do systemów formalnych (język pierwszego rzędu).

Interpretacja ostrożna

Niezupełność oznacza:

rozbieżność między prawdą a dowodliwością w systemie formalnym

III. Problem metajęzyka i regres semantyczny

Alfred Tarski wykazał, że:

prawda nie może być definiowana w tym samym języku bez sprzeczności³

Konsekwencja

Każdy język wymaga:

metajęzyka

meta-metajęzyka

itd.

Struktura

L₁ → L₂ → L₃ → …

Wniosek

Nie istnieje język ostateczny, który domykałby definicję prawdy.

IV. Problem kryterium dowodliwości

Teza centralna

Każdy dowód zakłada:

reguły inferencji

aksjomaty

kryterium poprawności

które:

nie są dowodzone w obrębie tego samego systemu

Struktura regresu

Niech:

Alternatywa

regres nieskończony

zatrzymanie na poziomie niedowodliwym

Formuła

Omnis demonstratio supponit criterium indemonstrabile.

V. Uogólnienie epistemologiczne

Teza

Zdolność uznania prawdy wyprzedza możliwość jej formalnego dowodu.

Implikacja

Istnieje poziom:

przedformalny

intuicyjny

operacyjny

Interpretacja

To, co w logice jest wyjątkiem (Gödel), w epistemologii jest:

regułą strukturalną

VI. Kuzańczyk i epistemologia granicy

Mikołaj z Kuzy

Teza

Docta ignorantia est sapientia⁴

Interpretacja

Kuzańczyk rozpoznaje:

brak adekwatności poznania wobec nieskończoności

konieczność uznania granicy poznania

Rekonstrukcja współczesna

docta ignorantia = świadomość niezamykalności kryterium poznania

VII. Synteza: struktura niezamykalności

Trzy poziomy

Formuła ogólna

Nullum systema est auto-fundatum.

VIII. Wiara jako warunek operacyjny

Teza główna

Wiara nie jest:

alternatywą dla wiedzy

ani jej brakiem

lecz:

warunkiem operacyjnym uznania kryterium prawdy

Struktura

Defectus criterii → actus acceptationis → possibilitas cognitionis

Interpretacja

Każde poznanie wymaga:

aktu przyjęcia

który nie jest dowodliwy

IX. Konsekwencje filozoficzne

1. Odrzucenie naiwnego racjonalizmu

Nie istnieje:

wiedza całkowicie samouzasadniająca się

2. Reinterpretacja wiary

Wiara:

jest strukturalnie obecna w każdym systemie poznawczym

3. Epistemologia po niezupełności

poznanie = system + metapoziom + akt

X. Konkluzja

Teza końcowa

Niezupełność nie jest wyjątkiem logiki formalnej, lecz przejawem ogólnej niezamykalności kryterium poznania — a wiara jest koniecznym warunkiem operacyjnym tej struktury.

Formuła finalna

Fides non est contra rationem, sed conditio rationis.

Bibliografia

Kurt Gödel, Über formal unentscheidbare Sätze der Principia Mathematica (1931).

Alfred Tarski, The Concept of Truth in Formalized Languages (1933).

Mikołaj z Kuzy, De docta ignorantia (1440).

Karl Popper, The Logic of Scientific Discovery (1934).

Bertrand Russell, Introduction to Mathematical Philosophy (1919).

Willard Van Orman Quine, Two Dogmas of Empiricism (1951).