This abridged text of the most famous work ever written on the foundations of mathematics contains material that is most relevant to an introductory study of logic and the philosophy of mathematics.
An in-depth history of the linguistic turn in analytic philosophy, from a leading philosopher of language This is the second of five volumes of a definitive history of analytic philosophy from the invention of modern logic in 1879 to the end of the twentieth century. Scott Soames, a leading philosopher of language and historian of analytic philosophy, provides the fullest and most detailed account of the analytic tradition yet published, one that is unmatched in its chronological range, topics covered, and depth of treatment. Focusing on the major milestones and distinguishing them from detours, Soames gives a seminal account of where the analytic tradition has been and where it appears to be heading. Volume 2 provides an intensive account of the new vision in analytical philosophy initiated by Ludwig Wittgenstein’s Tractatus Logico-Philosophicus, its assimilation by the Vienna Circle of Moritz Schlick and Rudolf Carnap, and the subsequent flowering of logical empiricism. With this “linguistic turn,” philosophical analysis became philosophy itself, and the discipline’s stated aim was transformed from advancing philosophical theories to formalizing, systematizing, and unifying science. In addition to exploring the successes and failures of philosophers who pursued this vision, the book describes how the philosophically minded logicians Kurt Gödel, Alfred Tarski, Alonzo Church, and Alan Turing discovered the scope and limits of logic and developed the mathematical theory of computation that ushered in the digital era. The book’s account of this pivotal period closes with a searching examination of the struggle to preserve ethical normativity in a scientific age.
Originally published in 1910, Principia Mathematica led to the development of mathematical logic and computers and thus to information sciences. It became a model for modern analytic philosophy and remains an important work. In the late 1960s the Bertrand Russell Archives at McMaster University in Canada obtained Russell's papers, letters and library. These archives contained the manuscripts for the new Introduction and three Appendices that Russell added to the second edition in 1925. Also included was another manuscript, 'The Hierarchy of Propositions and Functions', which was divided up and re-used to create the final changes for the second edition. These documents provide fascinating insight, including Russell's attempts to work out the theorems in the flawed Appendix B, 'On Induction'. An extensive introduction describes the stages of the manuscript material on the way to print and analyzes the proposed changes in the context of the development of symbolic logic after 1910.
The History of Mathematics: A Source-Based Approach is a comprehensive history of the development of mathematics. This, the second volume of a two-volume set, takes the reader from the invention of the calculus to the beginning of the twentieth century. The initial discoverers of calculus are given thorough investigation, and special attention is also paid to Newton's Principia. The eighteenth century is presented as primarily a period of the development of calculus, particularly in differential equations and applications of mathematics. Mathematics blossomed in the nineteenth century and the book explores progress in geometry, analysis, foundations, algebra, and applied mathematics, especially celestial mechanics. The approach throughout is markedly historiographic: How do we know what we know? How do we read the original documents? What are the institutions supporting mathematics? Who are the people of mathematics? The reader learns not only the history of mathematics, but also how to think like a historian. The two-volume set was designed as a textbook for the authors' acclaimed year-long course at the Open University. It is, in addition to being an innovative and insightful textbook, an invaluable resource for students and scholars of the history of mathematics. The authors, each among the most distinguished mathematical historians in the world, have produced over fifty books and earned scholarly and expository prizes from the major mathematical societies of the English-speaking world.
This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing.
Immanuel Kant's Critique of Pure Reason is widely taken to be the starting point of the modern period of mathematics while David Hilbert was the last great mainstream mathematician to pursue important nineteenth cnetury ideas. This two-volume work provides an overview of this important era of mathematical research through a carefully chosen selection of articles. They provide an insight into the foundations of each of the main branches of mathematics—algebra, geometry, number theory, analysis, logic and set theory—with narratives to show how they are linked. Classic works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare are reproduced in reliable translations and many selections from writers such as Gauss, Cantor, Kronecker and Zermelo are here translated for the first time. The collection is an invaluable source for anyone wishing to gain an understanding of the foundation of modern mathematics.
This long-awaited second volume of Russell's best letters reveals the inner workings of a philosophical genius and an impassioned campaigner for peace and social reform. The letters, only three of which have been published before, cover most of Russell's adult life, a period in which he wrote over thirty books, including his famous History of Western Philosophy. Richly illustrated with photographs from Russell's life, the collection includes letters to Ho Chi Minh, Tito, Jawaharlal Nehru and Albert Einstein.
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere. The title takes its name from David Hilbert's seminal talk Axiomatisches Denken, given at a meeting of the Swiss Mathematical Society in Zurich in 1917. This marked the beginning of Hilbert's return to his foundational studies, which ultimately resulted in the establishment of proof theory as a new branch in the emerging field of mathematical logic. Hilbert also used the opportunity to bring Paul Bernays back to Gottingen as his main collaborator in foundational studies in the years to come. The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations. Chapter 8 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Oxford Studies in Philosophy of Mind presents cutting-edge work in the philosophy of mind, combining invited articles and articles selected from submissions. Each volume will highlight two themes to bring focus to debates. The series will reflect the diversity of methods adopted in contemporary philosophy of mind and provide a venue for rigorous and innovative work by both established and up-and-coming voices in the field. The themes covered in the second volume are doxastic states, the metaphysics of mind, and Spinoza's role in the history of philosophy of mind.
