Dan Linford

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

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.

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.

The existence of various sufferings has long been thought to pose a problem for the existence of a personal God: the Problem of Evil. In this paper, we propose an original version of POE, in which the geographic distribution of sufferings and of opportunities for flourishing or suffering is better explained if the universe, at bottom, is indifferent to the human condition than if, as theists propose, there is a personal God from whom the universe originates: the Problem of Geography. POG moves beyond previous versions of POE because traditional responses to POE are less effective as responses to POG than they are to other versions of POE.

Gerald Harrison has recently argued the evidential problem of evil can be resolved if we assume the moral facts are identical to God’s commands or favorings. On a theistic metaethics, the moral facts are identical to what God commands or favors. Our moral intuitions reflect what God commands or favors for us to do, but not what God favors for Herself to do. Thus, on Harrison’s view, while we can know the moral facts as they pertain to humans, we cannot know the moral facts as they pertain to God. Therefore, Harrison argues, the evidential problem of evil inappropriately assumes God to be intuitively moral, when we have no reason to suppose a perfectly good being would match the expectations provided by our moral intuitions. Harrison calls his view a new form of skeptical theism. In response, I show Harrison’s attempt to dissolve the problem of evil exacerbates well-known skeptical consequences of skeptical theism. Harrison’s new skeptical theism leaves us with problems motivating a substantive religious life, the inability to provide a variety of theological explanations, and, despite Harrison’s comments to the contrary, worsens problems having to do with the possibility of divine deception.