Der Existenzfehlschluss: Wenn Definitionen Dinge ins Leben rufen

Stellen Sie sich vor, jemand argumentiert mit vollkommener Ernsthaftigkeit: "Alle perfekten Investitionen bringen risikolos hohe Renditen. Daher gibt es Investitionen, die risikolos hohe Renditen bringen — ich suche nur noch nach ihnen." Hier ist etwas grundsätzlich schiefgelaufen. Nicht die Prämisse ist falsch (per Definition stimmt sie), sondern der Schluss von einer Kategoriebeschreibung auf die Existenz von Dingen in dieser Kategorie. Das ist der Existenzfehlschluss.

Die Logik hinter dem Fehler

In der klassischen Aristotelischen Logik galten universelle Aussagen ("Alle A sind B") automatisch als Aussagen über wirklich existierende Dinge. Wenn man sagte "Alle Schwäne sind weiß", setzte man implizit voraus, dass es Schwäne gibt. Diese existenzielle Implikation erschien natürlich — denn wozu spräche man über Dinge, die gar nicht existieren?

Die moderne Prädikatenlogik hat diesen Automatismus abgeschafft. Heute bedeutet "Alle A sind B" lediglich: Für alle x gilt: wenn x ein A ist, dann ist x ein B. Ob es überhaupt ein x gibt, das A ist, ist eine separate Frage. Universelle Aussagen haben in der modernen Logik keine existenzielle Implikation mehr.

Der Existenzfehlschluss tritt genau dann auf, wenn jemand aus einer allgemeinen (Universal-)Aussage eine Existenzaussage ableitet, ohne zu prüfen, ob die beschriebene Kategorie überhaupt nicht-leer ist.

Das Einhorn-Prinzip

"Alle Einhörner haben ein Horn." Stimmt — per Definition. "Alle Einhörner sind weiß." Meinetwegen. "Also gibt es Einhörner, die ein Horn haben und weiß sind." Moment.

Was hier passiert: Aus der Definition der Kategorie "Einhorn" wird eine Existenzaussage über Einhörner destilliert. Der Fehler liegt nicht in den Prämissen — die sind tautologisch wahr, weil Einhörner so definiert sind. Der Fehler liegt im Sprung zur Existenz. Eine fehlerfreie Definition schützt nicht vor leerer Referenz.

Das klingt abstrakt, aber es hat sehr konkrete Konsequenzen. Der ontologische Gottesbeweis — eine der ältesten Argumentationen der Philosophiegeschichte — macht im Kern genau diesen Fehler: Gott wird als das vollkommenste Wesen definiert, und Existenz als Teil der Vollkommenheit angesehen. Also "muss" Gott existieren. Anselm von Canterbury formulierte das im 11. Jahrhundert; Kant widerlegte die Argumentation im 18. Jahrhundert unter anderem mit dem Hinweis, dass Existenz kein Prädikat ist — man kann sie nicht einfach in eine Definition hineinschmuggeln.

Syllogistisch gefasst

In der formalen Syllogistik zeigt sich der Fehler besonders klar. Betrachten Sie:

Alle gerechten Herrscher sorgen für das Wohl ihres Volkes.
Alle, die für das Wohl ihres Volkes sorgen, werden von der Geschichte gewürdigt.
Also: Einige, die von der Geschichte gewürdigt werden, sind gerechte Herrscher.

Klingt vernünftig. Aber: Was, wenn es keine gerechten Herrscher gibt? Dann haben die ersten beiden Prämissen leere Subjekte — sie sind im logischen Sinne "vacuously true", leer wahr. Aus leeren Kategorien folgt gar nichts über die Existenz von Dingen in ihnen.

Formal ausgedrückt: Ein Syllogismus mit universellen Prämissen (sogenannte A-Sätze: "Alle X sind Y") kann in der modernen Logik keine partikuläre Konklusion (I-Satz: "Einige X sind Y") liefern, ohne vorauszusetzen, dass die beschriebene Klasse nicht-leer ist.

Alltagsbeispiele, die wehtun

Die perfekte Diät

"Alle Diäten, die nachhaltig und gesund sind, führen langfristig zum Idealgewicht. Alle solchen Diäten lassen sich problemlos in den Alltag integrieren." Schlussfolgerung: "Es gibt also Diäten, die langfristig zum Idealgewicht führen und sich problemlos integrieren lassen." Diese Schlussfolgerung liegt nahe — aber ob solche Diäten tatsächlich existieren, ist eine empirische Frage, keine logische.

Der ideale Kandidat

In Stellenausschreibungen liest man manchmal Anforderungsprofile, die so umfangreich sind, dass man sich fragt, ob das beschriebene Wesen je geboren wurde. "Alle idealen Kandidaten vereinen tiefe Fachkenntnis, breite Führungserfahrung, soziale Kompetenz und Gehaltsvorstellungen im unteren Mittelfeld." Daraus zu schließen, dass solche Kandidaten existieren — und man sie nur finden müsse — ist klassischer Existenzfehlschluss.

Versicherungsmathematik und Modellwelten

Auch in technischen Feldern schleicht sich der Fehler ein. Risikomodelle beschreiben Kategorien von Ereignissen präzise — aber die Modellkategorie "Extremereignis der Klasse X" zu definieren bedeutet nicht, dass solche Ereignisse in der Häufigkeit auftreten, die das Modell voraussetzt. Die Kategorie existiert; die Ereignisse können trotzdem anders verteilt sein.

Der historische Hintergrund: Aristoteles vs. Moderne Logik

Die Spannung, die der Existenzfehlschluss aufzeigt, ist tatsächlich ein Bruch zwischen zwei Epochen der Logik. In der aristotelischen Tradition galten universelle Aussagen stets als Aussagen über real existierende Klassen — man redete eben nur über Dinge, die es gibt. Syllogismen funktionierten in einer Welt, in der die Kategorien mit Realität gefüllt waren.

George Boole und später Gottlob Frege revolutionierten im 19. Jahrhundert die Logik. In ihrer Prädikatenlogik sind universelle Aussagen bedingte Aussagen ohne Existenzannahmen. Das ist formal sauberer — erlaubt aber auch, über leere Mengen zu quantifizieren. Der Preis: Man muss Existenz explizit behaupten, wenn man sie braucht.

Diese Verschiebung macht den Existenzfehlschluss besonders tückisch: Wer in der aristotelischen Alltagsintuition denkt (und das tun die meisten von uns), macht den Fehler kaum bewusst — denn die Implikation "wenn ich über etwas spreche, existiert es" ist so tief eingebettet, dass sie unsichtbar ist.

Abgrenzung: Was ist kein Existenzfehlschluss?

Nicht jede Aussage über mögliche oder hypothetische Dinge ist ein Existenzfehlschluss. Mathematiker reden über ideale Dreiecke und wissen, dass sie nicht in der physischen Welt existieren. Romanciers erfinden Figuren. Juristen definieren hypothetische Rechtspersonen. All das ist legitim — solange keine existenzielle Schlussfolgerung über die reale Welt gezogen wird.

Der Fehlschluss entsteht erst, wenn aus der Beschreibung einer Kategorie der Schluss gezogen wird: "Und deshalb gibt es das wirklich." Oder: "Wir müssen es nur finden." Das ist der unberechtigte Sprung.

Erkennungsmerkmal

Ein praktischer Test: Enthält das Argument universelle Prämissen ("alle", "jedes", "stets"), und springt die Schlussfolgerung zu einer Existenzbehauptung ("es gibt also", "einige X sind")? Dann fragen Sie: Ist sichergestellt, dass die beschriebene Kategorie nicht leer ist? Gibt es unabhängige Belege für die Existenz dieser Dinge — oder wird Existenz nur aus der Definition erschlossen?

Wenn die Antwort "nur aus der Definition" lautet: Vorsicht. Definitionen erschaffen keine Dinge.

Zusammenfassung

Der Existenzfehlschluss zeigt eine der feinsten Fallen im logischen Denken: die Verwechslung von Kategorienbeschreibung und Wirklichkeitsaussage. In der aristotelischen Tradition hatten Kategorien immer schon Dinge in sich. In der modernen Logik ist das eine eigenständige Behauptung, die eigene Belege braucht.

Wer das versteht, wird misstrauisch gegenüber Argumenten, die aus Definitionen Existenzen destillieren — vom ontologischen Gottesbeweis bis zur Stellenanzeige mit unmöglichem Anforderungsprofil.

Weiterführend

Fehlschluss der ausschließenden Prämissen · Bejahung des Konsequens · Zirkelschluss

Quellen & Literatur

• Kant, Immanuel. Kritik der reinen Vernunft. 1781. (Abschnitt über den ontologischen Gottesbeweis)
• Frege, Gottlob. Begriffsschrift. 1879.
• Copi, Irving M. & Cohen, Carl. Introduction to Logic. 14. Aufl. Pearson, 2011.
• Hurley, Patrick J. A Concise Introduction to Logic. 13. Aufl. Cengage, 2018.
• Internet Encyclopedia of Philosophy: Existential Fallacy
• Wikipedia: Ontologischer Gottesbeweis