A Mechanically Assisted Examination of Begging the Question in
Anselm's Ontological Argument
John Rushby
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.
Published abstract:
PDF
updated journal version
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