It remains one of Kant’s great merits to have for the first time drawn our attention to the important difference between the analytic part of our knowledge and the synthetic part, though we cannot accept nor take into account everything our philosopher otherwise says about the intrinsic nature of our synthetic judgements. Assuredly the truth of analytic judgements rests on an entirely different ground (Grund) than that of synthetic judgements. If they do deserve the name of genuine judgements (what I grant them not without reserve), then they all rest in this unique universal proposition which is expressed by the following formula: ’(A cum B) is a kind of A’ […] and we can say that the principle of contradiction is the universal source of all analytic judgements.