Begriffsschrift

The Begriffsschrift (German for "concept-script") is the 1879 monograph by Gottlob Frege that introduced modern predicate logic to the world. Frege intended his notation not merely as a shorthand for existing logical forms, but as a new language for expressing conceptual content with a transparency that natural language could not achieve.

The Begriffsschrift's central innovation was the quantifier-variable notation — the use of ∀ and ∃ to express generality and existence with full precision. This made possible, for the first time, the logical analysis of propositions whose structure exceeded the capacity of Aristotelian syllogistic. The work was ignored for decades, but its conceptual architecture became the foundation of mathematical logic, set theory, and the analytic tradition in philosophy.

The Begriffsschrift is the prototype of every formal language designed to make implicit structure explicit — from programming languages to formal semantic frameworks. Its design principle — that syntax should mirror logical structure, not grammatical surface — remains the governing ideal of formal systems design.