Friedrich Wilhelm Karl Ernst Schröder (25 November 1841 in Mannheim, Grand Duchy of Baden – 16 June 1902 in Karlsruhe, Germany) was a German mathematician mainly known for his work on algebraic logic.

He is a major figure in the history of mathematical logic, by virtue of summarizing and extending the work of George Boole, Augustus De Morgan, Hugh MacColl, and especially Charles Peirce.

Schröder learned mathematics at Heidelberg, Königsberg, and Zürich, under Otto Hesse, Gustav Kirchhoff, and Franz Neumann.

Schröder's early work on formal algebra and logic was written in ignorance of the British logicians George Boole and Augustus De Morgan.

To their work he subsequently added several important concepts due to Charles Sanders Peirce, including subsumption and quantification.

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.

Schröder said his aim was: ...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 natural language, to withdraw any fertile soil from "cliché" in the field of philosophy as well.

One can sum up these simple facts (which anyone can quickly verify) as follows: Frege certainly discovered the quantifier first (four years before Oscar Howard Mitchell, going by publication dates, which are all we have as far as I know).