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

Google Calendar calendar-notification at google.com
Tue Mar 14 13:00:14 AEDT 2017

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
     * Sam Shpall- creator

Event details:  

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  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.sydney.edu.au/pipermail/sydphil/attachments/20170314/255a4afa/attachment.html>

More information about the SydPhil mailing list