Logic from Russell to Church
- ISBN-10
- 0080885470
- ISBN-13
- 9780080885476
- Category
- Mathematics
- Pages
- 1068
- Language
- English
- Published
- 2009-06-16
- Publisher
- Elsevier
- Authors
- Dov M. Gabbay, John Woods
Description
This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts: set theory, model theory, proof theory and recursion theory. Collectively, this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, and artificial intelligence, for whom the historical background of his or her work is a salient consideration. • The entire range of modal logic is covered • Serves as a singular contribution to the intellectual history of the 20th century • Contains the latest scholarly discoveries and interpretative insights
Get the book
Other editions
Similar books
-
Introduction to Mathematical Logic, V1: Princeton Mathematical Series
By Alonzo ChurchIntroduction to Mathematical Logic, V1: Princeton Mathematical Series
-
Principia Mathematica
By Alfred North Whitehead, Bertrand RussellThe Principia Mathematica has long been recognised as one of the intellectual landmarks of the century.
-
The Rise of Modern Logic: from Leibniz to Frege
By Dov M. Gabbay, John WoodsSein und Schein: Die kritische Funktion der Hegelschen Logik. Frankfurt a/M.: Suhrkamp, 1980. [Wallace, 1894] W. Wallace. Prolegomena to the Study of Hegel's Philosophy and especially of his Logic. Oxford: Clarendon, 1894.
-
Logic and the Modalities in the Twentieth Century
By Dov M. Gabbay, John WoodsWith the publication of the present volume, the Handbook of the History of Logic turns its attention to the remarkable renaissance of modal logic in the 20th century. Beginning with...
-
Handbook of the History of Logic: Inductive logic
By Dov M. Gabbay, John Hayden WoodsIn designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects ...
-
Logic: A History of its Central Concepts
By Dov M. Gabbay, John Woods, Francis Jeffry PelletierIt is the first work in English in which the history of logic is presented so extensively. The volumes are numerous and large.
-
Foundations of Logic, 1903-05
By Bertrand RussellThis volume covers the period from the beginning of Whitehead and Russell's work on Volume 2 of the Principles of Mathematics to the critical discovery of the theory of descriptions in 1905.
-
The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel
By I. Grattan-GuinnessThe many-sided story of the reception is recorded up to 1940, including the rise of logic in Poland and the impact on Vienna Circle philosophers Carnap and Gödel.
-
The Elements of Mathematical Logic
By Paul C. RosenbloomAn excellent introduction to mathematical logic, this book provides readers with a sound knowledge of the most important approaches to the subject, stressing the use of logical methods in attacking nontrivial problems.
-
Frege and the Logic of Sense and Reference
By Kevin C. KlementRussell's views on the nature of propositions committed him implicitly to certain views regarding their identity ... Church built his formulation of Russellian intensional logic on his reconstruction of the system of Principia ...