Učitavanje video playera...
01:13:55
Zvonimir Šikić: Gödelov ontološki dokaz
Kurt Gödel godinama je radio na svom ontološkom dokazu. Prvi put ga je pokazao Dani Scott početkom 1970. Bojeći se da mu se bliži kraj, želio je biti siguran da dokazi neće nestati s njim. U kolovozu 1970., kada se osjećao znatno bolje, rekao je Oscaru Morgensternu da je oklijevao objaviti dokaz, iako je bio zadovoljan njime, iz straha da će ljudi pomisliti da vjeruje u Boga. Jer on samo logički istražuje je li takav dokaz moguć uz odgovarajuću aksiomatizaciju.
Predstaviti ćemo Gödelovu aksiomatizaciju i sam dokaz te kritički razmotriti njegove aksiome. Također ćemo predstaviti dvije aksiomatizacije koje bogove približavaju bogovima koje štuju stvarne religije.
