Formal Logic: The Calculus of Inference, Necessary and Probable