Appropriate for upper-level undergraduates and graduate students, this volume includes a variety of Boole's writings on logical subjects, along with papers on related questions of probability. His earlier work, The Mathematical Analysis of Logic, appears here, together with an account of the notes Boole made on his own interleaved copy. In addition, the appendices contain relevant papers by contemporaries with whom the author engaged in discussion, making it possible to trace interesting developments in Boolean reasoning-particularly in regard to his extended (...) treatment of the relation between formal logic and the theory of probabilities. 1952 ed. (shrink)

This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.