<!DOCTYPE html><HTML lang="en"> <head><meta charset="utf-8"> <title>Sobel (Jordan) - Logic and Theism: Arguments For and Against Beliefs in God (Theo Todman's Book Collection - Paper Abstracts) </title> <link href="../../TheosStyle.css" rel="stylesheet" type="text/css"><link rel="shortcut icon" href="../../TT_ICO.png" /></head> <BODY> <CENTER> <div id="header"><HR><h1>Theo Todman's Web Page - Paper Abstracts</h1><HR></div><A name="Top"></A> <TABLE class = "Bridge" WIDTH=950> <tr><th><A HREF = "../../PaperSummaries/PaperSummary_16/PaperSummary_16506.htm">Logic and Theism: Arguments For and Against Beliefs in God</A></th></tr> <tr><th><A HREF = "../../Authors/S/Author_Sobel (Jordan).htm">Sobel (Jordan)</a></th></tr> <tr><th>Source: Sobel (Jordan) - Logic and Theism: Arguments For and Against Beliefs in God</th></tr> <tr><th>Paper - Abstract</th></tr> </TABLE> </CENTER> <P><CENTER><TABLE class = "Bridge" WIDTH=400><tr><td><A HREF = "../../PaperSummaries/PaperSummary_16/PaperSummary_16506.htm">Paper Summary</A></td><td><A HREF="#ColourConventions">Text Colour-Conventions</a></td></tr></TABLE></CENTER></P> <hr><P><FONT COLOR = "0000FF"><U>Preface</U> (Full Text) <FONT COLOR = "800080"><ol type="1"><li>This book is about beliefs in the existence of God in two senses. It is about beliefs in God in the sense of their objects, the propositions believed. And it is about beliefs in God in the sense of states of minds. Classical arguments and evidence for and against propositions affirming God's existence are studied, as well as Pascalian practical arguments for and against cultivating states of belief in God.</li><li>Questions of truth, and of belief, concerning God's existence come after questions regarding what would be God's nature. Discussions of arguments in this book are predicated on several conceptions often combined, and sometimes moderated, of what God would be like. <B>Chapter I</B>, " GOD' and  god', and God," goes into these conceptions. Its business is to establish the broad perspective from which issues concerning God's existence, and what would be This One's nature, are taken.</li><li>Then come chapters about theoretical arguments for beliefs in God. <B>Chapters II through IV</B> are about demonstrative arguments that would establish God's existence without the aid of contingent assumptions or premises:- <ul type="disc"><li>The classical ontological arguments of Rene Descartes, St. Anselm, and Baruch Spinoza (<B>Chapter II</B>); </li><li>The <a name="1"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">modal</A><SUP>1</SUP> ontological argument of Charles Hartshorne and Alvin Plantinga (<B>Chapter III</B>); and </li><li>Kurt Godel's ontological proof (<B>Chapter IV</B>). </li></ul></li><li><B>Chapters V and VI</B> examine connected ordinary deductive arguments that make use of contingent premises: <ul type="disc"><li>Thomas Aquinas' argument for a first use, </li><li>An argument of David Hume's character Demea, </li><li>Samuel Clarke, and especially Gottfried Leibniz for ultimate reasons. </li></ul></li><li><B>Chapter VII</B> reviews and extends David Hume's masterful study of arguments from design, which arguments purport not to deduce God's existence, but only to make a case for it, that is, to marshal evidence that, while not strictly entailing the hypothesis of a designing God's existence, make it probable. <B>Chapter VIII</B> interprets and discusses Hume's critique of testimonial evidence for miracles, and through them for particular gods.</li><li>Next come chapters on what would be salient parts of God's nature. <ul type="disc"><li><B>Chapter IX</B> attends to challenges to omnipotence considered alone and in combination with other possible divine attributes. </li><li><B>Chapter X</B> takes up challenges to omniscience considered alone. </li><li>Going with these chapters is a substantial appendix to <B>Chapter XII</B> that studies the issue of divine omniscience and freedom of choice. </li></ul></li><li>There are then chapters on theoretical arguments against the existence of God. <ul type="disc"><li><B>Chapter XI</B> attends briefly to demonstrative arguments that would, if successful, establish that neither God nor  anything very like him' could exist. It attends at greater length to  the empirical problem of evil' and to arguments that would establish that  on the evidence of evil' there is probably no god. </li><li><B>Chapter XII</B> is about the problem of evil in its classical form: Examined are deductive arguments in a series that starts with  Epicurus' old problem,' arguments that would if successful establish that the existence of a perfect god is logically incompatible with the existence of evil, or, if not with that, then with this world's not being a best possible world, or, if not with that, then with this world's not being a best possible world that a perfect god could have actualized for sure, or, if not that... </li></ul></li><li><B>Chapter XIII</B> is about beliefs in God as states of mind. It studies practical arguments for cultivating beliefs in God, arguments that work with values for and probabilities of possible consequences of theistic beliefs, and of steps taken to acquire them. (Not conjured for comment are 'anti-Pascalian' practical arguments for avoiding theistic beliefs and eliminating them, because of consequences of having, and of acquiring, them.)</li><li>The <B>logic and mathematics</B> used are explained as required. <ul type="disc"><li>Notations of <B>elementary predicate logic</B> come into discussions of Rene Descartes's ontological argument, as well as of St. Anselm's, and of Thomas Aquinas's first cause argument (Chapters II and V). It helps to bring out certain amphibolies or structural ambiguities of English sentences that feature words of quantity such as  a' and  something.' </li><li><B>Russell's theory of descriptions</B> is used to sort out more elusive amphibolies of relevance to Spinoza's ontological argument (Chapter II). </li><li><B><a name="2"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">Modal logic</A><SUP>2</SUP></B> figures in discussions of Hartshorne's and Plantinga's and Godel's ontological arguments (Chapters III and IV), of cosmological arguments (Chapter VI), of omnipotence (Chapter IX), of arguments for evil and objections to them (Chapter XII), and of omniscience and freedom (Chapter XII, Appendix). A natural deduction system for <B>first-order quantified <a name="3"></a><A HREF="../../Notes/Notes_1/Notes_121.htm">modal logic</A><SUP>3</SUP></B> is explained in an appendix for Chapter III and used to confirm several informal arguments of that chapter. That system is extended in an appendix for Chapter IV to accommodate articulations of Godel's reasoning in his ontological proof, and to confirm other informal arguments of the chapter. </li><li><B>Bayesian confirmation theory</B> is explained for discussions of the evidence of design for a designer, of the evidence for miracles of testimony to miracles, and of the evidence of evil against a perfect god (Chapters VII, VIII, and XI). Chapter XIII includes a series of exercises in Bayesian rational choice theory. </li><li>Particular attention is paid to the play in these Pascalian arguments of <B>infinities</B>, both standard Cantorian cardinal infinities and nonstandard Robinsonian hyperreal 'infinimals.' </li><li><B>Hyperreal infinitesimals</B> enter explications floated of Hume's ideas of  degrees of proof' and of  highest certainties' (Chapter VIII).</li><li>[But& Footnote ] regarding technical material: formal derivations and models are relegated to appendices. Some technical material within chapters can be skipped over without loss of continuity.</li></ul></li><li></FONT>[Snip & remarks on the pre-publication & provenance of various passages; thanks to colleagues, etc.]</li></ol> </FONT><FONT COLOR = "0000FF"><HR></P><a name="ColourConventions"></a><p><b>Text Colour Conventions (see <A HREF="../../Notes/Notes_10/Notes_1025.htm">disclaimer</a>)</b></p><OL TYPE="1"><LI><FONT COLOR = "0000FF">Blue</FONT>: Text by me; &copy; Theo Todman, 2018</li><LI><FONT COLOR = "800080">Mauve</FONT>: Text by correspondent(s) or other author(s); &copy; the author(s)</li></OL> <BR><HR><BR><CENTER> <TABLE class = "Bridge" WIDTH=950> <TR><TD WIDTH="30%">&copy; Theo Todman, June 2007 - August 2018.</TD> <TD WIDTH="40%">Please address any comments on this page to <A HREF="mailto:theo@theotodman.com">theo@theotodman.com</A>.</TD> <TD WIDTH="30%">File output: <time datetime="2018-08-03T00:14" pubdate>03/08/2018 00:14:07</time> <br><A HREF="../../Notes/Notes_10/Notes_1010.htm">Website Maintenance Dashboard</A></TD></TR> <TD WIDTH="30%"><A HREF="#Top">Return to Top of this Page</A></TD> <TD WIDTH="40%"><A HREF="../../Notes/Notes_11/Notes_1140.htm">Return to Theo Todman's Philosophy Page</A></TD> <TD WIDTH="30%"><A HREF="../../index.htm">Return to Theo Todman's Home Page</A></TD> </TR></TABLE></CENTER><HR> </BODY> </HTML>