Sorry, I don't understand your argument. Are you actually talking about rational choice theory?
> Since both rationality and the paper showing that it is bounded are based on formal models
There is no paper showing that "rationality" is bounded. Models use to consider actors making purely rational choices in the sense that they are always optimizing their utility functions using all available information. Bounded rationility is a different way of modeling actors choice function. It's just a different model. There is no model of models.
Still I don't see what any of that has to do with the difference between formal and informal models. Informal model is a term I have never heard used outside of policy discussion. It's basically dress up for "because the expert said so".
> Since both rationality and the paper showing that it is bounded are based on formal models
There is no paper showing that "rationality" is bounded. Models use to consider actors making purely rational choices in the sense that they are always optimizing their utility functions using all available information. Bounded rationility is a different way of modeling actors choice function. It's just a different model. There is no model of models.
Still I don't see what any of that has to do with the difference between formal and informal models. Informal model is a term I have never heard used outside of policy discussion. It's basically dress up for "because the expert said so".