Kant admits that the principle is the condition _sine qua non_ of the truth of our cognitions, so that we must take care not to place ourselves in contradiction with it, under pain of annihilating all cognition. Let us put this to the proof. Give a man, unacquainted with these matters, although not ignorant of what is meant by predicate and subject, these two formulas; which will appear to him the best for all uses in the external as in the internal? Certainly not that of Kant. He sees in an instant, in all its generality, that a thing cannot both be and not be at the same time; and he applies the principle to all uses as well in the real as in the ideal order. Treating of an external object, he says, this cannot both be and not be at the same time; treating of contradictory judgments, of ideas which exclude one another, he says, without any difficulty, this cannot be, because it is impossible for the same thing to be and not be at the same time. But it is not so easily and so readily seen how transition is made from the ideal to the real order, or how the purely logical ideas of predicate and subject can be used in the order of facts. The common formula, then, besides being fully as exact as that of Kant, is more simple, more intelligible, and more easy of application. Are there any qualities more desirable than these in a universal criterion, in the condition _sine qua non_ of the truth of our cognitions? 195. We have thus far supposed Kant's formula really to express the principle of contradiction; but this supposition is far from being exact. Undoubtedly there would be a contradiction, were a predicate opposed to a subject, and yet to belong to it; and in this sense it may be said that the principle of contradiction is in some manner expressed in Kant's formula. But this is not enough; for we should then be obliged to say that every axiom expresses the principle of contradiction, since no axiom can be denied without a contradiction. The formula of the principle must _directly_ express reciprocal exclusion, opposition between being and not-being; this is what was intended, and nothing else was ever meant by the principle of contradiction. Kant, in his new formula, does not directly express this exclusion: what he expresses is, that when the predicate is excluded from the idea of the subject, it does not belong to it. So far from expressing the principle of contradiction, it is the famous principle of the Cartesians: "whatever is contained in the clear and distinct idea of any thing may be affirmed of it with all certainty." In substance the two formulas express the same thing, and are only distinguished by these purely accidental differences: first, that Kant's formula is the more concise; second, that it is negative, and that of the Cartesians affirmative.