Logic and Theism: Arguments for and Against Beliefs in God Book

	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