[SydPhil] Notification: Ben Blumson @ Wed 15 Mar 2017 13:00 - 14:30 (Seminars)

[Google Calendar]

This is a notification for:

Title: Ben Blumson
Title: Anselm's God in Isabelle/HOL

Abstract: I present a formalisation of Anselm's ontological argument in  
Isabelle/HOL, an interactive theorem prover for higher-order logic. The  
result is compared to Edward Zalta and Paul Oppenheimer's formalisation in  
Prover9, an automatic theorem prover for first-order logic. The goal of the  
paper is to explore the prospects for interactive theorem proving in  
substantive philosophical applications, rather than to say anything new  
about the ontological argument. I will argue those prospects are very good.
When: Wed 15 Mar 2017 13:00 – 14:30 Eastern Time - Melbourne, Sydney
Calendar: Seminars
Who:
     * Sam Shpall- creator

Event details:  
https://www.google.com/calendar/event?action=VIEW&eid=aDU4a3ZtY2I4YzVvaWZocmtpbWVha3NwbjQgMm1lN2M3ZnIzb21wbDRyaHZrcG1sYTUzNjhAZw

Invitation from Google Calendar: https://www.google.com/calendar/

You are receiving this email at the account sydphil at arts.usyd.edu.au  
because you are subscribed for notifications on calendar Seminars.

To stop receiving these emails, please log in to  
https://www.google.com/calendar/ and change your notification settings for  
this calendar.

Forwarding this invitation could allow any recipient to modify your RSVP  
response. Learn more at  
https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.sydney.edu.au/pipermail/sydphil/attachments/20170309/36a7b217/attachment-0001.html>