Title: Formal Logic, or, the Calculus of Inference, Necessary and Probable