03585nam 2200673Ia 450 991081194520332120200520144314.01-107-14681-X1-280-45830-50-511-18561-80-511-18478-60-511-18742-40-511-49798-90-511-31354-30-511-18649-5(CKB)1000000000353429(EBL)256678(OCoLC)437164393(SSID)ssj0000193844(PQKBManifestationID)11166614(PQKBTitleCode)TC0000193844(PQKBWorkID)10226535(PQKB)11650660(UkCbUP)CR9780511497988(MiAaPQ)EBC256678(Au-PeEL)EBL256678(CaPaEBR)ebr10126076(CaONFJC)MIL45830(OCoLC)935231115(EXLCZ)99100000000035342920020917d2004 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierLogic and theism arguments for and against beliefs in God /Jordan Howard Sobel1st ed.Cambridge, U.K. ;New York Cambridge University Press20041 online resource (xix, 652 pages) digital, PDF file(s)Title from publisher's bibliographic system (viewed on 05 Oct 2015).0-521-10866-7 0-521-82607-1 Includes bibliographical references (p. 539-646) and index.Part I. Divinity --'GOD' and 'god', and GodPart II. Arguments for the Existence of God --Classical ontological arguments --Modern modal ontological arguments --Kurt Go̲del's ontologischer beweis --First causes: "the second way" --Ultimate reasons: Proofs of a contingentia mundi --Look 'round' --Clouds of witnesses -- "of miracles"Part III. On Two Parts of the Common Conception --Romancing the stone --God knows (go figure)Part IV --Arguments Against the Existence of God --Atheologies, demonstrative and evidential --Logical problem of evilPart V --Practical Arguments For and Against Theistic Beliefs --Pascalian wagers.This is a wide-ranging 2004 book about arguments for and against beliefs in God. The arguments for the belief are analysed in the first six chapters and include ontological arguments from Anselm to Gödel, the cosmological arguments of Aquinas and Leibniz, and arguments from evidence for design and miracles. The next two chapters consider arguments against belief. The last chapter examines Pascalian arguments for and against belief in God. There are discussions of Cantorian problems for omniscience, of challenges to divine omnipotence, and of the compatibility of everlasting complete knowledge of the world with free-will. There are appendices that present formal proofs in a system for quantified modal logic, a theory of possible worlds, notes on Cantorian set theory, and remarks concerning non-standard hyperreal numbers. This book will be a valuable resource for philosophers of religion and theologians and will interest logicians and mathematicians as well.GodProofLogicGodProof.Logic.212/.1Sobel Jordan Howard252325MiAaPQMiAaPQMiAaPQBOOK9910811945203321Logic and theism4014556UNINA