Ernst Schröder ( Mannheim, 25 de noviembre de 1841 - Karlsruhe, 16 de junio de 1902) fue un matemático alemán, conocido especialmente por sus trabajos sobre lógica algebraica.
Fue una figura principal de la historia de la lógica matemática (término que él generalizó), debido a que sintetizó y difundió las obras de George Boole, Augustus De Morgan, Hugh MacColl y especialmente la de Charles Peirce. Se hizo famoso con su monumental Vorlesungen über die Algebra der Logik (Lecciones sobre el Álgebra de la Lógica), en 3 volúmenes, que preparó el camino para el surgimiento de la lógica matemática como una disciplina separada, durante el siglo XX y para la construcción de los diversos sistemas actuales de lógica formal.
Schröder estudió Matemáticas en Heidelberg, Königsberg y Zúrich, bajo la tutoría de Otto Hesse, Gustav Kirchhoff, y Franz Neumann. Después fue profesor por algunos años, enseñó en la Universidad Técnica de Darmstadt en 1874; dos años después fue profesor en la Escuela Politécnica de Karlsruhe, cargo en el que permaneció hasta el final de su vida. No se casó.
Los primeros trabajos de Schröder sobre lógica y álgebra fueron escritos cuando aún no conocía las obras de los lógicos británicos George Boole y Augustus De Morgan, sus fuentes eran en cambio los textos de Ohm, Hankel, Robert y Hermann Grassmann, todos de la tradición alemana del álgebra combinatoria y el análisis algebraico (Peckhaus 1997: 233-296). En 1873, Schröder estudió las obras de Boole y De Morgan y posteriormente aportó importantes conceptos debido al estudio de Charles Peirce, incluyendo la subsumpción y la cuantificación.
Schröder hizo destacadas contribuciones originales sobre álgebra, teoría de conjuntos, retículos, teoría del orden y números ordinales. Junto con Georg Cantor, fue codescubridor en 1898 del Teorema de Cantor-Bernstein-Schröder, cuya demostración fue corregida por Felix Bernstein (1878-1956).
Schröder hizo en 1877 una concisa exposición de las ideas de Boole sobre álgebra y lógica, la cual sirvió para introducir la obra de Boole para los lectores continentales. La influencia de los Grassmann, especialmente de Robert y su poco conocida morfología, es clara. A diferencia de Boole, Schröder apreció la dualidad. John Venn y Christine Ladd-Franklin ambos citaron con gusto este libro corto de Schröder, en tanto que Charles Peirce lo utilizó como texto de enseñanza en la Universidad Johns Hopkins.
La obra maestra de Schröder, sus Lecciones sobre el Álgebra de la Lógica, fue publicada en tres volúmenres, entre 1890 y 1905, a expensas del autor. El segundo volumen tiene dos partes, la segunda de las cuales fue editada póstumamente y editada por Eugen Müller. Las "Lecciones" son un tratado comprehensivo y erudito de la "lógica algebraica" (actualmente se diría lógica simbólica) desarrollada a finales del siglo XIX, que tuvo influencia decisiva para el surgimiento de la lógica matemática durante el siglo siguiente. Las "Lecciones" son una producción prólija, muy extensa y solamente una parte ha sido traducida.
Schröder dijo que su objetivo era:
La influencia de Schröder se sintió primeramente en cálculo de predicados, debido principalmente a la muy popular obra de Peirce sobre la cuantificación y es al menos tan grande como la de Frege o Peano. La influencia de Schröder en los lógicos de habla inglesa del siglo XX, está expuesta en la obra de Clarence Irving Lewis (1918). Los conceptos relacionales que impregnan el Principia mathematica se deben en gran parte a las "Lecciones", citadas expresamente en el prefacio y en el libro de Bertrand Russell.
Frege (1960) admirador del papel de Frege para el surgimiento de la lógica matemática, subestima el aporte de Schröder como pionero. En contraste Hilary Putnam (1982) destaca el papel de Schröder y Charles Peirce, sin los cuales nunca se habría sabido de la obra de Frege y cuyos aportes permitieron establecer la lógica matemática.
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.
Brady, Geraldine, 2000. From Pierce to Skolem. North Holland. Includes an English translation of parts of the Vorlesungen.
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.
Frege, G., 1960, "A critical elucidation of some points in E. Schröder's Vorlesungen über die Algebra der Logik", translated by Geach, in Geach & Black, Translations from the philosophical writings of Gottlob Frege. Blackwell: 86-106. Original: 1895, Archiv fur systematische Philosophie 1: 433-456.
Ivor Grattan-Guinness, 2000. The Search for Mathematical Roots 1870-1940. Princeton University Press.