Formal Logic, Or, The Calculus Of Inference, Necessary And Probable