The `problem of time' is a cluster of interpretational and formal issues in the foundations of general relativity relating to both the representation of time in the classical canonical formalism, and to the quantization of the theory. The purpose of this short chapter is to provide an accessible introduction to the problem.

Many scholars have drawn attention to the way that elements of Anne Conway’s system anticipate ideas found in Leibniz. This paper explores the relationship between Conway and Leibniz’s work with regard to time, space, and process. It argues – against existing scholarship – that Conway is not a proto-Leibnizian relationist about time or space, and in fact her views lie much closer to those of Henry More; yet Conway and Leibniz agree on the primacy of process. This exploration advances our (...) understanding of Conway’s system, and the intellectual relationships between Conway, More, and Leibniz. (shrink)

In this paper, we endeavour to give a historically accurate presentation of how Leibniz understood his infinitesimals, and how he justified their use. Some authors claim that when Leibniz called them “fictions” in response to the criticisms of the calculus by Rolle and others at the turn of the century, he had in mind a different meaning of “fiction” than in his earlier work, involving a commitment to their existence as non-Archimedean elements of the continuum. Against this, we show that (...) by 1676 Leibniz had already developed an interpretation from which he never wavered, according to which infinitesimals, like infinite wholes, cannot be regarded as existing because their concepts entail contradictions, even though they may be used as if they exist under certain specified conditions—a conception he later characterized as “syncategorematic”. Thus, one cannot infer the existence of infinitesimals from their successful use. By a detailed analysis of Leibniz’s arguments in his De quadratura of 1675–1676, we show that Leibniz had already presented there two strategies for presenting infinitesimalist methods, one in which one uses finite quantities that can be made as small as necessary in order for the error to be smaller than can be assigned, and thus zero; and another “direct” method in which the infinite and infinitely small are introduced by a fiction analogous to imaginary roots in algebra, and to points at infinity in projective geometry. We then show how in his mature papers the latter strategy, now articulated as based on the Law of Continuity, is presented to critics of the calculus as being equally constitutive for the foundations of algebra and geometry and also as being provably rigorous according to the accepted standards in keeping with the Archimedean axiom. (shrink)

This paper forms part of a wider campaign: to deny pointillisme. That is the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the structure of space and-or spacetime itself, especially a paper by Bricker (1993). (...) A companion paper argues against pointillisme in mechanics, especially about velocity; it focusses on Tooley, Robinson and Lewis. To avoid technicalities, I conduct the argument almost entirely in the context of ``Newtonian'' ideas about space and time. But both the debate and my arguments carry over to relativistic, and even quantum, physics. (shrink)

Leibniz argues against Descartes’s conception of material substance based on considerations of unity. I examine a key premise of Leibniz’s argument, what I call the Plurality Thesis—the claim that matter (i.e., extension alone) is a plurality of parts. More specifically, I engage an objection to the Plurality Thesis stemming from what I call Material Monism—the claim that the physical world is a single material substance. I argue that Leibniz can productively engage this objection based on his view that matter is (...) discrete. The discreteness of matter provides two aspects of support for the Plurality Thesis. First, it indicates that the parts of matter do not share boundaries and are, therefore, independent in an important sense. Second, it indicates that the parts of matter are determinate and are, therefore, ontologically prior to the wholes they compose. (shrink)

This article is about Gilles Deleuze's book Le Pli. Leibniz et le Baroque from 1988. It shows how Deleuze's notion of folding captures some basic intuitions in Leibniz and how they relate to each other. To this purpose, I propose five figures, all referring to the same basic fold, all illustrating how the consideration of such figures allows developing central elements of Leibniz's monadology. These figures can help, I hope, alleviate some of the fundamental difficulties in understanding Deleuze's approach to (...) the Monadology from the non-Deleuzian perspective of contemporary Leibniz scholarship and give a sense of the synthetic, explanatory force that Deleuze's notion of folding has in relation to Leibniz's monadological metaphysics. (shrink)

This essay proposes a new interpretation of a central, and yet overlooked, argument Leibniz offers against Descartes’s power-free ontology of the corporeal world. Appealing to considerations about the successiveness of motion, Leibniz attempts to show that the reality of motion requires force. It is often assumed that the argument is driven by concerns inspired by Zeno. Against such a reading, this essay contends that Leibniz’s argument is instead best understood against the background of an Aristotelian view of the priority of (...) real being over time. The essay also shows how this alternative interpretation can help to shed new light on the difference between Leibnizian forces and Aristotelian powers, as well as on Leibniz’s famous claim that accounting for force leads us beyond the mechanistic corporeal realm. (shrink)

In the early twentieth century, a rare strain of British idealism emerged which took Leibniz's Monadology as its starting point. This paper discusses a variant of that strain, offered by Hilda Oakeley. I set Oakeley's monadology in its philosophical context and discuss a key point of conflict between Oakeley and her fellow monadologists: the unreality of time. Oakeley argues that time is fundamentally real, a thesis arguably denied by Leibniz and subsequent monadologists, and by all other British idealists. This paper (...) discusses Oakeley's argument for the reality of time, and Oakeley's attack on the most famous account of the unreality of time offered in her day: that of J. M. E. McTaggart. I show that Oakeley's critique of McTaggart can be extended to challenge all monadologists, including that of the great monad, Leibniz himself. (shrink)

This essay offers an account of the relationship between extended Leibnizian bodies and unextended Leibnizian monads, an account that shows why Leibniz was right to see intimate, explanatory connections between his studies in physics and his mature metaphysics. The first section sets the stage by introducing a case study from Leibniz's technical work on the strength of extended, rigid beams. The second section draws on that case study to introduce a model for understanding Leibniz's views on the relationship between derivative (...) and primitive forces. The third section draws on Leibniz's understanding of the relationship between derivative and primitive forces in order to shed light, in turn, on his understanding of the relationship between extended, material bodies and unextended, immaterial monads. The fourth section responds to a likely objection by arguing that Leibniz's monads may, in a perfectly reasonable sense, be spatially located. (shrink)

The aim of this paper is to shed light on Leibniz’s justification of the Principle of Sufficient Reason. It approaches this issue through a close textual analysis of the correspondence with Samuel Clarke and a more abstruse and lesser-known writing, ‘Leibniz’s Philosophical Dream’.

Russell’s most important source for his book on Leibniz was C. I. Gerhardt’s seven-volume Die philosophischen Schriften von Gottfried Wilhelm Leibniz. Russell heavily annotated his copy of this important edition of Leibniz’s works. The present paper records all Russell’s marginalia, with the exception of passages marked merely by vertical lines in the margin, and provides explanatory commentary.

This paper is concerned with the status of mathematical fictions in Leibniz’s work and especially with infinitary quantities as fictions. Thus, it is maintained that mathematical fictions constitute a kind of symbolic notion that implies various degrees of impossibility. With this framework, different kinds of notions of possibility and impossibility are proposed, reviewing the usual interpretation of both modal concepts, which appeals to the consistency property. Thus, three concepts of the possibility/impossibility pair are distinguished; they give rise, in turn, to (...) three concepts of mathematical fictions. Moreover, such a distinction is the base for the claim that infinitesimal quantities, as mathematical fictions, do not imply an absolute impossibility, resulting from self-contradiction, but a relative impossibility, founded on irrepresentability and on the fact that it does not conform to architectural principles. In conclusion, this “soft” impossibility of infinitesimals yields them, in Leibniz view, a presumptive or “conjectural” status. (shrink)

The article presents Leibniz's preoccupation (in 1675?6) with the difference between the notion of infinite number, which he regards as impossible, and that of the infinite being, which he regards as possible. I call this issue ?Leibniz's Problem? and examine Spinoza's solution to a similar problem that arises in the context of his philosophy. ?Spinoza's solution? is expounded in his letter on the infinite (Ep.12), which Leibniz read and annotated in April 1676. The gist of Spinoza's solution is to distinguish (...) between three kinds of infinity and, in particular, between one that applies to substance, and one that applies to numbers, seen as auxiliaries of the imagination. The rest of the paper examines the extent to which Spinoza's solution solves Leibniz's problem. The main thesis I advance is that, when Spinoza and Leibniz say that the divine substance is infinite, in most contexts it is to be understood in non-numerical and non-quantitative terms. Instead, for Spinoza and Leibniz, a substance is said to be infinite in a qualitative sense stressing that it is complete, perfect and indivisible. I argue that this approach solves one strand of Leibniz's problem and leaves another unsolved. (shrink)

Despite his commitment to freedom, Leibniz’ philosophy is also founded on pre-established harmony. Understanding the life of the individual as a spiritual automaton led Leibniz to refer to the puzzle of the way out of determinism as the Labyrinth of Freedom. Leibniz claimed that infinite complexity is the reason why it is impossible to prove a contingent truth. But by means of Leibniz’ calculus, it actually can be shown in a finite number of steps how to calculate a summation of (...) infinite parts. It appears that the analogy Leibniz drew between the mathematics of infinite series and the logic of contingent truths did more harm than good. A solution consistent with Leibniz’ perception of infinity is proposed. Alongside the existence of the aforementioned analogy, it is based on a disanalogy between the mathematics of infinite series and the logic of infinitely complex truths. This is a disanalogy that Leibniz had already used to solve the Labyrinth of Continuum which he declared more than once could, like the Labyrinth of Freedom, be solved by means of the nature of infinity. The solution of both labyrinths is based on the fictitiousness of the infinitesimal. (shrink)

This paper seeks to show that Charles Sanders Peirce's interest in an evolutionary account of the laws of nature is motivated both by his desire to extend the scope of the application of the Principle of Sufficient Reason (PSR) and by his attempt to explain the success of our deployment of the PSR, which presupposes the existence of determinate causal structures. One can situate Peirce's concern with the explanation of the laws of nature in relation to the influences of Naturphilosophie (...) on Peirce. I then show that some strands of contemporary physics can be understood as resurrections of Peirce's evolutionary cosmology. I show that we can understand Lee Smolin's theory of "cosmological natural selection" as a version of Peirce's evolutionary cosmology that is characterized by greater refinement and determinacy. However I argue that, contrary to Smolin's claim, an evolutionary account of the laws of nature need not require the abandonment of the relativity of simultaneity as established by the special theory of relativity. I also argue that Lee Smolin and Roberto Unger's characterization of the "original state" in their account of evolutionary cosmology raises philosophical problems of individuation that are best approached from the perspective of Chinese process metaphysics. Finally I turn to the wider consequences of evolutionary cosmology in relation to how we traditionally "rank" fields of knowledge that deal with atemporal structures as "more rigorous" than fields that deal with historical phenomena. (shrink)

Resumen En la siguiente discusión presento algunas objeciones al artículo de Federico Raffo Quintana “La noción de ‘espacio’ en los escritos juveniles de Leibniz”.1 Contra la interpretación de Raffo, quien considera que la concepción del espacio como lugar universal de las cosas es una idea que Leibniz abandona de manera muy temprana -según el autor en 1671-, intento mostrar que esta concepción trasciende sin duda el periodo de los escritos juveniles de Leibniz y que ciertas confusiones conceptuales en la lectura (...) de Raffo hacen que, en vez de ver una armónica continuidad en la teoría del espacio de Leibniz, vea en ella una ruptura en su evolución histórica, a la que, además, asocia algunas dicotomías discutibles o espurias.In this paper I introduce objections to Federico Raffo Quintana’s paper “The Notion of ‘Space’ in the Young Leibniz Writings”. Against Raffo, who considers that the Leibnizian conception of space as the universal place of things is an idea that Leibniz early abandons -Raffo says in 1671-, I will try to show that such a conception goes beyond the Leibniz’s young writings and that it is because of some conceptual confusions in Raffo’s survey that he, instead of seeing a harmonic continuity in Leibniz’s theory of space, sees a rupture in its historical evolution, associating to it some disputable or spurious dichotomies. (shrink)

V rámci tohoto příspěvku se pokusím zpochybnit dosavadní mainstreamovou interpretaci Leibnizovy metafyziky prostoru, jak ji představil v dopisech anglickému učenci Samuelu Clarkovi. Přestože bývá Leibnizova metafyzika prostoru právě na základě jeho korespondence s Clarkem obvykle považována za ostrý protipól metafyziky Clarkovy, respektive Newtonovy, v rámci tohoto příspěvku poukážu na to, že při zvážení Leibnizovy geometrie zvané „analysis situs“ se taková interpretace stává neudržitelnou. Leibnize nelze považovat za zastánce typicky relačního pojetí prostoru.

Time is one of the most enigmatic notions philosophers have ever dealt with. Once subjected to close examination, almost any feature usually ascribed to time, leads to a plethora of fundamental and hard to resolve questions. Just as philosophers of the eighteenth-century attempted to take account of revolutionary developments in the physical sciences in understanding space, life, and a host of other fundamental aspects of nature (see Jones, Gaukroger, and Smith in this volume) they also engaged in fundamental and fruitful (...) controversies about the nature of time spurred by Newton and others (see Schliesser and Schabas in this volume). In this article, I will attempt to trace the general outlines of these controversies. Special attention will be given to a question that was central for many eighteenth century philosophers and is somewhat less prominent in contemporary, twenty-first century, debates on the nature of time, i.e., whether time can be reduced to, grounded by, or explained through other more basic elements. The concept of time is commonly discussed – both in eighteenth and twenty first century philosophy – in analogy to space. Here I will attempt to focus on time and address the analogies to space only when relevant. This attitude is motivated both by the need to provide as detailed an account as possible of time in the allocated textual space, and by the various dissimilarities between space and time. While space and time can be fruitfully compared and contrasted, the use of metaphors taken from one domain to clarify features belonging to the other domain has the real potential of leading us astray by unconsciously and seamlessly taking metaphorical language in a literal sense. In the first part of this essay, I will discuss the famous debate between Newton, Leibniz and Clarke on the nature of space and time. The second part will address Hume’s understanding of time and the relation between time and causation. In the third and final part, I will discuss Kant’s views on the relation between time and causality, place them in the context of his predecessors, and then examine Salomon Maimon’s attempt to revive the Leibnizian program of reducing time to concepts, within the framework of Kantian philosophy, broadly conceived. (shrink)

In several of his writings from the 1680s, Leibniz presents an argument for the claim that there are no determinate or precise shapes in things, and states that shape contains something imaginary a...

This chapter discusses Gottfried Wilhelm Leibniz’s philosophical reflections on mind and body. It first considers Leibniz’s distinction between substance and aggregate, referring to the former as a being that must have true unity (what he calls unum per se) and to the latter as simply a collection of other beings. It then describes Leibniz’s extension of the term “substance” to monads and other things such as animals and living beings. It also examines Leibniz’s views about the union of mind and (...) body, whether mind and body interact, and how interaction is related to union. More specifically, it asks whether mind and body together constitute an unum per se and analyzes Leibniz’s account of the per se unity of mind-body composites. In addition, the chapter explores the problem of soul-body union as opposed to mind-body union and concludes by discussing Leibniz’s explanation of soul-body interaction using a system of pre-established harmony. (shrink)

El objetivo de este trabajo es examinar el concepto leibniziano de ficción matemática, con especial énfasis en la tesis de Leibniz acerca del carácter ficcional de las nociones infinitarias. Se propone en primer lugar, como marco general de la investigación, un conjunto de cinco condiciones que una ficción tiene que cumplir para ser matemáticamente admisible. Sobre la base de las concepciones de Leibniz acerca del conocimiento simbólico, se propone la ficción matemática como la clase de nociones confusas que carecen de (...) denotación a raíz de la imposibilidad de su objeto. Tomando como punto de partida el análisis de la imposibilidad en términos de inconsis tencia, se muestra que Leibniz admite otras formas de imposibilidad, que afectan especialmente a las nociones infinitarias. Proponemos así la imposibilidad como irrepresentabilidad geométrica y la imposibilidad por incompatibilidad con principios arquitectónicos. Así, el resultado de nuestro examen fundamenta la admisión de tres tipos de ficcionalidad matemática, la ficción 1, que se corresponde con la noción inconsistente, la ficción 2 que incluye las nociones geométricamente irrepresentables y la ficción 3, que se aplica a las nociones “arquitectónicamente” imposibles. En conclusión, los conceptos infinitarios, sin ser por sí mismos inconsistentes, corresponden al tipo de ficcion 2 y ficción 3. Finalmente, se concluye que Leibniz está más preocupado por la imposibilidad por incompatibilidad con principios arquitectónicos que por la cuestión de la irrepresentabilidad geométrica. (shrink)

Timelines is an inquiry into the nature of time, both as an apparent feature of the external physical world and as a fundamental feature of our experience of ourselves in the world. The principal argument of Timelines is that our coventional ideas about time are largely mistaken and that what we think of as independent physical time is actually our calibration of a certain relation between events. Namely, the relation between time-keeping events and the causal sequential differences of physical processes (...) which are real and independent of us. (shrink)

En este artículo examinamos los aspectos más relevantes de la concepción del espacio de Leibniz. A través de un enfoque genético, nuestro propósito es mostrar que, en su desarrollo evolutivo, dicha concepción sufre dos transiciones destacables, las que separan y distinguen tres versiones teóricas. En su juventud, Leibniz defiende una concepción substancialista del espacio. Sin embargo, debido a la adopción del nominalismo, dicha concepción sufre un primer giro que decanta en un monismo substancialoide, el que se consolida en el período (...) medio de la filosofía de Leibniz. Ya en el período tardío, Leibniz reformula, en una segunda transición, su concepción del espacio, la que adopta la forma definitiva de -lo que llamamos- un relacionismo substancialoide. (shrink)

In this paper, I will present an analogy between Leibniz’s Monadology and musical works. A musical work is usually written down in a score. It is divided into many voice parts, and for every part, it gives all musical information necessary for performance. Now, since any such score specifies all notes of that musical work, at once, it can be regarded as atemporal; musical time does not flow in a score. And it does not specify spatial relations among the voice (...) parts. Thus, the musical work described in a score exists as an informational entity. A score is a kind of “program” for playing. This program contains invariant structures, and such structures define the identity of the work. On the other hand, it allows freedom for performers. Any performer has to “interpret” the work, and his or her performance is an expression of that interpretation. Any such interpretation may be regarded as a kind of “coding” for transforming the specified invariant structures into actual sounds in space and time. This dual aspect of musical works is the basis of my analogy. It should be conducive to improving our interpretation of Monadology. (shrink)

In Part 3, I will discuss the problems of inertia and gravity in Leibniz, and present three conjectures: If Leibniz were really ready to insist on relativity, he would have to assert the relativity of inertial motion. In Leibniz’s theories of dynamics and geometry, there was a struggle between his predilection for straight line and his adherence to an optimality principle. Gravity, as well as inertia, can be considered as a universal feature of the world, so that the foundation of (...) both may have a common root. Further, drawing on the results in Part 1 and Part 2, I will argue for the need of a unified interpretation of Leibniz’s metaphysics and dynamics. My three conjectures as regards Leibniz’s possible treatment of inertia and gravity are proposed along a unified interpretation, in terms of my informational reconstruction of Leibniz’s philosophy. Finally, the most important features of the informational interpretation are summarized. The synopsis of the whole paper is added. (shrink)

En el presente trabajo analizamos la reforma que Leibniz propone entre 1677 y 1695 en la noción de cuerpo y, a partir de ello, esclarecemos el concepto de sustancia corpórea que presenta en esos años. En primer lugar, desarrollamos las críticas que esgrime contra la concepción geométrica del cuerpo propia de los filósofos modernos; en segundo lugar, examinamos los cambios que propone en dicha noción y su caracterización en clave de fuerza primitiva pasiva; en tercer lugar, estudiamos la definición hilemórfica (...) de la sustancia corpórea que ofrece y evaluamos el lugar que ella ocupa en su esquema metafísico. (shrink)

This anthology is about the signal change in Leibniz’s metaphysics with his explicit adoption of substantial forms in 1678-79. This change can either be seen as a moment of discontinuity with his metaphysics of maturity or as a moment of continuity, such as a passage to the metaphysics from his last years. Between the end of his sejour at Paris and the first part of the Hanover period, Leibniz reformed his dynamics and began to use the theory of corporeal substance. (...) This book explores a very important part of the philosophical work of the young Leibniz. Expertise from around the globe is collated here, including Daniel Garber’s work based on the recent publication of Leibniz's correspondence from the late 1690s, examining how the theory of monads developed during these crucial years. Richard Arthur argues that the introduction of substantial forms, reinterpreted as enduring primitive forces of action in each corporeal substance, allows Leibniz to found the reality of the phenomena of motion in force and thus avoid reducing motion to a mere appearance. Amongst other themes covered in this book, Pauline Phemister’s paper investigates Leibniz’s views on animals and plants, highlighting changes, modifications and elaborations over time of Leibniz’s views and supporting arguments and paying particular attention to his claim that the future is already contained in the seeds of living things. The editor, Adrian Nita, contributes a paper on the continuity or discontinuity of Leibniz’s work on the question of the unity and identity of substance from the perspective of the relation with soul and mind. (shrink)

A summary is always incomplete, but in this instance it is essentially so; as is explained in the final chapter, any essential question whatever one could ask about the subjectmatter of this thesis can only be answered by the complete exposition this thesis presents. This summary can, therefore, only indicate the general outline of the thesis. The object of the thesis is to make clear a historical and systematic development of logical and ontological structures concerning force in Leibniz, Kant, and (...) Hegel. Viewed as a whole, this development presents a dynamic conceptual structure which applies to the universe as a totality which determines itself as a self-mediating process of continual change. In Division 1, it is demonstrated that the metaphysical system of the so-called mature period of Leibniz presents this self-mediating process in its implicit form. In this system the universe determines itself by way of a circular structure; the universe as a totality is represented in the complete substances (which constitute the universe) and expressed by them; representation and expression are united in the concept of force (which is the internal activity of the complete substances) - force constitutes the totality the universe is. It is pointed out that this circular structure is in fact a unification of two levels, viz. universality (that is, the universe as one whole) and singularity (that is, the individual parts of the universe), in which each level contains the other; this mutual containment is called hyperception. Typical for Leibniz’s system is the containment of the universal in the singular. The actual mediation which is requested to establish the circularity is not expounded in Leibniz’s system, but remains implicit. In Division 2, it is demonstrated that in the metaphysical system of the so-called pre-critical period of Kant Leibniz’s system is analyzed and that, as a result of this, Kant’s system is the analytical form of the implicit self-mediation which is presupposed in Leibniz’s system. It is pointed out how this analysis leads to the emergence of a third level, which Leibniz’s system lacks, viz. particularity (that is, the actual relatedness of the individual parts, which establishes the universe as a totality). On this level, Kant’s concept of force plays its crucial role of mediating between universality and singularity; however, Kant does not succeed in fitting the three levels together and as a consequence the mediating force stands for itself instead of being actually mediating activity. In Division 3, it is demonstrated how in Hegel’s system the final unification of the three levels is established, how the mediation is conceived in the structure of the self-actualizing essence, and how this system sublates the other two systems (it understands them as forms of reflection; reflection is an essential category in Hegel’s system). It is pointed out that, whereas in Leibniz’s form of hyperception a contradiction is implied (as concerns the containment of the universal in the singular), this is not the case in Hegel’s system (because of the actual mediation between the universal and the singular). (shrink)

EXPANDED EDITION (eBook): -/- Infinity Is Not What It Seems...Infinity is commonly assumed to be a logical concept, reliable for conducting mathematics, describing the Universe, and understanding the divine. Most of us are educated to take for granted that there exist infinite sets of numbers, that lines contain an infinite number of points, that space is infinite in expanse, that time has an infinite succession of events, that possibilities are infinite in quantity, and over half of the world’s population believes (...) in a divine Creator infinite in knowledge, power, and benevolence. -/- According to this treatise, such assumptions are mistaken. In reality, to be is to be finite. The implications of this assessment are profound: the Universe and even God must necessarily be finite. -/- The author makes a compelling case against infinity, refuting its most prominent advocates. Any defense of the infinite will find it challenging to answer the arguments laid out in this book. But regardless of the reader’s position, FOREVER FINITE offers plenty of thought-provoking material for anyone interested in the subject of infinity from the perspectives of philosophy, mathematics, science, and theology. -/- This electronic edition of FOREVER FINITE is offered free online for all and is expanded with content that does not appear in the published edition due to print production page limitations. From the Introduction to the Conclusion, Chapters 1–27 are identical to the published print edition, including the page numbering for the chapters. This electronic edition adds an appendix and associated content—specifically, updates to the book’s back matter (68 new endnotes, 17 new bibliographic references, 3 new figure credits, 14 new glossary terms) and front matter (an updated table of contents and this preface note). (shrink)

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)

This thesis starts with three challenges to the structuralist accounts of applied mathematics. Structuralism views applied mathematics as a matter of building mapping functions between mathematical and target-ended structures. The first challenge concerns how it is possible for a non-mathematical target to be represented mathematically when the mapping functions per se are mathematical objects. The second challenge arises out of inconsistent early calculus, which suggests that mathematical representation does not require rigorous mathematical structures. The third challenge comes from renormalisation group (...) (RG) explanations of universality. It is argued that the structural mapping between the world and a highly abstract minimal model adds little value to our understanding of how RG obtains its explanatory force. I will address the first and second challenges from the similarity perspective. The similarity account captures representations as similarity relations, providing a more flexible and broader conception of representation than structuralism. It is the specification of the respect and degree of similarity that forges mathematics into a context of representation and directs it to represent a specific system in reality. Structuralism is treatable as a tool for explicating similarity rela-tions set-theoretically. The similarity account, combined with other approaches (e.g., Nguyen and Frigg’s extensional abstraction account and van Fraassen’s pragmatic equivalence), can dissolve the first challenge. Additionally, I will make a structuralist response to the second challenge, and suggestions regarding the role of infinitesimals from the similarity perspective. In light of the similarity account, I will propose the “hotchpotch picture” as a method-ological reflection of our study of representation and explanation. Its central insight is to dissect a representation or an explanation into several aspects and use different theories (that are usually thought of competing) to appropriate each of them. Based on the hotchpotch picture, RG explanations can be dissected to the “indexing” and “inferential” conceptions of explanation, which are captured or characterised by structural mappings. Therefore, structuralism accommodates RG explanations, and the third challenge is resolved. (shrink)