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.
|Titolo:||Shaping the enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting|
FRANCHELLA, MIRIAM ANGELA GIOVANNA (Corresponding)
|Parole Chiave:||philosophy; mathematics, history|
|Settore Scientifico Disciplinare:||Settore M-FIL/02 - Logica e Filosofia della Scienza|
|Data di pubblicazione:||3-apr-2019|
|Data ahead of print / Data di stampa:||20-ago-2018|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.1080/01445340.2018.1504414|
|Appare nelle tipologie:||01 - Articolo su periodico|
File in questo prodotto:
|shapingtheenemy.pdf||articolo||Post-print, accepted manuscript ecc. (versione accettata dall'editore)||Open Access Visualizza/Apri|
|Shaping the Enemy Foundational Labelling by L E J Brouwer and A Heyting.pdf||Publisher's version/PDF||Administrator Richiedi una copia|