Handbook of the History of Logic – serie
2 280 kr
Skickas inom 5-8 vardagar
British Logic in the Nineteenth Century
3 500 kr
Skickas inom 5-8 vardagar
The Rise of Modern Logic: from Leibniz to Frege
2 593 kr
Skickas inom 7-10 vardagar
2 508 kr
Skickas inom 7-10 vardagar
Sets and Extensions in the Twentieth Century
2 288 kr
Skickas inom 7-10 vardagar
Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. It is as a field of mathematics that both proceeds with its own internal questions and is capable of contextualizing over a broad range, which makes set theory an intriguing and highly distinctive subject. This handbook covers the rich history of scientific turning points in set theory, providing fresh insights and points of view. 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 mathematics, the history of philosophy, and any discipline such as computer science, cognitive psychology, and artificial intelligence, for whom the historical background of his or her work is a salient consideration
Serves as a singular contribution to the intellectual history of the 20th century Contains the latest scholarly discoveries and interpretative insightsLogic and the Modalities in the Twentieth Century
2 716 kr
Skickas inom 5-8 vardagar
The Many Valued and Nonmonotonic Turn in Logic
3 709 kr
Skickas inom 5-8 vardagar
2 288 kr
Skickas inom 7-10 vardagar
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.
Chapters by leading authorities in the field Provides a forum where philosophers and scientists interact Comprehensive reference source on the history of logic2 541 kr
Skickas inom 5-8 vardagar
2 386 kr
Skickas inom 7-10 vardagar
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 theory Serves as a singular contribution to the intellectual history of the 20th century Contains the latest scholarly discoveries and interpretative insightsLogic: A History of its Central Concepts
2 288 kr
Skickas inom 7-10 vardagar
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. It is the first work in English in which the history of logic is presented so extensively. The volumes are numerous and large. 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.
Covers in depth the notion of logical consequence Discusses the central concept in logic of modality Includes the use of diagrams in logical reasoning