This is the softcover reprint of the very popular hardcover edition. The theory of large cardinals is currently a broad mainstream of modern set theory, the main area of investigation for the analysis of the relative consistency of mathematical propositions and possible new axioms for mathematics. The first of a projected multi-volume series, this book provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research. A a oegenetica approach is taken, presenting the subject in the context of its historical development. With hindsight the consequential avenues are pursued and the most elegant or accessible expositions given. With open questions and speculations provided throughout the reader should not only come to appreciate the scope and coherence of the overall enterprise but also become prepared to pursue research in several specific areas by studying the relevant sections.

This is the first single-volume edition and translation of Frege's philosophical writings to include all of his seminal papers and substantial selections from all three of his major works. It is intended to provide the essential primary texts for students of logic, metaphysics and philosophy of language.

It contains, in particular, Frege's four essays 'Function and Concept', 'On Sinn and Bedeutung', 'On Concept and Object' and 'Thought', and new translations of key parts of the Begriffschrift , Grundlagen and Grundgesetze . Additional selections have also been made from his Collected Papers , Posthumous Writings and Correspondence . The editor's introduction provides an overview of the development and significance of Frege's philosophy, highlighting some of the main issues of interpretation. Footnotes, appendices and other editorial material have been supplied to facilitate understanding of the works of one of the central figures in modern philosophy.

Kurt Gödel (1906-1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory and stronger systems, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, the foundations of computation theory, unusual cosmological models, and for the strong individuality of his writings on the philosophy of mathematics. The Collected Works is a landmark resource that draws together a lifetime of creative accomplishment. The first two volumes were devoted to Gödel's publications in full (both in the original and translation). This third volume features a wide selection of unpublished articles and lecture texts found in Gödel's Nachlass , documents that enlarge considerably our appreciation of his scientific and philosophical thought and add a great deal to our understanding of his motivations. Continuing
the format of the earlier volumes, the present volume includes introductory notes that provide extensive explanatory and historical commentary on each of the papers, English translations of material originally written in German (some transcribed from Gabelsberger shorthand), and a complete bibliography. A succeeding volume is to contain a comprehensive selection of Gödel's scientific correspondence and a complete inventory of his Nachlass . The books are 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.

Offering a philosophical introduction to set theory, this book interweaves a presentation of the technical material with a philosophical critique. At every stage, it discusses the reasons that can be offered for believing it to be true. It is designed as a key text for philosophy, mathematical logic, and computer science.