This volume is number ten in the 11-volume Handbook of the History of Logic. This handbook covers the rich history of scientific turning points in Inductive Logic, including probability theory and decision theory. c 2011 Elsevier BV. All rights reserved.

Series: Handbook of the History of Logic (Book 10). Hardcover: 800 pages.

Volume 9. Computational Logic. 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.

Amsterdam: Elsevier, 2011. 785 p. - ISBN 978-0-444-52936-7. Inductive Logic is number ten in the 11-volume Handbook of the History of Logic.

This volume is number ten in the 11-volume Handbook of the History of Logic.

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. This volume covers some of the main subareas of computational logic and its applications. Chapters by leading authorities in the field. Provides a forum where philosophers and scientists interact. Comprehensive reference source on the history of logic.

Dov Gabbay, Stephan Hartmann & John Woods (ed. - forthcoming - Elsevier. Marcin Tkaczyk - 2010 - Roczniki Filozoficzne:300-307. Volume 1: Greek, Indian and Arabian Logic. D. M. Gabbay, J. Woods & Klaus Glashoff - 2004 - Bulletin of Symbolic Logic 10 (4):579-582. Dov M. Gabbay and John Woods, Ed. Handbook of the History of Logic, Volume 3: The Rise of Modern Logic From Leibniz to Frege

We apologise for any inconvenience caused. Vicolo Centrale 1, CH-6900 Lugano-Massagno, Switzerland. Published online: 15 January 2014. Export citation Request permission. Recommend this journal. Bulletin of Symbolic Logic.

Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic - as this handbook attests - is a research field where philosophers and scientists fruitfully and constructively interact. This handbook covers the rich history of scientific turning points in Inductive Logic, including probability theory and decision theory. 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, cognitive psychology, and artificial intelligence, for whom the historical background of his or her work is a salient consideration.

Chapter on the Port Royal contributions to probability theory and decision theoryServes as a singular contribution to the intellectual history of the 20th centuryContains the latest scholarly discoveries and interpretative insights