Logic from Russell to Church

Front Cover
Dov M. Gabbay, John Woods
Elsevier, Jun 16, 2009 - Mathematics - 1068 pages
0 Reviews
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
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Chapter 1 Bertrand Russells Logic
1
Chapter 2 Logic for Meinongian Object Theory Semantics
29
Chapter 3 The Logic of Brouwer and Heyting
77
Chapter 4 Thoralf Albert Skolem
127
Life Logic and Automated Deduction
195
Chapter 6 The Logic of the Tractatus
255
Chapter 7 Leśniewskis Logic
305
Chapter 8 Hilberts Proof Theory
321
Chapter 10 Gödels Logic
449
Chapter 11 Tarskis Logic
511
Chapter 12 Emil Post
617
Chapter 13 Gentzens Logic
667
Chapter 14 Lambdacalculus and Combinators in the 20th Century
723
Chapter 15 The Logic of Church and Curry
819
Chapter 16 Paradoxes Selfreference and Truth in the 20th Century
875
Index
1015

Chapter 9 Hilberts Epsilon Calculus and its Successors
385

Common terms and phrases

About the author (2009)

Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.

Bibliographic information