I am seeking some clarification on the nature of true a priori synthetic propostions, in particular the axiom of action, and I was hoping that some of you who are more methodologically inclined can help me out.
I understand the following: The axiom of action is a true a priori synthetic proposition. That is, observations are not necessary to know that it’s true, and yet, it tells us something valuable about the real world. We know that it is true because any attempt to disprove the axiom of action necessarily involves a performative contradiction. In other words, the attempt to disprove action involves acting. True a priori synthetic propositions might appear to pose a problem, however. Since propositions like these rest on knowledge based on reflective understanding that comes from the mind, and yet tell us something concrete about the real world, it would seem that they must be idealistic instead of realistic. That is, the real world must somehow conform to our minds, instead of the other way round. However, this is not so. According to Hoppe, true synthetic a priori propositions are not idealistic. (This is where my understanding starts to get a little hazy). From Economic Science and the Austrian Method:
“We must recognize that such necessary truths are not simply categories of our mind, but that our mind is one of acting persons. Our mental categories have to be understood as ultimately grounded in categories of action. And as soon as this is recognized, all idealistic suggestions immediately disappear. Instead, an epistemology claiming the existence of true synthetic a priori propositions becomes a realistic epistemology.”
“Acting is a cognitively guided adjustment of a physical body in physical reality. And thus, there can be no doubt that a priori knowledge, conceived of as an insight into the structural constraints imposed on knowledge qua knowledge of actors, must indeed correspond to the nature of things. The realistic character of such knowledge would manifest itself not only in the fact that one could not think it to be otherwise, but in the fact that one could not undo its truth.”
This is where I’m not sure. I think Hoppe means the following, but please correct me if I’m wrong (and I probably am): Many ideas and concepts spring from the mind, but only a very small amount of a priori knowledge has relevence in reality. There’s a limitless amount of a priori knowledge that results in any number of analytic propostions, but in order for an a priori axiom to qualify as a synthetic proposition, something else is required. And that something else is the performative contradiction, “performative” being an important word. The attempt to disprove the axiom of action involves doing something as opposed to just thinking something. The performative contradiction, not only confirms the truth of the proposition, but acts as a filter, sifting out any a priori knowledge that doesn’t conform to reality and allowing only that which does to make the grade. Since this process is grounded in reality, anything which does make the grade must be grounded in reality also. Is my understanding correct?
My seond question is this. There are examples of a priori synthetic propositions in mathematics and geometry. Can anyone give me examples of performative contradictions concerning axioms in these fields?