Series: Handbook of the History of Logic

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. The Handbook is the first work in English in which the history of logic is presented so extensively. Authors have been given considerable latitude to produce chapters of a length, and a level of detail, that would lay fair claim on the ambitions of the project to be a definitive research work. Authors have been carefully selected with this aim in mind. They and the Editors join in the conviction that a knowledge of the history of logic is nothing but beneficial to the subject's present-day research programmes. One of the attractions of the Handbook's several volumes is the emphasis they give to the enduring relevance of developments in logic throughout the ages, including some of the earliest manifestations of the subject.

The Handbook of the History of Logic will be necessary reading for researchers, and graduate and senior undergraduate students in logic in all its forms, argumentation theory, AI and computer science, cognitive psychology and neuroscience, linguistics, forensics, philosophy and the philosophy and the history of philosophy, and the history of ideas.

Book Series: Computational Logic

Most recent volume


Volume 9. Computational Logic

Published: 1st November 2014 Editors: Dov M. Gabbay Jörg Siekmann John Woods

Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen international conferences and several times as many workshops addressing the growing richness and diversity of the field, and with the foundational role and importance these methods now assume in mathematics, computer science, artificial intelligence, cognitive science, linguistics, law and many engineering fields where logic-related techniques are used inter alia to state and settle correctness issues, the field has diversified in ways that even the pure logicians working in the early decades of the twentieth century could have hardly anticipated.

Logical calculi, which capture an important aspect of human thought, are now amenable to investigation with mathematical rigour and computational support and fertilized the early dreams of mechanised reasoning: “Calculemus”. The Dartmouth Conference in 1956 – generally considered as the birthplace of artificial intelligence – raised explicitly the hopes for the new possibilities that the advent of electronic computing machinery offered: logical statements could now be executed on a machine with all the far-reaching consequences that ultimately led to logic programming, deduction systems for mathematics and engineering, logical design and verification of computer software and hardware, deductive databases and software synthesis as well as logical techniques for analysis in the field of mechanical engineering. This volume covers some of the main subareas of computational logic and its applications.

Additional volumes


Volume 11. Logic: A History of its Central Concepts

Published: 11th October 2012 Editors: Dov M. Gabbay Francis Pelletier John Woods

Volume 6. Sets and Extensions in the Twentieth Century

Published: 24th January 2012 Series Volume Editors: Dov M. Gabbay Akihiro Kanamori John Woods

Volume 10. Inductive Logic

Published: 5th May 2011 Series Volume Editor: Stephan Hartmann Editors: Dov M. Gabbay John Woods

Volume 5. Logic from Russell to Church

Published: 26th May 2009 Editors: Dov M. Gabbay John Woods

Volume 2. Mediaeval and Renaissance Logic

Published: 12th February 2008 Editors: Dov M. Gabbay John Woods

Volume 4. British Logic in the Nineteenth Century

Published: 25th January 2008 Editors: Dov M. Gabbay John Woods

Volume 8. The Many Valued and Nonmonotonic Turn in Logic

Published: 6th July 2007 Editors: Dov M. Gabbay John Woods

Volume 7. Logic and the Modalities in the Twentieth Century

Published: 10th May 2006 Editors: Dov M. Gabbay John Woods

Volume 3. The Rise of Modern Logic: from Leibniz to Frege

Published: 8th March 2004 Editors: Dov M. Gabbay John Woods

Volume 1. Greek, Indian and Arabic Logic

Published: 6th February 2004 Editors: Dov M. Gabbay John Woods