TY - BOOK ID - 2932278 TI - Logic and theism : arguments for and against beliefs in God PY - 2004 SN - 0521826071 0521108667 110714681X 0511185618 0511184786 0511313543 0511497989 1280458305 0511187424 0511186495 9780521826075 9780511184789 9780511185618 9780511497988 9780511186493 9781280458309 9780511187421 9786610458301 6610458308 9780511313547 PB - Cambridge : Cambridge University Press, DB - UniCat KW - God KW - Dieu KW - Proof. KW - Existence KW - Proof KW - Arts and Humanities KW - Philosophy KW - God - Proof. UR - https://www.unicat.be/uniCat?func=search&query=sysid:2932278 AB - 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. ER -