From the Latin for "to lead", this method that goes from specific to general was the basis of Bacon's scientific method
They refer to theories 
sometimes as 'models', which usually have a mathematical or computational 
basis.