We first argue that there are cases of “blameless non-belief.” That is, some people—through no fault of their own—fail to enter into a conscious relationship with God. But if so, then it would be unjust of God to make certain particular goods depend upon one having a conscious relationship with God. So, given that God is just, then despite what some theists believe, a relationship with God cannot be a necessary condition for the attainment of these goods; there might, e.g., (...) be atheists in heaven, even assuming that theism is true. This implies that religion is a far less important component of people’s lives than many might think. (shrink)

We first argue that there are cases of “blameless non-belief.” That is, some people—through no fault of their own—fail to enter into a conscious relationship with God. But if so, then it would be unjust of God to make certain particular goods depend upon one having a conscious relationship with God. So, given that God is just, then despite what some theists believe, a relationship with God cannot be a necessary condition for the attainment of these goods; there might, e.g., (...) be atheists in heaven, even assuming that theism is true. This implies that religion is a far less important component of people’s lives than many might think. (shrink)

We formulate a new modal ontological argument; specifically, we show that there is a possible world in which an entity that has at least the property of omnipotence exists. Then we argue that if such an entity is possible, it is necessary as well.

We formulate a sort of "generic" cosmological argument, i.e., a cosmological argument that shares premises (e.g., "contingent, concretely existing entities have a cause") with numerous versions of the argument. We then defend each of the premises by offering pragmatic arguments for them. We show that an endorsement of each premise will lead to an increase in expected utility; so in the absence of strong evidence that the premises are false, it is rational to endorse them. Therefore, it is rational to (...) endorse the cosmological argument, and so rational to endorse theism. We then consider possible objections. (shrink)

We argue that the set of humanly known mathematical truths (at any given moment in human history) is finite and so recursive. But if so, then given various fundamental results in mathematical logic and the theory of computation (such as Craig’s in J Symb Log 18(1): 30–32(1953) theorem), the set of humanly known mathematical truths is axiomatizable. Furthermore, given Godel’s (Monash Math Phys 38: 173–198, 1931) First Incompleteness Theorem, then (at any given moment in human history) humanly known mathematics must (...) be either inconsistent or incomplete. Moreover, since humanly known mathematics is axiomatizable, it can be the output of a Turing machine. We then argue that any given mathematical claim that we could possibly know could be the output of a Turing machine, at least in principle. So the Lucas-Penrose (Lucas in Philosophy 36:112–127, 1961; Penrose, in The Emperor’s new mind. Oxford University Press, Oxford (1994)) argument cannot be sound. (shrink)

This paper has two aims: (1) to point the way towards a novel alternative to cognitive theories of emotion, and (2) to delineate a number of different functions that the emotions play in cognition, functions that become visible from outside the framework of cognitive theories. First, I hold that the Higher Order Representational (HOR) theories of consciousness — as generally formulated — are inadequate insofar as they fail to account for selective attention. After posing this dilemma, I resolve it in (...) such a manner that the following thesis arises: the emotions play a key role in shaping selective attention. This thesis is in accord with A. Damasio’s (1994) noteworthy neuroscientific work on emotion. I then begin to formulate an alternative to cognitive theories of emotion, and I show how this new account has implications for the following issues: face recognition, two brain disorders (Capgras’ and Fregoli syndrome), the frame problem in A. I., and the research program of affective computing. (shrink)