Antropologie náboženství - ontologický důkaz

Dnes chci mluvit na hodině Antropologie náboženství o ontologickém důkazu/argumentu existence boží. Tento typ argumentu jsem již na blogu zmiňoval (1.10.09 a 30.10.09), ale nevysvětloval. Existuje řada verzí; pro jednoduchost studentům předkládám následující:

První Anselmova verze z Proslogionu k. 2 (verze byly odlišeny Normanem Malcolmem v r. 1960)

P1: Bůh je největším myslitelným jsoucnem (nic většího nelze myslet: id quo nihil maius cogitari possit)
P2: Bůh je buď pouze v mysli anebo v mysli i realitě.
P3: Pokud je Bůh pouze v mysli, Bůh není největším myslitelným jsoucnem.
Z: Bůh je v mysli i realitě, tj. existuje.

Hlavní problém: Neexistovat (být v mysli) či existovat (být v realitě) se netýká věcí. Slovy I. Kanta (1781): „Sto skutečných tolarů není nic víc než sto tolarů možných.“ Kantova intuice byla později (díky Fregeovi) precizována takto: Říkám-li, že Bůh je buď pouze v mysli anebo jak v mysli tak v realitě, nemluvím o Bohu a jeho vlastnostech, ale o pojmu „Bůh“, který je buď exemplifikován anebo ne. Tato exemplifikace sama není vlastností samotného Boha (a ani žádné jiné věci; prostě nelze srovnávat věci existující a neexistující; pokud se o to pokoušíme, bereme ty neexistující jakoby existovaly).

Druhá Anselmova verze z Proslogionu k. 3

P1: Bůh je největším myslitelným jsoucnem.
P2: Bůh je buď nutným jsoucnem (které nemůže nebýt) anebo kontingentním.
P3: Pokud je Bůh kontingentním jsoucnem, není největším myslitelným jsoucnem.
Z. Bůh je nutným jsoucnem, tj. existuje.

Jinými slovy, pokud Bůh není nemožný, je nutný. A popírat nemožnost největšího myslitelného jsoucna a jsoucna nutného, je velmi obtížné.

Hlavní problém: Nelze nadefinovat věci do existence - zdá se, že se zde jedná o nějaký "logický trik". Většína vynikajících filosofů důkaz odmítá, existují ale i zastánci (Plantinga, Malcolm, Gödel) a hlavně: záhadou zůstává, co přesně je na důkazu nesprávného.

Petr Hájek a Gödelův ontologický důkaz boží existence

Jak známo, jeden z největších logiků všech dob, Kurt Gödel, zanechal v pozůstalosti verzi ontologického důkazu Boha. Prof. Petr Hájek (CZ), přední český matematik, populární formou vysvětluje zjednodušenou formu důkazu v článku "Gödelův ontologický důkaz" (pdf CZ). Původní verzi Gödelova důkazu prezentuje Petr Olmert (CZ).

Pokročilejší četba: kniha Logic and algebra z r. 1996 (EN) s formálně logickým článkem prof. Hájka. Prof. Hájek je taktéž odborníkem na fuzzy logiku - má článek na SEP.