We raise various puzzles about the relationship between God and the meaning of life. These difficulties suggest that, even if we assume that God exists, and even if God’s existence would entail that our lives have meaning, God is not and could not be the source of the meaning of life. We conclude by discussing implications of our arguments: these claims can be used in a novel argument for atheism; these claims undermine an extant argument for God’s existence; and they (...) suggest that atheism is consistent with our lives having meaning. (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 (e.g., one’s salvation, the possibility of an ethical or a meaningful life, or entrance into heaven) 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 (even assuming that God exists) 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)

I formulate an argument against epiphenomenalism; the argument shows that epiphenomenalism is extremely improbable. Moreover the argument suggests that qualia not only have causal powers, but have their causal powers necessarily. I address possible objections and then conclude by considering some implications the argument has for dualism.

This paper concerns “human symbolic output,” or strings of characters produced by humans in our various symbolic systems; e.g., sentences in a natural language, mathematical propositions, and so on. One can form a set that consists of all of the strings of characters that have been produced by at least one human up to any given moment in human history. We argue that at any particular moment in human history, even at moments in the distant future, this set is finite. (...) But then, given fundamental results in recursion theory, the set will also be recursive, recursively enumerable, axiomatizable, and could be the output of a Turing machine. We then argue that it is impossible to produce a string of symbols that humans could possibly produce but no Turing machine could. Moreover, we show that any given string of symbols that we could produce could also be the output of a Turing machine. Our arguments have implications for Hilbert’s sixth problem and the possibility of axiomatizing particular sciences, they undermine at least two distinct arguments against the possibility of Artificial Intelligence, and they entail that expert systems that are the equals of human experts are possible, and so at least one of the goals of Artificial Intelligence can be realized, at least in principle. (shrink)

In Dialogues Concerning Natural Religion, Hume (1779/1993) appeals to his account of causation (among other things) to undermine certain arguments for the existence of God. If 'anything can cause anything', as Hume claims, then the Principle of Causal Adequacy is false; and if the Principle of Causal Adequacy is false, then any argument for God's existence that relies on that principle fails. Of course, Hume's critique has been influential. But Hume's account of causation undermines the argument from evil at least (...) as much as it undermines arguments for theism, or so I argue. I then suggest that Hume's account of causation can be used to formulate an alternative argument against classical theism. (shrink)

I formulate and defend a version of the many universes (or multiverse) reply to the atheistic argument from evil. Specifically, I argue that (i) if we know that any argument from evil (be it a logical or evidential argument) is sound, then we know that God would be (or at least probably would be) unjustified in actualizing our universe. I then argue that (ii) there might be a multiverse and (iii) if so, then we do not know that God would (...) be (or at least probably would be) unjustified in actualizing our universe. It follows that we cannot know that the atheistic argument from evil is sound, in which case we cannot be certain that the argument succeeds, and so it is rational to refuse to reject theism because of such arguments. (shrink)

Some recent work in philosophy of religion addresses what can be called the “axiological question,” i.e., regardless of whether God exists, would it be good or bad if God exists? Would the existence of God make the world a better or a worse place? Call the view that the existence of God would make the world a better place “Pro-Theism.” We argue that Pro-Theism is not implausible, and moreover, many Theists, at least, (often implicitly) think that it is true. That (...) is, many Theists think that various good outcomes would arise if Theism is true. We then discuss work in cognitive science concerning human cognitive bias, before discussing two noteworthy attempts to show that at least some religious beliefs arise because of cognitive bias: Hume’s, and Draper’s and Nichols’s. We then argue that, as a result of certain cognitive biases that result when good outcomes might be at stake, Pro-Theism causes many Theists to inflate the epistemic probability that God exists, and as a result, Theists should lower the probability they assign to God’s existence. Finally, based our arguments, we develop a novel objection to Pascal’s wager. (shrink)

Some have claimed that since machines lack emotional “qualia”, or conscious experiences of emotion, machine intelligence will fall short of human intelligence. I examine this objection, ultimately finding it unpersuasive. I first discuss recent work on emotion that suggests that emotion plays various roles in cognition. I then raise the following question: are phenomenal experiences of emotion an essential or necessary component of the performance of these cognitive abilities? I then sharpen the question by distinguishing between four possible positions one (...) might take. I reject one of these four positions largely on empirical grounds. But the remaining three positions all suggest that even if emotional qualia play an important role in human cognition, emotional qualia are not essential to the performance of these cognitive abilities in principle, so, e.g., a machine that lacks emotional qualia might still be able to perform them. (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)

I formulate an argument for a weak version of modal realism; to be precise, I argue that there are multiple (i.e., at least two) worlds that contain concrete entities. I conclude by discussing some implications the argument has for theism.

I defend a physicalistic version of ontological emergence; qualia emerge from the brain, but are physical properties nevertheless. First, I address the following questions: what are the central tenets of physicalistic ontological emergentism; what are the relationships between these tenets; what is the relationship between physicalistic ontological emergentism and non-reductive physicalism; and can there even be a physicalistic version of ontological emergentism? This discussion is merely an attempt to clarify exactly what a physicalistic version of ontological emergentism must claim, and (...) to show that the view is at least coherent. I then defend the view from objections, for example, Kim’s (Philos Stud 95:3–36, 1999) attempt to apply a version of his exclusion argument to ontological emergentism. I conclude by offering a positive argument for the view: given certain empirical evidence concerning the organization of the brain, physicalism might have to endorse ontological emergentism to avoid epiphenomenalism. (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)

We first discuss Michael Dummett’s philosophy of mathematics and Robert Brandom’s philosophy of language to demonstrate that inferentialism entails the falsity of Church’s Thesis and, as a consequence, the Computational Theory of Mind. This amounts to an entirely novel critique of mechanism in the philosophy of mind, one we show to have tremendous advantages over the traditional Lucas-Penrose argument.

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)

Resumo Os Qualia, ou são “entidades espaciais” – ou seja, estão localizados no espaço como os objectos físicos –, ou não são “entidades espaciais”. Então, o dualismo deve alegar que ou os qualia não-físicos são entidades espaciais, ou que eles não o são. Contudo, qualquer resposta é problemática. Se os qualia não-físicos não são entidades espaciais, então, é difícil de conceber como podem ser atribuídos a cérebros particulares, individualizados uns dos outros, e assim por diante. Mas se os qualia não-físicos (...) são entidades espaciais, então, surgem outros problemas, por exemplo, torna-se difícil perceber como poderíamos ter então um acesso privilegiado a eles. Dada uma ou outra opção, o dualismo é problemático. Portanto, o dualismo é problemático. Palavras-chave : argumento do conhecimento, consciência, dualismo, fisicalismo, problema mente-corpo, qualiaQualia are either “spatial entities” – i.e., they are located in space like physical objects – or they are not. So, dualism must claim that either non-physical qualia are spatial entities or they are not. But either answer is problematic. If non-physical qualia are not spatial entities, then it is difficult to see how they can be attributed to particular brains, individuated from one another, and so on. But if non-physical qualia are spatial entities, then other problems arise, e.g., it is difficult to see how we could have privileged access to them. Given either option, dualism is problematic. Therefore, dualism is problematic. Keywords : consciousness, dualism, knowledge argument, mind-body problem, Physicalism, Qualia. (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)

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 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.

This paper concerns “human symbolic output,” or strings of characters produced by humans in our various symbolic systems; e.g., sentences in a natural language, mathematical propositions, and so on. One can form a set that consists of all of the strings of characters that have been produced by at least one human up to any given moment in human history. We argue that at any particular moment in human history, even at moments in the distant future, this set is finite. (...) But then, given fundamental results in recursion theory, the set will also be recursive, recursively enumerable, axiomatizable, and could be the output of a Turing machine. We then argue that it is impossible to produce a string of symbols that humans could possibly produce but no Turing machine could. Moreover, we show that any given string of symbols that we could produce could also be the output of a Turing machine. Our arguments have implications for Hilbert’s sixth problem and the possibility of axiomatizing particular sciences, they undermine at least two distinct arguments against the possibility of Artificial Intelligence, and they entail that expert systems that are the equals of human experts are possible, and so at least one of the goals of Artificial Intelligence can be realized, at least in principle. (shrink)

I argue that physicalistic naturalism entails the falsity of epiphenomenalism. I conclude by briefly discussing implications of my argument for cognitive science, non-reductive physicalism, and the possibility of formulating a naturalistic form of dualism.

Humans constantly produce strings of characters in symbolic languages, e.g., sentences in natural languages. We show that for any given moment in human history, the set of character strings that have been produced up to that moment, i.e., the sum total of human symbolic output up to that moment, is finite and so Turing computable. We then prove a much stronger result: a Turing machine can produce any particular set of symbolic output that we could possibly have produced. We then (...) discuss metaphysical and/or theological systems, e.g., Spinoza’s, Leibniz’s, or Aquinas’s. We argue that any particular metaphysical system could be the output of a Turing machine. We then briefly discuss (i) automated theorem proving, the attempt to generate and/or prove theorems using computers, and (ii) computational metaphysics, the attempt to apply methods from computer science such as automated theorem proving to metaphysics. We conclude by arguing that: (i) computational metaphysics can succeed, at least in theory; indeed, all human metaphysical reasoning could be automated; (ii) computational metaphysics – and indeed metaphysical systems in general – will have the same limitations as Turing machines; and (iii) a number of different methods – not currently used in computational metaphysics – could be used to advance metaphysical research. (shrink)