One of the frustrations, even dangers of economic modeling, be it more
theoretical or more applied, is its looming “bad infinity”: economic
theory may appear as just “one damn model after another”.
If empirical observation would put tight and direct constraints on
which models deserve to be taken seriously at all, this combinatorial
explosion would be much less of a problem than it is in fact. I
broadly agree with Tzachi that the typically rather loose connection
between empirical observation and theories or models is central to
the epistemological predicament of economics, and should play a
central role in meta-economic discussions such as those about the role
of axioms.
An important role of axioms is to locate models – say models expressed
in terms of functional forms – in logical space. In this way, axioms
serve to generate an entire logically interrelated set of models, or
theoretical map of a space of possible models, rather than merely
informing us about one particular point in that space. This is
important not least because any particular model will be false with
near certainty (to the extent that truth-falsity of models is a
meaningful distinction to begin with). A well-developed theoretical
map informs us, for example, about the various ways a particular
putative benchmark model such as SEU may fail, and what difference
such failure would make.
In the context of decision making under uncertainty, we have a fairly
well-developed theoretical map at this point. This success is due in
no small part to the way in which the Savage axioms, for example,
break down the specificity of the SEU model into various axiomatically
described behavioral dimensions such as transitivity, probabilistic
sophistication, Independence (or better, I would suggest, utility
sophistication), that can be evaluated independently.
By contrast, to take another example, in the context of decision
making with self-control problems, we have a few models, but no
theoretical map yet. I believe that the value of the axiomatic work in
this area would be greatly enhanced if it leads to such a theoretical
map.