In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce’s important late writings. Among the most influential American thinkers, Peirce took his existential graphs to be his greatest contribution to human thought. The manuscripts from 1895—1913, most of which are published here for the first time, testify the richness and open-endedness of his theory of logic and its applications. They also invite us to reconsider our ordinary conceptions of reasoning as well as the conventional stories told about the evolution of modern logic. This second volume collects Peirce’s writings on existential graphs related to his Lowell Lectures of 1903, the annus mirabilis of his that became decisive in the development of the mature theory of the graphical method of logic.
In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce’s important late writings. Among the most influential American thinkers, Peirce took his existential graphs to be his greatest contribution to human thought. The manuscripts from 1895—1913, most of which are published here for the first time, testify the richness and open-endedness of his theory of logic and its applications. They also invite us to reconsider our ordinary conceptions of reasoning as well as the conventional stories told about the evolution of modern logic. This second volume collects Peirce’s writings on existential graphs related to his Lowell Lectures of 1903, the annus mirabilis of his that became decisive in the development of the mature theory of the graphical method of logic.
In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce's important late writings. Among the most influential American thinkers, Peirce took his existential graphs to be his greatest contribution to human thought. The manuscripts from 1895--1913, most of which are published here for the first time, testify the richness and open-endedness of his theory of logic and its applications. They also invite us to reconsider our ordinary conceptions of reasoning as well as the conventional stories told about the evolution of modern logic. This second volume collects Peirce's writings on existential graphs related to his Lowell Lectures of 1903, the annus mirabilis of his that became decisive in the development of the mature theory of the graphical method of logic.
In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce’s most important late writings. Among the most influential American thinkers, Peirce took his existential graphs to be a significant contribution to human thought. The manuscripts from 1895–1913, with many of them being published here for the first time, testify to the richness and open-endedness of his theory of logic and its applications. They also invite us to reconsider our ordinary conceptions of reasoning as well as the conventional stories concerning the evolution of modern logic. This first volume of Logic of the Future is on the historical development, theory and application of Peirce’s graphical method and diagrammatic reasoning. It also illustrates the abundant further developments and applications Peirce envisaged existential graphs to have on the analysis of mathematics, language, meaning and mind.
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Using a strict mathematical approach, this is the only book available that contains complete and precise proofs of all of these important theorems: * Gödel's theorems of completeness and incompleteness * The independence of Goodstein's theorem from Peano arithmetic * Tarski's theorem on real closed fields * Matiyasevich's theorem on diophantine formulas Logic of Mathematics also features: * Full coverage of model theoretical topics such as definability, compactness, ultraproducts, realization, and omission of types * Clear, concise explanations of all key concepts, from Boolean algebras to Skolem-Löwenheim constructions and other topics * Carefully chosen exercises for each chapter, plus helpful solution hints At last, here is a refreshingly clear, concise, and mathematically rigorous presentation of the basic concepts of mathematical logic-requiring only a standard familiarity with abstract algebra. Employing a strict mathematical approach that emphasizes relational structures over logical language, this carefully organized text is divided into two parts, which explain the essentials of the subject in specific and straightforward terms. Part I contains a thorough introduction to mathematical logic and model theory-including a full discussion of terms, formulas, and other fundamentals, plus detailed coverage of relational structures and Boolean algebras, Gödel's completeness theorem, models of Peano arithmetic, and much more. Part II focuses on a number of advanced theorems that are central to the field, such as Gödel's first and second theorems of incompleteness, the independence proof of Goodstein's theorem from Peano arithmetic, Tarski's theorem on real closed fields, and others. No other text contains complete and precise proofs of all of these theorems. With a solid and comprehensive program of exercises and selected solution hints, Logic of Mathematics is ideal for classroom use-the perfect textbook for advanced students of mathematics, computer science, and logic.
George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gödel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on logic and the philosophy of mathematics. John Burgess has provided introductions to each of the three parts of the volume, and also an afterword on Boolos's technical work in provability logic, which is beyond the scope of this volume.
Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students of computer science at Imperial College, it has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting properties of open sets in the real line. Second, the methods of locale theory are freely exploited. Third, there is substantial discussion of some computer science applications. Although books on topology aimed at mathematics exist, no book has been written specifically for computer scientists. As computer scientists become more aware of the mathematical foundations of their discipline, it is appropriate that such topics are presented in a form of direct relevance and applicability. This book goes some way towards bridging the gap.