Kurt Godel's Ontologischer Beweis
Sobel (Jordan)
Source: Sobel (Jordan) - Logic and Theism: Arguments For and Against Beliefs in God, Chapter 4
Paper - Abstract

Paper StatisticsNotes Citing this PaperDisclaimer


Contents

  1. Introduction – 115
  2. Language and logic – 117
  3. Axioms, definitions, and two theorems – 118
  4. That it is necessary that there is a God-like being – 125
  5. Would that be God, could it be God? – 128
  6. Modal1 collapse – 132
  7. Concluding recommendations – 135
  8. Appendix A. Notes in Kurt Godel's hand – 144
  9. Appendix B. Notes in Dana Scott's hand – 145
  10. Appendix C. Mainly derivations – 146
    … C1. A logic for Godel's system – 146
    … C2. Two promised derivations – 148
    … C3. Derivations of theorems in Godel's system – 149
    … C4. Derivations for Anderson's emendation of Godel's system – 157

Text Colour Conventions (see disclaimer)

  1. Blue: Text by me; © Theo Todman, 2018
  2. Mauve: Text by correspondent(s) or other author(s); © the author(s)



© Theo Todman, June 2007 - Dec 2018. Please address any comments on this page to theo@theotodman.com. File output:
Website Maintenance Dashboard
Return to Top of this Page Return to Theo Todman's Philosophy Page Return to Theo Todman's Home Page