a-system-of-logic-ratiocinative-and-inductive