Title: A system of logic ratiocinative and inductive