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. (shrink)

This paper is a critical review of Howard Sobel’s ’Logic and Theism’. I discuss his analyses of ontological arguments, cosmological arguments, teleological arguments, and arguments from evil, and comment upon his accounts of Pascal’s wager and Hume on miracles. My overall judgment is that this is the very best book on arguments about the existence of God that has yet appeared.

This is an extended critical review of Jordan Howard Sobel's magnum opus *Logic and Theism*.

The book is long, abstruse, technical (making ample use of symbolic logic and Bayesian notation), and written in a rather difficult style. Nevertheless, for those up to reading it who have an interest in its topics, it is a most valuable work. It is directed mainly at professional analytical philosophers with a background in both deductive and inductive logic. For such readers, I recommend this book most highly.

Drawing an analogy between modal structuralism about mathematics and theism, I o er a structuralist account that implicitly de nes theism in terms of three basic relations: logical and metaphysical priority, and epis- temic superiority. On this view, statements like `God is omniscient' have a hypothetical and a categorical component. The hypothetical component provides a translation pattern according to which statements in theistic language are converted into statements of second-order modal logic. The categorical component asserts the logical (...) possibility of the theism struc- ture on the basis of uncontroversial facts about the physical world. This structuralist reading of theism preserves objective truth-values for theistic statements while remaining neutral on the question of ontology. Thus, it o ers a way of understanding theism to which a naturalist cannot object, and it accommodates the fact that religious belief, for many theists, is an essentially relational matter. (shrink)

Philosophy in the 19th century experienced a ‘turn from idealism,’ when idealist philosophies were largely abandoned for materialist ones. Scientific naturalism is now considered by many analytic philosophers to be the new orthodoxy, largely in part due to the success of the scientific method. The New Atheists, such as Daniel Dennett and Richard Dawkins, claim it is Darwin in particular who deserves much of the credit for repudiating the traditional Mind-first world view. Some, like Alvin Plantinga and Michael Behe, maintain (...) the opposite, that evolution casts doubt on naturalism and supports theism. This dissertation seeks to determine just what exactly the logical implications of evolutionary theory are. Is evolution incompatible with theism? Does the acceptance of evolution necessarily entail naturalism and preclude theism? Is it possible, as naturalism maintains, that everything can be reduced to physical processes, or are there too many recalcitrant phenomena that defy reduction? Answering these involves a detailed analysis of the concepts, ‘evolution,’ ‘naturalism,’ and ‘theism.’ Just what exactly does accepting evolutionary theory entail? How is it different from Darwinism? Is evolution guided or unguided? What is naturalism? There are many different types of metaphysical naturalists: eliminative materialists, physicalists, and emergent property dualists. What is the relationship between metaphysical naturalism and methodological naturalism? Theism affirms a creator God who sustains all being, who is transcendent and yet immanent. So if theism posits a God who is active in the world, does this mean that scientific investigation may at times have to admit supernatural explanations when natural ones fail? My general conclusion is a type of mitigated skepticism – that given evolution, neither naturalism nor theism logically follows. As to whether evolution is guided or unguided, the only correct position is ‘undetermined.’ In this instance metaphysical positions may fill in the gaps in knowledge by projection, but cannot fulfill the necessary and sufficient conditions required for knowledge. Metaphysical naturalism and theism are worldviews that an individual adopts as the most overall coherent explanation of the wide variety of experiences, intuitions, and reflections on their life. Whether evolution offers evidence for one and against the other is often based upon one’s prior metaphysical assumptions, since all facts are theory laden. The underdetermination of theory allows for multiple theories to cover the same phenomena, with each offering an epistemically adequate explanation. However, numerous recalcitrant anomalies which defy scientific explanation and reduction present problems for the strict naturalist. While neither naturalism nor theism can be determined to be objectively true, one can offer reasons for choosing one or the other on the basis of overall coherence. (shrink)

The paper surveys two contrasting views of first‐order analyses of classical theistic doctrines about the existence and nature of God. On the first view, first‐order logic provides methods for the adequate analysis of these doctrines, for example by construing ‘God’ as a singular term or as a monadic predicate, or by taking it to be a definite description. On the second view, such analyses are conceptually inadequate, at least when the doctrines in question are viewed against the background of (...) classical theism’s doctrine of divine simplicity, for first‐order analyses presuppose an ontological complexity on the part of the propositions which they analyze, which fits ill with this doctrine. (shrink)

This guide accompanies the following article: ‘Logic and Divine Simplicity’. Philosophy Compass 6/4 : pp. 282–294, doi: Author’s IntroductionFirst‐order formalizations of classical theistic doctrines are increasingly used in contemporary work in philosophy of religion and philosophical theology, as a means for clarifying the conceptual structure of the doctrines and their role in inferential procedures. But there are a variety of different ways in which such doctrines have been formalized, each representing the doctrines as having different conceptual structures. Moreover, the (...) adequacy of such formalizations as such has, at least with respect to some classes of doctrines, been disputed. One reason for disputing their adequacy derives from the conceptual impact of classical theism’s doctrine of divine simplicity.Author RecommendsFrege, Gottlob ‘Begriffsschrift: a formula language of pure thought,’ trans. Michael Beany, in The Frege Reader, ed. Beany. Oxford: Blackwell, pp. 47–78. The preface contains interesting remarks about the purpose of formalization as understood by the chief pioneer of modern formal logic. These remarks are also connected by Frege to his views on the relation between thought and language more generally.Russell, Bertrand, and Whitehead, A.N. Principia Mathematica, Vol. I. Cambridge: Cambridge University Press.The preface and first section of the long introduction contain remarks on the purpose and advantages of formalization. Chapter 1 of the introduction contains what is probably one of the first formalizations ever of a theistic doctrine, and is given in terms of a definite description analysis.Suppes, Patrick ‘The Desirability of Formalization in Science,’The Journal of Philosophy, Vol. 65, No. 20, pp. 651–64.Clear and concise discussion of some of the advantages of formalization in philosophical inquiry, written by a prominent contemporary American philosopher‐logician.Nieznański, Edward ‘The Beginnings of Formalization in Theology,’ in Advances in Scientific Philosophy: Essays in Honour of Paul Weingartner, eds. Gerhard Schurz and Gregory J.W. Dorn. Amsterdam and Atlanta, GA: Ropodi, pp. 551–9.A valuable paper that narrates, among other things, the programme of formalizing theistic doctrines that emerged in Poland in the 1920s under the influence of the Lvov‐Warsaw School. Various examples of formalizations are also given.Quine, W.V.O. Mathematical Logic. Cambridge, MA: Harvard University Press.In Section 27 of this classic study, Quine offers a formalization of theistic doctrines which seeks to avoid the difficulties of earlier formalizations by means of a subtle extensional singleton set analysis. The proposal has not won many adherents, but is worthy of careful study nonetheless.Woleński, Jan ‘Theism, Fideism, Atheism, Agnosticism,’ in Logic, Ethics and All That Jazz: Essays in Honour of Jordan Howard Sobel, eds. Lars‐Göran Johansson, Jan Österberg, and Rysiek Sliwinski. Uppsala: Uppsala Philosophical Studies, pp. 387–400.A concise but lucid survey of some attempts to formalize theistic doctrines and some problems besetting these attempts. Woleński also proposes his own method of formalization, which could be described as a simplified version of Quine’s method in Mathematical Logic.Bocheński, Joseph The Logic of Religion. New York: New York University Press.The first book‐length treatment of the relation between modern logic and theism. It covers much ground, and remains very readable.Alston, William P. ‘Religious Language and Verificationism,’ in The Rationality of Theism, eds. Paul Moser and Paul Copan. London: Routledge, pp. 17–34.Identifies some problems with attempts at articulating theistic doctrines by means of subject‐predicate language. Highly relevant to formalizations of theistic doctrines, even though this topic is not dealt with explicitly.Kraal, Anders ‘Logic and Divine Simplicity,’Philosophy Compass.Offers a survey of three main methods of formalizing theistic doctrines, and of some variants of these methods. Argues that certain formalizations of theistic doctrines are bound to be rejected as conceptually inadequate by all who understand the doctrines at hand within the framework provided by the traditional doctrine of divine simplicity.Sample Syllabus Week I: The Idea of Formalization and the Project of Formalizing Theistic Doctrines Reading:Frege, Gottlob ‘Begriffsschrift: a formula language of pure thought,’ trans. Michael Beany, in The Frege Reader, ed. Beany. Oxford: Blackwell, pp. 47–78. Russell, Bertrand, and Whitehead, A.N. Principia Mathematica, Vol. I. Cambridge: Cambridge University Press. Suppes, Patrick ‘The Desirability of Formalization in Science,’The Journal of Philosophy, Vol. 65, No. 20, pp. 651–64.Nieznański, Edward ‘The Beginnings of Formalization in Theology,’ in Advances in Scientific Philosophy: Essays in Honour of Paul Weingartner, eds. Gerhard Schurz and Gregory J.W. Dorn. Amsterdam and Atlanta, GA: Ropodi, pp. 551–9. Week II: Formalizing Theistic Doctrines: Three Alternative Methods Reading:Woleński, Jan ‘Theism, Fideism, Atheism, Agnosticism,’ in Logic, Ethics and All That Jazz: Essays in Honour of Jordan Howard Sobel, eds. Lars‐Göran Johansson, Jan Österberg, and Rysiek Sliwinski. Uppsala: Uppsala Philosophical Studies, pp. 387–400.Russell, Bertrand, and Whitehead, A.N. Principia Mathematica, Vol. I. Cambridge: Cambridge University Press. Quine, W.V.O. Mathematical Logic. Cambridge, MA: Harvard University Press. Week III: Arguments for and Against Some Formalizations of Theistic Doctrines Reading:Bocheński, Joseph The Logic of Religion. New York: New York University Press. Kraal, Anders ‘Logic and Divine Simplicity,’Philosophy Compass, Vol. 6, No. 4, pp. 282–94.Focus Questions1 What do Frege, Russell and Whitehead, and Suppes understand the purpose or purposes of logical formalization to be, and why do they think formalization can achieve these purposes?2 Woleński sketches some simple ways of formalizing theistic doctrines such as ‘God exists’ or ‘God is almighty’ in terms of 1‐place predicates which he subsequently abandons in favour of other methods. What reasons lead him to abandon these more simple methods of formalization?3 What are the advantages of the definite description formalization of theistic doctrines offered by Russell and Whitehead?4 Quine offers a subtle formalization of the theistic doctrine ‘God exists’ in terms of singleton sets. What problems are Quine’s formalization intended to accommodate, and how does it seek to accommodate them?5 Which relative merits or demerits are there in Bocheński’s and Kraal’s respective arguments for and against the adequacy of certain formalizations of theistic doctrines? (shrink)

In theology, by W.L. Rowe.--Divine foreknowledge and human freedom, by A. Kenny.--Some puzzles concerning omnipotence, by G.I. Mavrodes.--The paradox of the stone, by C.W. Savage.--Creation ex nihilo, by J. Donnelly.--The miraculous, by R.F. Holland.--On miracles, by P.J. Dietl.--The tacit structure of religious knowing, by J.H. Gill.--On the observability of the self, by R.M. Chisholm.--Re-examining Kierkegaard's "Teleological suspension of the ethical," by J. Donnelly.

In this paper, I consider Sterba’s recent criticism of skeptical theism in context of his argument from evil. I show that Sterba’s criticism of skeptical theism shares an undesirable trait with all past criticisms of skeptical theism: it fails. This is largely due to his focus on causal connections and his neglect of logical connections. Because of this, his argument remains vulnerable to skeptical theism.

This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic realism, fictionalism, neutralism, and alternative logics and semantics, among other topics. The book offers a helpful taxonomy of the wide range of (...) options available to the classical theist for dealing with the challenge of Platonism. It probes in detail the diverse views on the reality of abstract objects and their compatibility with classical theism. It contains a most thorough discussion, rooted in careful exegesis, of the biblical and patristic basis of the doctrine of divine aseity. Finally, it challenges the influential Quinean metaontological theses concerning the way in which we make ontological commitments. (shrink)

Michael Tooley, in Plantinga & Tooley, "Knowledge of God" (Blackwell 2008) argues that, in the absence of strong evidence in favour of the existence of God, the logical probability of God's existence is extremely low. His argument focusses on rightmaking and wrongmaking properties of divine actions, and employs Carnap's inductive logic to reach his conclusion. I argue that Tooley's argument's conceptual foundations are problematic, and that his application of Carnap's inductive logic is flawed. I then provide an alternative (...) analysis of the relevant inductive issues. (shrink)

An expansive, yet succinct, analysis of the Philosophy of Religion – from metaphysics through theology. Organized into two sections, the text first examines truths concerning what is possible and what is necessary. These chapters lay the foundation for the book’s second part – the search for a metaphysical framework that permits the possibility of an ultimate explanation that is correct and complete. A cutting-edge scholarly work which engages with the traditional metaphysician’s quest for a true ultimate explanation of the most (...) general features of the world we inhabit Develops an original view concerning the epistemology and metaphysics of modality, or truths concerning what is possible or necessary Applies this framework to a re-examination of the cosmological argument for theism Defends a novel version of the Leibnizian cosmological argument. (shrink)

In his presidential address to the APA, Alvin Plantinga argues that the only sensible way to be an anti-realist is to be a theist. Anti-realism (AR) in this context is the epistemic analysis of truth that says, "(AR) necessarily, a statement is true if and only if it would be believed by an ideally [or sufficiently] rational agent/community in ideal [or sufficiently good] epistemic circumstances." Plantinga demonstrates, with modest modal resources, that AR entails that necessarily, ideal epistemic circumstances obtain. As (...) it is a contingent matter whether ideal epistemic circumstances obtain, Plantinga concludes that an anti-realist should be a theist. In this paper, we show that counterfactual analyses of truth as epistemic are instances of a more general problem of philosophical analysis. More specifically, without a radical revision of the logic, counterfactual analyses of truth as epistemic cannot avoid perpetrating some version of the conditional fallacy. Even so, we argue, anti-realists are not committed to the necessary existence of ideal epistemic circumstances and therefore need not be theists. (shrink)

This is an anthology in which all but one of the essays have been previously published. Western religious thought has made use of, or appropriated, or remained in dialogue with every major philosophical development from Platonism to Marxism. One of the latest versions of such appropriation, discovered as many would think in a most unlikely place, is the appropriation of analytic philosophy. A new natural theology is abroad in the land, and this volume attempts quite successfully to capture its current (...) state. If Flew and MacIntyre offered the first version of this dialogue and found analytic philosophy detrimental to western theism, this volume recognizes that more recent analytic philosophy has offered a second version and discovered analytic methodology as supportive of theistic philosophical persuasions. Essays by Ross, Rowe, Swinburne and Horsburgh consider the contribution of modal logic. Other essays by Alston, Bennett, and Hick, discuss the divine nature. Language and religion is developed by Ross, Pike, Plantinga, Rowe, Kenny, Mavrodes, Savage, and Donnelly. Miracle language is investigated by Holland and Dietl, while Gill discusses verification, and Chisholm the self. Although one may regret that some writers, Geach or Phillips, for example, are not included, it is time to recognize that natural theology has revived in our day by means of analytic philosophy, and this collection is an early and very successful reminder, as well as functioning as a good text for courses in the latest in philosophical theology on the Anglo-Saxon scene.—H. A. D. (shrink)

In this important new book, David O'Connor discusses both logical and empirical forms of the problem of inscrutable evil, perennially the most difficult philosophical problem confronting theism. Arguing that both a version of theism and a version of atheism are justified on the evidence in the debate over God and evil, O'Connor concludes that a warranted outcome is a philosophical dètente between those two positions. On the way to that conclusion he develops two arguments from evil, a reformed (...) version of the logical argument and an indirect version of the empirical argument, and deploys both against a central formulation of theism that he describes as orthodox theism. God and Inscrutable Evil makes a valuable contribution to contemporary debates in the philosophy of religion. (shrink)

This chapter looks at a range of objections to theism that one might class as “logical.” Some of these objections aim to show that theism involves an internal logical contradiction. Others aim to show that theism is at least logically incompatible with other beliefs to which the theist is also typically committed. Also included are objections grounded in the thought that theism is nonsensical or meaningless. The chapter provides both an overview of this broad terrain, including (...) a map of possible responses to different kinds of objection, and then a number of examples. (shrink)

God is traditionally taken to be a perfect being, and the creator and sustainer of all that is. So, if theism is true, what sort of world should we expect? To answer this question, we need an account of the array of possible worlds from which God is said to choose. It seems that either there is (a) exactly one best possible world; or (b) more than one unsurpassable world; or (c) an infinite hierarchy of increasingly better worlds. Influential (...) arguments for atheism have been advanced on each hierarchy, and these jointly comprise a daunting trilemma for theism. In this paper, I argue that if theism is true, we should expect the actual world to be a multiverse comprised of all and only those universes which are worthy of creation and sustenance. I further argue that this multiverse is the unique best of all possible worlds. Finally, I explain how his unconventional view bears on the trilemma for theism. (shrink)

The divine attributes of omniscience and omnipotence have faced objections to their very consistency. Such objections rely on reasoning parallel to semantic paradoxes such as the Liar or to set-theoretic paradoxes like Russell's paradox. With the advent of paraconsistent logics, dialetheism—the view that some contradictions are true—became a major player in the search for a solution to such paradoxes. This paper explores whether dialetheism, armed with the tools of paraconsistent logics, has the resources to respond to the objections levelled against (...) the divine attributes. (shrink)

Euteleology is a metaphysics according to which reality is inherently purposive and the contingent Universe exists ultimately because reality’s overall telos, the supreme good, is realized within it. This book provides an exposition of euteleology and a defence of its coherence. The main aim is to establish that euteleological metaphysics provides a religiously adequate alternative to the ‘personal-omniGod’ understanding of theism prevalent amongst analytic philosophers. The quest for an alternative to understanding the God of the Abrahamic traditions as an (...) omnipotent, omniscient, morally perfect personal being is motivated by criticizing the religious adequacy of this conception of God. This criticism deploys a ‘normatively relativized’ version of the ‘logical’ Argument from Evil: it is argued that an omnipotent personal agent would unavoidably be responsible for a morally flawed relationship with human beings caught up in horrendous evils. Reasons are given for preferring a ‘non-personalist’ account of theism, and the religious adequacy of a euteleological theism is then defended against two main objections—first, that it faces a problem of evil that threatens its coherence, and, second, that it cannot make good sense of the practices of prayer and worship that are essential to theist religion. An important theme is that, though God is not a personal being, nor any kind of ‘being amongst beings’ in basic euteleological ontology, God-talk may be understood as resting on a radical analogy that is apt for enabling right human responses to ultimate divine reality. (shrink)

Skeptical theists hold that we should be skeptical about our ability to know the reasons that God would have for permitting evil, at least in particular cases. They argue for their view by setting aside actions that are wrong in themselves and focusing their attention on actions that are purportedly right or wrong simply in terms of their consequences. However, I argue in this paper that once skeptical theists are led to take into account actions that are wrong in themselves, (...) as they must, they cannot escape the conclusion that there is a logical contradiction between the existence of an all-good, all-powerful God and what would have to be God’s permission of the significant and horrendous evil consequences of immoral actions found in our world. (shrink)

In this important new book, David O'Connor discusses both logical and empirical forms of the problem of inscrutable evil, perennially the most difficult ...

In a previous paper, Thomas V. Morris and I sketched a view on which abstract objects, in particular, properties, relations, and propositions , are created by God no less than contingent, concrete objects. In this paper r suggest a way of extending this account to cover mathematical objects as well. Drawing on some recent work in logic and metaphysics, I also develop a more detailed account of the structure of PRPs in answer to the paradoxes that arise on a (...) naive understanding of the structure ofthe abstract universe. (shrink)

This is a major work by one of the best-known philosophical writers, representing the culmination of some twenty-five years’ work on the possibility of giving a rational defence of the claims of the religious man, and specifically the theist, in the face of modern criticisms. Dr Ewing’s object has been to fulfil what seem to him the two most important tasks for the philosopher in at least the present age, namely, to see if it is still possible to give a (...) rational defence of a genuinely religious point of view, and to do the same thing for an objective ethics, a task he has attempted in other works, and continues here. The conclusions are that while there can be no question of strict, logical proof, an ethical theism can be defended rationally as an explanatory, metaphysical hypothesis and there are no grounds to reject as illusory the most fundamental intuitive convictions of religion. The book, originally published in 1973, included a new theory of the ultimate criterion of truth for hypotheses, a restatement of the case for a substantial self and for indeterminism, a fresh treatment of the moral and certain other arguments for God, some points in the discussion of the problem of evil and some speculations on time. (shrink)

This chapter contains sections titled: Story of Theistic Intolerance Locke, Liberalism, and the Rise of Toleration Toleration, Tolerance, and Affirmation A Remaining Question Works cited.

Classical theists hold that God is omnipotent. But now suppose a critical atheologian were to ask: Can God create a stone so heavy that even he cannot lift it? This is the dilemma of the stone paradox. God either can or cannot create such a stone. Suppose that God can create it. Then there's something he cannot do – namely, lift the stone. Suppose that God cannot create the stone. Then, again, there's something he cannot do – namely, create it. (...) Either way, God cannot be omnipotent. Among the variety of known theological paradoxes, the paradox of the stone is especially troubling because of its logical purity. It purports to show that one cannot believe in both God and the laws of logic. In the face of the stone paradox, how should the contemporary analytic theist respond? Ought they to revise their belief in theology or their belief in logic? Ought they to lose their religion or lose their mind? (shrink)

This essay is conceived as a critical exposition of the central issues that figure in the ongoing conversation between Logical Positivists and neo Positivists on the one hand and Christian apologists on the other. My expository aim is to isolate and to describe the main issues that have emer ged in the extended discussion between men of Positivistic turn of mind and men sympathetic to the claims of Christianity. My critical aim is to select typical, influential stands that have been (...) taken on each of these issues, to assess their viability, and to isolate certain dilemmas which discussion of these issues has generated. I am convinced that the now commonly rejected verifiability theory of meaning is very commonly misunderstood and has been rejected by and large for the wrong reasons. Before it is cast off-if it is to be cast off-what is needed is a reconsideration of that theory and of the objections that its several formulations have elicited. Furthermore, at least partially because of a misconstruing of the verifiability doctrine, there have been some interesting-though in my opinion unsuccessful-claims advanced about the testability-status of sentences expressive of Christian belief. Moreover, in their haste to vindicate Christianity, some apologists have been fairly cavalier, in my opinion, about what "Christianity" involves. This volume offers what I hope will be a clear statement and analysis of the principle points at issue between Positivism and Christianity, together with my own assessment of where the argument stands now. (shrink)

This book is a discussion of a wide range of topics that bear on the existence of God. For each topic, there is a chapter by one (or more) theists, and a chapter by one (or more) atheists. Topics: (1) Definition; (2) Method; (3) Logic; (4) Doxastic Foundations; (5) Religious Experience; (6) Faith and Revelation; (7) Miracles; (8) Religious Diversity; (9) Causation and Sufficient Reason; (10) A Priori; (11) Our Universe; (12) Human History; (13) Human Beings; (14) Ethics; (15) (...) Meaning; (16) Evil and Suffering; (17) Science; (18) Theories of Religion; (19) Prudential / Pragmatic Arguments; (20) Final Reckonings. (shrink)