Unlike many philosophers, Kant believed that synthetic judgments could either be a posteriori or a priori, stating that however, analytic judgments are always a priori which holds the principle of contradiction. Kant uses the example, “all bodies are extended.” On the other hand, “all bodies have weight” would be counted as a synthetic judgment. To say all bodies do not have weight is not necessarily contradictory, although, it may be false.