System of Logic Ratiocinative and Inductive