A kind of reasoning that constructs or evaluates propositions that are abstractions of observations of individual instances of members of the same class. Contrasts with reasoning where a general conclusion is arrived at by specific examples.