This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...) volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal's Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind. (shrink)

I consider whether a contradiction may be deducible from the proposition that God does not exist. First, I expose a candidate counterexample to a key premise in Swinburne’s argument against the deducibility of a contradiction from God’s non-existence. Second, I present two new strategies one might use to deduce a contradiction. Both strategies make use of Tarski's T-schema together with developments in other theistic arguments. One argument is a conceptualist argument from necessary truth for a necessary mind, and the other (...) is a two-stage contingency argument for the same conclusion. The purpose of this article is not to decisively defend these arguments, but to expose new territory relevant to investigating the nature of God's necessity. (shrink)

James Anderson and Greg Welty have resurrected an argument for God’s existence, which we will call the argument from logic. We present three lines of response against the argument, involving the notion of necessity involved, the notion of intentionality involved, and then we pose a dilemma for divine conceptualism. We conclude that the argument faces substantial problems.

The fundamental problem of Christology is the apparent contradiction of Christ as recorded at Chalcedon. Christ is human and Christ is divine. Being divine entails being immutable. Being human entails being mutable. Were Christ two different persons there’d be no apparent contradiction. But Chalcedon rules as much out. Were Christ only partly human or only partly divine there’d be no apparent contradiction. But Chalcedon rules as much out. Were the very meaning of ‘mutable’ and/or ‘immutable’ other than what they are, (...) there’d be no apparent contradiction. But the meaning is what it is, and changing the meaning of our terms to avoid the apparent contradiction of Christ is an apparent flight from reality. What, in the end, is the explanation of the apparent contradiction of Christ? Theologians and philosophers have long advanced many consistency-seeking answers, all of which increase the metaphysical or semantical complexity of the otherwise strikingly simple but radical core of Christianity’s GodMan. In this paper, I put the simplest explanation on the theological table: namely, Christ appears to be contradictory because Christ is contradictory. This explanation may sound complicated to the many who are steeped in the mainstream account of logic according to which logic precludes the possibility of true contradictions. But the mainstream account of logic can and should be rejected. Ridding theology of the dogma of mainstream logic illuminates the simple though striking explanation of the apparent contradiction of Christ — namely, that Christ is a contradictory being. Just as the simplest explanation to the apparent roundness of the earth has earned due acceptance, so too should the simplest explanation of the apparent contradiction of Christ. (shrink)

Divine conceptualism takes all abstract objects to be propositions in the mind of God. I focus here on necessary propositions and contemporary claims that the laws of logic, understood as necessarily true propositions, provide us with an epistemic bridge to theological predication—specifically, to the claim that God exists. I argue that when contemporary versions of DC say ‘G/god’ they merely rename the notion of necessary truth, and fail to refer to God. Given that God is incomprehensible, epistemic access to the (...) state of propositions in the mind of God is extremely limited. (shrink)

Georges Florovsky’s essay ‘On the Grounding of Logical Relativism’ has attracted attention from various theologians and students of Russian thought but has until now avoided a serious philosophical analysis and critique. The complex but thought-provoking essay presents Florovsky’s so-called logical relativism, a position which he seemed to maintain for the rest of his career. This paper will show that by conflating ‘scientific’ with ‘alethic’ relativism, Florovsky exposed himself to detrimental philosophical and theological critique. After some methodological remarks, the first part (...) of the paper will introduce Florovsky’s article, and present its central argument as a scientific relativism which is then conflated with a truly logical or alethic relativism. The second and third parts will highlight the philosophical and theological problems with Florovsky’s position. (shrink)

What is the proper role of logic in analytic theology? This question is thrown into sharp relief when a basic logical principle is questioned, as in Beall’s ‘Christ – A Contradiction.’ Analytic philosophers of logic have debated between exceptionalism and anti-exceptionalism, with the tide shifting towards anti-exceptionalism in recent years. By contrast, analytic theologians have largely been exceptionalists. The aim of this paper is to argue for an anti-exceptionalist view, specifically treating logic as a modelling tool. Along the way I (...) critically engage with Beall on the role of logic in theology, maintaining that theological inquiry is in some ways disanalogous with other theoretical enterprises. (shrink)

I propose a taxonomy of arguments for the existence of God and survey those categories of arguments I identify as nontraditional. I conclude with two general observations about theistic arguments, followed by suggestions for going forward.

Anderson and Welty have recently advanced an argument for the claim that the laws of logic are ontologically dependent upon a necessarily existent mind, i.e. God. In this paper I argue that a key premise of Anderson and Welty’s argument—viz., a premise which asserts that \(x\) is intrinsically intentional only if \(x\) is mind-dependent—is false, for on a broadly Fregean account of propositions, propositions are intrinsically intentional but not mind-dependent.

In this essay I analyze two emerging theistic accounts of the laws of logic, one precipitated by theistic conceptual realism and the other from an archetype-ectype paradigm in Reformed Scholasticism. The former posits the laws of logic as uncreated and necessary divine thoughts, whereas the latter thinks of those laws as contingent, accommodated forms of a pre-existing archetypal rationality. After the analysis of the two accounts, I offer an explication of the theological rationale motivating the archetype-ectype model of the laws (...) of logic, and apply that model to recent discussions on theological paradox, abstract objects, and the function of natural-theological argumentation in apologetics. Finally, I respond to three anticipated objections against the archetype-ectype model. (shrink)

Many have pointed out that the utility of mathematical objects is somewhat disconnected from their ontological status. For example, one might argue that arithmetic is useful whether or not numbers exist. We explore this phenomenon in the context of Divine Conceptualism, which claims that mathematical objects exist as thoughts in the divine mind. While not arguing against DC claims, we argue that DC claims can lead to epistemological uncertainty regarding the ontological status of mathematical objects. This weakens DC attempts to (...) explain the utility of mathematical objects on the basis of their existence. To address this weakness, we propose an appeal to Liggins’ theory of Belief Expressionism. Indeed, we point out that BE is amenable to the ontological claims of DC while also explaining the utility of mathematical objects apart from reliance upon their existence. We illustrate these themes via a case study of Peano Arithmetic. (shrink)