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)

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 A. Damasio’s (1994) Somatic Marker hypothesis can explain why humans don’t generally suffer from the frame problem, arguably the greatest obstacle facing the Computational Theory of Mind. This involves showing how humans with damaged emotional centers are best understood as actually suffering from the frame problem. We are then able to show that, paradoxically, these results provide evidence for the Computational Theory of Mind, and in addition call into question the very distinction between easy and hard problems (...) in the contemporary philosophy of mind. (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)