One of the problems that Bayesian regularity, the thesis that all contingent propositions should be given probabilities strictly between zero and one, faces is the possibility of random processes that randomly and uniformly choose a number between zero and one. According to classical probability theory, the probability that such a process picks a particular number in the range is zero, but of course any number in the range can indeed be picked. There is a solution to this particular problem on (...) the books: a measure that assigns the same infinitesimal probability to each number between zero and one. I will show that such a measure, while mathematically interesting, is pathological for use in confirmation theory, for the same reason that a measure that assigns an infinitesimal probability to each possible outcome in a countably infinite lottery is pathological. The pathology is that one can force someone to assign a probability within an infinitesimal of one to an unlikely event. (shrink)

In his writings about hypergeometric functions Gauss succeeded in moving beyond the restricted domain of eighteenth-century functions by changing several basic notions of analysis. He rejected formal methodology and the traditional notions of functions, complex numbers, infinite numbers, integration, and the sum of a series. Indeed, he thought that analysis derived from a few, intuitively given notions by means of other well-defined concepts which were reducible to intuitive ones. Gauss considered functions to be relations between continuous variable (...) quantities while he regarded integration and summation as appropriate operations with limits. He also regarded infinite and infinitesimal numbers as a façon de parler and used inequalities in order to prove the existence of certain limits. He took complex numbers to have the same legitimacy as real quantities. However, Gauss’s continuum was linked to a revised form of the eighteenth-century notion of continuous quantity: it was not reducible to a set of numbers but was immediately given. (shrink)

This paper presents an analysis of the sorites paradox for collective nouns and gradable adjectives within the framework of classical logic. The paradox is explained by distinguishing between qualitative and quantitative representations. This distinction is formally represented by the use of a different mathematical model for each type of representation. Quantitative representations induce Archimedean models, but qualitative representations induce non-Archimedean models. By using a non-standard model of \ called \, which contains infinite and infinitesimal numbers, the two (...) paradoxes are shown to have distinct structures. The sorites paradox for collective nouns arises from the use of infinite numbers, whereas the sorites paradox for gradable adjectives arises from the use of infinitesimal numbers. Each paradox can be traced to a different source of vagueness. The sorites paradox for collective nouns is caused by \, and the sorites paradox for gradable adjectives is caused by \ \. If correct, this analysis implies that infinite and infinitesimal numbers are cognitively real, and that they play a role in the semantic interpretation of natural language. (shrink)

The purpose of this note is to contrast a Cantorian outlook with a non-Cantorian one and to present a picture that provides support for the latter. In particular, I suggest that: i) infinite hyperreal numbers are the (actual, determined) infinite numbers, ii) ω is merely potentially infinite, and iii) infinitesimals should not be used in the di Finetti lottery. Though most Cantorians will likely maintain a Cantorian outlook, the picture is meant to motivate the obvious (...) nature of the non-Cantorian outlook. (shrink)

In ‘Fair Infinite Lotteries’ (FIL), Wenmackers and Horsten use non-standard analysis to construct a family of nicely-behaved hyperrational-valued probability measures on sets of natural numbers. Each probability measure in FIL is determined by a free ultrafilter on the natural numbers: distinct free ultrafilters determine distinct probability measures. The authors reply to a worry about a consequent ‘arbitrariness’ by remarking, “A different choice of free ultrafilter produces a different ... probability function with the same standard part but (...) class='Hi'>infinitesimal differences.” They illustrate this remark with the example of the sets of odd and even numbers. Depending on the ultrafilter, either each of these sets has probability 1/2, or the set of odd numbers has a probability infinitesimally higher than 1/2 and the set of even numbers infinitesimally lower. The point of the current paper is simply that the amount of indeterminacy is much greater than acknowledged in FIL: there are sets of natural numbers whose probability is far more indeterminate than that of the set of odd or the set of even numbers. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Bishop Berkeley Exorcises the Infinite: Fuzzy Consequences of Strict Finitism1 David M. Levy Introduction It all began simply enough when Molyneux asked the wonderful question whether a person born blind, now able to see, would recognize by sight what he knew by touch (Davis 1960). After George Berkeley elaborated an answer, that we learn to perceive by heuristics, the foundations ofcontemporarymathematics wereinruin. Contemporary mathematicians waved their hands and (...) changed the subject.2 Berkeley's answer received a much more positive response from economists. Adam Smith,in particular, seizedupon Berkeley's doctrine that welearn to perceive distance tobuild anelaborate system in which one learns to perceive one's self-interest.3 Perhaps because older histories of mathematics are a positive hindrance in helping us understand the importance of Berkeley's argument against infinitesimals,4 its consequences for economics have passed unnoticed. If infinitesimal numbers are ruled out, and we wish to maintain an algebra, then we rule out infinite numbers. This implication of Berkeley's argumenthas a dramatic implication for our understanding ofthe history ofideas about rule-directed action. Let me motivate this claim with a well-known historical problem. The social doctrine set forth by John Locke outside the Two Treatises depends critically upon individual belief about possible states of infinite pain or pleasure. The critical issue for the intolerance of atheism in Locke's system is his claim that without beUefin the infinite bliss of heaven forgone by a criminal, there is no reason to think a calculating individual will avoid crime.5 Locke's discussion is so different from the discussion of religion by David Hume and Smith. Here, questions of the substance of belief—the infinite worth of Heaven—have largely vanished.6 What happened between Locke and Hume-Smith? One answer is Pierre Bayle and Bernard Mandeville. Berkeley's doctrine that only the finite is perceived is, I think, a better answer. Out of sight, out ofmind. In this paper I propose to give a close look at the content and consequences ofBishop Berkeley's once famous Towards a New Theory ofVision. While there are other aspects ofBerkeley's work that attract Volume XVIII Number 2 511 DAVID M. LEVY attention from historians ofeconomics,7 1 shall claim that Berkeley's insight into human perception in the Theory of Vision is central to Adam Smith's attempt to found economic behaviour on the self-awareness of systematic illusion. There is no doubt that Smith finds that much ofhuman behaviour is characterized by illusion.8 The difficulty arises, or so it seems to me, from modern unwilUngness to beheve that illusion can be systematic. There are four pieces to my argument. First, we consider Berkeley's statementofwhat we shall call his doctrine ofstrict finitism in perception.9 Berkeley puts forward two postulates: 1) there exists some minimum perceptible quantity, and 2) distance is not perceived directly but by experience. Second, we define strict finitism and demonstrate that it translates into the claim that perception is fuzzy in a technical sense. If Berkeleian perception is fuzzy, then some modern criticism of Berkeley's strict finitism is based upon a simple misunderstandingofthe propertiesoffuzzyrelations. Thisis quite easy to set right. (Getting right the doctrine of those who implicitly take perception to be fuzzy—Adam Smith is my prime candidate—will be muchharder.)Third, wereconsiderBerkeley's dispute withMandeville on the role ofinfinite gain in choice. Here, we find Mandeville putting forward the Berkeleian position that if infinite amounts mattered, people would not behave as they do. Berkeley's position against Mandeville, however, seems to depend upon the supposition that infinite distance is sensible.10 Earlier, however, the position that Mandeville argued for was defended by Berkeley. Fourth, we ask why all this isn't well known. The debate between Berkeley and Mandeville has been well studied, as has been the link between Berkeley and the Scots. In fact, our work focuses on one aspect of Berkeley's work that led to his challenge of the contemporary foundations of the calculus. If sense is a matter of perception, and infinitesimals cannot be perceived, then they are quite literally nonsense. Armed with this insight, Berkeley refuted contemporary mathematics. Nevertheless, the calculus was too... (shrink)

It is natural to think that questions in the metaphysics of chance are independent of the mathematical representation of chance in probability theory. After all, chance is a feature of events that comes in degrees and the mathematical representation of chance concerns these degrees but leaves the nature of chance open. The mathematical representation of chance could thus, un-controversially, be taken to be what it is commonly taken to be: a probability measure satisfying Kolmogorov’s axioms. The metaphysical questions about chance (...) seem to be left open by all this. I argue that this is a mistake. The employment of real numbers as measures of chance in standard probability theory brings with it commitments in the metaphysics of (objective) chance that are not only substantial but also mistaken. To measure chance properly we need to employ extensions of the real numbers that contain infinitesimals: positive numbers that are infinitely small. But simply using infinitesimals alone is not enough, as a number of arguments show. Instead we need to put three ideas together: infinitesimals, the non-locality of chance and flexibility in measurement. Only those three together give us a coherent picture of chance and its mathematical representation. (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)

In his Foundations of a General Theory of Manifolds, Georg Cantor praised Bernard Bolzano as a clear defender of actual infinity who had the courage to work with infinite numbers. At the same time, he sharply criticized the way Bolzano dealt with them. Cantor’s concept was based on the existence of a one-to-one correspondence, while Bolzano insisted on Euclid’s Axiom of the whole being greater than a part. Cantor’s set theory has eventually prevailed, and became a formal basis (...) of contemporary mathematics, while Bolzano’s approach is generally considered a step in the wrong direction. In the present paper, we demonstrate that a fragment of Bolzano’s theory of infinite quantities retaining the part-whole principle can be extended to a consistent mathematical structure. It can be interpreted in several possible ways. We obtain either a linearly ordered ring of finite and infinitely great quantities, or a partially ordered ring containing infinitely small, finite and infinitely great quantities. These structures can be used as a basis of the infinitesimal calculus similarly as in non-standard analysis, whether in its full version employing ultrafilters due to Abraham Robinson, or in the recent “cheap version” avoiding ultrafilters due to Terence Tao. (shrink)

ABSTRACTA probability model is underdetermined when there is no rational reason to assign a particular infinitesimal value as the probability of single events. Pruss claims that hyperreal probabilities are underdetermined. The claim is based upon external hyperreal-valued measures. We show that internal hyperfinite measures are not underdetermined. The importance of internality stems from the fact that Robinson’s transfer principle only applies to internal entities. We also evaluate the claim that transferless ordered fields may have advantages over hyperreals in probabilistic (...) modeling. We show that probabilities developed over such fields are less expressive than hyperreal probabilities. (shrink)

It is well known that Leibniz advocated the actual infinite, but that he did not admit infinite collections or infinite numbers. But his assimilation of this account to the scholastic notion of the syncategorematic infinite has given rise to controversy. A common interpretation is that in mathematics Leibniz’s syncategorematic infinite is identical with the Aristotelian potential infinite, so that it applies only to ideal entities, and is therefore distinct from the actual infinite (...) that applies to the actual world. Against this, I argue in this paper that Leibniz’s actual infinite, understood syncategorematically, applies to any entities that are actually infinite in multitude, whether numbers, actual parts of matter, or monads. It signifies that there are more of them than can be assigned a number, but that there is no infinite number or collection of them, which notion involves a contradiction. Similarly, to say that a magnitude is actually infinitely small in the syncategorematic sense is to say that no matter how small a magnitude one takes, there is a smaller, but there are no actual infinitesimals. In geometry one may calculate with expressions apparently denoting such entities, on the understanding that they are fictions, standing for variable magnitudes that can be made arbitrarily small, so as to produce demonstrations that there is no error in the resulting expressions. (shrink)

Summary The historical development of the non-standard analysis is sketched. With the help of this mathematical branch infinite and infinitesimal quantities are placed in an extension of the real numbers and so find their justification. In this way an old mathematical and philosophical problem is solved in the 20th century, but not in such a manner, mathematicians with classical „standard methods thought of.

Explications of the reconstruction of Leibniz’s metaphysics that Deleuze undertakes in 'The Fold: Leibniz and the Baroque' focus predominantly on the role of the infinitesimal calculus developed by Leibniz.1 While not underestimat- ing the importance of the infinitesimal calculus and the law of continuity as reflected in the calculus of infinite series to any understanding of Leibniz’s metaphysics and to Deleuze’s reconstruction of it in The Fold, what I propose to examine in this paper is the role (...) played by other developments in mathematics that Deleuze draws upon, including those made by a number of Leibniz’s near contemporaries – the projective geometry that has its roots in the work of Desargues (1591–1661) and the ‘proto-topology’ that appears in the work of Du ̈rer (1471–1528) – and a number of the subsequent developments in these fields of mathematics. Deleuze brings this elaborate conjunction of material together in order to set up a mathematical idealization of the system that he considers to be implicit in Leibniz’s work. The result is a thoroughly mathematical explication of the structure of Leibniz’s metaphysics. What is provided in this paper is an exposition of the very mathematical underpinnings of this Deleuzian account of the structure of Leibniz’s metaphysics, which, I maintain, subtends the entire text of The Fold. (shrink)

The process of ‘logical differentiation’ was introduced by Peirce in 1870. Directly analogous to mathematical differentiation, it uses logical terms instead of mathematical variables. Here, this mysterious process receives new interpretations which serve to clarify Peirce’s use of logical terms. I introduce the logical terms, the operation of multiplication, the logical analogy to the binomial theorem, infinitesimal relatives, the concepts of numerical coefficients and the number associated with each term. I also analyse the algebraic development of ‘logical differentiation’ and (...) consider in depth one application of the process. (shrink)

Aggregative consequentialism and several other popular moral theories are threatened with paralysis: when coupled with some plausible assumptions, they seem to imply that it is always ethically indifferent what you do. Modern cosmology teaches that the world might well contain an infinite number of happy and sad people and other candidate value-bearing locations. Aggregative ethics implies that such a world contains an infinite amount of positive value and an infinite amount of negative value. You can affect only (...) a finite amount of good or bad. In standard cardinal arithmetic, an infinite quantity is unchanged by the addition or subtraction of any finite quantity. So it appears you cannot change the value of the world. Modifications of aggregationism aimed at resolving the paralysis are only partially effective and cause severe side effects, including problems of “fanaticism”, “distortion”, and erosion of the intuitions that originally motivated the theory. Is the infinitarian challenge fatal? (shrink)

During the first months of 1887, while completing the drafts of his Mitteilungen zur Lehre vom Transfiniten, Georg Cantor maintained a continuous correspondence with Benno Kerry. Their exchange essentially concerned two main topics in the philosophy of mathematics, namely, (a) the concept of natural number and (b) the infinitesimals. Cantor's and Kerry's positions turned out to be irreconcilable, mostly because of Kerry's irremediably psychologistic outlook, according to Cantor at least. In this study, I will examine and reconstruct the main points (...) in the discussion around (a) and (b) and stress some interesting aspects of the philosophical and mathematical thought of Benno Kerry. (shrink)

Many important concepts of the calculus are difficult to grasp, and they may appear epistemologically unjustified. For example, how does a real function appear in “small” neighborhoods of its points? How does it appear at infinity? Diagrams allow us to overcome the difficulty in constructing representations of mathematical critical situations and objects. For example, they actually reveal the behavior of a real function not “close to” a point (as in the standard limit theory) but “in” the point. We are interested (...) in our research in the diagrams which play an optical role –microscopes and “microscopes within microscopes”, telescopes, windows, a mirror role (to externalize rough mental models), and an unveiling role (to help create new and interesting mathematical concepts, theories, and structures). In this paper we describe some examples of optical diagrams as a particular kind of epistemic mediator able to perform the explanatory abductive task of providing a better understanding of the calculus, through a non-standard model of analysis. We also maintain they can be used in many other different epistemological and cognitive situations. (shrink)

We examine the notions of negative, infinite and hotter than infinite temperatures and show how these unusual concepts gain legitimacy in quantum statistical mechanics. We ask if the existence of an infinite temperature implies the existence of an actual infinity and argue that it does not. Since one can sensibly talk about hotter than infinite temperatures, we ask if one could legitimately speak of other physical quantities, such as length and duration, in analogous terms. That is, (...) could there be longer than infinite lengths or temporal durations? We argue that the answer is surprisingly yes, and we outline the properties of a number system that could be employed to characterize such magnitudes. (shrink)

In the massive plot twist at the end of BioShock Infinite, the writers beautifully put forth a hypothesis that individuals might exist in more than one possible world. In philosophy, the idea that an individual can exist in more than one world is called transworld identity. An important rival to transworld identity theory is counterpart theory, the idea that individuals cannot exist in more than one possible world and are therefore “world bound.” Modal realism is the thesis according to (...) which there is an infinite number of possible worlds that really exist in the most robust sense, relative to themselves. The world of Columbia is one possible world. The world of Rapture is another possible world. Both the actualist and the possibilist agree on these claims. Most important to the themes present in BioShock, transworld individuality has profound implications for differing notions of freedom. (shrink)

The naïve idea of “size” for collections seems to obey both Aristotle’s Principle: “the whole is greater than its parts” and Cantor’s Principle: “1-to-1 correspondences preserve size”. Notoriously, Aristotle’s and Cantor’s principles are incompatible for infinite collections. Cantor’s theory of cardinalities weakens the former principle to “the part is not greater than the whole”, but the outcoming cardinal arithmetic is very unusual. It does not allow for inverse operations, and so there is no direct way of introducing infinitesimal (...) numbers. Here we maintain Aristotle’s principle, instead halving Cantor’s principle to “equinumerous collections are in 1–1 correspondence”. In this way we obtain a very nice arithmetic: in fact, our “numerosities” may be taken to be nonstandard integers. These numerosities appear naturally suited to sets of ordinals, but they depend, for generic sets, on a “labelling” of the universe by ordinals. The problem of finding a canonical way of attaching numerosities to all sets seems to be worth further investigation. (shrink)

This book is part of a major project undertaken by the Centre for Studies in Civilizations , being one of a total of ninety-six planned volumes. The author is a statistician and computer scientist by training, who has concentrated on historical matters for the last ten years or so. The book has very ambitious aims, proposing an alternative philosophy of mathematics and a deviant history of the calculus. Throughout, there is an emphasis on the need to combine history and philosophy (...) of mathematics, especially in order to evaluate properly the history of mathematics in India, in particular the history of the calculus.The pivotal goals of the book are to oppose the Eurocentric account of the history of science in general and mathematics in particular; to avoid the usual philosophical idea of the centrality of proof for mathematical knowledge, in favour of the traditional Indian notion of pramāṇa [validation] encompassing empirical elements and emphasizing calculation; to analyze the thousand-year-long development of infinite series in India, starting in the fifth century; and to show ‘how and why the calculus was imported into Europe’ from about 1500. The result is a picture in which inputs from the Indian subcontinent and epistemology are the driving forces of the history of mathematics, as people in the European subcontinent struggle to adopt new calculation techniques from the East in spite of Western philosophico-religious biases . Thus, a ‘first math war’ involved the algorismus de numero indorum, adopted for practical reasons, which forced Europeans to modify their epistemology of number and quantities. A ‘second math war’ revolved around infinite series and the calculus, since the background of Western epistemology created ‘spurious difficulties’ about infinities and infinitesimals, partially resolved with theories of real numbers. And a ‘third math war’ is …. (shrink)

It has been recently debated whether there exists a so-called “easy road” to nominalism. In this essay, I attempt to fill a lacuna in the debate by making a connection with the literature on infinite and infinitesimal idealization in science through an example from mathematical physics that has been largely ignored by philosophers. Specifically, by appealing to John Norton’s distinction between idealization and approximation, I argue that the phenomena of fractional quantum statistics bears negatively on Mary Leng’s proposed (...) path to easy road nominalism, thereby partially defending Mark Colyvan’s claim that there is no easy road to nominalism. (shrink)

Pierre de Fermat is known as the inventor of modern number theory. He invented–improved many methods useful in this discipline. Fermat often claimed to have proved his most difficult theorems thanks to a method of his own invention: the infinite descent. He wrote of numerous applications of this procedure. Unfortunately, he left only one almost complete demonstration and an outline of another demonstration. The outline concerns the theorem that every prime number of the form 4n + 1 is the (...) sum of two squares. In this paper, we analyse a recent proof of this theorem. It is interesting because: it follows all the elements of which Fermat wrote in his outline; it represents a good introduction to all logical nuances and mathematical variants concerning this method of which Fermat spoke. The assertions by Fermat will also be framed inside their historical context. Therefore, the aims of this paper are related to the history of mathematics and to the logic of proof-methods. (shrink)

Much has been made of Deleuze’s Neo-Leibnizianism,3 however not very much detailed work has been done on the specific nature of Deleuze’s critique of Leibniz that positions his work within the broader framework of Deleuze’s own philo- sophical project. The present chapter undertakes to redress this oversight by providing an account of the reconstruction of Leibniz’s metaphysics that Deleuze undertakes in The Fold. Deleuze provides a systematic account of the structure of Leibniz’s metaphys- ics in terms of its mathematical underpinnings. (...) However, in doing so, Deleuze draws upon not only the mathematics developed by Leibniz – including the law of continuity as reflected in the calculus of infinite series and the infinitesimal calculus – but also the developments in mathematics made by a number of Leibniz’s contemporaries – including Newton’s method of fluxions – and a number of subsequent developments in mathematics, the rudiments of which can be more or less located in Leibniz’s own work – including the theory of functions and singularities, the theory of continuity and Poincaré’s theory of automorphic functions. Deleuze then retrospectively maps these developments back onto the structure of Leibniz’s metaphysics. While the theory of continuity serves to clarify Leibniz’s work, Poincaré’s theory of automorphic functions offers a solution to overcome and extend the limits that Deleuze identifies in Leibniz’s metaphysics. Deleuze brings this elaborate conjunction of material together in order to set up a mathematical idealization of the system that he considers to be implicit in Leibniz’s work. The result is a thoroughly mathematical explication of the structure of Leibniz’s metaphysics. What is provided in this chapter is an exposition of the very mathematical underpinnings of this Deleuzian account of the structure of Leibniz’s metaphysics, which, I maintain, subtends the entire text of The Fold. (shrink)

This book is part of a major project undertaken by the Centre for Studies in Civilizations , being one of a total of ninety-six planned volumes. The author is a statistician and computer scientist by training, who has concentrated on historical matters for the last ten years or so. The book has very ambitious aims, proposing an alternative philosophy of mathematics and a deviant history of the calculus. Throughout, there is an emphasis on the need to combine history and philosophy (...) of mathematics, especially in order to evaluate properly the history of mathematics in India, in particular the history of the calculus.The pivotal goals of the book are to oppose the Eurocentric account of the history of science in general and mathematics in particular; to avoid the usual philosophical idea of the centrality of proof for mathematical knowledge, in favour of the traditional Indian notion of pramāṇa [validation] encompassing empirical elements and emphasizing calculation; to analyze the thousand-year-long development of infinite series in India, starting in the fifth century; and to show ‘how and why the calculus was imported into Europe’ from about 1500. The result is a picture in which inputs from the Indian subcontinent and epistemology are the driving forces of the history of mathematics, as people in the European subcontinent struggle to adopt new calculation techniques from the East in spite of Western philosophico-religious biases . Thus, a ‘first math war’ involved the algorismus de numero indorum, adopted for practical reasons, which forced Europeans to modify their epistemology of number and quantities. A ‘second math war’ revolved around infinite series and the calculus, since the background of Western epistemology created ‘spurious difficulties’ about infinities and infinitesimals, partially resolved with theories of real numbers. And a ‘third math war’ is …. (shrink)

ABSTRACT: I argue that when Spinoza describes substance and its attributes as he means that they are utterly indeterminate. That is, his conception of infinitude is not a mathematical one. For Spinoza, anything truly infinite eludes counting s conception is closer to a grammatical one. I conclude by considering a number of arguments against this account of the Spinozan infinite as indeterminate.

The reconstruction of Leibniz’s metaphysics that Deleuze undertakes in The Fold provides a systematic account of the structure of Leibniz’s metaphysics in terms of its mathematical foundations. However, in doing so, Deleuze draws not only upon the mathematics developed by Leibniz—including the law of continuity as reflected in the calculus of infinite series and the infinitesimal calculus—but also upon developments in mathematics made by a number of Leibniz’s contemporaries—including Newton’s method of fluxions. He also draws upon a number (...) of subsequent developments in mathematics, the rudiments of which can be more or less located in Leibniz’s own work—including the theory of functions and singularities, the Weierstrassian theory of analytic continuity, and Poincaré’s theory of automorphic functions. Deleuze then retrospectively maps these developments back onto the structure of Leibniz’s metaphysics. While the Weierstrassian theory of analytic continuity serves to clarify Leibniz’s work, Poincaré’s theory of automorphic functions offers a solution to overcome and extend the limits that Deleuze identifies in Leibniz’s metaphysics. Deleuze brings this elaborate conjunction of material together in order to set up a mathematical idealization of the system that he considers to be implicit in Leibniz’s work. The result is a thoroughly mathematical explication of the structure of Leibniz’s metaphysics. This essay is an exposition of the very mathematical underpinnings of this Deleuzian account of the structure of Leibniz’s metaphysics, which, I maintain, subtends the entire text of The Fold. (shrink)

I consider the natural infinitary variations of the games Wordle and Mastermind, as well as their game‐theoretic variations Absurdle and Madstermind, considering these games with infinitely long words and infinite color sequences and allowing transfinite game play. For each game, a secret codeword is hidden, which the codebreaker attempts to discover by making a series of guesses and receiving feedback as to their accuracy. In Wordle with words of any size from a finite alphabet of n letters, including (...) class='Hi'>infinite words or even uncountable words, the codebreaker can nevertheless always win in n steps. Meanwhile, the mastermind number, defined as the smallest winning set of guesses in infinite Mastermind for sequences of length ω over a countable set of colors without duplication, is uncountable, but the exact value turns out to be independent of, for it is provably equal to the eventually different number, which is the same as the covering number of the meager ideal. I thus place all the various mastermind numbers, defined for the natural variations of the game, into the hierarchy of cardinal characteristics of the continuum. (shrink)

In last year’s Review Gregory Brown took issue with Laurence Carlin’s interpretation of Leibniz’s argument as to why there could be no world soul. Carlin’s contention, in Brown’s words, is that Leibniz denies a soul to the world but not to bodies on the grounds that “while both the world and [an] aggregate of limited spatial extent are infinite in multitude, the former, but not the latter, is infinite in respect of magnitude and hence cannot be considered a (...) whole”. Brown casts doubt on this interpretation—or rather, he begins by questioning its adequacy as an interpretation of a central passage, only to concede its essential correctness as an interpretation of Leibniz’s position, and to turn his attack on the latter itself. In this note I shall argue that Brown underestimates the subtlety of Leibniz’s views on the infinite, and that Carlin is basically correct in his suggestion that the infinite magnitude of the world is what precludes it from having even the phenomenal unity that a body does. (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)

We seek to elucidate the philosophical context in which the so-called revolution of rigor in inifinitesimal calculus and mathematical analysis took place. Some of the protagonists of the said revolution were Cauchy, Cantor, Dedekind, and Weierstrass. The dominant current of philosophy in Germany at that time was neo-Kantianism. Among its various currents, the Marburg school (Cohen, Natorp, Cassirer, and others) was the one most interested in matters scientific and mathematical. Our main thesis is that Marburg Neo-Kantian philosophy formulated a sophisticated (...) position towards the problems raised by the concepts of limits and infinitesimals. The Marburg school neither clung to the traditional approach of logically and metaphysically dubious infinitesimals, nor whiggishly subscribed to the new orthodoxy of the "great triumvirate" of Cantor, Dedekind, and Weierstrass. Expressed in terms of modern mathematics, the Marburg philosophers saw the introduction of both infinitesimals and limits as completions whose prototype was Dedekind's of the rational number system resulting in the real numbers. At least partially,, this idea of "completions" can be captured in terms of a category-theoretical description of the conceptual development of modern mathematics. The feasibility of such a modern reformuation may be taken as evidence that the philosophical resources of Marburg neo-Kantianism may be of interest even for contemporary philosophy of mathematics. (shrink)

How the concept of proof has enabled the creation of mathematical knowledge. The Story of Proof investigates the evolution of the concept of proof--one of the most significant and defining features of mathematical thought--through critical episodes in its history. From the Pythagorean theorem to modern times, and across all major mathematical disciplines, John Stillwell demonstrates that proof is a mathematically vital concept, inspiring innovation and playing a critical role in generating knowledge. Stillwell begins with Euclid and his influence on the (...) development of geometry and its methods of proof, followed by algebra, which began as a self-contained discipline but later came to rival geometry in its mathematical impact. In particular, the infinite processes of calculus were at first viewed as "infinitesimal algebra," and calculus became an arena for algebraic, computational proofs rather than axiomatic proofs in the style of Euclid. Stillwell proceeds to the areas of number theory, non-Euclidean geometry, topology, and logic, and peers into the deep chasm between natural number arithmetic and the real numbers. In its depths, Cantor, Gödel, Turing, and others found that the concept of proof is ultimately part of arithmetic. This startling fact imposes fundamental limits on what theorems can be proved and what problems can be solved. Shedding light on the workings of mathematics at its most fundamental levels, The Story of Proof offers a compelling new perspective on the field's power and progress. (shrink)

This paper consists of two parts and has two aims. The first is to elaborate on the historical-philosophical background of Cantor’s notions of infinity in the context of Spinoza’s influence on him. To achieve this aim, in the first part I compare Spinoza’s and Cantor’s conceptions of actual infinity along with their mathematical implications. Explaining the metaphysical, conceptual, and methodological aspects of Cantor’s expansion of the orthodox finitist conception of number of his time, I discuss how he adopts Spinoza’s motifs (...) to overcome the challenges on his way to proposing his transfinite infinites. To achieve the second aim, i.e., to investigate the philosophical foundations of Cantor’s transfinite infinites, I follow a three-step outline analyzing Cantor’s three principles along with their metaphysical and epistemological-linguistic aspects. I analyze the strengths and weak sides of Lakoff and Núñez’s Basic Metaphor of Infinity and Pantsar’s Process → Object Metaphor, then compare their interpretations with mine. I conclude that the metaphors can be improved when their source domains are limited to the target domains they apply to and when supported by a thorough analysis of the historical-philosophical background of their target domains. (shrink)

The theorem that the arithmetic mean is greater than or equal to the geometric mean is investigated for cardinal and ordinal numbers. It is shown that whereas the theorem of the means can be proved for n pairwise comparable cardinal numbers without the axiom of choice, the inequality a2 + b2 ≥ 2ab is equivalent to the axiom of choice. For ordinal numbers, the inequality α2 + β2 ≥ 2αβ is established and the conditions for equality are (...) derived; stronger inequalities are obtained for finite and infinite sequences of ordinals under suitable monotonicity hypotheses. MSC: 03E10, 04A10, 03E25, 04A25. (shrink)

Reductio arguments are notoriously inconclusive, a fact which no doubt contributes to their great fecundity. For once a contradiction has been proved, it is open to interpretation which premise should be given up. Indeed, it is often a matter of great creativity to identify what can be consistently given up. A case in point is a traditional paradox of the infinite provided by Galileo Galilei in his Two New Sciences, which has since come to be known as Galileo’s Paradox. (...) It concerns the set of all numbers, N: since to every number there is a corresponding square, there are as many squares as numbers. But since there are non-squares between the squares, “all numbers, comprising the squares and the non-squares, are greater than the squares alone”, i.e. there must be fewer numbers in the set of all squares S than in N. Thus N is both equal to and greater than S. This is a contradiction, so one of the premises must be given up: the question is, which one? (shrink)

Let T be a complete, superstable theory with fewer than ${2^{\aleph_{0}}}$ countable models. Assuming that generic types of infinite, simple groups definable in T eq are sufficiently non-isolated we prove that ω ω is the strict upper bound for the Lascar rank of T.

In this chapter, we offer a reconstruction of the evolution of Leibniz’s thought concerning the problem of the infinite divisibility of bodies, the tension between actuality, unassignability, and syncategorematicity, and the closely related question of the possibility of infinitesimal quantities, both in physics and in mathematics.Some scholars have argued that syncategorematicity is a mature acquisition, to which Leibniz resorts to solve the question of his infinitesimals – namely the idea that infinitesimals are just signs for Archimedean exhaustions, and (...) their unassignability is a nominalist maneuver. On the contrary, we show that syncategorematicity, as a traditional idea of classical scholasticism, is a feature of young Leibniz’s thinking, from which he moves away in order to solve the same problem, as he gains mathematical knowledge.We have divided Leibniz’s path toward his mature view of infinitesimals into five phases, which are especially significant for reconstructing the entire evolution. In our reconstruction, an important role is played by Leibniz’s text De Quadratura Arithmetica. Based on this and other texts, we dispute the thesis that fictionality coincides with syncategorematicity, and that unassignability can be bypassed. (In this chapter, we employ “syncategorematic” as a shorthand for “eventually identifiable with a procedure of exhaustion” and, as a consequence, “involving only assignable quantities.” We also identify syncategorematicity with potentiality, as suggested by some part of the scholastics, and in Sect. 2.2, we show that the two characterizations are equivalent, provided that “potentiality” is intended in the correct way: namely as in the unending iterative procedures of Greek mathematics.) On the contrary, we maintain that unassignability, as incompatible with the principle of harmony, is the ultimate reason for the fictionality of infinitesimals. (shrink)

We will flip a fair coin infinitely many times. Al calls the first flip, claiming it will land heads. Betty calls every odd numbered flip, claiming they will all land heads. Carl calls every flip bar none, claiming they will all land heads. Pre-theoretically, it seems that Al's claim is infinitely more likely than Betty's, and that Betty's claim is infinitely more likely than Carl's. But standard, real-valued probability theory says that, while Al's claim is infinitely more likely than Betty's, (...) Betty's claim is exactly as likely as Carl's. I use John Conway's surreal numbers to capture these pre-theoretic judgements about the relative probabilities of Al's, Betty's, and Carl's claims. Surreal-valued probabilities also allow us to calculate precise numerical values for those claims. For instance, we will see that Betty's claim has a probability equal to the reciprocal of the product of the square root of cardinality of the continuum and the fourth root of 2. The article provides a 'user's guide' to surreal-valued probabilities and raises questions for further research. (shrink)

Context: The infinite has long been an area of philosophical and mathematical investigation. There are many puzzles and paradoxes that involve the infinite. Problem: The goal of this paper is to answer the question: Which objects are the infinite numbers (when order is taken into account)? Though not currently considered a problem, I believe that it is of primary importance to identify properly the infinite numbers. Method: The main method that I employ is conceptual (...) analysis. In particular, I argue that the infinite numbers should be as much like the finite numbers as possible. Results: Using finite numbers as our guide to the infinite numbers, it follows that infinite numbers are of the structure w + (w* + w) a + w*. This same structure also arises when a large finite number is under investigation. Implications: A first implication of the paper is that infinite numbers may be large finite numbers that have not been investigated fully. A second implication is that there is no number of finite numbers. Third, a number of paradoxes of the infinite are resolved. One change that should occur as a result of these findings is that “infinitely many” should refer to structures of the form w + (w* + w) a + w*; in contrast, there are “indefinitely many” natural numbers. Constructivist content: The constructivist perspective of the paper is a form of strict finitism. (shrink)

This essay will be divided into three parts. In the first part, we discuss the case of infintesimals seen as a bridge between the discrete and the continuous. This leads in the second part to a discussion of the nature of numbers. In the last part, we follow up with some observations on the obvious applicability of mathematics.

We investigate how nonstandard reals can be established constructively as arbitrary infinite sequences of rationals, following the classical approach due to Schmieden and Laugwitz. In particular, a total standard part map into Richman's generalised Dedekind reals is constructed without countable choice.

A multiverse is comprised of many universes, which quickly leads to the question: How many universes? There are either finitely many or infinitely many universes. The purpose of this paper is to discuss two conceptions of infinite number and their relationship to multiverses. The first conception is the standard Cantorian view. But recent work has suggested a second conception of infinite number, on which infinite numbers behave very much like finite numbers. I will argue that (...) that this second conception of infinite number is the correct one, and analyze what this means for multiverses. (shrink)

The primary purpose of this paper is to analyze the relationship between the familiar non-Archimedean field of hyperreals from Abraham Robinson’s nonstandard analysis and Paolo Giordano’s ring extension of the real numbers containing nilpotents. There is an interesting nontrivial homomorphism from the limited hyperreals into the Giordano ring, whereas the only nontrivial homomorphism from the Giordano ring to the hyperreals is the standard part function, namely, the function that maps a value to its real part. We interpret this asymmetry (...) to mean that the nilpotent infinitesimal values of Giordano’s ring are “smaller” than the hyperreal infinitesimals. By viewing things from the “point of view” of the hyperreals, all nilpotents are zero, whereas by viewing things from the “point of view” of Giordano’s ring, nonnilpotent, nonzero infinitesimals register as nonzero infinitesimals. This suggests that Giordano’s infinitesimals are more fine-grained. (shrink)

We show that elliptic curves whose Mordell–Weil groups are finitely generated over some infinite extensions of ${\mathbb {Q}}$ , can be used to show the Diophantine undecidability of the rings of integers and bigger rings contained in some infinite extensions of rational numbers.

According to Augustine, abstract objects are ideas in the mind of God. Because numbers are a type of abstract object, it would follow that numbers are ideas in the mind of God. Call such a view the “Augustinian View of Numbers” (AVN). In this paper, I present a formal theory for AVN. The theory stems from the symmetry conception of God as it appears in Studtmann (2021). I show that the theory in Studtmann’s paper can interpret the (...) axioms of Peano Arithmetic minus the induction schema. This fact allows for the development of arithmetic in a natural way. The development eventuates in a theory that can interpret second-order arithmetic. The conception of God that emerges by the end of the discussion is a conception of an infinite, ineffable, self-cause that contains objects that not only serve as numbers but also encode information about each other. (shrink)

It amazes children, as they try to count themselves out of numbers, only to discover one day that the hundreds, thousands, and zillions go on forever—to something like infinity. And anyone who has advanced beyond the bounds of basic mathematics has soon marveled at that drunken number eight lying on its side in the pages of their work. Infinity fascinates; it takes the mind beyond its everyday concerns—indeed, beyond everything—to something always more. Infinity makes even the infinite universe (...) seem small; yet it can also be infinitesimal. Infinity thrives on paradox, and it turns the simplest arithmetic on its head, with 1 seeming feasibly to equal 0, after all. Infinity defies common sense. The contemplation of it has relieved at least two great mathematicians of their sanity. Thoroughly readable and entirely accessible, science writer Brian Clegg's lively history explores infinity in its many intriguing facets, from its ancient origins to its place today at the heart of mathematics and science. He examines infinity's paradoxes and profiles the people who first grappled with and then defined and refined them, offering information, mystery, and poetry to conceive the inconceivable and define the indefinable. (shrink)