A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument

John Rushby

Full version of a paper presented at 2nd World Congress on Logic and Religion, Warsaw, June 2017

Abstract

I use mechanized verification to examine several first- and higher-order renditions of Anselm's Ontological Argument against the charge of begging the question. I propose three different criteria for a premise to beg the question in fully formal proofs and find that one or another applies to all the renditions examined. My purpose is to demonstrate that mechanized verification provides an effective and reliable technique to perform these analyses; readers may decide whether the forms of question begging so identified affect their interest in the Argument or its various renditions.

Full paper: PDF

Published abstract: PDF

Slides

PDF

BibTeX Entry

@inproceedings{Rushby:LR17,
  AUTHOR = {John Rushby},
  TITLE = {A Mechanically Assisted Examination of
    Begging the Question in {Anselm's Ontological Argument}},
  BOOKTITLE = {The 2nd World Congress on Logic and Religion},
  YEAR = 2017,
  ADDRESS = {Warsaw, Poland},
  MONTH = jun
}
  

Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page