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@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
---------
SydPhil mailing list
To unsubscribe, change your membership options, find answers to common
problems, or visit our online archives, please go to the list information page:
https://mailman.sydney.edu.au/mailman/listinfo/sydphil
