Begriffsschrift

Die Begriffsschrift ist ein schmales, nur etwa achtzig Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur Logik. Es wurde 1879 mit dem Untertitel „Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens“ veröffentlicht und gilt allgemein als die wichtigste Veröffentlichung im Bereich der Logik seit Aristoteles’ Organon.^[1]

Frege gelang in diesem Buch zum ersten Mal eine Formalisierung der klassischen Prädikatenlogik und damit die erste Formalisierung einer Logik, in der sich ein hinreichend großer Teil der Mathematik, aber auch der natürlichen Sprache ausdrücken ließ. Gemeinsam mit George Booles Mathematical Analysis of Logic von 1847 markiert die Begriffsschrift deshalb den Beginn der modernen formalen Logik. Die Bezeichnung Begriffsschrift wird auch für den von Frege definierten logischen Kalkül sowie für Freges logische Notation verwendet. Frege entwarf die Begriffsschrift zur Unterstützung seiner Forschung an den Grundlagen der Mathematik.

Freges Kalkül führte erstmals den Allquantor sowie mehrstellige Prädikate (Relationen) ein. Es handelt sich um einen klassischen prädikatenlogischen Kalkül zweiter Stufe mit Identität, allerdings in einer im Vergleich zu heute üblichen Schreibweisen eigenwilligen, zweidimensionalen Notation.

1. ↑ Höffe: Kleine Geschichte der Philosophie. S. 318.