World Library  
Flag as Inappropriate
Email this Article
 

Ernst Schröder

Ernst Schröder
For the actor, see Ernst Schröder (actor).

Friedrich Wilhelm Karl Ernst Schröder (25 November 1841 in Hugh MacColl, and especially Charles Peirce. He is best known for his monumental Vorlesungen über die Algebra der Logik (Lectures on the algebra of logic), in 3 volumes, which prepared the way for the emergence of mathematical logic as a separate discipline in the twentieth century by systematizing the various systems of formal logic of the day.

Contents

  • Life 1
  • Work 2
  • Influence 3
  • See also 4
  • References 5
  • External links 6

Life

Schröder learned mathematics at Heidelberg, Königsberg, and Zürich, under Otto Hesse, Gustav Kirchhoff, and Franz Neumann. After teaching school for a few years, he moved to the Technische Hochschule Darmstadt in 1874. Two years later, he took up a chair in mathematics at the Polytechnische Schule in Karlsruhe, where he spent the remainder of his life. He never married.

Work

Schröder's early work on formal algebra and logic was written in ignorance of the British logicians Charles Sanders Peirce, including subsumption and quantification.

Schröder also made original contributions to Cantor–Bernstein–Schröder theorem, although Schröder's proof (1898) is flawed. Felix Bernstein (1878–1956) subsequently corrected the proof as part of his Ph.D. dissertation.

title page of first printing of "Über die formalen Elemente der absoluten Algebra" (on the formal elements of the absolute algebra)

Schröder (1877) was a concise exposition of Boole's ideas on algebra and logic, which did much to introduce Boole's work to continental readers. The influence of the Grassmanns, especially Robert's little-known Formenlehre, is clear. Unlike Boole, Schröder fully appreciated duality. John Venn and Christine Ladd-Franklin both warmly cited this short book of Schröder's, and Charles Sanders Peirce used it as a text while teaching at Johns Hopkins University.

Schröder's masterwork, his Vorlesungen über die Algebra der Logik, was published in three volumes between 1890 and 1905, at the author's expense. Vol. 2 is in two parts, the second published posthumously, edited by Eugen Müller. The Vorlesungen was a comprehensive and scholarly survey of "algebraic" (today we would say "symbolic") logic up to the end of the 19th century, one that had a considerable influence on the emergence of mathematical logic in the 20th century. The Vorlesungen is a prolix affair, only a small part of which has been translated into English. That part, along with an extended discussion of the entire Vorlesungen, is in Brady (2000). Also see Grattan-Guinness (2000: 159–76).

Schröder said his aim was:

Influence

Schröder's influence on the early development of the predicate calculus, mainly by popularising C. S. Peirce's work on quantification, is at least as great as that of Frege or Peano. For an example of the influence of Schröder's work on English-speaking logicians of the early 20th century, see Clarence Irving Lewis (1918). The relational concepts that pervade Principia Mathematica are very much owed to the Vorlesungen, cited in Principia's Preface and in Bertrand Russell's Principles of Mathematics.

Frege (1960) dismissed Schröder's work, and admiration for Frege's pioneering role has dominated subsequent historical discussion. Contrasting Frege with Schröder and C. S. Peirce, however, Hilary Putnam (1982) writes:

See also

References

  • Primary
    • 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.
      • Vorlesungen über die Algebra der Logik (Exakte Logik) Volume 1,
      • Vorlesungen über die Algebra der Logik (Exakte Logik) Volume 2, Abt. 1
      • Vorlesungen über die Algebra der Logik (Exakte Logik) Volume 2, Abt. 2
      • Algebra und Logik der Relative, der Vorlesungen über die Algebra der Logik 3 Volume 3, Abt. 1
    • Schröder, E., 1898. "Über zwei Definitionen der G. Cantor'sche Sätze", Abh. Kaiserl. Leop.-Car. Akad. Naturf 71: 301–362.
  • Both Primary and Secondary
    • Brady, Geraldine, 2000. From Peirce to Skolem. North Holland. Includes an English translation of parts of the Vorlesungen.
  • Secondary
    • 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.
    • Clarence Irving Lewis, 1960 (1918). A Survey of Symbolic Logic. Dover.
    • Peckhaus, V., 1997. 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.
    • Hilary Putnam, 1982, "Peirce the Logician," Historia Mathematica 9: 290–301. Reprinted in his 1990 Realism with a Human Face. Harvard University Press: 252–260. Online fragment.
    • Thiel, C., 1981. "A portrait, or, how to tell Frege from Schröder," History and Philosophy of Logic 2: 21–23.

External links

  • http://intranet.woodvillehs.sa.edu.au/pages/resources/maths/History/Schrdr.htm (requires login, unprovided)
  • .
  • Ernst Schröder at the Mathematics Genealogy Project
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.