The use of the three labels (logicism, formalism, intuitionism) to denote the three foundational schools of the early twentieth century are now part of literature. Yet, neither their number nor their adoption has been stable over the twentieth century. They were not introduced by the founding fathers of each school: namely, neither Frege nor Russell spoke of ‘logicism’; and even Hilbert did not use the word ‘formalism’ to introduce his foundational programs. At a certain point, only Brouwer used the label ‘intuitionism’ in his scientific production to personify his philosophy of mathematics and he used the label ‘formalism’ for Hilbert’s foundational viewpoint. Starting with Brouwer, the origin of the use of the three labels to represent a foundational meaning, will be analysed in this paper. Thereafter, the role that Brouwer’s pupil Arend Heyting had in the production and use of foundational labels will be considered. On the basis of the comparison of the attitudes of these two scholars I will finally advance the thesis that not only the creation but also the use of labels, far from being a mere gesture of academic reference to literature, can be a sign of the cultural operation each scholar wanted to do.
Shaping the enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting / M. Franchella. - In: HISTORY AND PHILOSOPHY OF LOGIC. - ISSN 0144-5340. - 40:2(2019 Apr 03), pp. 152-181. [10.1080/01445340.2018.1504414]
Shaping the enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting
M. Franchella
2019
Abstract
The use of the three labels (logicism, formalism, intuitionism) to denote the three foundational schools of the early twentieth century are now part of literature. Yet, neither their number nor their adoption has been stable over the twentieth century. They were not introduced by the founding fathers of each school: namely, neither Frege nor Russell spoke of ‘logicism’; and even Hilbert did not use the word ‘formalism’ to introduce his foundational programs. At a certain point, only Brouwer used the label ‘intuitionism’ in his scientific production to personify his philosophy of mathematics and he used the label ‘formalism’ for Hilbert’s foundational viewpoint. Starting with Brouwer, the origin of the use of the three labels to represent a foundational meaning, will be analysed in this paper. Thereafter, the role that Brouwer’s pupil Arend Heyting had in the production and use of foundational labels will be considered. On the basis of the comparison of the attitudes of these two scholars I will finally advance the thesis that not only the creation but also the use of labels, far from being a mere gesture of academic reference to literature, can be a sign of the cultural operation each scholar wanted to do.File | Dimensione | Formato | |
---|---|---|---|
shapingtheenemy.pdf
Open Access dal 04/04/2020
Descrizione: articolo
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
848.67 kB
Formato
Adobe PDF
|
848.67 kB | Adobe PDF | Visualizza/Apri |
Shaping the Enemy Foundational Labelling by L E J Brouwer and A Heyting.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
629.42 kB
Formato
Adobe PDF
|
629.42 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.