On the axiomatic behavior of the principle of sufficient reason
It looks like your question asks for some proof that PSR is not simply an axiom, but is provably true. If my assumption is incorrect, let me know in the comments.
Here is part of my attempt to prove the validity of inductive reasoning by showing the truth of the uniformity principle. This is the section on continuity, which is the PSR. The full paper is “Induction and the Uniformity Principle; derivation of the principle from fundamental axioms,” available at academia.edu.
Assume there has been an observation of “Event P and Event Q”; here, Event P, Event Q, and the relation between them each will not change without a sufficient reason. The relation between Event P and Event Q might be that of cause and effect, or there might be no relation at all beyond randomness. But whatever that relation might be, it will remain constant until acted upon by a third event. If there is nothing to alter the relationship between two events, that relationship will continue uninterrupted; the relationship will be uniform over time. In this sense the Principle of Sufficient Reason is similar to Isaac Newton’s First Law of Motion.
The Principle of Sufficient Reason is simply stated: “For every fact F, there must be an explanation why F is the case” (Melamed and Lin 2016, §1). The principle is most closely associated with Gottfried Wilhelm Leibniz (Melamed and Lin 2016, §3), although forms of the principle first appeared in antiquity (Melamed and Lin 2016, §4).
Leibniz joined the principles of noncontradiction and sufficient reason:
- Our reasonings are grounded upon two great principles, that of contradiction, in virtue of which we judge false that which involves a
contradiction, and true that which is opposed or contradictory to the
false;
- And that of sufficient reason, in virtue of which we hold that there can be no fact real or existing, no statement true, unless
there be a sufficient reason, why it should be so and not otherwise,
although these reasons usually cannot be known by us.
(Leibniz, cites omitted; Melamed and Lin 2016, §3)
The relation of “P thus Q” is so, and not otherwise, because there is no intervening event making it otherwise.
David Hume denies the validity of the Principle of Sufficient Reason. He considers several arguments in its support, including those from Thomas Hobbes and John Locke (Hume, THN, I,3, 3). Although this principle is said to be “impossible for men in their hearts really to doubt”, Hume finds “no mark of any such intuitive certainty” (Hume, THN, I, 3, 3)
[A]s all distinct ideas are separable from each other, and as the
ideas of causeand effect are evidently distinct, it will be easy for
us to conceive any event to be non-existent this moment, and existent
the next, without conjoining to it the distinct idea of acause or
productive principle. (Hume, THN, I, 3, 3)
The assumption that an event can exist one moment and be non-existent the next, without any reason for such a change, destroys any possibility of continuity; a discontinuous result may always be conceived. “[A]ll distinct ideas are separable from each other”, says Hume. Thought would become impossible if this statement were true. The Principle of Sufficient Reason enables a connection between events over time. Without this axiom, each event stands isolated at one instant. For example, the equation “7 + 5 = 12” ceases to have a meaning. The number 12 bears no relation to “7 + 5”, because 7 and 5 are not sufficient reasons for 12 to exist.
If the Principle of Sufficient Reason is false, then there is no content even to the “distinct ideas” themselves. The number 5 is not the result of 1+1+1+1+1, because the series of 1’s has no further meaning beyond a series of unrelated 1’s. When the Principle of Sufficient Reason is denied, such conclusions become rational.
Suppose research shows that three A's, when combined, produce B. But later research cannot reproduce this result. Instead, new research shows that no combination of A's can ever produce B. Thus the first conclusion appears wrong. But assume that events and relations can change for no reason. If relationships are nonuniform, or if the presence of uniformity is unknown, then both conclusions are meaningless. In the absence of some assumption that present and future events will be similar in similar circumstances, the two results cannot be compared. Rather, the conclusions, nominally contradictory, become two unrelated statements.
Thus the Principle of Sufficient Reason is valid because its denial produces absurd results.
Sources: Hume, David. A treatise of human nature (“Hume THN”). http://www.gutenberg.org/files/4705/4705-h/4705-h.htm#link2H_4_0023
Melamed, Yitzhak and Lin, Martin, "Principle of Sufficient Reason", The Stanford Encyclopedia of Philosophy (Spring 2016 Edition), ed. Edward N. Zalta. URL accessed 15 June 2016, 5 December 2019. http://plato.stanford.edu/entries/sufficient-reason/.