A System of Logic, Ratiocinative and Inductive