Hugh MacColl and Lewis Carroll: Crosscurrents in geometry and logic

Abstract Fr En

Dans une lettre adressée à Bertrand Russell, le 17 mai 1905, Hugh MacColl raconte avoir abandonné l’étude de la logique après 1884, pendant près de treize ans, et explique que ce fut la lecture de l’ouvrage de Lewis Carroll, Symbolic Logic (1896), qui ralluma le vieux feu qu’il croyait éteint. Dès lors, il publie de nombreux articles contenant certaines de ses innovations majeures en logique. L’objet de cet article est de discuter la familiarité de MacColl et son appréciation du travail de Carroll, et de comprendre comment cela l’amena à réinvestir le domaine de la logique. Rien n’indique que les deux hommes se soient jamais rencontrés ou aient échangé une correspondance personnelle. Cependant, MacColl recensa dans le journal The Athenaeum plusieurs ouvrages de Carroll, essentiellement en géométrie et en logique. Souvent, Carroll répondait aux critiques de MacColl dans les éditions suivantes de ses ouvrages. Une discussion de ces sources fournit des éclaircissements intéressants sur les investigations mathématiques et logiques de MacColl et Carroll.

In a letter to Bertrand Russell, dated 17 May 1905, Hugh MacColl tells how he abandoned the study of logic after 1884 for about thirteen years and how it was the reading of Lewis Carroll’s Symbolic Logic (1896) that ”rekindled the old fire which [he] thought extinct.” From then onwards, he published several papers containing some of his major logical innovations. The aim of this paper is to discuss MacColl’s acquaintance with and appreciation of Carroll’s work, and how that reading convinced him to come back into the realm of logic. There is no evidence that the two men ever met or exchanged any personal correspondence. However, MacColl reviewed in The Athenaeum several of Carroll’s books, mainly on geometry and logic. Often, Carroll replied to MacColl’s criticisms in the following editions of his works. A discussion of these sources provides interesting insights to MacColl’s (and Carroll’s) mathematical and logical investigations.