Gottlob Frege
Der bedeutendste Logiker seit Aristoteles. Er erfand die moderne Prädikatenlogik, begründete den Logizismus und die analytische Sprachphilosophie – kaum beachtet zu Lebzeiten.
Sinn und Bedeutung
Ein sprachliches Zeichen hat zwei semantische Ebenen: die Bedeutung (den bezeichneten Gegenstand) und den Sinn (die Art, wie dieser gegeben ist). „Morgenstern“ und „Abendstern“ haben dieselbe Bedeutung – den Planeten Venus –, aber verschiedenen Sinn.
Ein Mann sitzt in Jena über seinen Blättern, fast unbemerkt von der gelehrten Welt, und tut etwas, das seit Aristoteles niemand gewagt hatte: Er erfindet das Denken über das Denken neu. Mit der Begriffsschrift (1879) entwirft Gottlob Frege eine Sprache, in der kein Schluss mehr auf das stille Einverständnis der Anschauung baut – jeder Schritt liegt offen, prüfbar, lückenlos. Die zweitausendjährige Syllogistik des Aristoteles wird darin nicht verbessert, sondern abgelöst durch ein System aus Quantoren und Variablen, das bis heute die Grammatik der Logik bildet. Frege wollte mehr: Er glaubte, die Zahlen seien im Grunde Geschöpfe der reinen Vernunft, und versuchte im Logizismus, die ganze Arithmetik auf bloße Logik zurückzuführen, Zahlen als logische Gegenstände zu fassen, ohne Rückgriff auf Sinnlichkeit oder seelisches Vorstellen. Aus derselben Schärfe stammt seine berühmteste Unterscheidung – die von Sinn und Bedeutung –, die zeigt, warum „Morgenstern“ und „Abendstern“ dasselbe meinen und doch nicht dasselbe sagen. Zu Lebzeiten überlas man ihn; gelesen aber haben ihn die Richtigen. Über Russell, Wittgenstein und seinen Schüler Carnap wurde der stille Jenaer Professor zum heimlichen Stammvater der analytischen Philosophie – und zu einem der Ahnen jener formalen Strenge, auf der noch Rechner und Programmiersprachen ruhen.
θ · Kernideen
- 1.Begriffsschrift: die erste echte formale Sprache der Logik – Prädikatenlogik erster und zweiter Stufe mit Identität.
- 2.Lückenlosigkeit des Schließens: Eine formale Sprache verhindert, dass unbemerkt Intuition in Beweise einfließt.
- 3.Anti-Psychologismus: Die Gesetze der Logik sind objektive Wahrheiten, keine subjektiven Denkgesetze.
- 4.Logizismus: Arithmetik ist auf Logik zurückführbar; eine Zahlangabe ist eine Aussage über einen Begriff.
- 5.Sinn und Bedeutung: Ein Zeichen hat eine Bedeutung (den Referenten) und einen Sinn (die Art des Gegebenseins).
- 6.Kompositionalität (Frege-Prinzip): Die Bedeutung eines komplexen Ausdrucks ergibt sich aus der Bedeutung seiner Teile.
Die Hauptkritik
Freges Lebensprojekt – die Rückführung der gesamten Arithmetik auf reine Logik – ist an einer Stelle gescheitert, die kein bloßer Schönheitsfehler war: Russells Antinomie von 1902 traf mit dem Grundgesetz V nicht eine Randannahme, sondern genau jenes Abstraktionsprinzip, das Zahlen überhaupt erst als „logische Gegenstände" erzeugen sollte. Entscheidend ist der von Quine geschärfte Befund, dass alle späteren Rettungen den Logizismus im strengen Sinn preisgeben: Russells Typentheorie wie die axiomatische Mengenlehre erkaufen die Widerspruchsfreiheit mit Axiomen – Unendlichkeit, Reduzibilität, Aussonderung –, die selbst nichts rein Logisches mehr sind, sondern verkappte mathematische Existenzbehauptungen; was sich auf „Logik" zurückführen ließe, wäre dann gar keine Logik mehr. Der moderne Neologizismus von Wright und Hale, der Grundgesetz V durch Humes Prinzip ersetzt, gilt vielen als elegant, bleibt aber durch das von Frege selbst entdeckte Julius-Caesar-Problem und den Streit um die „Schlechtgesellschafts"-Einwände belastet: ein Prinzip, das nicht entscheidet, ob Caesar eine Zahl ist, fasst Zahlen nicht so eindeutig, wie der Logizismus es verlangte. Hinzu tritt Benacerrafs grundsätzlicher Zweifel, ob es überhaupt sinnvoll ist, Zahlen mit bestimmten Gegenständen – Umfängen, Klassen – zu identifizieren, da jede solche Identifikation willkürlich bleibt. Und schließlich hat Gödels Unvollständigkeitssatz Freges tiefstes Versprechen, das „lückenlose Schließen" könne der Arithmetik ein vollständiges, sicheres Fundament geben, prinzipiell widerlegt: Kein hinreichend starkes Axiomensystem beweist alle arithmetischen Wahrheiten, geschweige denn die eigene Widerspruchsfreiheit. So bleibt Freges Logik unsterblich – sein Logizismus aber ein bewundernswertes Scheitern.
θ · Bezug zur Technikphilosophie
Mit der Begriffsschrift (1879) schuf Frege die erste formale Sprache mit Quantoren, Variablen und lückenloser Ableitung – und damit ein Vorbild jener exakten, mechanisch handhabbaren Kalküle, auf denen die moderne Informatik beruht. Sein Ideal des „lückenlosen Schließens“, das jeden Schritt explizit macht und Intuition aus dem Beweis verbannt, nimmt die Idee einer formal-syntaktischen, von einer Maschine ausführbaren Symbolverarbeitung vorweg. Über Russell, Wittgenstein und seinen Schüler Carnap wirkte seine Prädikatenlogik bis in Logikgatter, Programmiersprachen und die formale Semantik – und steht so am Beginn der Linie, die zu Berechenbarkeit, Computer und Künstlicher Intelligenz führt. Auch seine Unterscheidung von Sinn und Bedeutung bleibt für die Wissensrepräsentation und die Verarbeitung natürlicher Sprache durch Maschinen grundlegend.
θ · Wahrheitsbegriff
Frege fasst Wahrheit nicht als Eigenschaft von Sätzen oder Vorstellungen, sondern als zwei abstrakte logische Gegenstände: das Wahre und das Falsche. Die Bedeutung (der Referent) eines Aussagesatzes ist sein Wahrheitswert, sein Sinn der ausgedrückte Gedanke. Gedanken sind dabei objektiv und nicht-psychologisch – sie gehören einem „dritten Reich“ an, das weder die physische Außenwelt noch das subjektive Bewusstsein ist. Im Anti-Psychologismus gründet sich so eine Wahrheit, die von jedem Fürwahrhalten unabhängig besteht und nicht weiter definierbar ist, weil jede Definition sie bereits voraussetzt.
θ · Subjekt & Objekt
Im Zentrum von Freges Anti-Psychologismus steht die scharfe Trennung des Objektiven vom subjektiv-Psychischen: Gedanken und logische Gesetze sind keine seelischen Vorgänge eines erkennenden Subjekts, sondern objektiv und unabhängig von jedem Fürwahrhalten. Er siedelt die Gedanken in einem „dritten Reich“ an, das weder die physische Außenwelt der Objekte noch das subjektive Bewusstsein ist, sondern von beiden unterschieden besteht. Das Subjekt erfasst diese objektiven Gedanken, erzeugt sie aber nicht; die bloße subjektive „Vorstellung“ scheidet Frege ausdrücklich vom objektiven Sinn. So verteidigt er gegenüber dem Psychologismus die Objektivität von Logik, Wahrheit und Bedeutung als dem Subjekt vorgegeben.
θ · Beitrag zur Wissenschaftstheorie
Frege gehört zu den Begründern der modernen Wissenschaftstheorie der formalen Disziplinen: Sein Ideal des „lückenlosen Schließens“ verlangt, dass jeder Beweisschritt explizit aus Axiomen und Definitionen abgeleitet wird, sodass keine unbemerkte Anschauung oder Intuition einfließt. Mit dem Logizismus suchte er die Arithmetik streng auf logische Grundgesetze zurückzuführen und so ein sicheres Fundament der Mathematik zu schaffen. Sein Anti-Psychologismus trennt scharf die objektive Geltung wissenschaftlicher Wahrheiten vom subjektiven Denkvorgang und sichert damit die Objektivität von Logik und Wissenschaft. Über Russell, Wittgenstein und seinen Schüler Carnap prägte diese Verbindung von Formalsprache, Axiomatik und Antipsychologismus den logischen Empirismus und die analytische Wissenschaftstheorie.
θ · Logische Beweise & Argumente
Sinn und Bedeutung – das Identitätsrätsel
Aus „Über Sinn und Bedeutung“ (1892): Warum ist „a = b“ eine Erkenntnis, „a = a“ aber trivial, obwohl beide Zeichen dasselbe bezeichnen?
- P1„Der Morgenstern ist der Morgenstern“ (a = a) ist trivial und a priori einsichtig.
- P2„Der Morgenstern ist der Abendstern“ (a = b) ist eine echte astronomische Erkenntnis – beide bezeichnen den Planeten Venus.
- P3Hätten Zeichen nur eine Bedeutung (den Referenten), müssten a = a und a = b denselben Erkenntniswert haben – sie haben ihn aber nicht.
- ∴Also ist neben der Bedeutung (dem Referenten) ein Sinn (die Art des Gegebenseins) zu unterscheiden: „Morgenstern“ und „Abendstern“ haben dieselbe Bedeutung, aber verschiedenen Sinn.
Bedeutung(Morgenstern) = Bedeutung(Abendstern) = Venus Sinn(Morgenstern) ≠ Sinn(Abendstern)
Bei ganzen Sätzen ist die Bedeutung der Wahrheitswert (das Wahre oder das Falsche), der Sinn der ausgedrückte Gedanke. Diese Zwei-Ebenen-Semantik ist bis heute Grundlage der Bedeutungstheorie.
Grundgesetz V und sein Zusammenbruch
Das Herzstück von Freges Logizismus – und die Stelle, an der Russells Antinomie es traf.
- P1Grundgesetz V erlaubt uneingeschränkte Abstraktion: Zu jedem Begriff existiert sein „Wertverlauf“ (Umfang) als logischer Gegenstand, und zwei Begriffe haben genau dann denselben Umfang, wenn ihnen dieselben Gegenstände fallen.
- P2Damit lässt sich auch der Umfang des Begriffs „Umfang, der sich nicht selbst enthält“ bilden.
- P3Auf diesen Umfang wendet sich Russells Antinomie an: Er enthält sich genau dann selbst, wenn er sich nicht selbst enthält.
- ∴Grundgesetz V ist widersprüchlich. Freges Versuch, die Arithmetik rein logisch zu begründen, scheitert an genau dieser Grundlage.
GG V: {x : Fx} = {x : Gx} ⟺ ∀x(Fx ↔ Gx)
⟹ Russell-AntinomieFrege erkannte die Tragweite sofort (berühmtes Nachwort der Grundgesetze II). Spätere Auswege: Russells Typentheorie und die axiomatische Mengenlehre (ZFC). Im Neologizismus lebt sein Programm fort – mit Humes Prinzip statt Grundgesetz V.
Zahlen als logische Objekte (Humes Prinzip)
Wie sich Zahlen ohne Anschauung und ohne Psychologie rein logisch fassen lassen.
- P1Eine Zahlangabe ist eine Aussage über einen Begriff: „Es gibt acht Planeten“ sagt etwas über den Begriff „Planet“.
- P2Zwei Begriffe sind gleichzahlig, wenn sich ihre Gegenstände eineindeutig (eins-zu-eins) zuordnen lassen – das ist Humes Prinzip.
- P3Die Anzahl eines Begriffs F wird definiert als der Umfang aller mit F gleichzahligen Begriffe.
- ∴Damit sind Zahlen als rein logische Objekte bestimmt – ohne Rückgriff auf Anschauung oder subjektive Vorstellungen.
Zahlangabe über Begriff: „8 Planeten“ ≙ Aussage über Planet(x)
Gleichzahligkeit: F ≈ G :⟺ ∃R (R bildet {x:Fx} eineindeutig auf {x:Gx} ab)
Humes Prinzip: №x.Fx = №x.Gx ⟺ F ≈ G
Def. Anzahl: №F := ϵ̇G ( G ≈ F ) (Umfang aller mit F gleichzahligen Begriffe)
∴ Zahlen rein logisch bestimmt — ohne Anschauung, ohne VorstellungDas Julius-Caesar-Problem markiert eine Grenze: Rein logische Definitionen entscheiden nicht, ob ein beliebiger Gegenstand – etwa Julius Caesar – eine Zahl ist. Genau hier setzt der moderne Neologizismus an.
θ · Hauptwerke
Begriffsschrift
Begründung der modernen Logik: formale Sprache, Quantoren, Variablen – ein Wendepunkt der Logikgeschichte.
bei genialokal.de ansehen ↗Die Grundlagen der Arithmetik
Philosophische Grundlegung des Logizismus; Zahlen als logische Objekte, Kontextprinzip, Humes Prinzip.
bei genialokal.de ansehen ↗Über Sinn und Bedeutung
Der klassische Aufsatz der Sprachphilosophie zur Zwei-Ebenen-Semantik.
bei genialokal.de ansehen ↗Grundgesetze der Arithmetik
Formale Durchführung des Logizismus – durch Russells Antinomie in der Grundlage getroffen.
bei genialokal.de ansehen ↗
θ · Zitate
„Nach der Bedeutung der Wörter muss im Satzzusammenhang, nicht in ihrer Vereinzelung gefragt werden.“
— Die Grundlagen der Arithmetik (1884), Kontextprinzip
„Einem wissenschaftlichen Schriftsteller kann kaum etwas Unerwünschteres begegnen, als dass ihm nach Vollendung einer Arbeit eine der Grundlagen seines Baues erschüttert wird.“
— Grundgesetze der Arithmetik II (1903), Nachwort zu Russells Brief
θ · Aus dem Leben
Der Brief, der ein Lebenswerk erschütterte
Im Juni 1902, als der zweite Band der „Grundgesetze der Arithmetik“ bereits im Druck war, erreichte Frege ein höflicher Brief des jungen Bertrand Russell. Darin legte Russell knapp einen Widerspruch dar, der direkt aus Freges Grundgesetz V folgte – die später so genannte Russell-Antinomie. Frege erkannte die Tragweite sofort und antwortete mit bemerkenswerter wissenschaftlicher Redlichkeit, statt das Problem zu verschweigen. In ein Nachwort des bereits gesetzten Bandes schrieb er den berühmten Satz, einem Schriftsteller könne kaum etwas Unerwünschteres begegnen, als dass nach Vollendung der Arbeit eine Grundlage seines Baues erschüttert werde. Das Eingeständnis, dass sein logizistisches Fundament getroffen war, gilt bis heute als Musterbeispiel intellektueller Ehrlichkeit.
θ · Verwandte Denker
Frege verwirklichte Leibniz’ Idee einer präzisen logischen Formalsprache.
Russells Antinomie traf 1902 das Herz von Freges System.
Carnap war sein bedeutendster Schüler in Jena.
Wittgenstein nannte Frege einen entscheidenden Einfluss seines Denkens.
θ · Gottlob Frege vertiefen
Unklar geblieben? Gottlob Frege antwortet dir selbst – oben im Live-Gespräch.