contradiction is a belief about things, not only about thoughts. It is not, e.g., the belief that if we think a certain tree is a beech, we cannot at the same time think that it is not a beech; it is the belief that if the tree is a beech, it cannot at the same time be not a beech. Thus the law of contradiction is about things, and not merely about thoughts; and although belief in the law of contradiction is a thought, the law of contradiction itself is not a thought, but a fact concerning the things in the world. If this, which we believe when we believe the law of contradiction, were not true of the things in the world, the fact that we were compelled to think it true would not save the law of contradiction from being false; and this shows that the law is not a law of thought.
A similar argument applies to any other a priori judgment. When we judge that two and two are four, we are not making a judgment about our thoughts, but about all actual or possible couples. The fact that our minds are so constituted as to believe
