inductive logic
nounDefinition of inductive logic
: a branch of logic that deals with induction
especially
: the logic or theory of the methods and reasonings of empirical science