The Transcendental Dialectic, the second half of the Critique of Pure Reason in which Kant provides the critique of traditional metaphysics is explicitly intended to give an indirect proof of transcendental idealism (B xx). Specifically, the middle section of the Dialectic, entitled “The Antinomy of Pure Reason”, is supposed to provide this indirect proof. All three sections of the Dialectic, thus the preceding “Paralogisms of Pure Reason” and the following “Ideal of Pure Reason”, are supposed t