Formal Logic Or, The Calculus Of Inference