'Philosophy arises through misconceptions of grammar', said Wittgenstein. Few people have believed him, and probably none, therefore, working in the area of the philosophy of mathematics. Yet his assertion is most evidently the case in the philosophy of Set Theory, as this paper demonstrates (see also Rodych 2000). The motivation for twentieth century Set Theory has rested on the belief that everything in Mathematics can be defined in terms of sets [Maddy 1994: 4]. But not only are there notable items (...) which cannot be so defined, including numbers and mereological sums, the very notion of a set, as formalized within this tradition, is based on a series of grammatical confusions. (shrink)

One influential interpretation of Newton's formulation of his calculus has regarded his work as an organized, cohesive presentation, shaped primarily by technical issues and implicitly motivated by a knowledge of the form which a "finished" calculus should take. Offered as an alternative to this view is a less systematic and more realistic picture, in which both philosophical and technical considerations played a part in influencing the structure and interpretation of the calculus throughout Newton's mathematical career. This analysis sees the development (...) of Newton's calculus not principally as a calculated movement toward "rigorous" justification (in the sense of Cauchy, Weierstrass, and their 19th century contemporaries) and refinement of techniques, but as an evolution in the light of his involvement in debates over philosophical and scientific issues central to the rise of modern philosophy and science in the 17th and early 18th centuries. (shrink)

ABSTRACTThis paper responds to two issues in interpreting George Berkeley’s Analyst. First, it explains why the text contains no discussion of religious mysteries or points of faith, despite the claims of the text's subtitle; I argue that the subtitle must be understood, and its success assessed, in conjunction with material external to the text. Second, it’s unclear how naturally the arguments of the Analyst sit with Berkeley’s broader views. He criticizes the methodology of calculus and conceptually problematic entities, and the (...) extent to which they require one to bend the rules of classical mathematics. Yet, elsewhere, Berkeley’s opinion of classical mathematics and its intelligibility is low, and he defends a pragmatic approach to word meaning that should not find fault with so functionally successful a theory. The ad hominem intention of the text makes it difficult to discern to what extent Berkeley is committed to the sincerity of these criticisms. This component of the text is rarely discussed, but I argue that when trying to decide what Berkeley’s true position is in the Analyst, we should treat its ad hominem component as its primary intention. (shrink)

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)

We analyze the developments in mathematical rigor from the viewpoint of a Burgessian critique of nominalistic reconstructions. We apply such a critique to the reconstruction of infinitesimal analysis accomplished through the efforts of Cantor, Dedekind, and Weierstrass; to the reconstruction of Cauchy’s foundational work associated with the work of Boyer and Grabiner; and to Bishop’s constructivist reconstruction of classical analysis. We examine the effects of a nominalist disposition on historiography, teaching, and research.

The Dirac δ function has solid roots in nineteenth century work in Fourier analysis and singular integrals by Cauchy and others, anticipating Dirac’s discovery by over a century, and illuminating the nature of Cauchy’s infinitesimals and his infinitesimal definition of δ.

My paper concentrates on Peirce’s late essay, “Issues of Pragmaticism,” which identifies “critical common-sensism” and Scotistic realism as the two primary products of pragmaticism. I argue that the doctrines of Peirce’s critical common-sensism provide a host of commendable curricular objectives for democratic Bildung. The second half of my paper explores Peirce’s Scotistic realism. I argue that Peirce eventually returned to Aristotelian intuitions that led him to a more robust realism. I focus on the development of signs from the vague and (...) indeterminate to the determinate and universal. The primary example will be the evolution of the very idea of number. I believe we will never arrive at the end of number history because we can never fully contain creativity. I draw similar conclusions for the idea of curriculum. Whether or not there is an end to the evolution of signs in Peirce is a matter of debate. I incline toward the opinion there is not, though I am unsure. I conclude by arguing that rationality itself is but the form and structure of poetic creation and that we should embrace paradox and even contradiction rather that become caught in totalizing and totalitarian end of history stories. (shrink)

Although Hume's analysis of geometry continues to serve as a reference point for many contemporary discussions in the philosophy of science, the fact that the first Enquiry presents a radical revision of Hume's conception of geometry in the Treatise has never been explained. The present essay closely examines Hume's early and late discussions of geometry and proposes a reconstruction of the reasons behind the change in his views on the subject. Hume's early conception of geometry as an inexact non-demonstrative science (...) is argued to be a consequence of his attempt to discredit geometrical proofs of infinite divisibility of extension by anchoring the meaning of geometrical concepts in inherently inexact qualitative measurement procedures. This measurement-based attack on the exactness and certainty of geometry is analyzed and shown to be both self-refuting and inconsistent with the general epistemological framework of the Treatise. The revised conception of geometry as a demonstrative science in the first Enquiry is then interpreted as Hume's response to the failure of his earlier attempt to discredit geometrical proofs of infinite divisibility of extension. (shrink)

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

This is a commentary on the use of squares in elementary statistics. One sees an ubiquitous use of squares in statistics, and the analogy of "distance in a statistical sense" is teased out. We conjecture that elementary statistical theory has its roots in classical Calculus, and preserves the notion of two senses described in this paper. We claim that the senses of the differentials dx/dy hold between classical and modern infinitesimal Calculus and show how this sense becomes cashed out in (...) both models. We suggest that the commonalities of both accounts can be used to find a informational realist account of Calculus. This account involves infinitesimal Calculus as acting as an epistemic mediator that expands our conceptual space and enables us to create new measures. (shrink)