Leibniz had a well-known argument against the existence of infinite wholes that is based on the part-whole axiom: the whole is greater than the part. The refutation of this argument by Russell and others is equally well known. In this note, I argue (against positions recently defended by Arthur, Breger, and Brown) for the following three claims: (1) Leibniz himself had all the means to devise and accept this refutation; (2) This refutation does not presuppose the consistency of Cantorian set (...) theory; (3) This refutation does not cast doubt on the part-whole axiom. Hence, should there be an obstacle to Gödel's wish to integrate Cantorian set theory within Leibniz' philosophy, it will not be this famous argument of Leibniz'. (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...

It is an essential part of Kant's conception of regulative principles and ideas that those principles and ideas are in a certain sense indeterminate. The relevant sense of indeterminacy is cashed out in a section in the Antinomies where Kant says that the regress of conditions of experience forms not a “regressus in infinitum” but a “regressus in indefinitum.” The mathematics that Kant appears to rely on in making this distinction turns out to be problematic, as Jonathan Bennett showed long (...) ago. But I suggest that despite this, there is another mathematically legitimate way to make Kant's point, one enunciated by, among others, Michael Dummett. This reading is corroborated, I suggest, by Kant's conception of reason as a radically open-ended endeavor. -/- . (shrink)

Leibniz had a well-known argument against the existence of infinite wholes that is based on the part-whole axiom: the whole is greater than the part. The refutation of this argument by Russell and others is equally well known. In this note, I argue (against positions recently defended by Arthur, Breger, and Brown) for the following three claims: (1) Leibniz himself had all the means to devise and accept this refutation; (2) This refutation does not presuppose the consistency of Cantorian set (...) theory; (3) This refutation does not cast doubt on the part-whole axiom. Hence, should there be an obstacle to Gödel's wish to integrate Cantorian set theory within Leibniz' philosophy, it will not be this famous argument of Leibniz'. (shrink)

I advance a novel interpretation of Kant's argument that our original representation of space must be intuitive, according to which the intuitive status of spatial representation is secured by its infinitary structure. I defend a conception of intuitive representation as what must be given to the mind in order to be thought at all. Discursive representation, as modelled on the specific division of a highest genus into species, cannot account for infinite complexity. Because we represent space as infinitely complex, the (...) spatial manifold cannot be generated discursively and must therefore be given to the mind, i.e. represented in intuition. (shrink)

This essay examines the metaphysical foundation of Leibniz’s theory of space against the backdrop of the subtantivalism/relationism debate and at the ontological level of material bodies and properties. As will be demonstrated, the details of Leibniz’ theory defy a straightforward categorization employing the standard relationism often attributed to his views. Rather, a more careful analysis of his metaphysical doctrines related to bodies and space will reveal the importance of a host of concepts, such as the foundational role of God, the (...) holism of both geometry and the material world’s interconnections, and the viability and adequacy of a property theory in characterizing his natural philosophy of space. (shrink)

The purpose of this paper is to assess the prospects for a neo‐logicist development of set theory based on a restriction of Frege's Basic Law V, which we call (RV): ∀P∀Q[Ext(P) = Ext(Q) ≡ [(BAD(P) & BAD(Q)) ∨ ∀x(Px ≡ Qx)]] BAD is taken as a primitive property of properties. We explore the features it must have for (RV) to sanction the various strong axioms of Zermelo–Fraenkel set theory. The primary interpretation is where ‘BAD’ is Dummett's ‘indefinitely extensible’.1 Background: what (...) and why?2 Framework3 GOOD candidates, indefinite extensibility4 The framework of (RV) alone, or almost alone5 The axioms6 Brief closing. (shrink)

Many historical and philosophical studies treat infinity as an exclusively quantitative notion, whose proper domain of application is mathematics and physics. The main aim of this paper is to disentangle, by critically examining, three notions of infinity in the early modern period, and to argue that one—but only one—of them is quantitative. One of these non-quantitative notions concerns being or reality, while the other concerns a particular iterative property of an aggregate. These three notions will emerge through examination of three (...) central figures in the period: Locke, Descartes, and Leibniz. (shrink)

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

This is a survey of the concept of continuity. Efforts to explicate continuity have produced a plurality of philosophical conceptions of continuity that have provably distinct expressions within contemporary mathematics. I claim that there is a divide between the conceptions that treat the whole continuum as prior to its parts, and those conceptions that treat the parts of the continuum as prior to the whole. Along this divide, a tension emerges between those conceptions that favor philosophical idealizations of continuity and (...) those that are more readily available for mathematico-scientific use. (shrink)

Leibniz argues that there must be a fundamental level of simple substances because composites borrow their reality from their constituents and not all reality can be borrowed. I contend that the underlying logic of this ‘borrowed reality argument’ has been misunderstood, particularly the rationale for the key premise that not all reality can be borrowed. Contrary to what has been suggested, the rationale turns neither on the alleged viciousness of an unending regress of reality borrowers nor on the Principle of (...) Sufficient Reason, but on the idea that composites are phenomena and thus can be real only insofar as they have a foundation in substances, from which they directly ‘borrow’ their reality. The claim that composites are phenomena rests in turn on Leibniz's conceptualism about relations. So understood, what initially looked like a disappointingly simple argument for simples turns out to be a rather rich and sophisticated one. (shrink)

This paper examines the Leibnizian background to Kant's critique of the ontological argument. I present Kant's claim that existence is not a real predicate, already formulated in his pre-critical essay of 1673, as a generalization of Leibniz's reasoning regarding the existence of created things. The first section studies Leibniz's equivocations on the notion of existence and shows that he employs two distinct notions of existence ? one for God and another for created substances. The second section examines Kant's position in (...) his early paper of 1763. My claim is that Kant's view of existence in 1763, namely that it is not a predicate, is strongly related to the logical notion of possibility, formulated by Leibniz and accepted by Kant. (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)

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.

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)

In previous work, Hellman and Shapiro present a regions-based account of a one-dimensional continuum. This paper produces a more Aristotelian theory, eschewing the existence of points and the use of infinite sets or pluralities. We first show how to modify the original theory. There are a number of theorems that have to be added as axioms. Building on some work by Linnebo, we then show how to take the ‘potential’ nature of the usual operations seriously, by using a modal language, (...) and we show that the two approaches are equivalent. (shrink)

The notion of potential infinity dominated in mathematical thinking about infinity from Aristotle until Cantor. The coherence and philosophical importance of the notion are defended. Particular attention is paid to the question of whether potential infinity is compatible with classical logic or requires a weaker logic, perhaps intuitionistic.

Incongruent counterparts are pairs of objects which cannot be enclosed in the same spatial limits despite an exact similarity in magnitude, proportion, and relative position of their parts. Kant discerns in such objects, whose most familiar example is left and right hands, a “paradox” demanding “demotion of space and time to mere forms of our sensory intuition.” This paper aims at an adequate understanding of Kant’s enigmatic idealist argument from handed objects, as well as an understanding of its relation to (...) the other key supports of his idealism. The paper’s central finding is that Kant’s idealist argument from incongruent counterparts rests essentially on his theory of freedom. The surprising result sheds new light on deep and overlooked links among the pillars of transcendental idealism, pointing the way to a comprehensive and unified reading of Kant’s system of idealist arguments. (shrink)

I argue that Leibniz’s well-known Argument from Unity is equally an argument from plurality. I detail two main claims about plurality that drive the argument, and I provide evidence that they structure Leibniz’s argument from the late 1670s onwards. First, there is what I call Mereological Nihilism (i.e., the claim that a plurality cannot be made into a true unity by any available means). Second, there is what I call the Plurality Thesis (i.e., the claim that matter is a plurality (...) in need of unity in the first place). I suggest that the Plurality Thesis offers a general analysis of materiality that, in some sense, is the most important aspect of Leibniz’s argument. Finally, I connect these claims about plurality to the common 17th & 18th century commitment known as the actual parts doctrine. (shrink)

Leibniz claims that nature is actually infinite but rejects infinite number. Are his mathematical commitments out of step with his metaphysical ones? It is widely accepted that Leibniz has a viable response to this problem: there can be infinitely many created substances, but no infinite number of them. But there is a second problem that has not been satisfactorily resolved. It has been suggested that Leibniz’s argument against the world soul relies on his rejection of infinite number, and, as such, (...) Leibniz cannot assert that any body has a soul without also accepting infinite number, since any body has infinitely many parts. Previous attempts to address this concern have misunderstood the character of Leibniz’s rejection of infinite number. I argue that Leibniz draws an important distinction between ‘wholes’– collections of parts that can be thought of as a single thing – and ‘fictional wholes’ – collections of parts that cannot be thought of as a single thing, which allows us to make sense of his rejection of infinite number in a way that does not conflict either with his view that the world is actually infinite or that the bodies of substances have infinitely many parts. (shrink)

Leibniz argues that Cartesian extension lacks the unity required to be a substance. A key premise of Leibniz’s argument is that matter is a collection or aggregation. I consider an objection to this premise raised by Leibniz’s correspondent Burchard de Volder and consider a variety of ways that Leibniz might be able to respond to De Volder’s objection. I argue that it is not easy for Leibniz to provide a dialectically relevant response and, further, that the difficulty arises from Leibniz’s (...) commitment to part-whole priority in the case of material wholes, a commitment not shared by De Volder. One major implication is that Leibniz relies on a bottom-up conception of material things, which makes his argument vulnerable to objections stemming from certain types of monist positions. (shrink)

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)

This paper deals with Leibniz’s well-known reductio argument against the infinite number. I will show that while the argument is in itself valid, the assumption that Leibniz reduces to absurdity does not play a relevant role. The last paragraph of the paper reformulates the whole Leibnizian argument in plural terms to show that it is possible to derive the contradiction that Leibniz uses in his argument even in the absence of the premise that he refutes.

This paper consists in a study of Leibniz’s argument for the infinite plurality of substances, versions of which recur throughout his mature corpus. It goes roughly as follows: since every body is actually divided into further bodies, it is therefore not a unity but an infinite aggregate; the reality of an aggregate, however, reduces to the reality of the unities it presupposes; the reality of body, therefore, entails an actual infinity of constituent unities everywhere in it. I argue that this (...) depends on a generalized notion of aggregation, according to which a thing may be an aggregate of its constituents if every one of its actual parts presupposes such constituents, but is not composed from them. One of the premises of this argument is the reality of bodies. If this premise is denied, Leibniz’s argument for the infinitude of substances, and even of their plurality, cannot go through. (shrink)

Gottfried Wilhelm Leibniz (1646–1716) was one of the great thinkers of the seventeenth and eighteenth centuries and is known as the last “universal genius”. He made deep and important contributions to the fields of metaphysics, epistemology, logic, philosophy of religion, as well as mathematics, physics, geology, jurisprudence, and history. Even the eighteenth century French atheist and materialist Denis Diderot, whose views could not have stood in greater opposition to those of Leibniz, could not help being awed by his achievement, writing (...) in his Encyclopedia, “Perhaps never has a man read as much, studied as much, meditated more, and written more than Leibniz… What he has composed on the world, God, nature, and the soul is of the most sublime eloquence. If his ideas had been expressed with the flair of Plato, the philosopher of Leipzig would cede nothing to the philosopher of Athens.” (Vol. 9, p. 379) Indeed, Diderot's mood was almost despairing in a remark from another piece, which also has a great deal of truth in it: “When one compares the talents one has with those of a Leibniz, one is tempted to throw away one's books and go die quietly in the dark of some forgotten corner.” More than a century later, Gottlob Frege, who fortunately did not cast his books away in despair, expressed similar admiration, declaring that “in his writings, Leibniz threw out such a profusion of seeds of ideas that in this respect he is virtually in a class of his own.” (“Boole's logical Calculus and the Concept script” in Posthumous Writings , p. 9) The aim of this entry is primarily to introduce Leibniz's life and summarize and explicate his views in the realms of metaphysics, epistemology, philosophical theology, and natural philosophy. (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)

In this paper we study the impact of Leibniz’s critique of infinite numbers in his metaphysics of bodies. After presenting the relation that the German philosopher establishes in his youth between the notions of body, extension and infinite quantities, we analyze his thoughts on the paradoxes of the infinite numbers and we claim that his defense of the inconsistency of such numbers is an inflexion point in his conception of body and mark the beginning of his offensive against the res (...) extensa. (shrink)

I am so in favor of the actual infinite that instead of admitting that Nature abhors it, as is commonly said, I hold that Nature makes frequent use of it everywhere, in order to show more effectively the perfections of its Author. Thus I believe that there is no part of matter which is not, I do not say divisible, but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different (...) creatures. (shrink)

The purpose of this paper is to suggest that we are in the midst of a Cantorian bubble, just as, for example, there was a dot com bubble in the late 1990’s.