Over at the economics blog, A Fine Theorem, there is a post about economic modelling.
My first comment is that the poster misunderstands the axiomatic method in pure mathematics.  It is not the case that “axioms are by assumption true”.  Truth is a bivariant relationship between some language or symbolic expression and the world.  Pure mathematicians using axiomatic methods make no assumptions about the relationship between their symbolic expressions of interest and the world.   Rather they deduce consequences from the axioms, as if those axioms were true, but without assuming that they are.    How do I know they do not assume their axioms to be true?  Because mathematicians often work with competing, mutually-inconsistent, sets of axioms, for example when they consider both Euclidean and non-Euclidean geometries, or when looking at systems which assume the Axiom of Choice and systems which do not.   Indeed, one could view parts of the meta-mathematical theory called Model Theory as being the formal and deductive exploration of multiple, competing sets of axioms.
On the question of economic modeling, the blogger presents the views of Gerard Debreu on why the abstract mathematicization of economics is something to be desired.   One should also point out the very great dangers of this research program, some of which we are suffering now.  The first is that people — both academic researchers and others — can become so intoxicated with the pleasures of mathematical modeling that they mistake the axioms and the models for reality itself.  Arguably the widespread adoption of financial models assuming independent and normally-distributed errors was the main cause of the Global Financial Crisis of 2008, where the errors of complex derivative trades (such as credit default swaps) were neither independent nor as thin-tailed as Normal distributions are.  The GFC led, inexorably, to the Great Recession we are all in now.
Secondly, considered only as a research program, this approach has serious flaws.  If you were planning to construct a realistic model of human economic behaviour in all its diversity and splendour, it would be very odd to start by modeling only that one very particular, and indeed pathological, type of behaviour examplified by homo economicus, so-called rational economic man.   Acting with with infinite mental processing resources and time, with perfect knowledge of the external world, with perfect knowledge of his own capabilities, his own goals, own preferences, and indeed own internal knowledge, with perfect foresight or, if not, then with perfect knowledge of a measure of uncertainty overlaid on a pre-specified sigma-algebra of events, and completely unencumbered with any concern for others, with any knowledge of history, or with any emotions, homo economicus is nowhere to be found on any omnibus to Clapham.  Starting economic theory with such a creature of fiction would be like building a general theory of human personality from a study only of convicted serial killers awaiting execution, or like articulating a general theory of evolution using only a hand-book of British birds.   Homo economicus is not where any reasonable researcher interested in modeling the real world would start from in creating a theory of economic man.
And, even if this starting point were not on its very face ridiculous, the fact that economic systems are complex adaptive systems should give economists great pause.   Such systems are, typically, not continuously dependent on their initial conditions, meaning that a small change in input parameters can result in a large change in output values.   In other words, you could have a model of economic man which was arbitrarily close to, but not identical with, homo economicus, and yet see wildly different behaviours between the two.  Simply removing the assumption of infinite mental processing resources creates a very different economic actor from the assumed one, and consequently very different properties at the level of economic systems.  Faced with such overwhelming non-continuity (and non-linearity), a naive person might expect economists to be humble about making predictions or giving advice to anyone living outside their models.   Instead, we get an entire profession labeling those human behaviours which their models cannot explain as “irrational”.
My anger at The Great Wen of mathematical economics arises because of the immorality this discipline evinces:   such significant and rare mathematical skills deployed, not to help alleviate suffering or to make the world a better place (as those outside Economics might expect the discipline to aspire to), but to explore the deductive consequences of abstract formal systems, systems neither descriptive of any reality, nor even always implementable in a virtual world.