| CONTENTS | 5 |
|---|
| Acknowledgements | 9 |
|---|
| Authors of Contributed Papers | 11 |
|---|
| Part I. Introduction | 19 |
|---|
| 1. Guided Tour of the Book: Ontological Proofs Today | 21 |
| Part II. Interpretation of Old Ontological Proofs. God’s Attributes | 69 |
|---|
| 2. Ratio Anselmi | 71 |
| 3. Two Ontological Arguments for the Existence of an Omniscient Being | 79 |
| 4. A Modal Theistic Argument | 91 |
| 5. A Debate on God: Anselm, Aquinas and Scotus | 115 |
| 6. Three Versions of the Ontological Argument | 145 |
| Part III. New Ontological Proofs | 165 |
|---|
| 7. More Modest Ontological Argument | 167 |
| 8. A New Modal Version of the Ontological Argument | 181 |
| 9. A Cosmo-Ontological Argument for the Existence of a First Cause - perhaps God | 195 |
| 10. A Gödelian Ontological Argument Improved Even More | 205 |
| Part IV. Semantics for Ontological Proofs | 215 |
|---|
| 11. Logic of Existence, Ontological Frames, Leibniz’s and Gödel’s Ontological Proofs | 217 |
| 12. Fully Free Semantics for Anderson-like Ontological Proofs | 245 |
| Part V. Ontological Proofs and Kinds of Necessity | 295 |
|---|
| 13. Conceptual Modality and Ontological Argument | 297 |
| 14. Does the Kind of Necessity which Is Represented by S5 Capture a Theologically Defensible Notion of a Necessary Being? | 311 |
| 15. Modal Collapse in Gödel’s Ontological Proof | 325 |
| 16. What Kind of Necessary Being Could God Be? | 347 |
| Part VI. Ontological Proofs and Formal Ontology | 367 |
|---|
| 17. On Grim’s Cantorian Anti-Ontological Argument | 369 |
| 18. Concepts of Proof and Formalized Arguments ex gradibus perfectionis | 381 |
| 19. Onto/Logical Melioration | 393 |
| 20. Doomed to Fail: The Sad Epistemological Fate of Ontological Arguments | 415 |
| 21. The Premises of Anselm’s Argument | 425 |
| Part VII. Debate Maydole-Oppy | 445 |
|---|
| 22. Maydole on Ontological Arguments | 447 |
| 23. Ontological Arguments Redux | 471 |
| 24. Response to Maydole | 489 |
| 25. Reply to Oppy’s Response to ”Ontological Redux” | 503 |
| Author Index | 513 |
|---|
| Subject Index | 517 |