Synopses & Reviews
A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated algebraically.
Synopsis
"A classic of pure mathematics and symbolic logic ... the publisher is to be thanked for making it available." Scientific American
George Boole was on of the greatest mathematicians of the 19th century, and one of the most influential thinkers of all time. Not only did he make important contributions to differential equations and calculus of finite differences, he also was the discoverer of invariants, and the founder of modern symbolic logic. According to Bertrand Russell, "Pure mathematics was discovered by George Boole in his work published in 1854."
This work is the first extensive statement of the modern view that mathematics is a pure deductive science that can be applied to various situations. Boole first showed how classical logic could be treated with algebraic terminology and operations, and then proceeded to a general symbolic method of logical interference; he also attempted to devise a calculus of probabilities which could be applied to situations hitherto considered beyond investigation.
The enormous range of this work can be seen from chapter headings: Nature and Design of This Work; Signs and Their Laws; Derivation of Laws; Division of Propositions; Principles of Symbolical Reasoning; Interpretation; Elimination; Reduction; Methods of Abbreviation; Conditions of a Perfect Method; Secondary Propositions; Methods in Secondary Propositions; Clarke and Spinoza; Analysis, Aristotelian Logic; Theory of Probabilities; General Method in Probabilities; Elementary Illustrations; Statistical Conditions; Problems on Causes; Probability of Judgments; Constitution of the Intellect. This last chapter, Constitution of the Intellect, is a very significant analysis of the psychology of discovery and scientific method."
Synopsis
A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated algebraically.
Table of Contents
Chapter I. Nature and Design of this Work
Chapter II. Signs and their Laws
Chapter III. Derivation of the Laws
Chapter IV. Division of Propositions
Chapter V. Principles of Symbolical Reasoning
Chapter VI. Of Interpretation
Chapter VII. Of Elimination
Chapter VIII. Of Reduction
Chapter IX. Methods of Abbreviation
Chapter X. Conditions of a Perfect Method
Chapter XI. Of Secondary Propositions
Chapter XII. Methods in Secondary Propositions
Chapter XIII. Clarke and Spinoza
Chapter XIV. Examples of Analysis
Chapter XV. Of the Aristotelian Logic
Chapter XVI. Of the Theory of Probabilities
Chapter XVII. General Method in Probabilities
Chapter XVIII. Elementary Illustrations
Chapter XIX. Of Statistical Conditions
Chapter XX. Problems on Causes
Chapter XXI. Probability of Judgments
Chapter XXII. Constitution of the Intellect