In this paper I shall argue two things. First, it is plausible to think that Conceptualism holds with respect to propositions; in any event, it does a much better job than its closest competitors (Platonism and Nominalism) in accounting for the truthbearing nature of propositions. Secondly, it is wholly implausible (so I say) to take the added step and equate properties and relations with divine concepts. Here I offer additional reasons, beyond “divine bootstrapping,” for theists to resist this tempting reduction. (...) Thus, a limited Conceptualism emerges as the most natural and defensible way for a theist to think about God’s relation to abstract objects. (shrink)

In this paper I argue that there are some sentences whose truth makes no demands on the world, being trivially true in that their truth-conditions are trivially met. I argue that this does not amount to their truth-conditions being met necessarily: we need a non-modal understanding of the notion of the demands the truth of a sentence makes, lest we be blinded to certain conceptual possibilities. I defend the claim that the truths of pure mathematics and set theory are trivially (...) true, and hence accepting their truth brings no ontological commitment; I further defend the claim that the truths of applied mathematics and set theory do not demand the existence of numbers or sets. While the notion of a demand must not be reduced to anything modal, I nonetheless argue that sentences that are trivially true must also be necessary, lest we violate a very weak version of the principle that truth depends on the world. I further argue that all necessary truths are trivially true, lest we admit unexplained necessities. I end by showing one important consequence of this: I argue that if there are truthmakers for intrinsic predications, they must be states of affairs rather than tropes. (shrink)

In this paper we offer a new argument for the existence of God. We contend that the laws of logic are metaphysically dependent on the existence of God, understood as a necessarily existent, personal, spiritual being; thus anyone who grants that there are laws of logic should also accept that there is a God. We argue that if our most natural intuitions about them are correct, and if they are to play the role in our intellectual activities that we take (...) them to play, then the laws of logic are best construed as necessarily existent thoughts -- more specifically, as divine thoughts about divine thoughts. We conclude by highlighting some implications for both theistic arguments and antitheistic arguments. (shrink)

If there are abstract objects, they necessarily exist. The majority view among contemporary philosophers of religion who are theists is that God also necessarily exists. Nonetheless, that God has necessary existence has not been shown to be true, or even (informally) consistent. It seems consistent—at least is does not seem (informally) inconsistent—but neither does its denial. Arguments that necessary existence is a perfection, and God has all perfections, assume that Necessitarian Theism is true, and hence consistent. Thus they do not (...) provide reason to believe that Necessitarian Theism is true. Nonnecessitarian (“plain”) theism is on a philosophical par with Necessitarian Theism and can accommodate abstract objects all the while avoiding theological and philosophical refutation. (shrink)