This volume is number five in the eleven volume Handbook of the History of Logic. It covers the first fifty years of the development of mathematical logic in the twentieth 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, 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
Author(s): Dov M. Gabbay, John Woods (eds.)
Publisher: Elsevier
Year: 2009
Language: English
Pages: 1069
Cover
......Page 1
Handbook of the History of Logic, Volume 5, Logic from Russell to Church......Page 2
ISBN: 9780444516206......Page 3
Preface ......Page 8
Contributors ......Page 12
Bertrand Russell's Logic ......Page 14
Logic For Meinongian Object Theory Semantics ......Page 42
The Logic Of Brouwer And Heyting ......Page 90
Thoralf Albert Skolem ......Page 140
Jacques Herbrand: Life, Logic, and Automated Deduction......Page 208
The Logic Of The Tractatus ......Page 268
Lesniewski's Logic ......Page 318
Hilbert's Proof Theory......Page 334
Hilbert's Epsilon Calculus And Its Successors ......Page 398
Godel's Logic......Page 462
Tarski's Logic ......Page 524
Emil Post ......Page 630
Gentzen's Logic ......Page 680
Lambda-calculus And Combinators In The 20th Century ......Page 736
The Logic Of Church And Curry ......Page 832
Appendix ......Page 869
Paradoxes, Self-reference And Truth In The 20th Century ......Page 888
Index ......Page 1028
