Fitchov paradoks poznatljivosti: Što sve ne možemo znati?

Uvod

Jeste li ikada razmišljali o granicama ljudskog znanja? Postoje li istine koje nikada nećemo moći spoznati? Na prvi pogled, čini se da je odgovor “da” – svijet je pun tajni, budućnost je neizvjesna, a neke stvari su možda fundamentalno izvan našeg dosega. No, što ako bismo rekli da je svaka istina, po svojoj prirodi, spoznatljiva? Zvuči razumno, zar ne? Ako je nešto istinito, onda bi se, bareći u principu, to trebalo moći saznati. Upravo ta, naizgled bezazlena pretpostavka, dovodi nas do jednog od najdubljih i najizazovnijih misaonih paradoksa u modernoj filozofiji: Fitchovog paradoksa poznatljivosti.

Ovaj paradoks, formuliran sredinom 20. stoljeća, pokazuje da ako je svaka istina spoznatljiva, onda je svaka istina već spoznata. Zvuči nevjerojatno, pa čak i apsurdno, jer očito nismo sveznajući. Fitchov paradoks nas prisiljava da preispitamo same temelje našeg razumijevanja istine, znanja i njihovog odnosa. On nije samo logička zagonetka, već duboko preispitivanje naših intuicija o tome što znači “znati” i što je “istina”, tjerajući nas da se suočimo s potencijalnim ograničenjima našeg epistemičkog optimizma.

Što je paradoks/eksperiment?

Fitchov paradoks poznatljivosti je logički argument koji, počevši od premise da je svaka istina spoznatljiva, dovodi do zaključka da je svaka istina već spoznata. Drugim riječima, ako je istinito da je nešto spoznatljivo, onda to “nešto” mora biti i spoznato. Ako to nije spoznato, onda to nije ni spoznatljivo, što proturječi početnoj premisi. Paradoks se formalizira u epistemičkoj modalnoj logici.

Osnovna ideja je sljedeća: pretpostavimo da postoji neka istina *p* koja nije spoznata. Dakle, istinito je da je *p* istina, ali da nitko ne zna da je *p* istina (p ∧ ¬Kp). Prema principu poznatljivosti, ako je ovo stanje stvari (p ∧ ¬Kp) istinito, onda bi ono trebalo biti i spoznatljivo. Dakle, trebalo bi biti moguće znati da je (p ∧ ¬Kp). Međutim, Fitchov dokaz pokazuje da je nemoguće znati da je neka istina nepoznata, a da se pritom ne dođe do kontradikcije. Ako bismo znali da je (p ∧ ¬Kp), onda bismo znali i *p*, ali bismo znali i da *p* nije spoznato. A ako bismo znali da *p* nije spoznato, to bi značilo da *p* nije spoznato. Ali istovremeno bismo znali da *p* jest spoznato (jer bismo ga znali kada bismo znali (p ∧ ¬Kp)). To je kontradikcija.

Povijest nastanka

Fitchov paradoks poznatljivosti formuliran je sredinom 20. stoljeća, točnije 1963. godine, kada ga je Frederic Fitch objavio u članku “A Logical Analysis of Some Value Concepts”. Iako je objavljen u kontekstu rasprave o vrijednosnim konceptima, ubrzo je prepoznat njegov dubok utjecaj na epistemologiju i filozofiju logike.

Paradoks se pojavio u vrijeme kada je modalna logika, a posebno epistemička logika (logika znanja), doživljavala značajan razvoj. Filozofi su pokušavali formalizirati koncepte poput znanja, vjerovanja, nužnosti i mogućnosti. Princip poznatljivosti, koji kaže da je svaka istina spoznatljiva, bio je privlačan mnogim filozofima, osobito onima s antirealističkim ili verifikacionističkim tendencijama, koji su smatrali da istina mora biti nekako povezana s našom sposobnošću da je otkrijemo ili provjerimo. Fitchov dokaz pokazao je da takav princip ima mnogo radikalnije posljedice nego što se na prvi pogled činilo.

Tko ga je osmislio?

Paradoks je osmislio Frederic Brenton Fitch (1908. – 1987.), američki filozof i logičar. Fitch je bio profesor filozofije na Sveučilištu Yale, gdje je proveo veći dio svoje akademske karijere. Njegov rad bio je usmjeren na logiku, posebno na simboličku logiku, modalnu logiku i filozofiju matematike.

Fitch je bio poznat po svojoj preciznosti i formalnom pristupu filozofskim problemima. Njegova djela obuhvaćaju širok spektar tema, od teorije skupova do epistemičke logike. Paradoks poznatljivosti, iako možda nije bio centralna tema njegovog opusa, postao je njegovo najpoznatije nasljeđe u filozofiji. Njegova sposobnost da formulira tako jednostavan, a opet razoran logički argument, svjedoči o njegovoj iznimnoj vještini kao formalnog logičara.

Objašnjenje korak po korak

Fitchov paradoks počinje s naizgled intuitivnim principom, poznatim kao Princip poznatljivosti (PP):

Princip poznatljivosti (PP)

Svaka istina je spoznatljiva. Formalno: ∀p (p → ◊Kp)

Gdje:

p = bilo koja propozicija (izjava koja može biti istinita ili lažna)
→ = implicira (ako… onda…)
◊ = operator mogućnosti (moguće je da…)
K = operator znanja (neko zna da…)

Dakle, PP kaže: Za svaku propoziciju p, ako je p istinita, onda je moguće da netko zna da je p istinita.

Drugi ključni princip u dokazu je Princip faktivnosti znanja (PFZ):

Princip faktivnosti znanja (PFZ)

Ako netko zna neku propoziciju, onda je ta propozicija istinita. Formalno: Kp → p

Ovaj princip je široko prihvaćen u epistemologiji: ne možete znati nešto što nije istina.

Sada ćemo izvesti paradoks korak po korak:

Pretpostavimo da postoji neka istina koja nije poznata. Neka je ta istina označena s ‘p’. Dakle, imamo istinitu propoziciju koja tvrdi da je ‘p’ istinito I da nitko ne zna da je ‘p’ istinito.

Formalno: p ∧ ¬Kp (p je istinito, i nitko ne zna da je p istinito)

Budući da je (p ∧ ¬Kp) istinito (prema našoj pretpostavci), prema Principu poznatljivosti (PP), trebalo bi biti moguće znati da je (p ∧ ¬Kp) istinito.

Formalno: (p ∧ ¬Kp) → ◊K(p ∧ ¬Kp)

Dakle, ako naša pretpostavka iz koraka 1 vrijedi, onda mora biti moguće da netko zna (p ∧ ¬Kp).

Formalno: ◊K(p ∧ ¬Kp)

Sada razmotrimo što bi značilo da netko zna (p ∧ ¬Kp). Ako netko zna konjunkciju (A i B), onda zna i A i B pojedinačno.

Dakle, ako K(p ∧ ¬Kp), onda Kp ∧ K(¬Kp).

Iz Kp ∧ K(¬Kp) slijedi Kp. (Ako znaš A i B, znaš A).
Također, iz Kp ∧ K(¬Kp) slijedi K(¬Kp). (Ako znaš A i B, znaš B).
Sada primijenimo Princip faktivnosti znanja (PFZ) na K(¬Kp). Ako netko zna da ¬Kp, onda ¬Kp mora biti istinito.

Formalno: K(¬Kp) → ¬Kp

Dakle, ako K(p ∧ ¬Kp), onda Kp i ¬Kp.
Ali Kp i ¬Kp je kontradikcija! (Ne možeš istovremeno znati p i da p nije poznato).
Dakle, nemoguće je znati (p ∧ ¬Kp).

Formalno: ¬◊K(p ∧ ¬Kp)

Ali u koraku 3 smo zaključili da ako postoji nepoznata istina, onda je moguće znati (p ∧ ¬Kp). Sada smo došli do zaključka da je nemoguće znati (p ∧ ¬Kp). To je kontradikcija!

Budući da smo do kontradikcije došli polazeći od pretpostavke da postoji neka istina koja nije poznata (p ∧ ¬Kp), moramo odbaciti tu pretpostavku. To znači da ne može postojati istina koja nije poznata. Dakle, sve istine moraju biti poznate.

Formalno, dokaz pokazuje da ∀p (p → ◊Kp) implicira ∀p (p → Kp). Ako je svaka istina spoznatljiva, onda je svaka istina spoznata.

Zašto je važan?

Fitchov paradoks je iznimno važan zbog svojih dalekosežnih implikacija na nekoliko područja filozofije:

Epistemologija (teorija znanja)

Paradoks dovodi u pitanje našu intuiciju o odnosu između istine i znanja. Ako je princip poznatljivosti, da je svaka istina spoznatljiva, lažan, to znači da postoje istine koje su fundamentalno nespoznatljive. To otvara vrata epistemičkom pesimizmu i potiče nas da preispitamo što uopće znači da je nešto “spoznatljivo”. Je li spoznatljivost tek hipotetska mogućnost, ili podrazumijeva neku inherentnu dostupnost znanju?

Metafizika i filozofija jezika

Paradoks ima implikacije na debate između realizma i antirealizma. Realisti obično vjeruju da istine postoje neovisno o našoj sposobnosti da ih spoznamo. Antirealisti, s druge strane, često povezuju istinu s mogućnošću spoznaje ili verifikacije. Fitchov paradoks sugerira da antirealistički pokušaji da se istina definira u terminima spoznatljivosti mogu dovesti do neželjenog zaključka da smo sveznajući.

Filozofija religije

Neki su filozofi koristili Fitchov paradoks u raspravama o Božjoj sveznanosti. Ako je princip poznatljivosti istinit, a mi nismo sveznajući, onda je nešto pogrešno. Ako je Bog sveznajući, to bi moglo spasiti princip poznatljivosti, ali to bi značilo da je princip poznatljivosti istinit samo ako postoji sveznajuće biće. To otvara zanimljive teološke implikacije.

Logika

Paradoks je potaknuo intenzivna istraživanja u modalnoj i epistemičkoj logici, uključujući proučavanje različitih sustava znanja, modaliteta i njihovih interakcija. Pokazao je koliko su osjetljive i snažne pretpostavke koje često uzimamo zdravo za gotovo.

Najčešće interpretacije

Fitchov paradoks izazvao je brojne reakcije i interpretacije, od kojih većina pokušava izbjeći njegov neugodan zaključak da smo sveznajući:

Odbacivanje Principa poznatljivosti (PP)

Ovo je najčešća i najizravnija reakcija. Mnogi filozofi zaključuju da je princip “svaka je istina spoznatljiva” jednostavno pogrešan. To implicira da postoje istine koje su fundamentalno nespoznatljive, čak i u principu. Na primjer, istina “postoji točno 17 nepoznatih istina” je istina koja ne može biti poznata bez da prestane biti istina, ili da se promijeni broj. Ova interpretacija prihvaća da postoje epistemička ograničenja inherentna samoj prirodi istine.

Ograničavanje Principa poznatljivosti (PP)

Neki predlažu da se PP ne odbaci u potpunosti, već da se ograniči. Možda je samo određena vrsta istina spoznatljiva, ili možda nije svaka istina “atomarno” spoz