“The philosophy of reasoning, to be complete, ought to comprise the theory of bad as well as of good reasoning.”