(No abstract is available for this citation).

This is a concise introductory textbook for a one semester course in the history and philosophy of mathematics. It is written for mathematics majors, philosophy students, history of science students and secondary school mathematics teachers. The only prerequisite is a solid command of pre-calculus mathematics. It is shorter than the standard textbooks in that area and thus more accessible to students who have trouble coping with vast amounts of reading. Furthermore, there are many detailed explanations of the important mathematical procedures (...) actually used by famous mathematicians, giving more mathematically talented students a greater opportunity to learn the history and philosophy by way of problem solving. Several important philosophical topics are pursued throughout the text, giving the student an opportunity to come to a full and consistent knowledge of their development. These topics include infinity, the nature of motion, and Platonism. This book offers, in fewer pages, a deep penetration into the key mathematical and philosophical aspects of the history of mathematics. (shrink)

The philosophy of mathematics plays an important role in analytic philosophy, both as a subject of inquiry in its own right, and as an important landmark in the broader philosophical landscape. Mathematical knowledge has long been regarded as a paradigm of human knowledge with truths that are both necessary and certain, so giving an account of mathematical knowledge is an important part of epistemology. Mathematical objects like numbers and sets are archetypical examples of abstracta, since we treat such objects in (...) our discourse as though they are independent of time and space; finding a place for such objects in a broader framework of thought is a central task of ontology, or metaphysics. The rigor and precision of mathematical language depends on the fact that it is based on a limited vocabulary and very structured grammar, and semantic accounts of mathematical discourse often serve as a starting point for the philosophy of language. Although mathematical thought has exhibited a strong degree of stability through history, the practice has also evolved over time, and some developments have evoked controversy and debate; clarifying the basic goals of the practice and the methods that are appropriate to it is therefore an important foundational and methodological task, locating the philosophy of mathematics within the broader philosophy of science. (shrink)

In 1977, when I was nine years old, Doubleday released Asimov on Numbers, a collection of essays that had first appeared in Isaac Asimov’s Science Fiction and Fantasy column. My mother, recognizing my penchant for science fiction and mathematics, bought me a copy as soon as it hit the bookstores. The essays covered topics such as number systems, combinatorial curiosities, imaginary numbers, and π. I was especially taken, however, by an essay titled “Varieties of the infinite,” which included a photograph (...) and short biographical sketch of Georg Cantor, and a brief introduction to his theory of the infinite. (shrink)

When physicists disagree as to whose theory is right, they can (if we radically idealize) form an experiment whose results will settle the difference. When logicians disagree, there seems to be no possibility of resolution in this manner. In Paradox and Paraconsistency John Woods presents a picture of disagreement among logicians, mathematicians, and other “abstract scientists” and points to some methods for resolving such disagreement. Our review begins with (very) short sketches of the chapters. Following the sketches, we respond to (...) a few of Woods’ arguments. (shrink)

MATHEMATICS AND PHILOSOPHY ARE CLOSELY LINKED, and several great mathematicians who were at the same time great philosophers come to mind— Pythagoras, Descartes and Leibniz, for instance. One great mathematician of the modern era in whose thinking philosophy played a major role was Hermann Weyl (1885–1955), whose work encompassed analysis, number theory, topology, differential geometry, relativity theory, quantum mechanics, and mathematical logic. His many writings are informed by a vast erudition, an acute philosophical awareness, and even, on occasion, a certain (...) playfulness. No matter what the subject may be—mathematics, physics, philosophy—Weyl’s writing fascinates both by the depth of insight it reveals and by its startling departures from academic convention. Who else would have the daring to liken (as he does in the discussion of Space and Time in his Philosophy of Mathematics and Natural Science), a coordinate system to “the residue of the annihilation of the ego”1? Or then (somewhat further on in the same discussion) to express the belief in the impossibility of a completely objective account of individual consciousness by the assertion “...it is shattered by Judas’ desperate outcry, ‘Why did I have to be Judas?’”2. (shrink)

THE CLOSE CONNECTION BETWEEN mathematics and philosophy has long been recognized by practitioners of both disciplines. The apparent timelessness of mathematical truth, the exactness and objective nature of its concepts, its applicability to the phenomena of the empirical world— explicating such facts presents philosophy with some of its subtlest problems. Let me begin by reminding you of some celebrated past attempts made by philosophers and mathematicians to explicate the nature of mathematics.

In this paper a number of oppositions which have haunted mathematics and philosophy are described and analyzed. These include the Continuous and the Discrete, the One and the Many, the Finite and the Infinite, the Whole and the Part, and the Constant and the Variable.

THE CLOSE CONNECTION BETWEEN mathematics and philosophy has long been recognized by practitioners of both disciplines. The apparent timelessness of mathematical truth, the exactness and objective nature of its concepts, its applicability to the phenomena of the empirical world—explicating such facts presents philosophy with some of its subtlest problems. We shall discuss some of the attempts made by philosophers and mathematicians to explain the nature of mathematics. We begin with a brief presentation of the views of four major classical philosophers: (...) Plato, Aristotle, Leibniz, and Kant. We conclude with a more detailed discussion of the three “schools” of mathematical philosophy which have emerged in the twentieth century: Logicism, Formalism, and Intuitionism. (shrink)

In this paper a number of oppositions which have haunted mathematics and philosophy are described and analyzed. These include the Continuous and the Discrete, the One and the Many, the Finite and the Infinite, the Whole and the Part, and the Constant and the Variable.

The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers.

The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox (Russell's Paradox), a challenge to 'classical' mathematics from a world-famous mathematician (the 'mathematical intuitionism' of Brouwer), a new foundational school (Hilbert's Formalism), and the profound incompleteness results of Kurt Gödel. In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, and Gödel himself, (...) and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field. (shrink)

Since Descartes, mathematics has been dominated by a reductionist tendency, whose success would seem to promise greater certainty: the fewer basic objects mathematics can be understood as dealing with, and the fewer principles one is forced to assume about these objects, the easier it will be to establish a secure foundation for it. But this tendency has had the effect of sharply limiting the expressive power of mathematics, in a way that is made especially apparent by its disappointing applications to (...) the social sciences. We should move in the opposite direction: toward a mathematics that deals in general with constructed objects, and whose scope includes fictional, poetic characters as much as numbers and sets. (shrink)

I argue against a formidable interpretation of Plato’s Divided Line image according to which dianoetic correctly applies the same method as dialectic. The difference between the dianoetic and dialectic sections of the Line is not methodological, but ontological. I maintain that while this interpretation correctly identifies the mathematical method with dialectic, ( i.e. , the method of philosophy), it incorrectly identifies the mathematical method with dianoetic. Rather, Plato takes dianoetic to be a misapplication of the mathematical method by a subset (...) of practicing mathematicians. Thus, Plato’s critique of dianoetic is a not a critique of mathematics, as such, but of mathematicians. (shrink)

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

Arguments to the effect that Church's thesis is intrinsically unprovable because proof cannot relate an informal, intuitive concept to a mathematically defined one are unconvincing, since other 'theses' of this kind have indeed been proved, and Church's thesis has been proved in one direction. However, though evidence for the truth of the thesis in the other direction is overwhelming, it does not yet amount to proof.

Finally the book concludes with a discussion of the most recent debates between realists and nominalists.

1. Introduction : the mathematical image -- 2. Platonism -- 3. Picture-proofs and Platonism -- 4. What is applied mathematics? -- 5. Hilbert and Gödel -- 6. Knots and notation -- 7. What is a definition? -- 8. Constructive approaches -- 9. Proofs, pictures and procedures in Wittgenstein -- 10. Computation, proof and conjecture -- 11. How to refute the continuum hypothesis -- 12. Calling the bluff.

Philosophy of Mathematics is clear and engaging, and student friendly The book discusses the great philosophers and the importance of mathematics to their thought. Among topics discussed in the book are the mathematical image, platonism, picture-proofs, applied mathematics, Hilbert and Godel, knots and notation definitions, picture-proofs and Wittgenstein, computation, proof and conjecture.

Stimulating, thought-provoking analysis of a number of the most interesting intellectual inconsistencies in mathematics, physics and language. Delightful elucidations of methods for misunderstanding the real world of experiment (Aristotle’s Circle paradox), being led astray by algebra (De Morgan’s paradox) and other mind-benders. Some high school algebra and geometry is assumed; any other math needed is developed in text. Reprint of 1982 ed.

My contribution to the symposium on Goedel’s philosophy of mathematics at the spring 2006 Association for Symbolic Logic meeting in Montreal. Provisional version: references remain to be added. To appear in an ASL volume of proceedings of the Goedel sessions at that meeting.

onl y to discuss some claims concerning the relationship between mathematical logic and the philosophy of mathematics that repeatedly occur in his writings. Although I do not know to what extent they are representative of his present position, they correspond to widespread views of the logical community and so seem worth discussing anyhow. Such claims will be used as reference to make some remarks about the present state of relations between mathematical logic and the philosophy of mathematics.

In article <18311.25b44848@merrimack.edu> ain14924@merrimack.edu writes: Reminds me of a friend of mine who claims that the number 17 is "the most random" number. His proof ran as follows: pick a number. It's not really as good a random number as 17, is it? (Invariable Answer: "Umm, well, no...") This reminds me of a little experiment I did a couple of years ago. I stood on a busy street corner in Oxford, and asked passers by to "name a random number between (...) zero and infinity." I was wondering what this "random" distribution would look like. (shrink)

AUTHOR'S PREFACE TO ENGLISH EDITION The English edition of Granice Nauki is essentially different from the original text. Chapter VII is completely changed. ...

In this ambitious study, David Corfield attacks the widely held view that it is the nature of mathematical knowledge which has shaped the way in which mathematics is treated philosophically, and claims that contingent factors have brought us to the present thematically limited discipline. Illustrating his discussion with a wealth of examples, he sets out a variety of approaches to new thinking about the philosophy of mathematics, ranging from an exploration of whether computers producing mathematical proofs or conjectures are doing (...) real mathematics, to the use of analogy, the prospects for a Bayesian confirmation theory, the notion of a mathematical research programme, and the ways in which new concepts are justified. His highly original book challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines, and points clearly to the ways in which this can be done. (shrink)

This article was written jointly by a philosopher and a mathematician. It has two aims: to acquaint mathematicians with some of the philosophical questions at the foundations of their subject and to familiarize philosophers with some of the answers to these questions which have recently been obtained by mathematicians. In particular, we argue that, if these recent findings are borne in mind, four different basic philosophical positions, logicism, formalism, platonism and intuitionism, if stated with some moderation, are in fact reconcilable, (...) although with some reservations in the case of logicism, provided one adopts a nominalistic interpretation of Plato's ideal objects. This eclectic view has been asserted by Lambek and Scott (LS 1986) on fairly technical grounds, but the present argument is meant to be accessible to a wider audience and to provide some new insights. (shrink)

The first part of this paper consists of an exposition of the views expressed by Pierre Duhem in his Aim and Structure of Physical Theory concerning the philosophy and historiography of mathematics. The second part provides a critique of these views, pointing to the conclusion that they are in need of reformulation. In the concluding third part, it is suggested that a number of the most important claims made by Duhem concerning physical theory, e.g., those relating to the Newtonian method, (...) the limited falsifiability of theories, and the restricted role of logic, can be meaningfully applied to mathematics. (shrink)

A new edition of the classic introduction to mathematics, first published in 1930 and revised in the 1950s, explains the history and tenets of mathematics, ...

Presents general information about meteorology, weather, and climate and includes more than thirty activities to help study these topics, including making a ...

As initially envisioned, Gödel's "Collected Works" were to include transcriptions of material from his mathematical workbooks. In the end that material, as well as some other manuscript items from Gödel's "Nachlass," had to be left out. This note describes some of the unpublished items in the "Nachlass" that are likely to attract the notice of scholars and surveys the extent of shorthand transcription efforts undertaken hitherto. Some examples of sources outside Gödel's "Nachlass" that may be of interest to Gödel scholars (...) are also indicated. (shrink)

This book reconstructs, both from the historical and theoretical points of view, Leibniz's geometrical studies, focusing in particular on the research Leibniz ...

In 1926 Hermann Weyl’s Philosophy of Mathematics and Natural Science appeared in Oldenbourg’s Handbuch der Philosophie. At the time Hilbert’s formalist program to “eradicate via proof theory all the foundational questions of mathematics” was in full swing. As a pupil of Hilbert, Weyl was looking to the complete and ultimate success of Hilbert’s program, a confidence evident in Weyl’s treatment of the foundations of mathematics in the original version of Philosophy of Mathematics and Natural Science. But in an appendix to (...) that same text appearing twenty years later, Weyl (1949, p. 219) admitted that this confidence was misplaced. (shrink)

Proof, Logic and Formalization addresses the various problems associated with finding a philosophically satisfying account of mathematical proof. It brings together many of the most notable figures currently writing on this issue in an attempt to explain why it is that mathematical proof is given prominence over other forms of mathematical justification. The difficulties that arise in accounts of proof range from the rightful role of logical inference and formalization to questions concerning the place of experience in proof and the (...) possibility of eliminating impredictive reasoning from proof. Students and lecturers of philosophy, philosophy of logic, and philosophy of mathematics will find this to be essential reading. A companion volume entitled Proof and Logic in Mathematics is also available from Routledge. (shrink)

The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments. Highlights of this volume from the 2005 meeting include three papers on different aspects of connections between model theory and algebra; a survey of recent major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's (...) philosophy of mathematics. (shrink)

The Protean Character of Mathematics SAUNDERS MAC LANE (Chicago) 1. Introduction The thesis of this paper is that mathematics is protean. ...

There are many algorithm texts that provide lots of well-polished code and proofs of correctness. Instead, this book presents insights, notations, and analogies to help the novice describe and think about algorithms like an expert. By looking at both the big picture and easy step-by-step methods for developing algorithms, the author helps students avoid the common pitfalls. He stresses paradigms such as loop invariants and recursion to unify a huge range of algorithms into a few meta-algorithms. Part of the goal (...) is to teach the students to think abstractly. Without getting bogged with formal proofs, the book fosters a deeper understanding of how and why each algorithm works. These insights are presented in a slow and clear manner accessible to second- or third-year students of computer science, preparing them to find their own innovative ways to solve problems. (shrink)

Kitcher and Aspray distinguish a mainstream tradition in the philosophy of mathematics concerned with foundationalist epistemology, and a ‘maverick’ or naturalistic tradition, originating with Lakatos. My claim is that if the consequences of Lakatos's contribution are fully worked out, no less than a radical reconceptualization of the philosophy of mathematics is necessitated, including history, methodology and a fallibilist epistemology as central to the field. In the paper an interpretation of Lakatos's philosophy of mathematics is offered, followed by some critical discussion, (...) and an extension to a social constructivist position (which might well have been unacceptable to Lakatos). (shrink)

This edited volume, aimed at both students and researchers in philosophy, mathematics and history of science, highlights leading developments in the overlapping areas of philosophy and the history of modern mathematics. It is a coherent, wide ranging account of how a number of topics in the philosophy of mathematics must be reconsidered in the light of the latest historical research and how a number of historical accounts can be deepened by embracing philosophical questions.

Throughout history, almost all mathematicians, physicists and philosophers have been of the opinion that space and time are infinitely divisible. That is, it is usually believed that space and time do not consist of atoms, but that any piece of space and time of non-zero size, however small, can itself be divided into still smaller parts. This assumption is included in geometry, as in Euclid, and also in the Euclidean and non- Euclidean geometries used in modern physics. Of the few (...) who have denied that space and time are infinitely divisible, the most notable are the ancient atomists, and Berkeley and Hume. All of these assert not only that space and time might be atomic, but that they must be. Infinite divisibility is, they say, impossible on purely conceptual grounds. (shrink)

The goal of this book is to make available to the scholarly public solid reconstructions and editions of two of the most important essays which Godel wrote on ...

The distinction between analytic and synthetic propositions, and with that the distinction between a priori and a posteriori truth, is being abandoned in much of analytic philosophy and the philosophy of most of the sciences. These distinctions should also be abandoned in the philosophy of mathematics. In particular, we must recognize the strong empirical component in our mathematical knowledge. The traditional distinction between logic and mathematics, on the one hand, and the natural sciences, on the other, should be dropped. Abstract (...) mathematical objects, like transcendental numbers or Hilbert spaces, are theoretical entities on a par with electromagnetic fields or quarks. Mathematical theories are not primarily logical deductions from axioms obtained by reflection on concepts but, rather, are constructions chosen to solve some collection of problems while fitting smoothly into the other theoretical commitments of the mathematician who formulates them. In other words, a mathematical theory is a scientific theory like any other, no more certain but also no more devoid of content. (shrink)

Peter Geach proposed a substitutional construal of quantification over thirty years ago. It is not standardly substitutional since it is not tied to those substitution instances currently available to us; rather, it is pegged to possible substitution instances. We argue that (i) quantification over the real numbers can be construed substitutionally following Geach's idea; (ii) a price to be paid, if it is that, is intuitionism; (iii) quantification, thus conceived, does not in itself relieve us of ontological commitment to real (...) numbers. (shrink)

A review of Carl Huffman's recent edition of the fragments of Archytas of Tarentum, along with translations of dubious material rejected by Huffman.

Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable on another. We argue that the claim that definitional contexts impose restrictions on the (...) scope of quantifiers reveals a natural way out. (shrink)

According to Kant, pure intuition is an indispensable ingredient of mathematical proofs. Kant‘s thesis has been considered as obsolete since the advent of modern relational logic at the end of 19th century. Against this logicist orthodoxy Cassirer’s “critical idealism” insisted that formal logic alone could not make sense of the conceptual co-evolution of mathematical and scientific concepts. For Cassirer, idealizations, or, more precisely, idealizing completions, played a fundamental role in the formation of the mathematical and empirical concepts. The aim of (...) this paper is to outline the basics of Cassirer’s idealizational account, and to point at some interesting similarities it has with Kant’s and Peirce’s philosophies of mathematics based on the key notions of pure intuition and theorematic reasoning, respectively. (shrink)

The Pythagorean idea that numbers are the key to understanding reality inspired philosophers in late Antiquity (4th and 5th centuries A.D.) to develop theories in physics and metaphysics based on mathematical models. This book draws on some newly discovered evidence, including fragments of Iamblichus's On Pythagoreanism, to examine these early theories and trace their influence on later Neoplatonists (particularly Proclus and Syrianus) and on medieval and early modern philosophy.

What is at stake for Russell in espousing logicism? I argue that Russell's aims are chiefly epistemological and mathematical in nature. Russell develops logicism in order to give an account of the character of mathematics and of mathematical knowledge that is compatible with what he takes to be the uncontroversial status of this science as true, certain and exact. I argue for this view against the view of Peter Hylton, according to which Russell uses logicism to defend the unconditional truth (...) of mathematics against various Idealist positions that treat mathematics as true only partially or only relative to a particular point of view. (shrink)