This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...

The titile essay of this collection suggests that Bertrand Russell's lifelong preoccupation: the disentanglement, with ever-increasing precision, of what is subjective or intellectualy cloudy from what is objective or capable of logical demonstration. The first five essays he calls 'entirely popular': they include two on the revolutionary changes in mathematics in the last hundred years, and one on the value of science in human culture. The last five, 'somewhat more technical', are concerned with particular problems of philosophy: the ultimate nature (...) of matter, the connection between the sense-data and physics, the problem of casuality and different ways of knowing. In these one can see the Russell method in operation, intellectual analysis dissecting the problem to its bare bones. (shrink)

"The book includes the precursors to and the development of intuitionism, as well as the foundational debate itself. After a general overview of the debate, the analysis centers on two main issues: the question of mathematical existence and the status of logic. Finally, the cultural context of the debate is taken into account."--Jacket.

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)

This work stresses the illogical manner in which mathematics has developed, the question of applied mathematics as against 'pure' mathematics, and the challenges to the consistency of mathematics' logical structure that have occurred in the twentieth century.

It is a commonplace of constructivist thought that a claim that an object of a certain kind exists is to be backed by an explicit display or exhibition of an object that is manifestly of that kind. Let us refer to this requirement as the exhibition condition. The main objective of this essay is to examine this requirement and to arrive at a better understanding of its epistemic character and the role that it plays in the two main constructivist philosophies (...) of this century---the intuitionist programme of Brouwer and Weyl, and the finitist programme of Hilbert. (shrink)

Marcus Giaquinto tells the compelling story of one of the great intellectual adventures of the modern era: the attempt to find firm foundations for mathematics. From the late nineteenth century to the present day, this project has stimulated some of the most original and influential work in logic and philosophy.

Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...) philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gode1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Godel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.". (shrink)

PORTRAITS FROM MEMORY and Other Essays by BERTRAND RUSSELL SIMON AND SCHUSTER NEW YORK 1956 VI CONTENTS PAGE Mind and Matter 1 45 The Cult of Common Usage 1 66 ...

v. 1. Autobiography and literary essays.--v. 2-3. Principles of political economy.--v. 4-5. Essays on economics and society, 1824-1879.--v. 6. Essays on England, Ireland, and the Empire.--v. 7-8. A system of logic; ratiocinative and inductive.--v. 9. An examination of Sir William Hamilton's philosophy.--v. 10. Essays on ethics, religion and society.--v. 11. Essays on philosophy and the classics.--v. 12-13. The earlier letters, 1812-1848.--v. 14-17. The later letters, 1849-1873.--v. 18-19. Essays on politics and society.--v. 20. Essays on French history and historians.--v. 21. Essays (...) on equality, law, and education.--v. 22-25. Newspaper writings.--v. 26-27. Journals and debating speeches.--v. 28-29. Public and parliamentary speeches.--v. 30. Writings on India.--v. 31. Miscellaneous writings.--v. 32. Additional letters of John Stuart Mill.--v. 33. Indexes to the collected works of John Stuart Mill. (shrink)

EDITOR'S INTRODUCTION Throughout his life Bolzano's interest was divided between ethics and mathematics, between his will to reform the religion of the ...

On réduit habituellement les idées de Kronecker sur les fondements des mathématiques à quelque boutade ou à quelques principes rétrogrades. Ces idées constituent pourtant une doctrine originale et cohérente, justifiée par des convictions épistémologiques. Cette doctrine apparaît dans un article intitulé ‘Sur le concept de nombre’, paru en 1887 dans le Journal de Crelle, et surtout dans le dernier cours professé par Kronecker à Berlin au semestre d’été 1891. Le but de cet article est d’en préciser les principes et les (...) éléments en la comparant aux autres entreprises de fondement, afin d’en souligner l’originalité, et de montrer comment elle a déterminé la pratique mathématique de Kronecker. (shrink)

On réduit habituellement les idées de Kronecker sur les fondements des mathématiques à quelque boutade ou à quelques principes rétrogrades. Ces idées constituent pourtant une doctrine originale et cohérente, justifiée par des convictions épistémologiques. Cette doctrine apparaît dans un article intitulé ‘Sur le concept de nombre’, paru en 1887 dans le Journal de Crelle, et surtout dans le dernier cours professé par Kronecker à Berlin au semestre d’été 1891. Le but de cet article est d’en préciser les principes et les (...) éléments en la comparant aux autres entreprises de fondement, afin d’en souligner l’originalité, et de montrer comment elle a déterminé la pratique mathématique de Kronecker. (shrink)

This paper offers an explanation of how philosophy of science in the second half of the 20th century came to be so conspicuously silent on the problem of how to explain the applicability of mathematics. It examines the idea of the early logicists that the analyticity of mathematics accounts for its applicability, and how this idea was transformed during Carnap's efforts to establish a consistent and substantial philosophy of mathematics within the larger framework of Logical Empiricism. I argue that at (...) the end point of this development, philosophical discussion of the applicability problem was terminated although important aspects of the logicists' original response to the applicability problem had had to be sacrificed along the way. (shrink)

“He's [the Red King's] dreaming now,” said Tweedledee: “and what do you think he's dreaming about?”Alice said, “Nobody can guess that.”“Why, about you!” Tweedledee exclaimed, clapping his hands triumphantly. “And if he left off dreaming about you, where do you suppose you'd be?”“Where I am now, of course,” said Alice.“Not you!” Tweedledee retorted contemptuously. “You'd be nowhere. Why, you're only a sort of thing in his dream!”“If that there King was to wake,” added Tweedledum, “you'd go out—bang!—just like a candle.”“I (...) shouldn't!” Alice exclaimed indignantly. “Besides, if I'm only a sort of thing in his dream, what are you, I should like to know?”“Ditto,” said Tweedledum.“Ditto, ditto!” cried Tweedledee.He shouted this so loud that Alice couldn't help saying “Hush! You'll be waking him, I'm afraid, if you make so much noise.”“Well, it's no use your talking about waking him,” said Tweedledum, “when you're only one of the things in his dream. You know very well you're not real.”“I am real!” said Alice, and began to cry.“You won't make yourself a bit realler by crying,” Tweedledee remarked: “there's nothing to cry about.”“If I wasn't real,” Alice said—half laughing through her tears, it all seemed so ridiculous —“I shouldn't be able to cry.”“I hope you don't suppose those are real tears?” Tweedledum interrupted in a tone of great contempt.—Through the Looking Glass. (shrink)

This book, Foundations of Constructive Analysis, founded the field of constructive analysis because it proved most of the important theorems in real analysis by constructive methods. The author, Errett Albert Bishop, born July 10, 1928, was an American mathematician known for his work on analysis. In the later part of his life Bishop was seen as the leading mathematician in the area of Constructive mathematics. From 1965 until his death, he was professor at the University of California at San Diego.

Gödel's philosophical views were to a significant extent influenced by the study not only of Leibniz or Husserl, but also of Kant. Both Gödel and Kant aimed at the secure foundation of philosophy, the certainty of knowledge and the solvability of all meaningful problems in philosophy. In this paper, parallelisms between the foundational crisis of metaphysics in Kant's view and the foundational crisis of mathematics in Gödel's view are elaborated, especially regarding the problem of finding the “secure path of a (...) science” for both mathematics and philosophy. Gödel's temporal subjectivism and metaphysical conceptual objectivism are presented as positively or negatively motivated by Kant's viewpoints. A remark on Gödel's collapse of modalities (in accordance with the collapse of objective time) is added. (shrink)

The first part of this paper surveys the current literature in the history of nineteenth-century mathematics in order to show that the question “Did the increasing abstraction of mathematics lead to a sense of anxiety?” is a new and valid question. I argue that the mathematics of the nineteenth century is marked by a growing appreciation of error leading to a note of anxiety, hesitant at first but persistent by 1900. This mounting disquiet about so many aspects of mathematics after (...) 1850 is seldom discussed. The second part explores the issue of anxiety in mathematical life through an interesting account of an address made by a mathematician in 1911, Oscar Perron. The third and final part ventures some conclusions about the value of anxiety as a question for historians of mathematics to pursue. (shrink)

INTRODUCTION The subtitle of this book indicates that it may be understood to some extent as a study of that mysterious figure who for centuries passed ...

The celebrated “creation” of transfinite set theory by Georg Cantor has been studied in detail by historians of mathematics. However, it has generally been overlooked that his research program cannot be adequately explained as an outgrowth of the mainstream mathematics of his day. We review the main extra-mathematical motivations behind Cantor's very novel research, giving particular attention to a key contribution, the Grundlagen (Foundations of a general theory of sets) of 1883, where those motives are articulated in some detail. Evidence (...) from other publications and correspondence is pulled out to provide clarification and a detailed interpretation of those ideas and their impact upon Cantor's research. Throughout the paper, a special effort is made to place Cantor's scientific undertakings within the context of developments in German science and philosophy at the time (philosophers such as Trendelenburg and Lotze, scientists like Weber, Riemann, Vogt, Haeckel), and to reflect on the German intellectual atmosphere during the nineteenth century. (shrink)

Although many agree that all teaching rests on a theory of knowledge, this is an in-depth exploration of the philosophy of mathematics for education, building on the work of Lakatos and Wittgenstein.

This chapter contains sections titled: Introduction Santayana: American Naturalism's Early Role Model Some Episodes in the History of the New Naturalism Naturalism in the Last Half of the Twentieth Century.

Contemporary mathematical theories are generally thought to be consistent. But it hasn’t always been this way; there have been times in the history of mathematics when the consistency of various mathematical theories has been called into question. And some theories, such as naïve set theory and (arguably) the early calculus, were shown to be inconsistent. In this paper I will consider some of the philosophical issues arising from inconsistent mathematical theories.

There has always been interest in inconsistency in science, not least within science itself as scientists strive to devise a consistent picture of the universe. Some important early landmarks in this history are Copernicus’s criticism of the Ptolemaic picture of the heavens, Galileo’s claim that Aristotle’s theory of motion was inconsistent, and Berkeley’s claim that the early calculus was inconsistent. More recent landmarks include the classical theory of the electron, Bohr’s theory of the atom, and the on-going difficulty of reconciling (...) Einstein’s general relativity and quantum theory. But over the past few decades philosophers have taken a particular and increasing interest in inconsistency in science. In 2002 this culminated in the first collection of articles specifically dedicated to the topic: Inconsistency in Science, edited by Joke Meheus, published by Kluwer, and featuring twelve articles on a range of topics in the philosophy of science and mathematics.Since then philosophic. (shrink)

We compare Gödel’s and Brouwer’s explorations of mysticism and its relation to mathematics.

What was the basis for the adoption of mathematics as the primary mode of discourse for describing natural events by a large segment of the philosophical community in the seventeenth century? In answering this question, this book demonstrates that a significant group of philosophers shared the belief that there is no necessary correspondence between external reality and objects of human understanding, which they held to include the objects of mathematical and linguistic discourse. The result is a scholarly reliable, but accessible, (...) account of the role of mathematics in the works of Galileo, Kepler, Descartes, Newton, Leibniz, and Berkeley. This impressive volume will benefit scholars interested in the history of philosophy, mathematical philosophy and the history of mathematics. (shrink)

Marcus Giaquinto traces the story of the search for firm foundations for mathematics. The nineteenth century saw a movement to make higher mathematics rigorous; this seemed to be on the brink of success when it was thrown into confusion by the discovery of the class paradoxes. That initiated a period of intense research into the foundations of mathematics, and with it the birth of mathematical logic and a new, sharper debate in the philosophy of mathematics. The Search for Certainty focuses (...) mainly on two major twentieth-century programmes: Russell's logicism and Hilbert's finitism. Giaquinto examines their philosophical underpinnings and their outcomes, asking how successful they were, and how successful they could be, in placing mathematics on a sound footing. He sets these questions in the context of a clear, non-technical exposition and assessment of the most important discoveries in mathematical logic, above all Gödel's underivability theorems.More than six decades after those discoveries Giaquinto asks what our present perspective should be on the question of certainty in mathematics. Taking recent developments into account, he gives reasons for a surprisingly positive response. (shrink)

This massive two-volume reference presents a comprehensive selection of the most important works on the foundations of mathematics. While the volumes include important forerunners like Berkeley, MacLaurin, and D'Alembert, as well as such followers as Hilbert and Bourbaki, their emphasis is on the mathematical and philosophical developments of the nineteenth century. Besides reproducing reliable English translations of classics works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare, William Ewald also includes selections from Gauss, Cantor, Kronecker, and Zermelo, all translated here for (...) the first time. (shrink)