Why is Mises "permitted" to define "Economics is an a priori science", if a priori is not trustworthy?

Mathematics has axioms. The study of Logic, as a formal subject in itself, has axioms. Empirical sciences do not have axioms. The physical sciences don't have axioms.

Pretending economics was an a priori science was an act of intellectual dishonesty, in order to provide a pseudo-intellectual basis for the counter-empirical work of the Austrians.

Although I disagree with von Mises, he was reacting to what he saw as a very real problem, which was the use of relatively primitive statistical methods to describe behavior. In fact, Leonard Jimmie Savage's work on probability and statistics should have been sufficient to meet his objections, although the computational speed would not have yet existed for that to have been worthwhile.

The challenge the Austrians have is that they are really arguing that no regularities exist in human behavior. They do not see it that way, but probability and statistics are about the discovery of regularities. Their position is that humans are too unique to be subject to statistical measurement. All of economics could be solved axiomatically, in his understanding.

I would agree with him, as long as you got every axiom correct and the set was complete and properly partitioned for all possible cases. Of course, the only way you could know that would be empirically and that would defeat his argument.

Although other branches of economics use axiomatic assertions, they then check to see if the predicted behavior really happens that way. If so the axioms are at least not disconfirmed. Most assumptions are also things nobody would disagree with.

For example, there is a proposition that humans prefer some things to other things. If you also assume that for any pairing of goods, we will call them x and y, then either y is not dispreferred to x or x is not dispreferred to y, or neither or dispreferred to each other. If you add transitivity where for all triples x,y,z then if x is not dispreferred to y and y is not dispreferred to z then z is not dispreferred to x.

If those conditions hold, then it can be shown by theorem that it must be true that a utility function exists such that if the utility of x is not less than the utility of y then y is not dispreferred to x.

If those assumptions do not hold, then something else is true, but if they do hold then the entire mathematical theory of functions opens up to economics. With the addition of some other mild assumptions, then calculus becomes available.

These do not need empirical checking because it is the only possible outcome, by force of math. To go much past this point, however, becomes tenuous. For example, must some of these functions be concave or are there circumstances where they could be convex. If they can be convex, do real-world examples of this convexity exist? Do real-world examples of the concave case exist? Are there forced implications from either case or the existence of both cases?

These questions can only be approached empirically.

Human action (agency) is considered a device that developed through evolution to enhance the probability of survival of a concrete, local organism in a concrete, local environment. What Mises argues then would be that given the assumption that agency takes place in concrete, local situations it cannot be known in advance or second-guessed by a central calculation device.

Economics knowledge on the other hand is based on a priori laws. These are a helpful tool for understanding human economic activity. But they cannot cannot explain human economic activity, which is based on concrete, local human action. Nor can the laws of economics themselves be falsified by empirical evidence.

Human Action, p.56:

[Economics] is not quantitative and does not measure because there are no constants. Statistical figures referring to economic events are historical data. They tell us what happened in a nonrepeatable historical case. Physical events can be interpreted on the ground of our knowledge concerning constant relations established by experiments. Historical events are not open to such an interpretation.

Hence the Austrian preference for markets for economic calculation because they facilitate concrete, local human action. This view appears to prevail in mainstream economics and the economic calculation debate is considered closed.