IsisCB Explore

Article ID: CBB604456688

Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting (2019)

Franchella, Miriam (Author)

History and Philosophy of Logic
Volume: 40
Issue: 2
Pages: 152-181

DOI: 10.1080/01445340.2018.1504414

URI: https://doi.org/10.1080/01445340.2018.1504414

Outside Links

WorldCat

Google Scholar

JSTOR

Academia.edu

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.

...More

Citation URI

https://data.isiscb.org/isis/citation/CBB604456688/

Citations Indexes

Similar Citations

Book William Boos; Florence S. Boos; (2018)
Metamathematics and the Philosophical Tradition (/isis/citation/CBB060593902/)

Article Cooper, S. Barry; (2012)
Incomputability after Alan Turing (/isis/citation/CBB001211736/)

Article Andersch, Norbert; (2014)
Ernst Cassirer's Philosophy of Symbolic Forms and Its Impact on the Theory of Psychopathology (/isis/citation/CBB001214420/)

Article Baird, Davis; Nordmann, Alfred; (1999)
Editors' Introduction: Forays into the Trading Zone of Image and Logic (/isis/citation/CBB000110228/)

Book Rosado Haddock, Guillermo E.; (2008)
The Young Carnap's Unknown Master: Husserl's Influence on Der Raum and Der logische Aufbau der Welt (/isis/citation/CBB001211039/)

Article Atten, Mark van; Sundholm, Göran; Bourdeau, Michel; Atten, Vanessa Van; (2014)
“Que les principes de la logique ne sont pas fiables” : Nouvelle traduction française annotée et commentée de l'article de 1908 de L. E. J. Brouwer (/isis/citation/CBB001551989/)

Article de Rouilhan, Philippe; (2012)
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort (/isis/citation/CBB001214124/)

Article Campos, Daniel G.; (2011)
On the Distinction between Peirce's Abduction and Lipton's Inference to the Best Explanation (/isis/citation/CBB001211461/)

Book Baaz, Matthias; (2011)
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth (/isis/citation/CBB001210590/)

Book Turing, Alan Mathison; Copeland, B. Jack; (2004)
The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus the Secrets of Enigma (/isis/citation/CBB000610232/)

Chapter Lara Piersanti; (2000)
Vailati e Russell (/isis/citation/CBB615477680/)

Chapter Christian Thiel; (2013)
Dubislav and Classical Monadic Quantificational Logic (/isis/citation/CBB499589599/)

Article Humberstone, Lloyd; (2003)
A Strange Remark Attributed to Gödel (/isis/citation/CBB000300864/)

Article Xinwen Liu; Huaxia Rong; (2017)
'On "Therefore"' by Jin Yuelin (/isis/citation/CBB586175753/)

Book Link, Godehard; (2004)
One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy (/isis/citation/CBB001212888/)

Article Malzkorn, Wolfgang; (2001)
Defining disposition concepts: A brief history of the problem (/isis/citation/CBB000100809/)

Article Stephanie Dick; (2023)
The Marxist in the Machine (/isis/citation/CBB660904182/)

Book Shook, John R.; (2001)
The Chicago School of Functionalism (/isis/citation/CBB000102425/)

Article Wise, M. Norton; (1999)
Materialized Epistemology (/isis/citation/CBB000110101/)

Article Ainsworth, Peter M.; (2012)
The Third Path to Structural Realism (/isis/citation/CBB001210957/)

Comments

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}