Title: A system of logic rationative and inductive