Title: a system of logic ratiocinative and inductive