The Bourbaki-Debreu delusion of axiomatic economics

10 September, 2016 at 18:30 | Posted in Economics | 3 Comments

By the time that we have arrived at the peak first climbed by Arrow and Debreu, the central question boils down to something rather simple. We can phrase the question in the context of an exchange economy, but producers can be, and are, incorporated in the model. There is a rather arid economic environment referred to as a purely competitive market in which individuals receive signals as to the prices of all goods. All the individuals have preferences over all bundles of goods. They also have endowments or incomes defined by the prices of the goods, and this determines what is feasible for them, and the set of feasible bundles constitutes their budget set.bourbaki Choosing the best commodity bundle within their budget set determines their demand at each price vector. Under what assumptions on the preferences will there be at least one price vector that clears all markets, that is, an equilibrium? Put alternatively, can we find a price vector for which the excess demand for each good is zero? The question as to whether a mechanism exists to drive prices to the equilibrium has become secondary, and Herb Scarf’s famous example (1960) had already dealt that discussion a blow.

The warning bell was sounded by such authors as Donald Saari and Carl Simon (1978), whose work gave an indication, but one that has been somewhat overlooked, as to why the stability problem was basically unsolvable in the context of the general equilibrium model. The most destructive results were, of course, already there, those of Hugo Sonnenschein (1974), Rolf Mantel (1974), and Debreu (1974) himself. But those results show the model’s weakness, not where that weakness comes from. Nevertheless, the damage was done. What is particularly interesting about that episode is that it was scholars of the highest reputation in mathematical economics who brought the edifice down. This was not a revolt of the lower classes of economists complaining about the irrelevance of formalism in economics; this was a palace revolution.

Alan Kirman

Some of us have for years been urging economists to pay attention to the ontological foundations of their assumptions and models. Sad to say, economists have not paid much attention — and so modern economics has become increasingly irrelevant to the understanding of the real world.

an-inconvenient-truth1Within mainstream economics internal validity is still everything and external validity nothing. Why anyone should be interested in that kind of theories and models is beyond imagination. As long as mainstream economists do not come up with any export-licenses for their theories and models to the real world in which we live, they really should not be surprised if people say that this is not science, but autism!

Studying mathematics and logics is interesting and fun. It sharpens the mind. In pure mathematics and logics we do not have to worry about external validity. But economics is not pure mathematics or logics. It’s about society. The real world. Forgetting that, economics is really in dire straits.

Mathematical axiomatic systems lead to analytic truths, which do not require empirical verification, since they are true by virtue of definitions and logic. It is a startling discovery of the twentieth century that sufficiently complex axiomatic systems are undecidable and incomplete. That is, the system of theorem and proof can never lead to ALL the true sentences about the system, and ALWAYS contain statements which are undecidable – their truth values cannot be determined by proof techniques. More relevant to our current purpose is that applying an axiomatic hypothetico-deductive system to the real world can only be done by means of a mapping, which creates a model for the axiomatic system. These mappings then lead to assertions about the real world which require empirical verification. These assertions (which are proposed scientific laws) can NEVER be proven in the sense that mathematical theorems can be proven …

hqdefaultMany more arguments can be given to explain the difference between analytic and synthetic truths, which corresponds to the difference between mathematical and scientific truths … The scientific method arose as a rejection of the axiomatic method used by the Greeks for scientific methodology. It was this rejection of axiomatics and logical certainty in favour of empirical and observational approach which led to dramatic progress in science. However, this did involve giving up the certainties of mathematical argumentation and learning to live with the uncertainties of induction. Economists need to do the same – abandon current methodology borrowed from science and develop a new methodology suited for the study of human beings and societies.

Asad Zaman



RSS feed for comments on this post. TrackBack URI

  1. Lars, I’m not sure why your title refers to Bourbaki, who seem to me blameless. Asad rightly notes that the (confused) axiomatic method used by the Greeks had to be rejected before progress could be made. But since when did Bourbaki promote such a method? Rather, weren’t they following Hilbert, who ‘refined’ out of all recognition the Greek approach?

    My understanding of contemporary physics is that they routinely rely on axiomatic methods. They haven’t gone away at all, but rather are now better contextualised and hence reliable. Maybe the same could be true for economics. The problem of economics, it seems to me, is not that it has tried to be scientific but that it has just tried to ape some of the findings of science without doing the heavy lifting.

    As an example, Bourbaki developed measure theory, which roughly corresponds to the type of probability theory favoured by economists. But some of the edges are very rough and Keynes, you, and I think the difference matters. So why aren’t Bourbaki our allies?

  2. Asad Zaman: Even if we measure thousands of real world triangles and find that they have Euclidean properties, tomorrow we may find one which does not.
    If Asad Zaman finds a Euclidean triangle lying around somewhere in the real world, I’d very much like to see photographic proof; perhaps he could put it on Instagram.
    Zaman’s conceptualization goes off the rails here: . . . applying an axiomatic hypothetico-deductive system to the real world can only be done by means of a mapping, which creates a model for the axiomatic system. He’s right that crossing from analysis to synthesis, a mapping is involved, but it is completely crazy to assert that the mapping is “mapping the axiomatic system”. We don’t need to map the axiomatic system; we need a map to understand and measure the the world. We use geometry to map the world; we never map geometry.
    It’s almost inexplicable that he gets this so wrong. Does he not know what he’s saying, that he slips so easily into “mapping” as a map of the geometry? It is clear that this is no inadvertent slip of the tongue, but at the core of his thesis: “Measuring triangles from mountaintops is an attempt to establish a synthetic truth that Euclidean geometry holds on the surface of the planet – under certain mappings, this would prove false since the surface is curved. Other mappings, which respect the curvature would validate and verify Euclidean geometry.” WTF? Why would anyone ever be interested in establishing Euclidean geometry as “a synthetic truth”?
    The work of synthesis undertaken by, say, the scientific field known as geodesy, is an example Zaman might take seriously.

  3. The thing about axioms is not that they are absolutely true, but that their apparent truth provides us with a solid place on which to build our assumptions. This is the basis of scientific theory, not that we know it for sure, but that to our best knowledge and understanding the resulting analysis seems to be good, and can later be checked by the design and running of a critical experiment.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

Blog at
Entries and comments feeds.