This chapter identifies two lines of resolution in the mathematical antinomies, which lines, it argues, correspond to two traditional ways of attempting to generate counter-examples to the law of excluded middle. One line involves positing an instance of category clash, the other the suggestion that ‘the world’ is a non-referring singular term. The upshot, in either case, is that the thesis and antithesis are not contradictories but merely contraries (and both are false). The chapter criticizes, and then charitably reformulates, Kant’s indirect argument for Transcendental Idealism. It considers why Kant did not seek to resolve the antinomies by arguing that thesis or antithesis are nonsense. Also discussed are: reductio proofs in philosophy (and Kant’s attitude toward them, which is argued to be more sympathetic than is often supposed), regresses ad infinitum and ad indefinitum; the cosmological syllogism; the sceptical representation; the Lambert analogy, the indifferentists; and the comparison with Zeno.