Logic: Or the Science of Inference