True synthetic a priori statements

Em "Economic Science and the Austrian Method ", Hoppe

"It took painstaking intellectual effort to recognize explicitly what, once made explicit, everybody recognizes immediately as true and can understand as true synthetic a priori statements, i.e., propositions that can be validated independently of observations and thus cannot possibly be falsified by any observation whatsoever.

The attempt to disprove the action-axiom would itself be an action aimed at a goal, requiring means, excluding other courses of action, incurring costs, subjecting the actor to the possibility of achieving or not achieving the desired goal and so leading to a profit or a loss.

And the very possession of such knowledge then can never be disputed, and the validity of these concepts can never be falsified by any contingent experience, for disputing or falsifying anything would already have presupposed their very existence. As a matter of fact, a situation in which these categories of action would cease to have a real existence could itself never be observed, for making an observation, too, is an action.

Mises's great insight was that economic reasoning has its foundation in just this understanding of action; and that the status of economics as a sort of applied logic derives from the status of the action-axiom as an a priori-true synthetic proposition.

The laws of exchange, the law of diminishing marginal utility, the Ricardian law of association, the law of price controls, and the quantity theory of money, all the examples of economic propositions which I have mentioned can be logically derived from this axiom. And this is why it strikes one as ridiculous to think of such propositions as being of the same epistemological type as those of the natural sciences. To think that they are, and accordingly to require testing for their validation, is like supposing that we had to engage in some fact-finding process without knowing the possible outcome in order to establish the fact that one is indeed an actor. In a word: It is absurd.

Praxeology says that all economic propositions which claim to be true must be shown to be deducible by means of formal logic from the incontestably true material knowledge regarding the meaning of action. Specifically, all economic reasoning consists of the following:

(1) an understanding of the categories of action and the meaning of a change occurring in such things as values, preferences, knowledge, means, costs, etc(

(2) a description of a world in which the categories of action assume concrete meaning, where definite people are identified as actors with definite objects specified as their means of action, with some definite goals identified as values and definite things specified as costs. Such description could be one of a Robinson Crusoe world, or a world with more than one actor in which interpersonal relationships are possible; of a world of barter exchange or of money and exchanges that make use of money as a common medium of exchange; of a world of only land, labor, and time as factors of production, or a world with capital products; of a world with perfectly divisible or indivisible, specific or unspecific factors of production; or of a world with diverse social institutions, treating diverse actions as aggression and threatening them with physical punishment, etc; and

(3) a logical deduction of the consequences which result from the performance of some specified action within this world, or of the consequences which result for a specific actor if this situation is changed in a specified way.

Provided there is no flaw in the process of deduction, the conclusions that such reasoning yield must be valid a priori because their validity would ultimately go back to nothing but the indisputable axiom of action. If the situation and the changes introduced into it are fictional or assumptional (a Robinson Crusoe world, or a world with only indivisible or only completely specific factors of production), then the conclusions are, of course, a priori true only of such a "possible world." If, on the other hand, the situation and changes can be identified as real, perceived and conceptualized as such by real actors, then the conclusions are a priori true propositions about the world as it really is. [19]

Such is the idea of economics as praxeology. And such then is the ultimate disagreement that Austrians have with their colleagues: Their pronouncements cannot be deduced from the axiom of action or even stand in clear-cut contradiction to propositions that can be deduced from the axiom of action.

And even if there is agreement on the identification of facts and the assessment of certain events as being related to each other as causes and consequences, this agreement is superficial. For such economists falsely believe their statements to be empirically well-tested propositions when they are, in fact, propositions that are true a priori."