13 March 2015, Cool Logic, Richard Iniengo

In this talk, I will introduce you to the ontological argument for the existence of God: Its birth in the Middle Ages, its apparent death in the Age of Enlightenment and Gödel's (in)famous ontological proof as an example of its phoenix-like resurrection in our age. To him, the ontological argument posed a logical challenge, namely, "in showing that such a proof with classical assumptions (completeness, etc.) correspondingly axiomatized, is possible." I will walk you through his formal proof in detail.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com