Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

Things and Their Place in Theories Our talk of external things, our very notion of things, is just a conceptual apparatus that helps us to foresee and ...

Die Grundlagen gehören zu den klassischen Texten der Sprachphilosophie, Logik und Mathematik. Frege stützt sein Programm einer Begründung von Arithmetik und Analysis auf reine Logik, indem er die natürlichen Zahlen als bestimmte Begriffsumfänge definiert. Die philosophische Fundierung des Fregeschen Ansatzes bilden erkenntnistheoretische und sprachphilosophische Analysen und Begriffserklärungen. Studienausgabe aufgrund der textkritisch herausgegebenen Jubiläumsausgabe (Centenarausgabe). Mit Einleitung, Anmerkungen, Literaturverzeichnis und Namenregister.

Mathematicians tend to think of themselves as scientists investigating the features of real mathematical things, and the wildly successful application of mathematics in the physical sciences reinforces this picture of mathematics as an objective study. For philosophers, however, this realism about mathematics raises serious questions: What are mathematical things? Where are they? How do we know about them? Offering a scrupulously fair treatment of both mathematical and philosophical concerns, Penelope Maddy here delineates and defends a novel version of mathematical realism. (...) She answers the traditional questions and poses a challenging new one, refocusing philosophical attention on the pressing foundational issues of contemporary mathematics. (shrink)

Naturalism in Mathematics investigates how the most fundamental assumptions of mathematics can be justified. One prevalent philosophical approach to the problem--realism--is examined and rejected in favor of another approach--naturalism. Penelope Maddy defines this naturalism, explains the motivation for it, and shows how it can be successfully applied in set theory. Her clear, original treatment of this fundamental issue is informed by current work in both philosophy and mathematics, and will be accessible and enlightening to readers from both disciplines.

8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index.

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 ...

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)

The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for ...

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject.

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a (...) simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual. (shrink)

Available for the first time in 20 years, here are two important works from the 1920s by the best-known representative of the Vienna Circle.

This exploration of a notorious mathematical problem is the work of the man who discovered the solution. Written by an award-winning professor at Stanford University, it employs intuitive explanations as well as detailed mathematical proofs in a self-contained treatment. This unique text and reference is suitable for students and professionals. 1966 edition. Copyright renewed 1994.

Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil set (...) theory. Potter offers a strikingly simple version of the most widely accepted response to the paradoxes, which classifies sets by means of a hierarchy of levels. What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true. Set Theory and its Philosophy is a key text for philosophy, mathematical logic, and computer science. (shrink)

Kurt Godel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Less well-known is his discovery of unusual cosmological models for Einstein's (...) equations, permitting "time-travel" into the past. This second volume of a comprehensive edition of Godel's works collects together all his publications from 1938 to 1974. Together with Volume I (Publications 1929-1936), it makes available for the first time in a single source all of his previously published work. Continuing the format established in the earlier volume, the present text includes introductory notes that provide extensive explanatory and historical commentary on each of the papers, a facing English translation of the one German original, and a complete bibliography. Succeeding volumes are to contain unpublished manuscripts, lectures, correspondence, and extracts from the notebooks. Collected Works is designed to be accessible and useful to as wide an audience as possible without sacrificing scientific or historical accuracy. The only complete edition available in English, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science. These volumes will also interest scientists and all others who wish to be acquainted with one of the great minds of the twentieth century. (shrink)

In Infinity and the Mind, Rudy Rucker leads an excursion to that stretch of the universe he calls the "Mindscape," where he explores infinity in all its forms: potential and actual, mathematical and physical, theological and mundane. Here Rucker acquaints us with Gödel's rotating universe, in which it is theoretically possible to travel into the past, and explains an interpretation of quantum mechanics in which billions of parallel worlds are produced every microsecond. It is in the realm of infinity, he (...) maintains, that mathematics, science, and logic merge with the fantastic. By closely examining the paradoxes that arise from this merging, we can learn a great deal about the human mind, its powers, and its limitations. Using cartoons, puzzles, and quotations to enliven his text, Rucker guides us through such topics as the paradoxes of set theory, the possibilities of physical infinities, and the results of Gödel's incompleteness theorems. His personal encounters with Gödel the mathematician and philosopher provide a rare glimpse at genius and reveal what very few mathematicians have dared to admit: the transcendent implications of Platonic realism. (shrink)

Die "Paradoxien des Unendlichen" sind ein Klassiker der Philosophie der Mathematik und zugleich eine gute Einführung in das Denken des "Urgroßvaters" der analytischen Philosophie. Das Unendliche - seit jeher ein Faszinosum für die philosophische Reflexion - wurde in der Zeit nach der Grundlegung der Analysis durch Leibniz und Newton in der Mathematik zunächst als Problem betrachtet, das sich nicht vollkommen widerspruchsfrei behandeln lässt. Bernard Bolzano, der heute als "Urgroßvater der analytischen Philosophie" (Michael Dummett) gilt, zeigt in diesem klassisch gewordenen Text (...) jedoch, dass es beim Nachdenken über das Unendliche, sofern man begrifflich differenziert argumentiert und klare Definitionen zugrunde legt, keine echten Widersprüche gibt und sich die "Paradoxien des Unendlichen" auflösen lassen. Bolzano setzt sich zunächst mit den Unendlichkeitsbegriffen der Mathematik und der (idealistisch geprägten) Philosophie seiner Zeit auseinander, bevor er sich Schritt für Schritt die analytischen Grundlagen einer konsistenten Theorie des Unendlichen erarbeitet. Bereits einige Jahrzehnte vor Georg Cantors bis heute maßgeblicher mathematischer Unendlichkeitsdefinition gelingt Bolzano mit diesem Werk, dessen logische Klarheit und dessen Grad an philosophischer Durchdachtheit bis heute Beispielcharakter haben, die Rehabilitation des Unendlichen für die Philosophie der Mathematik. Die "Paradoxien des Unendlichen" wurden zuerst 1851 aus dem Nachlass herausgegeben. Diese Neuausgabe beruht auf dem der Erstausgabe zugrundeliegenden Manuskript. (shrink)

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

This important book by a major American philosopher brings together eleven essays treating problems in logic and the philosophy of mathematics.

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and reworking the proofs. Infinite cardinals are treated anew in clearer and fuller terms than before. Improvements have been made all through the book; in various instances a proof has been shortened, a theorem strengthened, a space-saving (...) lemma inserted, an obscurity clarified, an error corrected, a historical omission supplied, or a new event noted. (shrink)

The remainder of thi8 work will have a different object from that of the four preceding books, which were contained in the first volume. ...

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)

SYMBOLIC LOGIC. CHAPTER I. ON THE FORMS OF LOGICAL PROPOSITION. IT has been mentioned in the Introduction that the System of Logic which this work is ...

This influential 1888 publication explained the real numbers, and their construction and properties, from first principles.