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)

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.

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.

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

What conceptual blind spot kept the ancient Greeks (unlike the Indians and Maya) from developing a concept of zero? Why did St. Augustine equate nothingness with the Devil? What tortuous means did 17th-century scientists employ in their attempts to create a vacuum? And why do contemporary quantum physicists believe that the void is actually seething with subatomic activity? You’ll find the answers in this dizzyingly erudite and elegantly explained book by the English cosmologist John D. Barrow. Ranging through mathematics, theology, (...) philosophy, literature, particle physics, and cosmology, The Book of Nothing explores the enduring hold that vacuity has exercised on the human imagination. Combining high-wire speculation with a wealth of reference that takes in Freddy Mercury and Shakespeare alongside Isaac Newton, Albert Einstein, and Stephen Hawking, the result is a fascinating excursion to the vanishing point of our knowledge. (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)

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)

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)

In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

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

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

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

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 remainder of thi8 work will have a different object from that of the four preceding books, which were contained in the first volume. ...

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)

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

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)

Discusses the metaphysics of the iterative conception of set.

We present a plural logic that is as expressively strong as it can be without sacrificing axiomatisability, axiomatise it, and use it to chart the expressive limits set by axiomatisability. To the standard apparatus of quantification using singular variables our object-language adds plural variables, a predicate expressing inclusion (is/are/is one of/are among), and a plural definite description operator. Axiomatisability demands that plural variables only occur free, but they have a surprisingly important role. Plural description is not eliminable in favour of (...) quantification; on the contrary, quantification is definable in terms of it. Predicates and functors (function signs) can take plural as well as singular terms as arguments, and both many-valued and single-valued functions are expressible. The system accommodates collective as well as distributive predicates, and the condition for a predicate to be distributive is definable within it; similarly for functors. An essential part of the project is to demonstrate the soundness and completeness of the calculus with respect to a semantics that does without set-theoretic domains and in which the use of settheoretic extensions of predicates and functors is replaced by the sui generis relations and functions for which the extensions were at best artificial surrogates. Our metalanguage is designed to solve the difficulties involved in talking plurally about individuals and about the semantic values of plural items. (shrink)

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)