Gottlob Frege publishes Begriffsschrift

Background. Frege, a German philosopher and mathematician, shifted focus from geometry to logic. His 1879 book Begriffsschrift introduced a formal system that resolved ambiguities in quantifier scope, such as distinguishing 'every boy loves some girl' from 'some girl is loved by every boy'. This formalism allowed precise representation of logical readings previously handled artificially.

Significance. Begriffsschrift is considered the first work in analytic philosophy. It derived important theorems, like a generalized law of trichotomy, within pure logic. Frege's goal was to isolate logical inference principles to avoid reliance on intuition in mathematical proofs. The work influenced later philosophers, including Peano, Russell, and Wittgenstein, who recognized its importance.

Publication. The book was published in Halle an der Saale by Verlag von Louis Nebert in 1879. Its full title identifies it as a formula language for pure thought modeled on arithmetic. Frege denied achieving Leibniz's ideal language but employed his calculus for foundational research over the next quarter-century.