Logic, or the Science of Inference