Formal Logic: Or, The Calculus of Inference, Necessary and Probable

From the end of antiquity to the middle of the nineteenth century it was generally believed that Aristotle had said all that there was to say concerning the rules of logic and inference. One of the ablest British mathematicians of his age, Augustus De Morgan (1806-71) played an important role in overturning that assumption with the publication of this book in 1847. He attempts to do several things with what we now see as varying degrees of success. The first is to treat logic as a branch of mathematics, more specifically as algebra. Here his contributions include his laws of complementation and the notion of a universe set. De Morgan also tries to tie together formal and probabilistic inference. Although he is never less than acute, the major advances in probability and statistics at the beginning of the twentieth century make this part of the book rather less prophetic.