En principe, les modèles simulés peuvent être considérés comme une extension des modèles mathématiques. Étant donné un ensemble T de propositions verbales, associer à cet ensemble — qu'on peut, si on le désire, appeler théorie — un modèle M, c'est, grosso modo, donner aux propositions de T, si elles ne l'ont pas déjà, une forme telle qu'il soit possible d'en déduire, par un calcul (1), de nouvelles propositions. M peut être obtenu à partir de T de différentes manières, mais essentiellement par trois procédures qu'on peut s'accorder à nommer spécification, simplification et réduction. On appellera spécification l'opération qui consiste à redéfinir une notion ou relation de T de manière à rendre un calcul possible. Ainsi, on sait qu'il est d'usage en économétrie d'assimiler dans les équations de l'offre le prix anticipé au prix de l'année précédente: sans discuter le bien-fondé d'une telle assimilation, il est visible que son principal intérêt réside en ce que, de cette manière, les équations de l'offre et de la demande définissent un système clos, dont on peut prévoir le comportement, si on connaît les conditions initiales et si on peut estimer les paramètres des équations (2). L'opération de simplification consiste à ignorer certaines propositions de manière à rendre un calcul possible. Ainsi, nombre de modèles épidémiologiques appliqués aux phénomènes sociaux ignorent délibérément, comme on le verra dans un exemple analysé plus bas, la distance physique ou sociale entre les individus. L'opération de réduction consiste enfin à associer un modèle non à une théorie, mais seulement à certaines de ses conséquences. Ainsi, de considérations théoriques complexes, dérivées de Durkheim et Mannheim, on peut tirer la proposition que le caractère ordonné de la biographie professionnelle doit être associé à un degré de participation sociale plus élevé: le modèle de l'analyse de variance qu'applique alors Wilensky (3) ne concerne évidemment que cette conséquence et non l'ensemble de propositions dont elle découle, de sorte que, dans ce cas, le modèle permet d'éprouver, non pas T, mais une conséquence de T qui peut aussi bien appartenir à une autre théorie T'.