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