Ernst Schröder
Naissance | |
---|---|
Décès | |
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Maître | |
Directeurs de thèse |
Ernst Schröder (1841-1902) est un mathématicien badois. Son travail porte sur la logique et l'algèbre de Boole. C'est un personnage majeur de l'histoire de la logique mathématique, car il fit une synthèse des œuvres de George Boole, Augustus De Morgan, Hugh MacColl (en), et particulièrement Charles Sanders Peirce, et poursuivit leurs travaux. Il est connu en particulier pour son œuvre monumentale les Vorlesungen über die Algebra der Logik (leçons sur l'algèbre de la logique), en trois volumes, qui a aidé au développement de la logique mathématique en tant que discipline autonome au cours du XXe siècle, en systématisant les divers systèmes de logique formelle de son époque.
Biographie
[modifier | modifier le code]Schröder apprit les mathématiques à Heidelberg, Königsberg, et Zurich, auprès de Hesse, Kirchhoff, et Neumann. Il enseigna quelques années dans une école, puis à la Technische Hochschule de Darmstadt en 1874. Deux ans plus tard, il obtint une chaire de mathématiques à la Polytechnische Schule de Karlsruhe, où il passa le reste de sa vie. Il ne fut jamais marié.
Œuvres
[modifier | modifier le code]Les premiers travaux de Schröder portant sur l'algèbre et la logique ont été menés sans que leur auteur connaisse les logiciens anglais George Boole et Auguste De Morgan. Il s'appuyait sur les travaux d'Ohm, Hankel, Hermann Grassmann et Robert Grassmann, issus de l'école traditionnelle allemande en algèbre combinatoire et analyse algébrique (Peckhaus 1997, p. 233-296). En 1873, Schröder découvrit les travaux de Boole et de De Morgan sur la logique. Il y intégrera des idées importantes dues à Charles Sanders Peirce notamment les notions de subsomption (l'équivalent de l'inclusion pour les prédicats) et de quantification.
Schröder a également apporté des contributions originales à l'algèbre, à la théorie des ensembles et à la théorie des ensembles ordonnés comme les treillis ou les nombres ordinaux. Avec Georg Cantor, il découvrit le théorème de Cantor–Bernstein–Schröder, bien que sa démonstration de 1898 fût imparfaite. Felix Bernstein (1878-1956) la corrigea dans sa thèse.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/09/Ernst_schroeder-ueber_die_formalen_elemente_der_absoluten_algebra_title.jpg/220px-Ernst_schroeder-ueber_die_formalen_elemente_der_absoluten_algebra_title.jpg)
Dans son ouvrage Der Operationskreis des Logikkalküls (les opérations du calcul logique) paru en 1877, Schröder expose de façon concise les idées de Boole sur l'algèbre et la logique. Ce livre a aidé à introduire l'œuvre de Boole en Europe continentale. L'influence des Grassmann, en particulier du peu connu Formenlehre de Robert, est claire. John Venn et Christine Ladd-Franklin citent ce court livre de Schröder, et Charles Peirce l'utilisait comme référence pour son enseignement à l'Université Johns-Hopkins.
Chef-d’œuvre de Schröder, les Vorlesungen über die Algebra der Logik furent publiées en trois volumes entre 1890 et 1905, à compte d’auteur. Le volume 3 compte deux parties, la deuxième publiée à titre posthume, et éditée par Eugen Müller. Les Vorlesungen constituaient une somme complète sur l'état de la logique « algébrique » (nous dirions aujourd'hui « symbolique ») à la fin du XIXe siècle. L'ouvrage eut une influence considérable sur l'émergence de la logique mathématique au XXe siècle[1].
Schröder qualifiait ainsi son objectif[2] :
« […] faire de la logique un calcul pour permettre de manier les concepts en jeu avec précision, puis, en l'émancipant des chaînes routinières de la langue naturelle, débarrasser également de ses « clichés » tous les domaines fertiles de la philosophie. Ceci doit préparer la voie à une langue scientifique universelle qui se distinguerait du tout au tout d'une langue universelle comme le Volapük, mais ressemblerait plutôt à un langage de signes qu'à un langage de sons. »
Schröder, en popularisant les travaux de Peirce sur la quantification, eut sur les premiers développements du calcul des prédicats une influence au moins aussi grande que celles de Frege et de Peano[3]. La notion de relation des Principia Mathematica (1908) doit beaucoup aux Vorlesungen. L'ouvrage y est d'ailleurs cité dans la préface, ainsi que dans celle de l'ouvrage liminaire de Bertrand Russell, les Principles of mathematics (1903).
Frege (1895), néanmoins, a rejeté l'œuvre de Schröder, et l'admiration pour le rôle pionnier de Frege a dominé le débat historique. Toutefois, comparant Frege avec Schröder et Charles Sanders Peirce, Hilary Putnam écrit en 1982 :
« Quand j'ai commencé à étudier l'histoire de la logique […], la première chose que j'ai faite a été de regarder les Vorlesungen über die Algebra der Logik de Schröder, [dont] le troisième volume porte sur la logique des relations (Algebra und Logik der Relative, 1895). Les trois volumes devinrent immédiatement le texte avancé de logique le plus connu, et comprend ce que tout mathématicien intéressé par l'étude de la logique devait savoir, ou du moins être informé, dans les années 1890. »
« Tandis que, à ma connaissance, personne, à l'exception de Frege, n'a publié un article dans la notation de Frege, de nombreux logiciens célèbres adoptèrent la notation de Peirce-Schröder, et de célèbres résultats et systèmes furent publiés dans celle-ci. Löwenheim a énoncé et prouvé le théorème de Löwenheim (reprouvé et amélioré ensuite par Thoralf Skolem, qui laissa son nom, associé à celui de Löwenheim, au théorème) dans la notation de Peirce. En réalité, il n'y a pas une référence dans l'article de Löwenheim à d'autre logique que celle de Peirce. Pour citer un autre exemple, Zermelo a présenté ses axiomes pour la théorie des ensembles dans la notation de Peirce-Schröder, et pas, comme on aurait pu s'y attendre, dans celle de Russell-Whitehead. »
« Ces simples faits (que quiconque peut facilement vérifier) peuvent être résumés comme suit : Frege a certainement découvert les quantificateurs le premier (quatre années avant O. H. Mitchell, d'après la date de la publication, qui sont tout ce dont on dispose à ma connaissance). Mais Leif Ericson a découvert probablement l'Amérique "le premier" (excusez-moi de ne pas compter les indigènes d'Amérique, qui bien sûr l'ont découverte vraiment "les premiers"). Si le découvreur effectif, du point de vue européen, est Christophe Colomb, c'est parce qu'il l'a découverte et qu'elle l'est restée (par les Européens, j'entends), de sorte qu'elle a été connue (des Européens). Frege a effectivement "découvert" les quantificateurs dans le sens qu'il est fondé à réclamer la priorité ; mais Peirce et ses étudiants l'ont découvert dans le sens effectif. Le fait est que jusqu’à ce que Russell ait reconnu ce qu'il avait fait, Frege était relativement obscur, et c'était Peirce qui semble avoir été connu de la communauté des logiciens du monde entier. Combien parmi ceux qui pensent que "Frege a inventé la logique", sont au courant de ces faits ? »
Bibliographie
[modifier | modifier le code]- Primaires
- Schröder, E., 1877. Der Operationskreis des Logikkalküls. Leipzig: B.G. Teubner.
- Schröder, E., 1890-1905. Vorlesungen über die Algebra der Logik, 3 vols. Leipzig: B.G. Teubner. Reprints: 1966, Chelsea; 2000, Thoemmes Press.
- Schröder, E., 1898. "Über zwei Definitionen der Endlichkeit und G. Cantor'sche Sätze ", Abh. Kaiserl. Leop.-Car. Akad. Naturf 71: 301-362.
- Primaires et Secondaires
- (en) Geraldine Brady, From Peirce to Skolem : A Neglected Chapter in the History of Logic, North Holland, Inclut une traduction en anglais de fragments des Vorlesungen
- (en) Geraldine Brady, From Peirce to Skolem : A Neglected Chapter in the History of Logic, North Holland,
- Secondaires
- Anellis, I. H., 1990-91, "Schröder Materials at the Russell Archives, " Modern Logic 1: 237-247.
- Dipert, R. R., 1990/91. "The life and work of Ernst Schröder, " Modern Logic 1: 117-139.
- (en) Gottlob Frege, « A critical elucidation of some points in E. Schröder's "Vorlesungen über die Algebra der Logik" », Archiv fur systematische Philosophie, vol. 1, , p. 433-456 traduit en anglais par Geach, in Geach & Black, Translations from the philosophical writings of Gottlob Frege. Blackwell: 86-106.
- (en) Ivor Grattan-Guinness, The Search for Mathematical Roots 1870-1940, Princeton University Press, .
- (en) Clarence Irving Lewis, A Survey of Symbolic Logic, Dover, 1960 (1918).
- (de) Volker Peckhaus (de), Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, Akademie-Verlag, .
- Peckhaus, V., 1999, "19th Century Logic between Philosophy and Mathematics," Bulletin of Symbolic Logic 5: 433-450. Reprinted in Glen Van Brummelen and Michael Kinyon, eds., 2005. Mathematics and the Historian's Craft. The Kenneth O. May Lectures. Springer: 203-220. Online here or here.
- Peckhaus, V., 2004. "Schröder's Logic" in Gabbay, Dov M., and John Woods, eds., Handbook of the History of Logic. Vol. 3: The Rise of Modern Logic: From Leibniz to Frege. North Holland: 557-609.
- (en) Hilary Putnam, « Peirce the Logician », Historia Mathematica, vol. 9, , p. 290-301. Reprinted in his 1990 Realism with a Human Face. Harvard University Press: 252-260. Online fragment.
- Christian Thiel (de), 1981. "A portrait, or, how to tell Frege from Schröder," History and Philosophy of Logic 2: 21-23.
Notes et références
[modifier | modifier le code]- On trouve des traductions de fragments des Vorlesungen, ainsi qu'une discussion de l'ensemble de l'ouvrage dans Brady 2000, voir également Grattan-Guinness 2000, p. 159-76.
- die Logik zu einer rechnerischen Disziplin zu gestalten, insbesondere die relativen Begriffe einer exakten Behandlung zugänglich zu machen und durch Emanzipation von den Gewohnheitsfesseln der Wortsprache fortan auch auf dem Gebiete der Philosophie der ”Phrase“ jeden Nährboden zu entziehen. Es soll damit eine wissenschaftliche Universalsprache angebahnt werden, die von den linguistischen Bestrebungen à la Volapük himmelweit verschieden, sich mehr als Zeichen- wie als Lautsprache darstellt. (1901) cité d'après Volcker Peckhaus, [1] p. 18. Celui-ci propose cette traduction en anglais dans [2] p. 7. : to design logic as a calculating discipline, especially to give access to the exact handling of relative concepts, and, from then on, by emancipation from the routine claims of spoken language, to withdraw any fertile soil from "cliché" in the field of philosophy as well. This should prepare the ground for a scientific universal language that, widely differing from linguistic efforts like Volapük [a universal language like Esperanto very popular in Germany at that time], looks more like a sign language than like a sound language.
- Voir Lewis 1918 pour l'influence de Schröder sur les logiciens de langue anglaise.
Voir aussi
[modifier | modifier le code]Articles connexes
[modifier | modifier le code]Liens externes
[modifier | modifier le code]
- Ressource relative à la recherche :
- Notices dans des dictionnaires ou encyclopédies généralistes :