Table of Contents

• • Preface
  • I    'God', 'god', and God    3
  • II    Classical Ontological Arguments    29
  • App. A    Symbols and symbolizations    70
  • App. B    Derivations and models    71
  • App. C    Rules of inference and forms of derivations    78
  • III    Modern Modal Ontological Arguments    81
  • App. A    'Possible worlds'    99
  • App. B    Modal logic    105
  • IV    Kurt Godel's Ontologischer Beweis    115
  • App. A    Notes in Kurt Godel's hand    144
  • App. B    Notes in Dana Scott's hand    145
  • App. C    Mainly derivations    146
  • V    First Causes: "The Second Way"    168
  • App. A    Notes on Aquinas's other ways    195
  • App. B    Bangs and infinite regresses of causes    198
  • VI    Ultimate Reasons: Proofs a contingentia mundi    200
  • App. A    Leibniz's problem with necessity    228
  • App. B    Contingency in John Leslie's Axiarchism    233
  • App. C    Robert C. Koons's 'New Look' cosmological argument    234
  • VII    Look 'Round! - Arguments from Design    238
  • App    Swinburne's teleological arguments, and his cumulative argument, for the existence of God    288
  • VIII    Clouds of Witnesses - "Of Miracles"    298
  • App. A    A proof of Hume's theorem    331
  • App. B    Condorcet's rule, witness reliability, and 'last degrees of assurance'    333
  • IX    Romancing the Stone    345
  • App    A formal articulation of the argument of Section 5    367
  • X    'God Knows (Go Figure)'    369
  • App    Notes on Cantorian set theory    394
  • XI    Atheologies, Demonstrative and Evidential    401
  • App    Promised derivations    432
  • XII    The Logical Problem of Evil    436
  • App. A    On alleged incompatibilities of divine omniscience and freedom    479
  • App. B    A deduction in Section 2.2.3 spelled out    494
  • XIII    Pascalian Wagers    499
  • App    Hyperreals and decision theory    532
  • Notes    539
  • References    630
  • Index of Names    647