Logic from Russell to Church
  • Author : Dov M. Gabbay
  • Release Date : 16 June 2009
  • Publisher : Elsevier
  • Genre : Mathematics
  • Pages : 1068
  • ISBN 13 : 9780080885476

Logic from Russell to Church Book Summary

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

Logic from Russell to Church

Logic from Russell to Church

Author : Dov M. Gabbay,John Woods
Publisher : Elsevier
Genre : Mathematics
Total View : 3538 Views
File Size : 50,8 Mb
Get Book

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

Principia Mathematica

Principia Mathematica

Author : Alfred North Whitehead,Bertrand Russell
Publisher : Unknown
Genre : Logic, Symbolic and mathematical
Total View : 661 Views
File Size : 49,6 Mb
Get Book

...

Logic  A History of its Central Concepts

Logic A History of its Central Concepts

Author : Dov M. Gabbay,Francis Jeffry Pelletier,John Woods
Publisher : Newnes
Genre : Mathematics
Total View : 5908 Views
File Size : 46,5 Mb
Get Book

The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is the first work in English in which the history of logic is presented so extensively. The volumes are numerous ...

Frege and the Logic of Sense and Reference

Frege and the Logic of Sense and Reference

Author : Kevin C. Klement
Publisher : Routledge
Genre : Philosophy
Total View : 8781 Views
File Size : 41,5 Mb
Get Book

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

Russell s Logical Atomism

Russell s Logical Atomism

Author : David Bostock
Publisher : Oxford University Press
Genre : Philosophy
Total View : 5097 Views
File Size : 43,8 Mb
Get Book

David Bostock presents a critical appraisal of Bertrand Russell's philosophy from 1900 to 1924—a period that is considered to be the most important in his career. Russell developed his theory of logic from 1900 to 1910, and over those years wrote the famous work Principia Mathematica with A. N. Whitehead. Bostock explores Russell's ...

British Logic in the Nineteenth Century

British Logic in the Nineteenth Century

Author : Dov M. Gabbay,John Woods
Publisher : Elsevier
Genre : Mathematics
Total View : 477 Views
File Size : 51,9 Mb
Get Book

The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic. British Logic ...