Gottlob Frege

1848–1925

Der bedeutendste Logiker seit Aristoteles. Er erfand die moderne Prädikatenlogik, begründete den Logizismus und die analytische Sprachphilosophie – kaum beachtet zu Lebzeiten.

LogizismusAnalytische PhilosophieLogikSprachphilosophieWissenschaftstheorieErkenntnistheorie

Bekanntestes Konzept

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.

Gottlob Frege legte mit der Begriffsschrift (1879) das Fundament der modernen formalen Logik und ersetzte die jahrtausendealte aristotelische Syllogistik durch ein axiomatisches System mit Quantoren und Variablen. Als Begründer des Logizismus wollte er die gesamte Arithmetik auf die Logik zurückführen und Zahlen als logische Objekte definieren. Seine sprachphilosophische Unterscheidung von Sinn und Bedeutung wurde zum Standardwerk. Zu Lebzeiten kaum anerkannt, prägte er Russell, Wittgenstein und seinen Schüler Carnap – und damit die gesamte analytische Philosophie und die Grundlagen der Informatik.

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.

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-Antinomie

Frege 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.

Das 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(1879)
Begründung der modernen Logik: formale Sprache, Quantoren, Variablen – ein Wendepunkt der Logikgeschichte.
Die Grundlagen der Arithmetik(1884)
Philosophische Grundlegung des Logizismus; Zahlen als logische Objekte, Kontextprinzip, Humes Prinzip.
Über Sinn und Bedeutung(1892)
Der klassische Aufsatz der Sprachphilosophie zur Zwei-Ebenen-Semantik.
Grundgesetze der Arithmetik(1893 / 1903)
Formale Durchführung des Logizismus – durch Russells Antinomie in der Grundlage getroffen.

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.