Introduction : Le gouffre logique invisible du quotidien

Dans les débats publics, les discours politiques et la vulgarisation scientifique, nous rencontrons couramment des arguments formulés ainsi :

• « L’être humain a évolué biologiquement pour procréer et transmettre son patrimoine génétique. Par conséquent, tout individu doit se marier et élever des enfants. »
• « Dans une économie de marché libre, la compétition naturelle élimine les acteurs inefficaces au profit des plus forts. Par conséquent, l’État ne doit pas secourir les plus démunis par des aides sociales. »
• « Cette coutume et cette structure familiale traditionnelle perdurent dans notre pays depuis trois siècles. Par conséquent, nous devons la préserver fidèlement pour l’éternité. »
• « L’empathie et la coopération ont été sélectionnées car la libération d’ocytocine favorisait la survie des groupes ancestraux. Par conséquent, l’altruisme est un bien moral universel et obligatoire. »

À première vue, ces affirmations semblent solidement ancrées dans des faits objectifs issus de la biologie, de l’économie ou des neurosciences. Pourtant, soumises au scalpel de la logique formelle et de la métaéthique, elles révèlent un saut logique illégitime : la transition clandestine de ce qui EST (fait descriptif) à ce qui DOIT ÊTRE (norme prescriptive).

Le fait que l’organisme humain soit biologiquement adapté à la reproduction n’implique nullement une obligation morale de procréer. De même que les virus et bactéries pathogènes existent naturellement sans que quiconque n’affirme que nous devons laisser les pandémies se propager, la description empirique du monde est d’une nature radicalement distincte de la prescription de nos devoirs.

  flowchart TD
    subgraph FactRealm ["【Le Royaume de l'ÊTRE (Is)】\nÉnoncés descriptifs et empiriques"]
        Biology["Évolution biologique : réplication des gènes"]
        Physics["Lois physiques : gravité, thermodynamique, entropie"]
        History["Faits historiques : traditions et coutumes séculaires"]
        Neuroscience["Neurosciences : circuits de la récompense et ocytocine"]
    end

    subgraph HumeGuillotine ["La Guillotine de Hume\n【Le couperet logique】\nInterdiction déductive de dériver le normatif à partir de prémisses purement factuelles"]
        Blade["Lame acérée de la logique\nSectionnement du non-sequitur entre fait et valeur"]
    end

    subgraph ValueRealm ["【Le Royaume du DEVOIR-ÊTRE (Ought)】\nÉnoncés normatifs et évaluatifs"]
        MoralDuty["Devoir moral : secourir les faibles / tenir ses promesses"]
        Justice["Principes de justice : redistribution équitable"]
        Ethics["Jugement de valeur : la cruauté est mauvaise"]
        Ecology["Éthique environnementale : préservation de la biosphère"]
    end

    FactRealm == Tentative de déduction déductive ==> Blade
    Blade -.->|Déduction invalide（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

Cette rupture épistémologique majeure a été identifiée pour la première fois par le philosophe des Lumières écossaises David Hume (1711–1776) dans son Traité de la nature humaine (1739). Qualifiée plus tard de « Guillotine de Hume » par Max Black, elle a renversé la téléologie aristotélicienne. Au début du XXe siècle, G. E. Moore a prolongé cette analyse avec le concept de « sophisme naturaliste ».

1. Le passage fondamental de David Hume (1739)

Dans le Livre III de son Traité de la nature humaine, Hume écrit le passage sans doute le plus célèbre de la philosophie morale anglo-saxonne :

« Dans tous les systèmes de morale que j’ai rencontrés jusqu’ici, j’ai toujours remarqué que l’auteur procède pendant un certain temps de la manière ordinaire de raisonner, établit l’existence d’un Dieu, ou fait des observations sur les affaires humaines ; quand tout à coup, je suis surpris de constater qu’au lieu des copules ordinaires des propositions, est et n’est pas, je ne rencontre aucune proposition qui ne soit liée par un doit ou ne doit pas.

Ce changement est imperceptible, mais il est de la plus haute importance. Car comme ce doit ou ne doit pas exprime une nouvelle relation ou affirmation, il est nécessaire qu’il soit remarqué et expliqué ; et qu’en même temps une raison soit donnée pour ce qui semble tout à fait inconcevable : comment cette nouvelle relation peut être une déduction d’autres relations qui en sont entièrement différentes. »

L’argument de Hume repose sur le principe de conservativité de la logique déductive : une déduction valide ne peut contenir dans sa conclusion aucun prédicat ou opérateur modal absent de ses prémisses. Passer de prémisses purement factuelles à une conclusion déontique (« doit ») constitue un pur sophisme de type non-sequitur. Pour valider l’inférence, il faut impérativement adjoindre une prémisse normative implicite (« On doit respecter ses promesses »), laquelle exige à son tour une justification normative, entraînant une régression à l’infini.

2. Le sophisme naturaliste et l’argument de la question ouverte (G. E. Moore)

En 1903, dans Principia Ethica, G. E. Moore démontre que la propriété morale « bon » est une propriété simple, inanalysable et non-naturelle, semblable à la perception visuelle du « jaune ». Vouloir définir le « bien » par une propriété naturelle (le plaisir, l’évolution, le désir) constitue le sophisme naturaliste (Naturalistic Fallacy).

Moore forge l’Argument de la question ouverte (Open Question Argument) :

• Question fermée : « Pierre est célibataire, mais est-il non marié ? » (Triviale et fermée par définition).
• Question ouverte : « L’action X maximise le plaisir général, mais l’action X est-elle réellement bonne ? »

Cette interrogation demeure toujours intelligible et ouverte. Si « bon » était rigoureusement synonyme de « maximiser le plaisir », la question serait absurde. Puisqu’elle a un sens profond, « bon » ne peut être réduit à aucune propriété naturelle.

3. Formalisation en logique déontique standard (SDL)

Le logicien autrichien Gerhard Schurz a démontré en 1997 le théorème généralisé de Hume au sein de la logique déontique standard. En sémantique de Kripke, les valeurs de vérité empiriques dans le monde réel et la relation d’accessibilité aux mondes idéaux sont strictement orthogonales. Pour tout ensemble cohérent de faits $\Gamma$ et toute formule déontique pertinente non triviale $\mathbf{O}\phi$ :

4. Drames historiques et alignement de l’intelligence artificielle

  flowchart TD
    subgraph History ["Tragédie historique : le saut fatal"]
        Darwin["Évolution darwinienne\nSélection naturelle & variation (Science descriptive)"]
        SocialDarwin["Darwinisme social (Spencer)\n'La survie du plus apte est une loi' (Fait)\n　　↓ Saut illégitime\n'Les faibles doivent périr' (Devoir)"]
        Eugenics["Eugénisme & crimes nazis\nStérilisation forcée, programme T4, Shoah"]
        Darwin --> SocialDarwin --> Eugenics
    end

    subgraph AI ["Crise technologique moderne : alignement de l'IA"]
        Data["Données textuelles d'entraînement des LLM\nDes milliards de mots = 'Ce que font réellement les humains' (Être)"]
        Gap["Fossé humien de l'alignement\nL'imitation statistique n'engendre aucune éthique ;\nelle amplifie les biais humains"]
        SafeAI["IA sécurisée et alignée\nNécessite des principes normatifs explicites (Devoir-être)"]
        Data --> Gap --> SafeAI
    end

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

Ignorer la guillotine de Hume a engendré au XIXe et XXe siècles le désastre du darwinisme social et de l’eugénisme : croire que la cruauté de la sélection naturelle autorisait l’élimination des plus faibles. Or, la rudesse de la nature est précisément la raison pour laquelle les êtres humains doivent concevoir des institutions de solidarité.

Aujourd’hui, ce gouffre réapparaît au cœur du problème de l’alignement de l’IA. Entraîner un modèle de langage sur les textes du Web revient à modéliser ce que les humains font et disent (le monde de l’Être). Déduire comment une superintelligence doit agir (le monde du Devoir-être) exige une injection normative externe (RLHF, IA constitutionnelle).

5. Conclusion : Le phare des valeurs dans l’océan des faits

La guillotine de Hume ne détruit pas la morale : elle préserve notre liberté. Si le devoir découlait automatiquement des faits, nous ne serions que des rouages mécaniques soumis aux lois impersonnelles de la matière. C’est précisément parce qu’il existe un abîme entre le fait et la valeur que l’être humain peut affirmer face au monde :

« Le monde est ainsi fait (Être). Mais il ne doit pas le rester (Devoir). Nous avons le devoir et la liberté de le rendre plus juste. »