A system of logic, ratiocinative and inductive. In two volumes