If we review these points in succession, the influence of Leibniz upon Kant becomes more marked. As to the first one, it is well known that Kant's philosophy is based upon, and revolves within, the distinction of analytic and synthetic judgments; and this distinction Kant clearly refers to the Leibnizian distinction between the principles of contradiction and of sufficient reason, or of identity and differentiation. It is not meant that Kant came to this thought through the definitions of Leibniz; on the contrary, Kant himself refers it to Hume's distinction between matters of fact and relations of ideas. But when Kant had once generalized the thought of Hume, it fell at once, as into ready prepared moulds, into the categories of Leibniz. He never escapes from the Leibnizian distinction. In his working of it out consists his greatness as the founder of modern thought; from his acceptance of it as ultimate result his contradictions. That is to say, Kant did not merely receive the vague idea of sufficient reason: he so connected it with what he learned from Hume that he transformed it into the idea of synthesis, and proceeded to work out the conception of synthesis in the various notions of the understanding, or categories, as applicable to the material of sense. What Leibniz bequeathed him was the undefined idea that knowledge of matters of fact rests upon the principle of sufficient reason. What Kant did with this inheritance was to identify the wholly vague idea of sufficient reason with the notion that every fact of experience rests upon necessary synthetic connection,--that is, connection according to notions of understanding with other facts,--and to determine, so far as he could, the various forms of synthesis, or of sufficient reason. With Leibniz the principle remained essentially infertile, because it was the mere notion of the ultimate reference of experience to understanding. In the hands of Kant, it became the instrument of revolutionizing philosophy, because Kant showed the articulate members of understanding by which experience is constituted, and described them in the act of constituting.