1. Introduction : La fracture épistémologique à l’instant du réveil

Le dimanche soir, la Belle au bois dormant (Sleeping Beauty) — une agente bayésienne idéalement rationnelle dotée d’une cohérence logique parfaite — est endormie dans le cadre d’une expérience de pensée. Avant de s’endormir, les chercheurs lui expliquent l’intégralité du protocole expérimental, dont elle connaît les règles avec une certitude absolue.

Imaginé à l’origine par le philosophe Arnold Zuboff (1990) dans “One Self: The Logic of Experience”, baptisé par Robert Stalnaker et propulsé au cœur de l’épistémologie formelle par l’article fondateur d’Adam Elga (2000) dans Analysis (“Self-locating belief and the Sleeping Beauty problem”), le protocole obéit aux règles suivantes :

1.1 Spécification exacte du protocole expérimental

1. Dimanche soir (Étape a priori) : La Belle est endormie. Les chercheurs lancent une pièce parfaitement équilibrée dont la chance objective est $P(\text{Face / Heads}) = 1/2$ et $P(\text{Pile / Tails}) = 1/2$.
2. Si la pièce tombe sur « Face » ($H$) :
   • Les chercheurs réveillent la Belle le lundi matin et mènent un bref entretien.
   • Ils la rendorment ensuite ; elle reste totalement inconsciente tout le mardi et n’est réveillée que le mercredi à la fin de l’expérience (1 seul réveil au total).
3. Si la pièce tombe sur « Pile » ($T$) :
   • Les chercheurs réveillent la Belle le lundi matin et mènent l’entretien.
   • Immédiatement après, ils lui administrent une drogue amnésiante parfaite qui efface totalement tout souvenir du réveil du lundi, puis la rendorment.
   • Le mardi matin, ils la réveillent une seconde fois dans des conditions exactement identiques (2 réveils au total).
4. Indiscernabilité subjective :
   • Aucune horloge, calendrier ou indice extérieur n’est disponible. En raison de l’amnésie, le réveil du lundi matin et le réveil du mardi matin sont subjectivement et phénoménologiquement indiscernables.

Lorsqu’elle est réveillée le lundi matin, le chercheur lui pose une seule question :

« Quelle doit être maintenant votre crédence (degré de croyance subjectif) $P(\text{Heads})$ que la pièce soit tombée sur Face ? »

Immédiatement, l’intuition rationnelle se divise en deux camps irréconciliables :

• Le camp des « Halvers » ($P(\text{Heads}) = 1/2$ — David Lewis, Bas van Fraassen, Darren Bradley) : « Dès le dimanche soir, la Belle savait avec une certitude de $100\%$ qu’elle se réveillerait au moins une fois dans cet état exact. Le fait de se réveiller n’apporte aucune nouvelle information objective sur le monde. Sans nouvelle preuve inattendue, un agent bayésien rationnel doit conserver sa probabilité a priori du dimanche : $P(\text{Heads}) = 1/2$. »
• Le camp des « Thirders » ($P(\text{Heads}) = 1/3$ — Adam Elga, Christopher Hitchcock, Cian Dorr) : « Au réveil, il existe trois situations spatio-temporelles mutuellement exclusives et indiscernables dans lesquelles la Belle peut se trouver : $(\text{Face}, \text{Lundi})$, $(\text{Pile}, \text{Lundi})$ et $(\text{Pile}, \text{Mardi})$. Puisque Pile produit deux fois plus de réveils que Face, le fait de se trouver éveillée favorise Pile dans un rapport de $2$ contre $1$. Sur $1\,000$ répétitions de l’expérience, il y a environ $500$ réveils Face et $1\,000$ réveils Pile ($500$ lundi $+$ $500$ mardi), soit exactement $500 / 1\,500 = 1/3$ de réveils Face. Sa crédence doit donc être $P(\text{Heads}) = 1/3$. »

  flowchart TD
    Sun["Dimanche soir : La Belle s'endort<br/>Pièce équilibrée P(H)=1/2, P(T)=1/2"] --> Coin{"Résultat de la pièce"}
    Coin -->|"Face (Heads : 1/2)"| H1["H1 : Réveil du lundi matin<br/>(Entretien)"]
    H1 --> H2["H2 : Mardi endormie<br/>(Inconsciente / Hors de l'espace d'éveil)"]
    H2 --> Wed["Mercredi : Fin de l'expérience"]
    
    Coin -->|"Pile (Tails : 1/2)"| T1["T1 : Réveil du lundi matin<br/>(Entretien)"]
    T1 --> Drug["Drogue amnésiante<br/>Souvenir du lundi effacé"]
    Drug --> T2["T2 : Réveil du mardi matin<br/>(Entretien)"]
    T2 --> Wed

    subgraph EpistemicClass ["Classe d'équivalence épistémique au réveil (Mondes centrés)"]
        H1
        T1
        T2
    end

2. Ontologie des croyances : Mondes possibles non centrés (De Dicto) vs centrés (De Se)

La théorie classique des probabilités de Kolmogorov opère sur des mondes possibles non centrés $w \in W$ — des descriptions objectives du cosmos « depuis nulle part » (de dicto). Or, comme l’ont démontré John Perry (1979) (« The Problem of the Essential Indexical ») et David Lewis (1979) (« Attitudes De Dicto and De Se »), aucune connaissance objective à la troisième personne ne peut épuiser les croyances auto-localisatrices (de se / indexicales) (« Qui suis-je ? », « Quel jour sommes-nous aujourd’hui ? »).

Lewis a formalisé ces croyances par des mondes possibles centrés (Centered Possible Worlds) $\langle w, i, t \rangle \in \mathcal{W}_c$, combinant un monde objectif $w$, un agent $i$ et un instant $t$. Dans notre expérience, la Belle éveillée élimine immédiatement l’état inconscient $H_2 = (\text{Face}, \text{Mardi})$, ce qui réduit son espace d’échantillonnage épistémique à trois mondes centrés :

3. La preuve mathématique des « Thirders » ($P(\text{Heads}) = 1/3$) : Adam Elga (2000)

Adam Elga (2000) démontre que $P(\text{Heads}) = 1/3$ pour une seule exécution de l’expérience en trois étapes rigoureuses :

3.1 Étape 1 : Principe d’indifférence restreint entre $T_1$ et $T_2$ ($P(T_1) = P(T_2)$)

Conditionnellement à l’hypothèse que la pièce est tombée sur Pile ($T = T_1 \cup T_2$), les deux réveils $T_1$ (lundi) et $T_2$ (mardi) se produisent réellement dans le même monde objectif $w_T$, avec des états phénoménologiques et des preuves subjectives strictement identiques. Par le principe d’indifférence restreint, la Belle doit leur attribuer une probabilité égale :

3.2 Étape 2 : Conditionnalisation sur « Aujourd’hui est lundi » et invariance temporelle ($P(H_1) = P(T_1)$)

Supposons qu’après son réveil, l’expérimentateur dise à la Belle : « Aujourd’hui, nous sommes lundi » ($M = H_1 \cup T_1$). Puisque le réveil du lundi matin a lieu avec une probabilité $1$ quel que soit le résultat de la pièce, le protocole expérimental est strictement invariant si la pièce équilibrée n’est lancée que le lundi soir (après l’entretien du lundi) !

Or, si la pièce est lancée le lundi soir, apprendre le lundi matin que « nous sommes lundi » signifie que le lancer d’une pièce équilibrée est un événement futur dont la chance objective est $1/2$. En vertu du Principe Principal (Principal Principle) de Lewis, la crédence conditionnelle de Face sachant qu’on est lundi doit être égale à $1/2$ :

3.3 Étape 3 : Synthèse algébrique ($P(\text{Heads}) = 1/3$)

En combinant (1) $P(T_1) = P(T_2)$, (2) $P(H_1) = P(T_1)$ et la normalisation $P(H_1) + P(T_1) + P(T_2) = 1$, on obtient :

4. La contre-attaque des « Halvers » ($P(\text{Heads}) = 1/2$) : David Lewis (2001) et le principe de réflexion

Dans sa réponse “Sleeping Beauty: reply to Elga” (2001), David Lewis soutient que $P(\text{Heads}) = 1/2$.

4.1 Absence de nouvelle preuve objective et principe de réflexion de van Fraassen

Selon le principe de réflexion (Reflection Principle) de Bas van Fraassen (1984), en l’absence d’information objective (de dicto) inattendue, la crédence au réveil doit rester identique à la crédence a priori du dimanche soir ($1/2$). Lewis accepte $P(T_1) = P(T_2)$, mais divise la masse de probabilité $1/2$ du monde Pile entre lundi et mardi :

4.2 La conséquence stupéfiante chez Lewis : Le bond à $2/3$ en apprenant qu’on est lundi !

Dans le système de Lewis, lorsque le chercheur annonce à la Belle « Aujourd’hui, nous sommes lundi » ($M = H_1 \cup T_1$), la règle de Bayes donne :

Même si la pièce n’est lancée que le lundi soir, la Belle de Lewis — apprenant le lundi matin qu’on est lundi — doit croire avec une probabilité de $2/3$ que la pièce équilibrée lancée ce soir tombera sur Face ! Pour éviter à la fois le $1/3$ d’Elga et le $2/3$ de Lewis, les Double-Halvers (Cozic 2011, Meacham 2008) abandonnent la conditionnalisation bayésienne standard au profit d’une conditionnalisation compartimentée.

  flowchart TD
    Wake["Réveil du lundi matin<br/>Espace Ω = {H1, T1, T2}"] --> Camp{"Positions épistémologiques"}
    Camp -->|"Thirder (Elga 2000)"| T1_Node["Crédences au réveil :<br/>P(H1)=1/3, P(T1)=1/3, P(T2)=1/3<br/>∴ P(Heads) = 1/3"]
    T1_Node -->|"Apprend 'Aujourd'hui est lundi'"| T2_Node["Après mise à jour bayésienne :<br/>P(Heads | Monday) = 1/2<br/>(Conforme à la chance objective 1/2)"]
    
    Camp -->|"Halver orthodoxe (Lewis 2001)"| H1_Node["Crédences au réveil :<br/>P(H1)=1/2, P(T1)=1/4, P(T2)=1/4<br/>∴ P(Heads) = 1/2"]
    H1_Node -->|"Apprend 'Aujourd'hui est lundi'"| H2_Node["Après mise à jour bayésienne :<br/>P(Heads | Monday) = (1/2)/(3/4) = 2/3 !<br/>(Pièce future équilibrée jugée à 2/3 Face)"]
    
    Camp -->|"Double-Halver (Meacham / Cozic)"| DH1_Node["Crédences hiérarchiques :<br/>P(Heads) = 1/2"]
    DH1_Node -->|"Mise à jour compartimentée"| DH2_Node["Reste après mise à jour :<br/>P(Heads | Monday) = 1/2<br/>(Viole la conditionnalisation bayésienne)"]

5. L’argument du livre hollandais diachronique (Hitchcock 2004) et la théorie de la décision

Christopher Hitchcock (2004) a démontré qu’un Halver est vulnérable à un livre hollandais diachronique (Diachronic Dutch Book) garantissant une perte certaine :

1. Étape 1 (Dimanche soir, $P_{\text{Sun}}(H) = 1/2$) : Le bookmaker propose un pari sur Pile : $-\$30$ si Face ($H$), $+$30$ si Pile ($T$).
2. Étape 2 (À chaque réveil, $P_{\text{Wake}}(H) = 1/2$) : À chaque réveil, le bookmaker propose un pari à 1 contre 1 sur Face : $+\$20$ si Face ($H$), $-$20$ si Pile ($T$). À cause de l’amnésie, le pari est déclenché une fois si Face, mais deux fois (lundi et mardi) si Pile !

Bilan financier le mercredi :

• Si Face (1 réveil) : $-\$30 + $20 = \mathbf{-$10\text{ (Perte garantie !)}}$
• Si Pile (2 réveils) : $+\$30 - $20 - $20 = \mathbf{-$10\text{ (Perte garantie !)}}$

Seule la crédence $S(1-p) = 2Sp \implies \mathbf{p = 1/3}$ protège contre le livre hollandais. Les Halvers (Bradley & Leitgeb 2006) se défendent via la Théorie de la décision évidentielle (EDT) : puisque l’acte d’accepter le pari le lundi est corrélé à son acceptation le mardi en cas de Pile, le quotient de pari ($1/3$) diverge de la crédence épistémique ($1/2$).

6. La « Belle au bois dormant extrême » de Nick Bostrom et la cosmologie anthropique (SSA vs SIA)

Nick Bostrom (2002, 2007) a montré que ce problème gouverne les effets de sélection d’observation en cosmologie. Dans la Belle au bois dormant extrême, où Pile déclenche 1 million de réveils ($N = 1\,000\,000$), le Thirder conclut au réveil que $P(\text{Tails}) = \frac{1\,000\,000}{1\,000\,001} \approx 99,9999\%$, tandis que le Halver maintient $50\%$. Cette opposition correspond aux deux axiomes du raisonnement anthropique :

1. Self-Sampling Assumption (SSA — Principe Halver) : Se considérer comme un échantillon aléatoire parmi les observateurs de sa classe de référence. Mais la SSA engendre directement l’Argument de l’Apocalypse (Doomsday Argument) : apprendre que notre rang de naissance est d’environ 60 milliards (analogue à « Aujourd’hui est lundi ») multiplie par $1\,000$ la probabilité d’une extinction imminente de l’humanité !
2. Self-Indication Assumption (SIA — Principe Thirder) : Le simple fait d’exister favorise les hypothèses proportionnellement au nombre d’observateurs $N(H_i)$ ($P(H_i \mid E) \propto P(H_i) N(H_i)$). La SIA réfute l’Argument de l’Apocalypse, mais engendre le Paradoxe du philosophe présomptueux (Presumptuous Philosopher Paradox), qui prétend trancher entre des théories physiques depuis son fauteuil sans la moindre observation empirique. Ce même formalisme s’applique à l’interprétation d’Everett des mondes multiples en mécanique quantique et à l’Argument de la Simulation (Bostrom 2003).

7. Tableau comparatif des trois positions

Références

• Zuboff, A. (1990). “One Self: The Logic of Experience.” Inquiry, 33(1), 39–68.
• Elga, A. (2000). “Self-locating belief and the Sleeping Beauty problem.” Analysis, 60(2), 143–147.
• Lewis, D. (2001). “Sleeping Beauty: reply to Elga.” Analysis, 61(3), 171–176.
• Hitchcock, C. (2004). “Beauty and the bets.” Synthese, 139(3), 405–420.
• Bostrom, N. (2002). Anthropic Bias: Observation Selection Effects in Science and Philosophy. Routledge.
• Bostrom, N. (2007). “Sleeping Beauty and Colditz.” Synthese, 157(1), 59–78.