Handbook of the History of Logic. Volume 05: Logic from Russell to Church

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 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 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 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 In 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, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, non-monotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality