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