A system Logic, Ratiotinative and Inductive