There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares these (...) options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

In the First of the Three Dialogues, Berkeley’s Hylas, responding to Philonous’s question whether extension and motion are separable from secondary qualities, says: What! Is it not an easy matter, to consider extension and motion by themselves,... Pray how do the mathematicians treat of them?

Many historians of the calculus deny significant continuity between infinitesimal calculus of the seventeenth century and twentieth century developments such as Robinson’s theory. Robinson’s hyperreals, while providing a consistent theory of infinitesimals, require the resources of modern logic; thus many commentators are comfortable denying a historical continuity. A notable exception is Robinson himself, whose identification with the Leibnizian tradition inspired Lakatos, Laugwitz, and others to consider the history of the infinitesimal in a more favorable light. Inspite of his Leibnizian sympathies, (...) Robinson regards Berkeley’s criticisms of the infinitesimal calculus as aptly demonstrating the inconsistency of reasoning with historical infinitesimal magnitudes. We argue that Robinson, among others, overestimates the force of Berkeley’s criticisms, by underestimating the mathematical and philosophical resources available to Leibniz. Leibniz’s infinitesimals are fictions, not logical fictions, as Ishiguro proposed, but rather pure fictions, like imaginaries, which are not eliminable by some syncategorematic paraphrase. We argue that Leibniz’s defense of infinitesimals is more firmly grounded than Berkeley’s criticism thereof. We show, moreover, that Leibniz’s system for differential calculus was free of logical fallacies. Our argument strengthens the conception of modern infinitesimals as a development of Leibniz’s strategy of relating inassignable to assignable quantities by means of his transcendental law of homogeneity. (shrink)

The notion of indivisibles and atoms arose in ancient Greece. The continuum—that is, the collection of points in a straight line segment, appeared to have paradoxical properties, arising from the ‘indivisibles’ that remain after a process of division has been carried out throughout the continuum. In the seventeenth century, Italian mathematicians were using new methods involving the notion of indivisibles, and the paradoxes of the continuum appeared in a new context. This cast doubt on the validity of the methods and (...) the reliability of mathematical knowledge which had been regarded as established by the axiomatic method in geometry expounded by Aristotle’s younger contemporary Euclid. The teaching of indivisibles was banned within the Society of Jesus, the Jesuits. In England, indivisibles were used by the mathematician John Wallis, and there was an acrimonious and extended feud between Wallis and the philosopher Thomas Hobbes over legitimate methods of argument in mathematics. Notions of the infinitesimal were used by Isaac Newton and Gottfried Leibniz, and were attacked by Bishop Berkeley for the vagueness of the concept and the illegitimate reasoning applied to it. This article discusses aspects of these events with reference to the book Infinitesimal by Amir Alexander and to other sources. Also discussed are wider issues arising from Alexander’s book including: the changes in cultural sensibility associated with the growth of new mathematical and scientific knowledge in the seventeenth century, the changes in language concomitant with these changes, what constitutes valid methods of enquiry in various contexts, and the question of authoritarianism in knowledge. More general aims of this article are to widen the immediate mathematical and historical contexts in Alexander’s book, to bridge a gap in conversations between mathematics and the humanities, and to relate mathematical ideas to wider human and contemporary issues. (shrink)

This volume focuses on Berkeley's doctrine of signs. The 'doctrine of signs' refers to the use that Berkeley makes of a phenomenon that is central to a great deal of everyday discourse: one whereby certain perceivable entities are made to stand in for (as 'signs' of) something else. Things signified might be other perceivable entities or they might also be unperceivable notions - such as the meanings of words. From his earliest published work, A New Theory of Vision in 1710, (...) to those works written towards the end of life, including Alciphron in 1732, Berkeley is at pains to emphasise the crucial role that sign-usage, particularly (but not only) in language, plays in human life. Berkeley also connects sign-usage to our (human) relationship with God: an issue that was right of the heart of his philosophical project. The contributions in this volume explore the myriad ways that Berkeley built on such insights to better understand a range of philosophical issues - issues of epistemology, language, perception, mental representation, mathematics, science, and theology. The aim of this volume is to establish that the doctrine of signs can be seen as one of the unifying themes of Berkeley's philosophy. What's more, this theme is one which spans his whole philosophical corpus; not just his best-known works like the Principles and the Three Dialogues, but also his works on science, mathematics, and theology. (shrink)

Les Principes de la connaissance humaine sont l'occasion pour Berkeley de nier l'existence des idées générales abstraites. Il admet cependant l'existence d'idées générales, plus exactement d'idées déterminées à signification générale. C'est ainsi qu'il peut rendre compte de la généralité de certaines démonstrations. L'exemple choisi est celui de l'idée de triangle dans le cadre d'une démonstration géométrique. Mais peut-on également rendre compte de cette manière des démonstrations et des idées algébriques et notamment celle de quantité? In the Principles of human knowledge, (...) Berkeley clearly denies the existence of abstract general ideas. He assumes, however, the existence of general ideas or, more exactly, of determinate ideas with a general meaning. In this way, he explains the generality of certain demonstrations. He chooses the example of the idea of a triangle within a geometrical demonstration. But can he likewise account for algebraic demonstrations and ideas, and in particular for the idea of quantity? (shrink)

The paper provides an account of necessary truths in Berkeley based upon his divine language model. If the thesis of the paper is correct, not all Berkeleian necessary truths can be known a priori.

This essay demonstrates the inadequacy of contemporary substantivalist and relationist interpretations of quantum gravity hypotheses via an historical investigation of the debate on the underlying ontology of space in the seventeenth century. Viewed in the proper context, there are crucial similarities between seventeenth century theories of space and contemporary work on the ontological foundations of spacetime theories, and these similarities challenge the utility of the substantival/relational dichotomy by revealing a host of underlying conceptual issues that do not naturally align with (...) that distinction. (shrink)

The instability inherent in the historical inventory of mathematical objects challenges philosophers. Naturalism suggests we can construct enduring answers to ontological questions through an investigation of the processes whereby mathematical objects come into existence. Patterns of historical development suggest that mathematical objects undergo an intelligible process of reification in tandem with notational innovation. Investigating changes in mathematical languages is a necessary first step towards a viable ontology. For this reason, scholars should not modernize historical texts without caution, as the use (...) of anachronistic notation tends to impede, rather than enhance, our ability to recognize the emergent nature of mathematical objects. (shrink)