 Notably, the scope of Kant’s claim that geometric theorems are synthetic is not transparent. Having denied that the principles (Grundsätze) could be cognized analytically from the principle of contradiction, he admits that mathematical inference of the kind needed to establish geometric theorems does proceed “in accordance with the principle of contradiction”, and also that “a synthetic proposition can of course be comprehended in accordance with the principle of contradiction” though “only insofar as another synthetic proposition is presupposed from which it can be deduced, never in itself” (B14). So, while he is clear that all mathematical judgments, including geometric theorems, are synthetic, he is less clear about exactly what it means for such propositions or the inferences that support them to “accord with” the principle of contradiction, derivability from which he takes to be the paradigm test of analyticity (Hogan 2020). This leads to an interpretive disagreement as to whether demonstrable mathematical judgments follow from the synthetic principles via strictly logical or conceptual inference—and so in strict accordance with only the principle of contradiction—or whether they are deduced via inferences that are themselves reliant on intuition, but which do not violate the law of contradiction. There is thus disagreement over whether Kant is committed merely to the syntheticity of the axioms of mathematics (which transmit syntheticity to demonstrable theorems via logical inference), or is also committed to the syntheticity of mathematical inference itself. The former interpretive position is originally associated with Ernst Cassirer and Lewis White Beck; the latter position with Bertrand Russell (Hogan 2020). Gordon Brittan (Brittan 2006) conceives both such positions “evidentialist”, which is his label for any interpretation according to which intuitions provide indispensable evidence for the truth of mathematics, whether that evidence is provided in support of axioms or inferences, or both (Brittan 2006).