Title | ||
---|---|---|
A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument. |
Abstract | ||
---|---|---|
I use mechanized verification to examine several first- and higher-order formalizations 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 formalizations 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 formalizations. |
Year | Venue | Field |
---|---|---|
2018 | JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS | Philosophy,Epistemology,Ontological argument,Begging the question |
DocType | Volume | Issue |
Journal | 5 | SP7 |
ISSN | Citations | PageRank |
2055-3706 | 0 | 0.34 |
References | Authors | |
0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
John Rushby | 1 | 2459 | 235.69 |