JeologÐa kai Jemeli¸deic

Epist mec I: JeologÐa kai

Majhmatik  Logik 

Iwˆnnhc P. Z¸hc
E-mail: i.zois@exeter.oxon.org
15 NoembrÐou 2009

Ac upojèsoume pwc kˆpoioc kˆnei thn ex c ”perÐergh” genik  er¸thsh:

'Eqei kˆje prìblhma lÔsh?

Ti ja apantoÔsame? Oi perissìteroi ˆnjrwpoi nomÐzoun ìti kˆje prìblhma

èqei (toulˆqiston) mia lÔsh (kˆpoia probl mata mporeÐ na èqoun kai peris-
sìterec apì mÐa lÔseic). EÐnai ìmwc autì swstì? H apˆnthsh eÐnai OQI.
FaÐnetai ìti oi erwt seic eÐnai perissìterec apì tic apant seic.

O Kurt Gödel (Kourt Gkèntel, 1906-1978)  tan ènac Austriakìc majh-

matikìc (h gennèteirˆ tou s mera an kei sthn TseqÐa allˆ stic arqèc tou 20ou
ai¸na an ke sthn AustrouggarÐa). JewreÐtai o pio shmantikìc epist monac
thc majhmatik c logik c tou 20ou ai¸na kai ènac apì touc shmantikìterouc
ìlwn twn epoq¸n. H basik  tou suneisforˆ sthn majhmatik  logik  eÐnai
èna zeugˆri jewrhmˆtwn pou eÐnai gnwstˆ wc ta perÐfhma jewr mata mh
- plhrìthtac, ta opoÐa dhmosÐeuse to 1931, ìtan  tan 25 et¸n, èna qrì-
no metˆ thn olokl rwsh thc didaktorik c tou diatrib c sto panepist mio thc
Biènnhc. O Gödel ˆrqise thn karièra tou spoudˆzontac jewrhtik  fusik 
allˆ sÔntoma strˆfhke proc thn majhmatik  logik . Ephreˆsthke kurÐwc
apì ta suggrˆmmata twn I. Kant kai B. Russell. DiathroÔse filik  sqèsh me
ton A. Einstein katˆ to diˆsthma pou brÐskontan kai oi dÔo sto InstitoÔto A-
nwtèrwn Spoud¸n sto PrÐnston thc Amerik c. Dustuq¸c eÐqe luphrì tèloc:
An kai  tan pˆnta wc èna bajmì ekkentrikìc (gia parˆdeigma sun jize akìmh
kai to kalokaÐri na forˆ èna makrÔ paltì), ta teleutaÐa qrìnia thc zw c tou
èpasqe apì parˆnoia kai metaxÔ twn emmon¸n tou  tan pwc kˆpoioi ˆgnwstoi

1
prospajoÔn na ton dolofon soun dhlhthriˆzontac thn trof  tou. Arniìtan
na fˆei me apotèlesma na pejˆnei apì asitÐa sto nosokomeÐo tou PrÐnston to
1978.

ApofeÔgontac touc teqnikoÔc ìrouc kai qrhsimopoi¸ntac aplèc lèxeic, ta

jewr mata mh - plhrìthtac lène ta ex c:

Gia kˆje upologÐsimo sÔsthma logik¸n axiwmˆtwn to opoÐo eÐnai toulˆqi-

ston eparkèc gia na perigrˆyei thn basik  arijmhtik  twn fusik¸n arijm¸n

(dhlad  thn arijmhtik  twn fusik¸n arijm¸n pou majaÐnoume sto Dhmotikì
SqoleÐo pou perilambˆnei tic 4 basikèc prˆxeic: Prìsjesh, afaÐresh, polla-
plasiasmì kai diaÐresh, sta majhmatikˆ autì apokaleÐtai arijmhtik  Peano),
tìte:

1. Eˆn to sÔsthma eÐnai sunepèc, tìte den mporeÐ na eÐnai pl rec (autì
anafèretai wc to pr¸to je¸rhma mh - plhrìthtac).

2. H sunèpeia twn axiwmˆtwn den mporeÐ na apodeiqjeÐ mèsw tou sust -

matoc .

Ac exhg soume ligˆki ta jewr mata: 'Ena logikì sÔsthma eÐnai sunepèc

ìtan den èqei antifˆseic, dhlad  mia prìtash den eÐnai tautìqrona alhj c
kai yeud c en¸ èna logikì sÔsthma lègetai pl rec eˆn kˆje prìtash mpo-
reÐ na qarakthrisjeÐ alhj c   yeud c. To (pr¸to) je¸rhma mh - plhrìthtac
lèei ìti eˆn èna sÔsthma eÐnai sunepèc, tìte den mporeÐ na eÐnai pl rec, dh-
lad  ja upˆrqoun kˆpoiec protˆseic, (toulˆqiston mÐa), gia tic opoÐec den
ja mporoÔme na apofanjoÔme eˆn eÐnai alhjeÐc   yeudeÐc. Oi protˆseic autèc
lègontai π1 - protˆseic. O lìgoc pou apokaleÐtai je¸rhma mh - plhrìthtac
eÐnai o ex c: 'Estw ìti èqoume èna logikì sÔsthma pou eÐnai sunepèc. Tìte
ja upˆrqei toulˆqiston mÐa π1 - prìtash. 'Estw ìti èqoume akrib¸c mÐa π1 -
prìtash. DÐdoume se aut  thn prìtash aujaÐreta thn tim  alhjeÐac alhj c
kai thn enswmat¸noume sto arqikì sÔsthma wc èna epiplèon axÐwma. 'Etsi ja
èqoume èna kainoÔrgio ektetamèno logikì sÔsthma. To je¸rhma mh - plhrì-
thtac ìmwc efarmìzetai ek nèou gia to kainoÔrgio logikì sÔsthma opìte kai
gia autì ja upˆrqei toulˆqiston mia π1 - prìtash. Aut  h diadikasÐa sune-
qÐzetai ep' ˆpeiron, opìte ta sunep  logikˆ sust mata den eÐnai potè pl rh.
To je¸rhma lègei pwc èna sÔsthma mporeÐ na eÐnai pl rec mìno eˆn èqei logi-
kèc antifˆseic, dhlad  den eÐnai sunepèc. Prìkeitai gia entupwsiakì je¸rhma!

To deÔtero mèroc tou jewr matoc dhl¸nei pwc den mporoÔme oÔte kan
na apodeÐxoume thn sunèpeia enìc logikoÔ sust matoc sthrizìmenoi mìno sta

2
axi¸mata tou en lìgw logikoÔ sust matoc (kˆti pou Ðswc megal¸nei thn a-
pogo teus  mac...)

Sthn epist mh (allˆ kai stic diaproswpikèc mac sqèseic, akìmh kai sthn
politik ), protimˆme sun jwc thn sunèpeia miac kai mia episthmonik  jewrÐ-
a pou eÐnai asunep c den mporeÐ na kˆnei axiìpistec problèyeic. Tìte ìmwc

h jewrÐa anapìdrasta den ja eÐnai pl rhc, dhlad  ja af nei opwsd pote a-

napˆnthta erwt mata. Antijètwc, eˆn epimeÐnoume sthn plhrìthta, (dhlad 
jèloume pˆnta apˆnthsh eˆn mia prìtash eÐnai alhj c   yeud c), tìte qˆnou-
me th sunèpeia kai to logikì sÔsthma ja èqei antifˆseic. Kˆnte thn epilog 
sac, kai ta dÔo, sunèpeia kai plhrìthta, den eÐnai tautìqrona efiktˆ!

AxÐzei mia koubènta gia thn apìdeixh tou jewr matoc: EÐnai ektetamènh
kai polÔplokh (h apìdeixh kalÔptei arketèc dekˆdec selÐdwn) kai basÐzetai
se mia mèjodo pou argìtera onomˆsthke aparÐjmhsh Gödel kai h opoÐa me
th seirˆ thc sthrÐzetai sto perÐfhmo diag¸nio epiqeÐrhma tou Georg Cantor
mèsw tou opoÐou apodeiknÔetai ìti o plhjˆrijmoc twn pragmatik¸n arijm¸n
eÐnai megalÔteroc apì ton plhjˆrijmo twn akeraÐwn (kai twn fusik¸n) a-
rijm¸n. Arqikˆ gia na apofÔgei parˆdoxa tÔpou Rˆsel (blèpe parakˆtw),
o Gkèntel kˆnei prosektik  diˆkrish metaxÔ majhmatik¸n (ìpwc h prìtash
1 + 1 = 2) kai meta-majhmatik¸n (dhlad  protˆsewn gia ta majhmatikˆ ìpwc
h prìtash ”ta majhmatikˆ eÐnai endiafèronta”). Sthn sunèqeia apodeiknÔei
ìti kˆje majhmatik  prìtash mporeÐ na arijmhjeÐ me kˆpoion arijmì pou lège-
tai arijmìc Gkèntel thc sugkekrimènhc prìtashc en¸ gia ta meta-majhmatikˆ
apodukneÐei ìti kˆje prìtash twn meta-majhmatik¸n (ìpwc h prìtash ”h a-
koloujÐa twn tÔpwn A apoteleÐ apìdeixh tou tÔpou B”) mporeÐ na ekfrasjeÐ

wc arijmhtik  sqèsh twn arijm¸n Gkèntel twn protˆsewn A kai B , sune-

p¸c ta meta-majhmatikˆ mporoÔn na apeikonisjoÔn sthn arijmhtik . Gia na
oloklhr¸sei thn apìdeixh kataskeuˆzei mia autoanaforik  prìtash h opoÐa
eÐnai alhj c an kai mìno an eÐnai mh apodeÐximh. Me thn parapˆnw apeikìnish
twn meta-majhmatik¸n sthn arijmhtik  autì antistoiqeÐ se mia sqèsh metaxÔ
fusik¸n arijm¸n h opoÐa ìmwc den mporeÐ na proèljei apì ta axi¸mata. O
suggrafèac tou ˆrjrou jumˆtai pwc wc metaptuqiakìc ereunhtikìc foitht c
sthn Oxfìrdh parakoloÔjhse èna olìklhro trimhniaÐo mˆjhma (me didˆskonta
ton perÐfhmo kajhght  Isaacson) pou h Ôlh tou perieÐqe mìno tic apodeÐxeic
twn jewrhmˆtwn mh - plhrìthtac. Anafèroume epÐshc wc istorikì stoiqeÐo
pwc ìtan emfanÐsthkan ta jewr mata tou Gödel sthn kuriolexÐa ”sunètriyan”
to prìgramma tou megˆlou germanoÔ majhmatikoÔ D. Hilbert pou upost rize
pwc arkeÐ èna sÔsthma axiwmˆtwn gia na perigrˆyei ìla ta majhmatikˆ.

Upˆrqoun pollˆ paradeÐgmata π1 - protˆsewn, Ðswc to pio aplì kai to

3
pio gnwstì eÐnai to perÐfhmo EukleÐdeio AÐthma (  aÐthma thc parallhlÐac,
gnwstì apì to Gumnˆsio) pou lègei ìti apì shmeÐo ektìc eujeÐac mìno mÐa
parˆllhlh proc thn arqik  eujeÐa mporoÔme na fèroume (shmei¸noume pwc
aut  den eÐnai h aujentik  diatÔpwsh pou upˆrqei sta StoiqeÐa tou EukleÐ-
dh allˆ eÐnai mia isodÔnamh metagenèsterh pou ofeÐletai ston Playfair pou
eÐnai pio kajar ). S mera gnwrÐzoume pwc h prìtash aut  den mporeÐ na a-
podeiqjeÐ oÔte na aporrifjeÐ me bˆsh ta upìloipa 4 axi¸mata tou EukleÐdh,
den mporoÔme sta plaÐsia thc EukleÐdeiac GwmetrÐac na apodeÐxoume oÔte ìti
eÐnai alhj c oÔte ìti eÐnai yeud c. 'Osoi asqoloÔntai me thn gewmetrÐa gnw-
rÐzoun ìti to EukleÐdeio aÐthma apasqìlhse polloÔc megˆlouc majhmatikoÔc
anˆ touc ai¸nec kai h telik  apˆnthsh dìjhke mìlic ton 18o ai¸na (dhlad 
perissìtero apì 20 ai¸nec metˆ ton EukleÐdh), sqedìn anexˆrthta apì touc
J. Bolyai, K.-F. Gauss, N. Lobachevsky.

DÔo epiplèon shmantikˆ paradeÐgmata π1 - protˆsewn èrqontai apì thn ma-

jhmatik  logik : 'Opwc apèdeixe thn dekaetÐa tou 1960 o P. J. Cohen, tìso
h upìjesh tou suneqoÔc (pou lègei pwc den upˆrqoun sÔnola me plhjˆrijmo
metaxÔ ℵ0 kai ℵ1 ) ìso kai to axÐwma thc epilog c (h aploÔsterh èkfrash
autoÔ eÐnai ìti kˆje dianusmatikìc q¸roc peperasmènhc diˆstashc èqei mia
bˆsh), den mporoÔn na apodeiqjoÔn oÔte ìti eÐnai yeudeÐc oÔte ìti eÐnai alh-
jeÐc protˆseic me bˆsh ta axi¸mata Zermelo-Fraenkel thc axiwmatik c jewrÐac
sunìlwn (oi parapˆnw apodeÐxeic tou P. J. Cohen jewroÔntai apì polloÔc wc
h deÔterh shmantikìterh suneisforˆ sthn majhmatik  logik  katˆ ton 20o
ai¸na).

Ta jewr mata mh - plhrìthtac èqoun bajeièc sunèpeiec ìqi mìno gia ta

majhmatikˆ kai tic fusikèc epist mec allˆ kai gia thn filosofÐa, thn epist -
mh twn upologist¸n, tic gnwstikèc epist mec, thn yuqologÐa klp, sunèpeiec
pou ìpwc èqei epishmanjeÐ apì megˆlouc sÔgqronouc filosìfouc (san ton J.
R. Lucas) kai majhmatikoÔc (san ton R. Penrose) den èqoun akìmh melethjeÐ
pl rwc. Ja mporoÔse kˆpoioc na uposthrÐxei qwrÐc na eÐnai makriˆ apì thn
pragmatikìthta pwc ta jewr mata mh plhrìthtac apoteloÔn mia pio austhr 
kai pio sunoptik  morf  twn jèsewn tou L. Wittgenstein pou anèptuxe sto
perÐfhmo Tractatus, èrgo stajmì gia thn filosofÐa tou 20ou ai¸na. EpÐ-
shc oi ergasÐec tou Jacques Derrida pˆnw sthn jewrÐa apodìmhshc (jewrÐa
logoteqnÐac kai filosofÐa), katˆ thn omologÐa tou idÐou tou Derrida se pro-
swpik  sunomilÐa me ton grˆfonta katˆ to pareljìn, sqetÐzontai ˆmesa me ta
jewr mata mh-plhrìthtac, ˆllwste o Derrida eÐqe spoudˆsei kai majhmatikˆ.
Genikìtera, ston orismì tou J.-F. Lyotard ìti h metanewterik  sunj kh eÐnai
h duspistÐa stic meta-afhg seic, ja mporoÔsame na parajèsoume to sqìlio
tou V. Tasic pwc ta majhmatikˆ an koun stic pio epÐmonec meta-afhg seic thc

4
Dutikoeurwpaðk c koultoÔrac. 'Oson aforˆ thn fusik , megˆloi sÔgqronoi
jewrhtikoÐ fusikoÐ ìpwc o Steven Winberg (brabeÐo Nompèl 1979, ènac apì
touc patèrec tou legìmenou stˆntar montèlou thc fusik c twn stoiqeiwd¸n
swmatidÐwn pou enopoÐhse tic hlektromagnhtikèc kai tic asjeneÐc purhnikèc
allhlepidrˆseic), o gnwstìc Stephen Hawking klp, paradèqontai plèon pwc
mia fusik  jewrÐa twn pˆntwn, akìmh kai eˆn kˆti tètoio telikˆ upˆrqei, (pq
jewrÐa uperqord¸n/M-JewrÐa, sustrofik  gewmetrÐa), ja eÐnai majhmatikˆ
asunep c lìgw twn jewrhmˆtwn mh-plhrìthtac (me ìsa arnhtikˆ autì sune-

pˆgetai, eidikˆ gia thn kbantik  barÔthta).

Ta jewr mata tou Gödel èqoun ˆmesh sqèsh me thn ergasÐa tou megˆlou
'Agglou majhmatikoÔ A. Turing, tou patèra thc epist mhc twn hlektronik¸n
upologist¸n, (kai tou anjr¸pou pou èspase touc k¸dikec twn germanik¸n
upobruqÐwn katˆ ton B' Pagkìsmio Pìlemo sumbˆllontac apofasistikˆ sth
nÐkh twn summˆqwn katˆ tou 'Axona), kai pio sugkekrimèna me to legìmeno
prìblhma tou termatismoÔ (Entscheidungsproblem), allˆ kai me pollˆ pro-

bl mata twn majhmatik¸n (ìpwc gia parˆdeigma me to prìblhma Whitehead

sthn K-JewrÐa, to prìblhma twn lèxewn stic peperasmèna parousiasmènec
omˆdec, to prìblhma Donaldson thc kathgoriopoÐhshc twn pollaplot twn
diˆstashc 4 kai thn Ôparxh exwtik¸n dom¸n klp). 'Ola autˆ den eÐnai parˆ
merikˆ epiplèon paradeÐgmata π1 - protˆsewn. Epiprìsjeta ta jewr mata tou
Gödel èqoun ˆmesh sqèsh kai me to parˆdoxo tou yeÔth:
”H parakˆtw prìtash eÐnai yeud c ”
”H parapˆnw prìtash eÐnai alhj c ”,
allˆ kai me to gnwstì parˆdoxo tou Russell (mia diaskedastik  èkdosh tou
opoÐou eÐnai to parˆdoxo tou kourèa: ”O kourèac xurÐzei mìno ìsouc den
mporoÔn na xuristoÔn mìnoi touc, poioc xurÐzei ton kourèa?”) Kˆpoia apì ta
parˆdoxa autˆ èqoun tic rÐzec touc stouc arqaÐouc 'Ellhnec filosìfouc: Ton
6o ai¸na p.Q o filìsofoc kai poiht c EpimenÐdhc pou  tan apì thn Kr th,
ègraye ”'Oloi oi KrhtikoÐ eÐnai yeÔtec ” en¸ o filìsofoc EuboulÐdhc apì
thn MÐlhto ton 4o ai¸na p.Q ègraye: ”Kˆpoioc lèei ìti yeÔdetai. Autì pou
lèei eÐnai al jeia   yèmmata?” Ac mhn xeqˆsoume kai thn klasik  frˆsh pou
apodÐdetai ston Swkrˆth: ”En oÐda, ìti oudèn oÐda”. EpÐshc auto-antifatikèc
erwt seic ìpwc: ”MporeÐ o pantodÔnamoc Jeìc na dhmiourg sei mia pètra tì-
so megˆlh pou na mhn mporeÐ na thn shk¸sei?” upodhl¸noun adunamÐa thc

anjr¸pinhc logik c (parˆ tou... JeoÔ). Sto shmeÐo ìmwc autì den mporoÔme
na antistajoÔme ston peirasmì na anafèroume kai thn frˆsh tou Ap. PaÔlou:
”Blèpete mh tic umˆc èstai o sulagwg¸n dia thc filosofÐac kai ken c apˆthc,
katˆ thn parˆdosin twn anjr¸pwn, katˆ ta stoiqeÐa tou kìsmou kai ou katˆ

Qristìn”. (proc KolassaeÐc, Kef. B stÐqoc 8).

5
 O K. Gödel  tan pistìc qristianìc (ˆnhke sthn Rwmaiokajolik  EkklhsÐ-
a). To 1970 skèfjhke èna ontologikì epiqeÐrhma uper thc Ôparxhc tou JeoÔ,
to opoÐo apoteloÔse mia beltÐwsh enìc parìmoiou epiqeir matoc tou AgÐou
'Anselmou arqiepiskìpou tou Kantèrmpourh (1033 - 1109), kai to opoÐo den
dhmosÐeuse potè ìso zoÔse allˆ epaneilhmmèna to eÐqe epideÐxei se diˆforouc
fÐlouc tou. PrwtodhmosieÔjhke mìlic to 1987, ennèa qrìnia metˆ ton jˆnatì
tou. O Ðdioc o Gödel mˆlista to jewroÔse apìdeixh thc Ôparxhc tou JeoÔ
allˆ emeÐc eÐmaste pio metriopajeÐc kai to anafèroume wc epiqeÐrhma upèr thc
Ôparxhc tou JeoÔ.

To arqikì ontologikì epiqeÐrhma tou AgÐou 'Anselmou  tan to ex c (Pro-

slìgion II, metˆfrash apì ta Latinikˆ):

”...'Etsi, akìmh kai o ˆfrwn eÐnai pepeismènoc pwc, toulˆqiston dianohti-

kˆ, upˆrqei kˆti an¸tero tou opoÐou den mporeÐ na sullhfjeÐ. Diìti ìtan to

akoÔei, to katalabaÐnei. Kai o,tid pote gÐnetai katanohtì upˆrqei dianohtikˆ.

Kai peÐjetai ìti autì, an¸tero tou opoÐou den upˆrqei, den mporeÐ na upˆrqei

mìno dianohtikˆ. Diìti, ac upojèsoume pwc upˆrqei mìno dianohtikˆ: tìte

mporeÐ na sullhfjeÐ dianohtikˆ pwc upˆrqei kai sthn pragmatikìthta, kˆti

to opoÐo eÐnai an¸tero. Sunep¸c eˆn ekeÐno, an¸tero tou opoÐou den upˆrqei,

upˆrqei mìno dianohtikˆ, upˆrqei kˆti an¸tero autoÔ tou opoÐou an¸tero den

upˆrqei, kˆti pou eÐnai adÔnaton... ”

MporoÔme na grˆyoume to epiqeÐrhma qrhsimopoi¸ntac thn eic ˆtopon a-

pagwg  mèsw twn parakˆtw bhmˆtwn:
1. O Jeìc ex orismoÔ eÐnai to upèrtato On, dhlad  to On an¸tero tou opoÐou
den mporeÐ na sullhfjeÐ dianohtikˆ.
2. H ènnoia tou JeoÔ upˆrqei sthn anjr¸pinh diˆnoia.
3. Ac upojèsoume (gia na katal xoume se ˆtopo parakˆtw) ìti o Jeìc upˆr-
qei mìno dianohtikˆ kai ìqi sthn pragmatikìthta.
4. H ènnoia tou JeoÔ pou upˆrqei kai sthn pragmatikìthta upˆrqei sthn
anjr¸pinh diˆnoia.
5. 'Ena On pou upˆrqei sthn anjr¸pinh diˆnnoia allˆ kai sthn pragmatikì-
thta eÐnai an¸tero enìc 'Ontoc pou upˆrqei mìno dianohtikˆ.
6. Apì ta b mata 1, 2, 3, 4 kai 5 prokÔptei pwc mporeÐ na sullhfjeÐ dianoh-
tikˆ h Ôparxh enìc 'Ontoc an¸terou tou JeoÔ (pou ex orismoÔ apì to 1 eÐnai
to an¸tero On pou mporeÐ dianohtikˆ na sullhfjeÐ), kˆti pou ìmwc apoteleÐ
ˆtopo.

7. Sunep¸c h upìjesh 3 eÐnai lˆjoc, opìte o Jeìc upˆrqei kai sthn pragma-
tikìthta.

6
 Shmei¸noume ed¸ ìti to b ma pou dèqjhke thn megalÔterh kritik  apì
touc filosìfouc sto pèrasma twn ai¸nwn  tan to 5 parapˆnw (pio sugke-
krimèna h ènnoia thc anwterìthtac). Diˆfora ontologikˆ epiqeir mata uper
thc Ôparxhc tou JeoÔ emfanÐsthkan argìtera, Ðswc ta pio gnwstˆ eÐnai autˆ
tou R. Descartes kai tou G. Leibniz. EmfanÐsthkan bèbaia kai parwdÐec twn
ontologik¸n epiqeirhmˆtwn.

H katˆ K. Gödel beltÐwsh kai exèlixh tou epiqeir matoc tou Ansèlmou

eÐnai h ex c (gia thn katanìhsh apaiteÐtai kˆpoia exoikeÐwsh me thn sÔgqronh
egklitik  logik  modal logic):

Orismìc 1. To x èqei thn jeoeid  idiìthta eˆn kai mìno eˆn to x èqei
wc ousi¸deic idiìthtec ekeÐnec kai mìno ekeÐnec tic idiìthtec pou eÐnai jetikèc.
Orismìc 2. Mia idiìthta A apoteleÐ mia ousÐa tou x eˆn kai mìno eˆn gia
kˆje idiìthta B , to x èqei anagkastikˆ thn idiìthta B eˆn kai mìno eˆn h A
sunepˆgetai thn B .
Orismìc 3. To x anagkastikˆ upˆrqei eˆn kai mìno eˆn kˆje ousÐa tou x
anagkastikˆ exhgeÐtai me kˆpoio parˆdeigma.
AxÐwma 1. Eˆn mia idiìthta eÐnai jetik , tìte h ˆrnhs  thc den eÐnai jetik .
AxÐwma 2. Kˆje idiìthta pou sunepˆgetai apì mia jetik  idiìthta eÐnai epÐ-
shc jetik .
AxÐwma 3. H idiìthta tou na eÐnai kˆti jeoeidèc eÐnai jetik .
AxÐwma 4. Eˆn mia idiìthta eÐnai jetik  tìte eÐnai kai anagkastikˆ jetik .
AxÐwma 5. H anagkaÐa Ôparxh eÐnai jetik  idiìthta.
AxÐwma 6. Gia kˆje idiìthta P , eˆn h P eÐnai jetik , tìte to na èqei kˆti
anagkastikˆ thn idiìthta P eÐnai epÐshc jetik  idiìthta.
Je¸rhma 1. Eˆn mia idiìthta eÐnai jetik , tìte eÐnai sunep c (dhlad  pija-
n¸c exhgeÐtai me kˆpoio parˆdeigma).
Pìrisma 1. H jeoeid c idiìthta eÐnai sunep c.
Je¸rhma 2. Eˆn kˆti èqei thn jeoeid  idiìthta, tìte h jeoeid c idiìthta
apoteleÐ mia ousÐa autoÔ.
Je¸rhma 3. Anagkastikˆ h jeoeid c idiìthta exhgeÐtai me kˆpoio parˆdeig-
ma.

Gia touc eidikoÔc, qrhsimopoi¸ntac Sumbolik  Logik , to parapˆnw On-

tologikì EpiqeÐrhma tou K. Gödel grˆfetai wc ex c (aut  eÐnai kai h morf 
pou to ontologikì epiqeÐrhma upˆrqei stic proswpikèc shmei¸seic tou idÐou
tou K. Gödel):

7
 Ax. 1. • ∀x{[ϕ(x) → ψ(x)] ∧ P (ϕ)] → P (ψ)}
Ax. 2. P (¬ϕ) ⇐⇒ ¬P (ϕ)
Th. 1. P (ϕ) → ♦ ∃x [ϕ(x)]
Df. 1. G(x) ↔ ∀ϕ[P (ϕ) → ϕ(x)]
Ax. 3. P (G)
Th. 2. ♦ ∃x G(x)
Df. 2. ϕ ess x ⇐⇒ ϕ(x) ∧ ∀ψ{ψ(x) → • ∀x[ϕ(x) → ψ(x)]}
Ax. 4. P (ϕ) → • P (ϕ)
Th. 3. G(x) → G ess x
Df. 3. E(x) ↔ ∀ϕ[ϕ ess x → • ∃x ϕ(x)]
Ax. 5. P (E)
Th. 4. • ∃x G(x)
Ac kˆnoume t¸ra orismèna sqìlia sqetikˆ me thn JeologÐa kai eidikˆ thn
Orjìdoxh JeologÐa: Kat' arq  h qrhsimìthta twn ontologik¸n epiqeirhmˆ-
twn gia thn qristianik  omologÐa eÐnai amfÐbolh: H mình gnwst  perÐptwsh
anjr¸pou pou paradèqjhke pwc ègine qristianìc melet¸ntac to parapˆnw
ontologikì epiqeÐrhma tou AgÐou 'Anselmou (to anafèrei o Ðdioc sthn auto-
biografÐa tou), eÐnai tou gnwstoÔ suggrafèa kai kajhght  sthn Oxfìrdh
C. S. Lewis (1898 - 1963) (suggrafèa metaxÔ ˆllwn tou exairetikoÔ biblÐou
pou metafrˆsthke kai sta ellhnikˆ me ton tÐtlo ”H Taktik  tou Diabìlou”).
EpÐshc h diaforˆ anˆmesa sth qristianik  pÐsth kai th jrhskeÐa eÐnai h ex c:
Sthn pr¸th o Jeìc proseggÐzei ton ˆnjrwpo, en¸ sth deÔterh sumbaÐnei to
antÐjeto. Ja mporoÔse na upojèsei kaneÐc ìti sthn perÐptwsh thc jrhskeÐac
eÐnai o fìboc pou gennˆ to Jeì kai se kˆje perÐptwsh o Jeìc eÐnai mÐa patri-
k  figoÔra parˆgwgo enstÐktou. Analogikˆ mporoÔme na sumperˆnoume ìti
o Jeìc thc ontologik c apìdeixhc eÐnai parˆgwgo sullogismoÔ kai Ðswc ja
mporoÔsame na upojèsoume ìti sto bˆjoc eÐnai apokÔhma enstÐktou kuriarqÐ-
ac mèsw tou orjoÔ lìgou. (Gia parˆdeigma h ajeða tou NÐtse den eÐnai parˆ

to anapìdrasto sumpèrasma tou skèftomai ˆra upˆrqw tou Kartèsiou).

Wstìso, o qristianikìc Jeìc den eÐnai parˆgwgo allˆ apokˆluyh, h opoÐa

sunèbh se sugkekrimèno qrìno kai tìpo me ìrouc empeirikoÔc. Oi patèrec
thc ekklhsÐac (san ton 'Agio Mˆximo ton Omologht ) gn¸risan ton Jeì wc
Prìswpo kai sth sunèqeia ègrayan ta jeologikˆ keÐmena. Kai epiplèon h
apokˆluyh eÐnai sustatikì thc upìstashc tou qristianikoÔ JeoÔ, ìpwc aut 
perigrˆfetai apì to dìgma thc triadikìthtac. Sthn pragmatikìthta h qr sh
tou kathgor matoc Ôparxh Ðswc den tairiˆzei ston Jeì: H Ôparxh prosdio-
rÐzetai apì thn parousÐa, h parousÐa eÐnai to apotèlesma thc dieujèthshc
twn empeirik¸n dedomènwn apì tic logikèc kathgorÐec, èna enèrghma tou nou
me to opoÐo h pollaplìthta apoktˆ morf  (Kˆnt)   h enapìjesh morf c e-

8
pˆnw se èna ˆmorfo upìbajro to opoÐo onomˆzetai Ôlh (Aristotèlhc). (O
ìroc Ôlh qrhsimopoieÐtai teleÐwc sumbatikˆ: Oi perissìteroi fusikoÐ s mera
ja sumfwnoÔsan pwc sun jhc Ôlh eÐnai o,tid pote apoteleÐtai apì kouˆrk
kai leptìnia allˆ ènac genikìc orismìc thc Ôlhc pou ja perilambˆnei kai tic
exwtikèc morfèc Ôlhc thc sÔgqronhc fusik  eÐnai exairetikˆ dÔskoloc èwc
adÔnatoc).

'Omwc o Jeìc den upìkeitai sthn apìfash kˆje logik c kathgorÐac. Epo-
mènwc den eÐnai dunat  h apìfash Ôparxhc   mh Ôparxhc. O 'Agioc Mˆximoc o
Omologht c anafèrei ìti to apofatikì {mh eÐnai} ja taÐriaze perissìtero sto
Jeì. PhgaÐnontac èna b ma parapèra ja mporoÔsame na d¸soume mÐa analogÐa
kai na poÔme ìti o Jeìc eÐnai ìpwc to kenì sÔnolo: EÐnai monadikì, kai parˆ
to ìti eÐnai kenì jemeli¸nei ta Majhmatikˆ (blèpe gia parˆdeigma ton orismì
twn fusik¸n arijm¸n me th qr sh thc jewrÐac tÔpwn tou B. Russell). EÐnai
parìn se kˆje sÔnolo kaj¸c eÐnai uposÔnolo kˆje sunìlou. ('Allwste h je-
ologÐa mac milˆ kai gia thn ”JeÐa Kènwsh” tou Lìgou katˆ thn jeÐa sarkik 
Gènnhs  Tou apì thn UperagÐa Jeotìko).

Epiplèon èna exÐsou sobarì prìblhma eÐnai ìti h ontologik  apìdeixh den
parˆgei sugkekrimènh hjik  jewrÐa, ìpwc aut  pou èqei paradwjeÐ mèsa apì
th BÐblo. Genikìtera den prokÔptei mèsa apì kˆje ontologik  apìdeixh ekeÐno
to opoÐo onomˆzetai EkklhsÐa kai pou eÐnai jemeliwmèno sthn enanjr¸phsh
tou UioÔ kai Lìgou tou JeoÔ, sthn StaÔrwsh kai thn Anˆstas  Tou kai
sthn mèllousa KrÐsh. Sunep¸c ta ontologikˆ epiqeir mata gia thn JeologÐa
èqoun kˆpoia qrhsimìthta mìno sto arqikì stˆdio thc poreÐac sunˆnthshc
dÔo pros¸pwn (tou anjr¸pou kai tou JeoÔ): H qrhsimìthta èggutai sto ìti
upodhl¸noun pwc h ènnoia tou JeoÔ aplˆ den antibaÐnei stic arqèc thc an-
jr¸pinhc skèyhc allˆ se kamÐa perÐptwsh den prokÔptei apì aut , eÐnai kˆti
polÔ pˆnw, pèra kai èxw apì aut n.

'Ara loipìn: H pÐsth ston Jeì oÔte prokÔptei allˆ oÔte kai antibaÐnei tic

arqèc thc logik c kaj¸c se diˆfora epiqeir mata pou anafèrjhkan parapˆnw

upèr thc Ôparxhc tou JeoÔ upˆrqoun kai oi antÐstoiqec parwdÐec aut¸n (gia
to sugkekrimèno ontologikì epiqeÐrhma tou Gkèntel pˆntwc axÐzei na anafer-
jeÐ ìti toulˆqiston o grˆfwn den èqei upìyh tou kˆpoia parwdÐa). 'Allwste h
jeologÐa ed¸ kai ai¸nec mac plhroforoÔse ìti h logik  apoteleÐ atelèc (allˆ
se kamÐa perÐptwsh ˆqrhsto) ergaleÐo sthn prosèggish tou JeoÔ. EpÐshc oi
ieroÐ nhptikoÐ patèrec sta suggrˆmmatˆ touc (kurÐwc sthn FilokalÐa allˆ kai
alloÔ) uposthrÐzoun ìti to z thma thc Ôparxhc/apodoq c/pÐsthc tou JeoÔ
apì ton ˆnjrwpo den eÐnai jèma dianohtikì allˆ jèma kajarismoÔ thc kardiˆc
apì ta pˆjh, ta pˆjh, pou èqoun wc bˆsh thn kardiˆ, suskotÐzoun kai ton nou

9
tou anjr¸pou. Sthn AgÐa Graf  upˆrqei h gnwst  frˆsh: ”EÐpen ˆfrwn en
th kardÐa autoÔ ouk èsti Jeìc ”, den eÐnai tuqaÐo pou qrhsimopoieÐtai h lèxh
”kardÐa” kai ìqi gia parˆdeigma h lèxh ”dianoÐa”.

Parajètoume kˆpoia sqìlia amèswc parakˆtw kai sto tèloc anafèroume

mia endeiktik  bibliografÐa gia ìsouc ja  jelan na embajÔnoun perissìtero
se kˆpoio apì ta jèmata pou aggÐxame sto parìn sÔntomo ˆrjro.

Sqìlia:

1. Istorikˆ to pr¸to ontologikì epiqeÐrhma upèr thc Ôparxhc tou JeoÔ

jewreÐtai autì tou AgÐou Ansèlmou Arqiepiskìpou tou Kantèrmpourh (an
kai kˆpoia ”apologhtikˆ stoiqeÐa” up rqan kai sta suggrˆmmata tou ieroÔ
AugoustÐnou polÔ nwrÐtera allˆ kai se diˆfora apologhtikˆ èrga kˆpoiwn
patèrwn thc EkklhsÐac.) Sthn sunèqeia emfanÐsthkan kai ˆlla ontologikˆ
epiqeir mata ìpwc tou T homas Acquinas, tou Kartèsiou (R.Descartes), tou
Leibniz (”jewrÐa monˆdwn” apì ìpou proèkuyan kai o logismìc metabol¸n
calculus of variations pou apoteleÐ ton akrogwniaÐo lÐjo gia thn sÔgqro-
nh fusik  jewrÐec pedÐwn kai apì thn opoÐa prokÔptoun h arq  elˆqisthc
drˆshc tou F ermat, h diat rhsh orm c kai enèrgeiac, to je¸rhma Nöether
klp), to legìmeno transcendental argument (Tranzendentalen Deduktion)
tou I.Kant, tou gnwstoÔ purhnikoÔ fusikoÔ (kai patèra thc pr¸thc atomi-
k c bìmbac) R.Oppenheimer, kai ftˆsame telikˆ mèqri ton Gödel. Upˆrqoun
ìmwc kai ta legìmena teleologikˆ epiqeir mata (se sunduasmì me thn anjrw-
pik  arq  kai ta fine tuned universes) allˆ kai epiqeir mata upèr thc Ôparxhc
tou JeoÔ pou proèrqontai, ìlwc anapˆnteqa, kai apì thn plhroforik , thn
complexity theory (jewrÐa poluplokìthtac, pq jewrÐa shmeÐou Wmèga, Ome-
ga Point Theory,tou F.J.T ipler se sunˆfeia me to big crunch twn jewrhmˆtwn
twn qwroqronik¸n anwmali¸n twn Hawking − P enrose). EpÐshc anafèroume
pwc upˆrqoun kai pio sÔgqronec diatup¸seic (20ou ai¸na) tou arqikoÔ epi-
qeir matoc tou Ansèlmou, ìpwc h diatÔpwsh katˆ Adams, Barnes, Lewis,
P lantinga, Oppenheimer − Zaltan klp pou anairoÔn se megˆlo bajmì thn
kritik  pou eÐqe askhjeÐ sto pareljìn.

2. Eˆn o Jeìc epètrepe na upˆrxei apìdeixh thc Ôparx c Tou (dianohtik 

  empeirik ) ja droÔse san na katèbaine apì to Staurì ìtan oi IoudaÐoi Ton

perigeloÔsan kai Ton proètrepan katˆ thn StaÔrwsh na autì-swjeÐ me jaÔma

gia na pistèyoun. H logik  dènei ton sÔgqrono morfwmèno ˆnjrwpo (ìpwc

to jaÔma èdene ton ˆnjrwpo thc tìte epoq c allˆ kai thc shmerin c). 'Opwc
polÔ eÔstoqa grˆfei o Ap. PaÔloc (sto pr¸to kefˆlaio thc proc KorÐnjiouc
pr¸thc epistol c):

10
 ...OuqÐ em¸ranen o Jeìc thn sofÐan tou kìsmou toÔtou? Epeid  gar en

th sofÐa tou JeoÔ ouk ègnw o kìsmoc dia thc sofÐac ton Jeìn, eudìkhsen

o Jeìc dia thc mwrÐac tou khrÔgmatoc s¸sai touc pisteÔontac. Epeid  kai

IoudaÐoi shmeÐon zhtoÔsi kai oi 'Ellhnec sofÐan zhtoÔsi, hmeÐc de khrÔssomen

Qristìn estaurwmènon, IoudaÐoic men skˆndalon, 'Ellhsi de mwrÐan .

O Jeìc zhtˆ thn eleÔjerh apodoq  apì touc anjr¸pouc kai ìqi thn ka-
tanagkastik  empeirik    orjologik  apodoq . (JaÔmata pˆntwc mporeÐ na
gÐnontai kai s mera ìpwc kai pˆntote allˆ apoteloÔn exairèseic). Den touc
zhtˆ ìmwc kai na gÐnoun parˆlogoi, dhlad  na arnhjoÔn thn dwreˆ tou Lìgou

kai na pistèyoun se kˆti pou apodeiknÔetai pwc den upˆrqei . Sunep¸c oÔte

apìdeixh Ôparxhc oÔte mh Ôparxhc tou JeoÔ eÐnai dunat  kai autì dikaiologeÐ-

. EÐnai toulˆqiston sugklonistikìc o sebasmìc

tai jeologikˆ giatÐ sumbaÐnei

pou epideiknÔei o Jeìc sthn eleujerÐa tou anjr¸pou.

Anaforèc:
O endiaferìmenoc anagn¸sthc pou eÐnai exoikeiwmènoc me ta anagkaÐa majh-
matikˆ, gia perissìterec plhroforÐec mporeÐ na sumbouleujeÐ Ta 'Apanta tou
Kurt Gödel pou dhmosieÔjhkan to 1994 apì ton Ekdotikì OÐko tou Panepi-
sthmÐou thc Oxfìrdhc:

• Kurt Gödel, Collected Works:

Volume I: Publications 1929-1936,
Volume II: Publications 1938-1974,
Volume III: Unpublished Essays and Lectures,
Volume IV: Correspondence,
Oxford University Press, 1994.

EpÐshc èna polÔ kalì eisagwgikì biblÐo gia thn egklitik  logik  eÐnai to
parakˆtw me tÐtlo: H FÔsh thc Anagkaiìthtac, tou Alvin Plantinga, Ekdo-
tikìc OÐkoc tou PanepisthmÐou thc Oxfìrdhc:

• Alvin Plantinga: ”The Nature of Necessity”, Clarendon Library of Lo-

gic and Philosophy, Oxford University Press, 1979.

Gia thn sqèsh twn majhmatik¸n me th sÔgqronh filosofÐa (kai eidikìtera

me thn ergasÐa tou J.-F. Lyotard perÐ thc metanewterikìthtac), o endiaferìme-
noc anagn¸sthc ja mporoÔse na sumbouleujeÐ to ex c biblÐo: Ta Majhmatikˆ
kai oi RÐzec thc Metanewterik c Skèyhc tou Vladimir Tasic, Ekdotikìc OÐkoc

tou PanepisthmÐou thc Oxfìrdhc:

11
 • Vladimir Tasic: ”Mathematics and the Roots of Postmodern Though-
t”, Oxford University Press, 2001.

Tèloc perissìtera gia ton 'Agio Mˆximo Omologht  mporeÐ kaneÐc na dei
gia parˆdeigma thn PatrologÐa tou MÐn:

• J. P. Migne: ”Patrologiae Cursus Completus (Series Graeca)”: Musta-

gwgÐa, AgÐou MaxÐmou tou OmologhtoÔ.

Ja jèlame na euqarist soume ton k. Nikìlao Fountoulˆkh gia thn kriti-

k  tou se mia progenèsterh morf  tou parìntoc ˆrjrou.

Iwˆnnhc P. Z¸hc
Majhmatikìc Fusikìc (M.Sc Cantab, D.P hil Oxon)
E-mail: i.zois@exeter.oxon.org
http://ipzoisscience.googlepages.com/home

12