a system of logic ratiocinative and inductive