The irreflexivity of Brouwer’s philosophy

Abstract

I argue that Brouwer’s general philosophy cannot account for itself, and, a fortiori, cannot lend justification to mathematical principles derived from it. Thus it cannot ground intuitionism, the job Brouwer had intended it to do. The strategy is to ask whether that philosophy actually allows for the kind of knowledge that such an account of itself would amount to.