A System of Logic, Ratiocinative and Inductive (Vol. 1 of 2)