Bøger i Handbook of the History of Logic serien

Focuses on the development of modal logic in the 20th century, one of the most important undertakings in logic's long history. This book explores the logics of necessity and possibility, knowledge and belief, obligation and permission, time, tense and change, relevance, and more.

Suitable for those interested in the development of logic, including researchers, students of logic, history of logic, mathematics, history of mathematics, computer science, AI, linguistics, cognitive science, argumentation theory, and the history of ideas, this book includes chapters covering a range of modal logic.

Provides detailed and comprehensive chapters covering the range of modal logic. This title contains the scholarly discoveries and interpretative insights that answer various questions in the field of logic. It is intended for those interested in the development of logic, including researchers, graduate and senior undergraduate students in logic.

Covers the rich history of scientific turning points in Inductive Logic, including probability theory and decision theory. This book is suitable for senior undergraduates, graduate students and researchers in the history of logic, and the history of philosophy.

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.

Together with the other volumes, Greek, Indian and Arabic Logic, this title is suitable for everyone with a curiosity about logic's long development, especially researchers, graduate and senior undergraduate students in logic in all its forms, argumentation theory, AI and computer science, cognitive psychology and neuroscience, and linguistics.

Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. This handbook covers the rich history of scientific turning points in set theory, providing fresh insights and points of view.