Einleitung: Die unsichtbare logische Kluft

In alltäglichen Diskursen, politischen Debatten und populärwissenschaftlichen Veröffentlichungen begegnen uns regelmäßig Behauptungen wie diese:

• „Der Mensch hat sich biologisch so entwickelt, dass er Nachkommen zeugt und seine Gene weitergibt. Folglich sollte jeder Mensch heiraten und Kinder großziehen.“
• „In der freien Marktwirtschaft sorgt ein harter Wettbewerb dafür, dass die Starken überleben und ineffiziente Schwache verdrängt werden. Daher sollte der Staat Bedürftige nicht durch Sozialleistungen unterstützen.“
• „Diese traditionelle Ordnung und Praxis wird in unserer Gesellschaft seit dreihundert Jahren ununterbrochen gewahrt. Folglich sollten wir diese Tradition für immer bewahren.“
• „Altruismus und Mitgefühl entstanden evolutionär, weil kooperative Gruppen höhere Überlebenschancen hatten. Daher ist Altruismus objektiv moralisch gut und verbindlich.“

Auf den ersten Blick scheinen diese Aussagen bestechend plausibel, gestützt auf objektive Fakten der Biologie, Ökonomie, Geschichte oder Neurophysiologie. Doch unter dem Seziermesser der Logik und der Metaethik offenbart sich ein verhängnisvoller Fehlschluss: der illegitime Übergang von dem, was IST (deskriptive Tatsache), zu dem, was SEIN SOLL (normative Pflicht).

Warum sollte aus der biologischen Tatsache der Fortpflanzungsfähigkeit eine moralische Pflicht erwachsen? Tödliche Viren und Bakterien existieren natürlicherweise in der Welt; dennoch käme niemand auf die Idee zu behaupten, wir sollten Epidemien freien Lauf lassen, nur weil Krankheitserreger natürlich sind. Wie die Welt empirisch beschaffen ist, und wie wir moralisch handeln sollen, sind zwei kategorial getrennte Sphären.

  flowchart TD
    subgraph FactRealm ["【Das Reich des SEINS (Is)】\nDeskriptive, empirische Aussagen"]
        Biology["Evolutionäre Biologie: Selbstreplikation der Gene"]
        Physics["Physikalische Gesetze: Gravitation, Thermodynamik"]
        History["Historische Fakten: Jahrhundertealte Konventionen"]
        Neuroscience["Neurowissenschaften: Oxytocinausschüttung & Belohnungszentrum"]
    end

    subgraph HumeGuillotine ["Humes Guillotine (Hume's Law)\n【Die logische Schneide】\nDeduktives Verbot, normative Konklusionen aus rein faktischen Prämissen abzuleiten"]
        Blade["Scharfe Klinge der Logik\nDurchtrennung des non-sequitur Sprungs vom Sein zum Sollen"]
    end

    subgraph ValueRealm ["【Das Reich des SOLLENS (Ought)】\nPräskriptive, evaluative Werturteile"]
        MoralDuty["Moralische Pflicht: Schwache schützen / Verträge halten"]
        Justice["Gerechtigkeit: Faire Verteilung gesellschaftlicher Güter"]
        Ethics["Normative Bewertung: Grausamkeit und Verrat sind böse"]
        Ecology["Umweltethik: Schutz der Biosphäre"]
    end

    FactRealm == Versuch deduktiver Ableitung ==> Blade
    Blade -.->|Deduktion ungültig（Non-Sequitur）| ValueRealm

    style HumeGuillotine fill:#ffe6e6,stroke:#ff0000,stroke-width:2px
    style FactRealm fill:#e6f3ff,stroke:#0066cc,stroke-width:2px
    style ValueRealm fill:#fff0b3,stroke:#e6b800,stroke-width:2px

Diese fundamentale Trennung formulierte der schottische Aufklärungsphilosoph David Hume (1711–1776) erstmals 1739 in seinem bahnbrechenden Werk A Treatise of Human Nature. Die im 20. Jahrhundert von Max Black als „Humes Guillotine“ (oder Humes Gesetz) getaufte Einsicht zerstörte die teleologische Naturauffassung seit Aristoteles. Später systematisierte G. E. Moore dies als „naturalistischen Fehlschluss“ und begründete damit die moderne analytische Metaethik.

1. David Humes Entdeckung im Treatise of Human Nature

Im dritten Buch („Über die Moral“) seines 1739 erschienenen Meisterwerks schrieb David Hume die berühmtesten Zeilen der Metaethik:

„In jedem Moralsystem, dem ich bisher begegnet bin, habe ich stets bemerkt, dass der Verfasser einige Zeit in der gewöhnlichen Weise vorgeht und das Dasein Gottes begründet oder Beobachtungen über menschliche Angelegenheiten anstellt; wenn ich plötzlich überrascht bin festzustellen, dass anstelle der üblichen Satzverknüpfungen ‚ist‘ und ‚ist nicht‘ kein Satz mehr vorkommt, der nicht mit einem ‚soll‘ oder ‚soll nicht‘ verbunden wäre.

Dieser Wechsel vollzieht sich unmerklich, ist jedoch von allergrößter Tragweite. Denn da dieses ‚soll‘ oder ‚soll nicht‘ eine neue Beziehung oder Bejahung ausdrückt, ist es notwendig, dass sie beachtet und erklärt wird; und gleichzeitig sollte ein Grund für das angegeben werden, was ganz unbegreiflich scheint: wie nämlich diese neue Beziehung aus anderen deduziert werden kann, die von ihr gänzlich verschieden sind.“

Humes Kritik beruht auf dem Konservativitätsprinzip der klassischen deduktiven Logik: In einem gültigen deduktiven Schluss darf in der Konklusion kein neuer Begriff oder modaler Operator auftauchen, der nicht bereits in den Prämissen enthalten war. Wenn die Prämissen rein deskriptiv sind („Jones versprach Smith Geld“), ist das plötzliche Auftreten eines normativen Sollensoperators ($\mathbf{O}$) in der Konklusion ein klassischer logischer Fehlschluss (Non-sequitur). Um den Schluss logisch gültig zu machen, muss zwingend eine unausgesprochene normative Prämisse hinzugefügt werden („Man soll gegebene Versprechen halten“). Diese Prämisse lässt sich jedoch wiederum nicht rein empirisch begründen, ohne in einen unendlichen Regress zu verfallen.

2. G. E. Moores naturalistischer Fehlschluss & das Argument der offenen Frage

Im Jahr 1903 erweiterte G. E. Moore in Principia Ethica Humes Argument auf die Ebene der Begriffsdefinition. Moore argumentierte, dass das Prädikat „gut“ eine einfache, unanalysierbare, nicht-natürliche Eigenschaft darstelle – ähnlich wie die Farbempfindung „Gelb“. Wer versucht, das moralische „Gut“ mit einer natürlichen Eigenschaft (wie Lust, evolutionärer Überlebensfähigkeit oder Wohlbefinden) gleichzusetzen, begehe den naturalistischen Fehlschluss (Naturalistic Fallacy).

Das Argument der offenen Frage (Open Question Argument: OQA)

• Geschlossene Frage: „Jones ist Junggeselle, aber ist er unverheiratet?“ (Analytisch wahr und trivial)
• Offene Frage: „Handlung X maximiert das Vergnügen der Mehrheit, aber ist Handlung X wirklich gut?“

Diese Frage bleibt immer eine sinnvolle, offene Frage. Wenn „gut“ exakt dasselbe wie „lustfördernd“ bedeutete, wäre die Frage so sinnlos wie die Frage nach dem unverheirateten Junggesellen. Da die Frage substanziell und diskussionswürdig bleibt, kann „gut“ nicht mit natürlichen Begriffen deckungsgleich definiert werden.

3. Mathematische Formalisierung in der deontischen Logik (SDL)

Der österreichische Logiker Gerhard Schurz bewies 1997 in seiner Monographie The Is-Ought Problem Humes Gesetz mathematisch exakt innerhalb der Standard Deontic Logic (SDL).

Im Kripke-Semantikmodell $\mathcal{M} = \langle W, R, V \rangle$ sind die Belegungsfunktion der empirischen Fakten $V$ und die Erreichbarkeitsrelation zu idealen Welten $R \subseteq W \times W$ modelltheoretisch vollständig orthogonal (unabhängig). Schurz formulierte das verallgemeinerte Hume-Theorem: Für jede konsistente Menge rein faktischer Prämissen $\Gamma \subset \mathcal{L}_{\text{fact}}$ und jede nicht-tautologische, vollkommen relevante deontische Formel $\mathbf{O}\phi$ gilt:

Damit ist Humes Guillotine kein bloßes philosophisches Bonmot, sondern ein mathematisch bewiesenes Theorem der formalen Logik.

4. Reale Katastrophen und die moderne KI-Alignment-Krise

  flowchart TD
    subgraph History ["Historische Katastrophe: Der fatale Sprung"]
        Darwin["Darwins Evolutionstheorie\nVariation & Selektion (Deskriptive Wissenschaft)"]
        SocialDarwin["Sozialdarwinismus (Spencer)\n'Recht des Stärkeren ist Naturgesetz' (Fakt)\n　　↓ Unzulässiger Sprung\n'Die Schwachen sollen eliminiert werden' (Sollen)"]
        Eugenics["Eugenik & NS-Rassenhygiene\nZwangssterilisation, T4-Euthanasie, Holocaust"]
        Darwin --> SocialDarwin --> Eugenics
    end

    subgraph AI ["Moderne technologische Krise: KI-Alignment"]
        Data["LLM-Trainingsdaten aus dem Internet\nTrillionen Token = 'Was Menschen tatsächlich tun' (Sein)"]
        Gap["Die Hume'sche Alignment-Lücke\nStatistische Nachahmung generiert keine Ethik;\nsie reproduziert menschliche Vorurteile"]
        SafeAI["Ausgerichtete sichere KI\nErfordert externe normative Verfassungsprinzipien (Sollen)"]
        Data --> Gap --> SafeAI
    end

    style History fill:#fff2f0,stroke:#d9534f,stroke-width:2px
    style AI fill:#f0f7ff,stroke:#0275d8,stroke-width:2px

Die Missachtung von Humes Guillotine führte historisch zu verheerenden Tragödien: Der Sozialdarwinismus rechtfertigte Kolonialismus und den Rassenwahn der Nationalsozialisten, indem er die Grausamkeit natürlicher Auslese fälschlicherweise zum moralischen Sollen erhob. Dass die Natur erbarmungslos ist (Sein), rechtfertigt niemals menschliche Grausamkeit; im Gegenteil: Weil die Natur grausam ist, sollen wir gerechte Institutionen schaffen (Sollen).

In der Gegenwart manifestiert sich dieses Problem im KI-Alignment-Problem. Große Sprachmodelle (LLMs) lernen statistische Muster menschlicher Internet-Texte – das reine Reich des Seins. Daraus lässt sich niemals ableiten, wie eine künftige Superintelligenz handeln soll. Ethische Prinzipien müssen durch menschliches Feedback (RLHF) und verfassungsartige Werte explizit als normative Rahmenbedingungen gesetzt werden.

5. Fazit: Ein Leuchtfeuer der Werte im Meer der Fakten

Humes Gesetz beraubt uns nicht der Moral; es rettet unsere Freiheit. Wäre das Sollen deduktiv aus dem Sein ableitbar, wären wir bloße Rädchen im Getriebe der Naturgesetze, unfähig zu echter moralischer Entscheidung und Verantwortung.

Weil Fakten und Werte durch einen tiefen Abgrund getrennt sind, vermag der Mensch der harten Realität ins Auge zu blicken und selbstbestimmt zu fordern:

„Die Welt ist gegenwärtig so (Sein). Doch so darf sie nicht bleiben (Sollen). Wir wollen sie gerechter und menschlicher gestalten.“

Die Naturwissenschaft liefert uns die unentbehrliche Landkarte der Tatsachen; doch den Kurs unseres Handelns bestimmen allein die Leuchtfeuer unseres Gewissens und unserer autonomen Werte.