Abstract

A SUMMARY IN ENGLISH [by Editor] Since Brouwer, Weyl, and, more recently, Lorenzen, KANT as an authority [in the philosophy of mathematics in general] has often been called in against some “uncritical” Formalism and Structuralism. The core of the present paper is to show, in the main, that the Denkmuster (patterns of thinking) of Kant is still very much alive in mathematics today to be in harmony with Formalism. The study is carried out in three parts, in the light of the “concept of construction” of (i) Kant himself, (ii) Lorenzen's Operationalism, and (iii) Formalism in general