This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...) volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal's Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind. (shrink)

Avicenna believed in mathematical finitism. He argued that magnitudes and sets of ordered numbers and numbered things cannot be actually infinite. In this paper, I discuss his arguments against the actuality of mathematical infinity. A careful analysis of the subtleties of his main argument, i. e., The Mapping Argument, shows that, by employing the notion of correspondence as a tool for comparing the sizes of mathematical infinities, he arrived at a very deep and insightful understanding of the notion of mathematical (...) infinity, one that is much more modern than we might expect. I argue, moreover, that Avicenna’s mathematical finitism is interwoven with his literalist ontology of mathematics, according to which mathematical objects are properties of existing physical objects. (shrink)

InMetaphysicsΘ.6, 1048b14-17, Aristotle treats the problem of what it is for the infinite to exist potentially, i.e. to be potentially actual. According to my interpretation, Aristotle argues that to exist potentially is for the infinite to have a potentiality which cannot be actualized in reality but only in thought, because it is a potentiality the process of whose actualization cannot be brought to an end.

On Zeno Beach there are infinitely many grains of sand, each half the size of the last. Supposing Aristotle denied the possibility of Zeno Beach, did he have a good argument for the denial? Three arguments, each of ancient origin, are examined: the beach would be infinitely large; the beach would be impossible to walk across; the beach would contain a part equal to the whole, whereas parts must be lesser. It is attempted to show that none of these arguments (...) was Aristotle’s. Indeed, perhaps Aristotle’s finitism applied to magnitude only, not plurality. (shrink)

It is widely known that Aristotle rules out the existence of actual infinities but allows for potential infinities. However, precisely why Aristotle should deny the existence of actual infinities remains somewhat obscure and has received relatively little attention in the secondary literature. In this paper I investigate the motivations of Aristotle’s finitism and offer a careful examination of some of the arguments considered by Aristotle both in favour of and against the existence of actual infinities. I argue that Aristotle has (...) good reason to resist the traditional arguments offered in favour of the existence of the infinite and that, while there is a lacuna in his own ‘logical’ arguments against actual infinities, his arguments against the existence of infinite magnitude and number are valid and more well grounded than commonly supposed. (shrink)

There are two distinct but interrelated questions concerning Aristotle’s account of infinity that have been the subject of recurring debate. The first of these, what I call here the interpretative question, asks for a charitable and internally coherent interpretation of the limited pieces of text where Aristotle outlines his view of the ‘potential’ (and not ‘actual’) infinite. The second, what I call here the philosophical question, asks whether there is a way to make Aristotle’s notion of the potential infinite coherent (...) and rigorous with modern tools that can stand as a rival to the widely-accepted view of the infinite as characterized in a mathematical theory of sets. In this paper, I argue that the theoretical roles that Aristotle intends his account of the potential infinite to fulfill lead to a deep and irresoluble tension that can help explain the persistence of debates on both of these questions. I do so by turning to the places where Aristotle attempts to argue for or against the existence of particular infinite processes to show that he slides between different underlying notions of when changes are possible. Making these underlying notions clear can help us better understand the role of Aristotle’s account in the history of philosophy, the possible pitfalls for a contemporary theory of the potential infinite, and what each of these debates might learn from each other. (shrink)

Infinite regress arguments are a powerful tool in Aristotle, but this style of argument has received relatively little attention. Improving our understanding of infinite regress arguments has become pressing since recent scholars have pointed out that it is not clear whether Aristotle’s infinite regress arguments are, in general, effective or indeed what the logical structure of these arguments is. One obvious approach would be to hold that Aristotle takes infinite regress arguments to be per impossibile arguments, which derive an infinite (...) sequence. Due to his finitism, Aristotle then rejects such a sequence as impossible. This paper argues that this obvious approach does not work, even for its most amenable cases. The paper argues instead that infinite regress arguments involve domain-specific infinities, and so there is not a general finitism which underpins infinite regress arguments in Aristotle, but rather domain-specific reasons that there cannot be an infinite number of entities in each domain in which Aristotle invokes an infinite regress argument. (shrink)