A system of finite mathematics is proposed that has all of the power of classical mathematics. I believe that finite mathematics is not committed to any form of infinity, actual or potential, either within its theories or in the metalanguage employed to specify them. I show in detail that its commitments to the infinite are no stronger than those of primitive recursive arithmetic. The finite mathematics of sets is comprehensible and usable on its own terms, without appeal to any form (...) of the infinite. That makes it possible to, without circularity, obtain the axioms of full Zermelo-Fraenkel Set Theory with the Axiom of Choice (ZFC) by extrapolating (in a precisely defined technical sense) from natural principles concerning finite sets, including indefinitely large ones. The existence of such a method of extrapolation makes it possible to give a comparatively direct account of how we obtain knowledge of the mathematical infinite. The starting point for finite mathematics is Mycielski's work on locally finite theories. (shrink)

The best known and most widely discussed aspect of Kurt Gödel's philosophy of mathematics is undoubtedly his robust realism or platonism about mathematical objects and mathematical knowledge. This has scandalized many philosophers but probably has done so less in recent years than earlier. Bertrand Russell's report in his autobiography of one or more encounters with Gödel is well known:Gödel turned out to be an unadulterated Platonist, and apparently believed that an eternal “not” was laid up in heaven, where virtuous logicians (...) might hope to meet it hereafter.On this Gödel commented:Concerning my “unadulterated” Platonism, it is no more unadulterated than Russell's own in 1921 when in the Introduction to Mathematical Philosophy … he said, “Logic is concerned with the real world just as truly as zoology, though with its more abstract and general features.” At that time evidently Russell had met the “not” even in this world, but later on under the infuence of Wittgenstein he chose to overlook it.One of the tasks I shall undertake here is to say something about what Gödel's platonism is and why he held it.A feature of Gödel's view is the manner in which he connects it with a strong conception of mathematical intuition, strong in the sense that it appears to be a basic epistemological factor in knowledge of highly abstract mathematics, in particular higher set theory. Other defenders of intuition in the foundations of mathematics, such as Brouwer and the traditional intuitionists, have a much more modest conception of what mathematical intuition will accomplish. (shrink)

The small, the tiny, and the infinitesimal have been the object of both fascination and vilification for millenia. One of the most vitriolic reviews in mathematics was that written by Errett Bishop about Keisler’s book Elementary Calculus: an Infinitesimal Approach. In this skit we investigate both the argument itself, and some of its roots in Bishop George Berkeley’s criticism of Leibnizian and Newtonian Calculus. We also explore some of the consequences to students for whom the infinitesimal approach is congenial. The (...) casual mathematical reader may be satisfied to read the text of the five act play, whereas the others may wish to delve into the 130 footnotes, some of which contain elucidation of the mathematics or comments on the history. (shrink)

According to quasi-empiricism, mathematics is very like a branch of natural science. But if mathematics is like a branch of science, and science studies real objects, then mathematics should study real objects. Thus a quasi-empirical account of mathematics must answer the old epistemological question: How is knowledge of abstract objects possible? This paper attempts to show how it is possible.The second section examines the problem as it was posed by Benacerraf in Mathematical Truth and the next section presents a way (...) of looking at abstract objects that purports to demythologize them. In particular, it shows how we can have empirical knowledge of various abstract objects and even how we might causally interact with them. (shrink)

This paper proposes an approach to the philosophy of mathematics, deductive pluralism, that is designed to satisfy the criteria of inclusiveness of and consistency with mathematical practice. Deductive pluralism views mathematical statements as assertions that a result follows from logical and mathematical foundations and that there are a variety of incompatible foundations such as standard foundations, constructive foundations, or univalent foundations. The advantages of this philosophy include the elimination of ontological problems, epistemological clarity, and objectivity. Possible objections and relations with (...) some other philosophies of mathematics are also considered. (shrink)

An attempt was made to show how we can plausibly commit to mathematical realism. For the purpose of illustration, a defence of natural realism for arithmetic was developed that draws upon the American pragmatist’s, Hillary Putnam’s, early and later writings. Natural realism is the idea that truth is recognition-transcendent and knowable. It was suggested that the natural realist should embrace, globally, what N. Tennant has identified as M-realism (Tennant 1997, 160). M-realism is the idea that one rejects bivalence and assents (...) to the recognition-transcendent requirement. It was argued that over-all—for all domains—the natural realist should be a M-realist, with the aim of clarifying the realist debate for arithmetic. (shrink)