Outhines of a system of inductive logic - Costa, N C A (Teoria, 1987)