I focus on two main points in Ian Proops’s reading of Kant’s Paralogisms of Pure Reason: the structure of the paralogisms in the A edition of the Critique of Pure Reason, and the changes in Kant’s exposition of the paralogisms from A to B. I agree with Proops that there are defects in the A exposition and that Kant attempted to correct those defects in B. But I argue that Proops fails to give its due to what remains fundamental in both editions: Kant’s criticism of the rational psychologist’s confusion between the subjective (albeit universally subjective) standpoint thinkers have on themselves just in virtue of thinking, and the objective, metaphysical standpoint on a thinking thing. In short, Proops fails to give sufficient attention to Kant’s opening statement in the Paralogisms of Pure Reason: ‘“I think” is the sole text of rational psychology’.

Kant’s position on the problem of free will can be perplexing and frustrating: all the real questions about human agential capacities or even about issues of moral imputability are empirical questions, which have empirical answers. But there remains a metaphysical or transcendental problem about the possibility of freedom, which is forever insoluble. Ian Proops’ discussion in The Fiery Test of Critique is to be commended for displaying the rare virtue of appreciating this last point and presenting Kant’s position about it accurately. The only questionable part has to do with the standard terminology – ‘determinism’, ‘libertarianism’, ‘compatibilism’, and ‘incompatibilism’. I argue that it would be better to say, as Kant does, and Proops also does most of the time, that practical freedom, hence transcendental freedom, must be presupposed whenever we act or even judge, but how freedom is possible is both unknowable and even incomprehensible to us.

I reply to criticisms of my book The Fiery Test of Critique: A Reading of Kant’s Dialectic from Béatrice Longuenesse and Patricia Kitcher on the paralogisms, Allen Wood on the third antinomy and freedom, Des Hogan on the resolution of the antinomies, and Anja Jauernig on the ontological argument.