BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2015/newsitem/6780/13-
 March-2015-Cool-Logic-Richard-Iniengo
DTSTAMP:20150305T000000
SUMMARY:Cool Logic, Richard Iniengo
ATTENDEE;ROLE=Speaker:Richard Iniengo
DTSTART;TZID=Europe/Amsterdam:20150313T173000
DTEND;TZID=Europe/Amsterdam:20150313T183000
LOCATION:ILLC Seminar Room (F1.15), Science Park 1
 07, Amsterdam
DESCRIPTION: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-li
 ke resurrection in our age. To him, the ontologica
 l argument posed a logical challenge, namely, "in 
 showing that such a proof with classical assumptio
 ns (completeness, etc.) correspondingly axiomatize
 d, is possible." I will walk you through his forma
 l proof in detail.  For more information, see http
 s://www.illc.uva.nl/coollogic/ or contact coollogi
 c.uva at gmail.com
X-ALT-DESC;FMTTYPE=text/html:\n        <p>In this 
 talk, I will introduce you to the ontological argu
 ment for the existence of God: Its birth in the Mi
 ddle Ages, its apparent death in the Age of Enligh
 tenment and G&ouml;del's (in)famous ontological pr
 oof as an example of its phoenix-like resurrection
  in our age. To him, the ontological argument pose
 d a logical challenge, namely,  &quot;in showing t
 hat such a proof with classical assumptions (compl
 eteness, etc.) correspondingly axiomatized, is pos
 sible.&quot; I will walk you through his formal pr
 oof in detail.</p>\n    \n        <p>For more info
 rmation, see <a target="_blank" href="https://www.
 illc.uva.nl/coollogic/">https://www.illc.uva.nl/co
 ollogic/</a> or contact <a class="email">coollogic
 .uva <span class="at">at</span> gmail.com</a></p>\
 n    
URL:/NewsandEvents/Archives/2015/newsitem/6780/13-
 March-2015-Cool-Logic-Richard-Iniengo
END:VEVENT
END:VCALENDAR