(important summary)
When we write a proof, we demonstrate that our testimony is existentially possible. Proofs demonstrate existential possibility. But they do not necessarily demonstrate uniqueness. So a proof does not say that this particular road led one to Rome. It merely says that it is indeed possible to arrive in Rome via this road. A truth claim would have to demonstrate that the only possible way to Rome is by this road, or to demonstrate that you had indeed taken this road using incontestable evidence that you had not taken others. This is the difference between subjective and rational and objective and empirical testimony. And when we construct proofs in Propertarian language, we do not make claims of uniqueness: truth; we make claims of possibility: proofs. We prove that our testimony is possible, but not unique. That proof requires that each step in the sequence of our proof is also subjectively testable as a rational operation by a human mind, given the incentives at his disposal. Propertarianism provides the fulfillment of hte promise of praxeology, without the error that such statements are true, only that they are not false. This corrects the Misesian half-success of praxeology by merging it with the Popperian half-success of critical rationalism: the evolution of knowledge by survival of criticism, to achieve the Hayekian half-success that liberty is only obtainable through rule of law; and merging them together with the expensive commons of high trust and truth telling into Testimonialism: the epistemology of Propertarianism. Liberty results only from truth in mind, utterance, and trial by jury, under the total prohibition of parasitism, forcing all men into production of goods, services and commons. The most precious, expensive, and scarce of commons being objective truth and truth telling itself.
Curt Doolittle
Kiev, Ukraine