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)

One of the key features of modern mathematics is the adoption of the abstract method. Our goal in this paper is to propose an explication of that method that is rooted in the history of the subject.

The subject of this essay-based dissertation is Hume’s natural philosophy. The dissertation consists of four separate essays and an introduction. These essays do not only treat Hume’s views on the topic of natural philosophy, but his views are placed into a broader context of history of philosophy and science, physics in particular. The introductory section outlines the historical context, shows how the individual essays are connected, expounds what kind of research methodology has been used, and encapsulates the research contributions of (...) the essays. The first essay treats Newton’s experimentalist methodology in gravity research and its relation to Hume’s causal philosophy. It is argued that Hume does not see the relation of cause and effect as being founded on a priori reasoning, similar to the way in which Newton criticized non-empirical hypotheses about the causal properties of gravity. Contrary to Hume’s rules of causation, the universal law does not include a reference either to contiguity or succession, but Hume accepts it in interpreting the force and the law of gravity instrumentally. The second article considers Newtonian and non-Newtonian elements in Hume more broadly. He is sympathetic to many prominently Newtonian themes in natural philosophy, such as experimentalism, critique of hypotheses, inductive proof, and the critique of Leibnizian principles of sufficient reason and intelligibility. However, Hume is not a Newtonian philosopher in many respects: his conceptions regarding space and time, the vacuum, the specifics of causation, the status of mechanism, and the reality of forces differ markedly from Newton’s related conceptions. The third article focuses on Hume’s Fork and the proper epistemic status of propositions of mixed mathematics. It is shown that the epistemic status of propositions of mixed mathematics, such as those concerning laws of nature, is that of matters of fact. The reason for this is that the propositions of mixed mathematics are dependent on the Uniformity Principle. The fourth article analyzes Einstein’s acknowledgement of Hume regarding special relativity. The views of the scientist and the philosopher are juxtaposed, and it is argued that there are two common points to be found in their writings, namely an empiricist theory of ideas and concepts and a relationist ontology regarding space and time. (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)

The defense of common sense in Berkeley's Three Dialogues is, first and foremost, a defense of the gardener's claim to know this cherry tree, a claim threatened by both Cartesian and Lockean philosophy. Berkeley's defense of the gardener's knowledge depends on his claim that the being of a cherry tree consists in its being perceived. This is not something the gardener believes; rather, it is a philosophical analysis of the rules unreflectively followed by the gardener in his use of the (...) word 'exists'. It is by following these rules that the gardener gains knowledge of the cherry tree. Uncovering these deep connections between Berkeley's epistemology and his philosophy of language and placing them in the context of his critique of both Cartesian and Lockean philosophy will clarify Berkeley's strategy for bringing his reader back to common sense and practical engagement in the ordinary affairs of life. (shrink)

There is a longstanding definition of instantaneous velocity. It saysthat the velocity at t 0 of an object moving along a coordinate line is r if and only if the value of the first derivative of the object's position function at t 0 is r. The goal of this paper is to determine to what extent this definition successfully underpins a standard account of motion at an instant. Counterexamples proposed by Michael Tooley (1988) and also by John Bigelow and Robert (...) Pargetter (1990) are reinforced and illuminated by considering the presence or absence of changes to the object's motion. (shrink)

Bošković’s distinction between two kinds of velocities – velocity in the first act, or potential velocity, and velocity in the second act, or actual velocity – is considered in respect to the concept of instantaneous velocity as defined by calculus differentialis. Contrary to the seeming inconsistency of Bošković’s duality of velocities and the concept of instantaneous velocity, due to a critical examination of logical and methodological foundations of the calculus, the article shows that the duality of velocities is consistent with (...) the interpretations of instantaneous velocity given by Oresme, Euler and Maclaurin, as with the definition of instantaneous velocity according to the rigorous Cauchyan founding of the calculus. Bošković’s duality of velocities is also shown to be consistent with Aristotelian-scholastic doctrine of potentiality and actuality, especially in its domain related to the nature of continuous motion. (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.

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)