A System of Logic Ratiocinative and Inductive