Corps de l’article

Introduction

Dans la section 1, je m’attache à décrire le paradoxe et les principales solutions rencontrées dans la littérature. Je décris ensuite de manière simplifiée, dans la section 2, la solution au paradoxe qui résulte de la présente approche. J’introduis ensuite, dans la même section, la distinction entre analyse moniste et dichotomique du paradoxe. J’y présente également une dichotomie qui permet de distinguer deux versions fondamentalement et structurellement différentes du paradoxe : d’une part, une version basée sur une structure conjointe des cas de non-surprise et de surprise ; et, d’autre part, une version fondée sur une structure disjointe. Dans la section 4, je décris comment la solution de Quine s’applique à la version de SEP qui correspond à la structure conjointe des cas de non-surprise et de surprise. J’y expose la solution pour SEP qui correspond à la structure disjointe. Enfin, dans la section 5, je décris, dans le cadre de la présente solution, ce qu’aurait dû être le raisonnement de l’étudiant.

1. Le paradoxe

Le paradoxe de l’examen- surprise trouve son origine dans ce qui constitue un fait réel. Entre 1943 et 1944, les autorités suédoises envisagèrent de réaliser un exercice de défense civile. Elles diffusèrent alors à la radio une annonce selon laquelle un exercice de défense civile devait se dérouler la semaine suivante. Cependant, afin que celui-ci se déroule dans des conditions optimales, l’annonce précisa également que personne ne pourrait connaître à l’avance la date de l’exercice. Le mathématicien Lennart Ekbom comprit le subtil problème posé par cette annonce d’un exercice de défense civile et l’exposa à ses étudiants. Le paradoxe connut ensuite une large diffusion à travers le monde.

SEP est tout d’abord apparu dans la littérature avec un article de D. O’ Connor (1948). Celui-ci présente le paradoxe sous la forme de l’annonce d’un exercice d’entraînement militaire. Ultérieurement, SEP apparaîtra dans la littérature sous d’autres formes, telles que l’annonce de l’apparition d’un as dans un jeu de cartes (Scriven, 1951) ou encore d’une pendaison (Quine, 1953). Cependant, la version du paradoxe liée à l’annonce, par un professeur, d’un examen surprise est demeurée la forme la plus courante. La version classique du paradoxe est ainsi la suivante : un professeur annonce à ses étudiants qu’un examen aura lieu la semaine prochaine mais qu’ils ne pourront pas connaître à l’avance le jour précis où l’examen se déroulera. L’examen aura donc lieu par surprise. Les étudiants raisonnent ainsi. L’examen ne peut avoir lieu le samedi, sinon ils sauraient à l’avance qu’il va avoir lieu ce jour-là, et donc il ne pourrait survenir par surprise. Aussi le samedi se trouve-t-il éliminé. De plus, l’examen ne peut avoir lieu le vendredi, car les étudiants sauraient à l’avance qu’il va avoir lieu le vendredi, et il ne pourrait donc pas survenir par surprise. Aussi le vendredi se trouve-t-il également éliminé. Par un raisonnement analogue, les étudiants éliminent successivement le jeudi, le mercredi, le mardi et le lundi. Finalement, ce sont tous les jours de la semaine qui sont ainsi éliminés. Toutefois, cela n’empêche pas l’examen de survenir par surprise, le mercredi. Le raisonnement des étudiants s’est donc avéré fallacieux. Pourtant, un tel raisonnement paraît intuitivement valide. Le paradoxe réside ici dans le fait que le raisonnement des étudiants semble valide, alors qu’il se révèle finalement en contradiction avec les faits, à savoir que l’examen peut véritablement survenir par surprise, conformément à l’annonce faite par le professeur.

Dans la littérature, plusieurs solutions pour résoudre SEP ont été proposées. Toutefois, il n’existe pas, à l’heure actuelle, de solution consensuelle. Je citerai brièvement les principales solutions qui ont été proposées, ainsi que les objections fondamentales qu’elles ont soulevées.

Une première tentative de solution est apparue avec O’ Connor (1948). Cet auteur fit observer que le paradoxe était dû au caractère contradictoire qui résultait de l’annonce du professeur et de la mise en oeuvre de cette dernière. Selon O’ Connor, l’annonce du professeur selon laquelle l’examen devait survenir par surprise se trouvait en contradiction avec le fait que les détails de la mise en oeuvre de l’examen étaient connus. Ainsi, l’énoncé de SEP se révélait-il, selon O’ Connor, auto-réfutant. Cependant, il s’est avéré qu’une telle analyse était inadéquate, car il est finalement apparu que l’examen pouvait véritablement être mis en oeuvre dans des conditions où il survenait par surprise, par exemple le mercredi. Donc, l’examen pouvait survenir par surprise, confirmant ainsi mais ne réfutant pas l’annonce du professeur. Cette dernière constatation avait pour effet de faire resurgir le paradoxe.

Quine (1953) proposa également une solution pour SEP. Il considère de la sorte la conclusion finale de l’étudiant selon laquelle l’examen ne peut avoir lieu par surprise aucun jour de la semaine ; selon lui, l’erreur réside dans le fait que l’étudiant n’ait pas envisagé dès le début que l’examen pourrait ne pas avoir lieu le dernier jour. Car le fait de considérer précisément que l’examen n’aura pas lieu le dernier jour permet finalement à l’examen de survenir par surprise, le dernier jour. Si l’étudiant avait également tenu compte de cette possibilité dès le début, il ne serait pas parvenu à la conclusion fallacieuse que l’examen ne peut pas survenir par surprise. Cependant, la solution de Quine fit l’objet de critiques émanant de commentateurs (Ayer, 1973, Janaway, 1989 et également Hall, 1999) qui firent remarquer qu’elle ne permettait pas de rendre compte de plusieurs variations du paradoxe. Ayer, par exemple, imagine une version de SEP où une personne est informée que les cartes d’un jeu vont être retournées une à une, mais celle-ci ne saura pas à l’avance lorsque l’as de pique sortira. Néanmoins, la personne est autorisée à vérifier la présence de l’as de pique avant que le jeu de cartes ne soit mélangé. L’objection à la solution de Quine basée sur une telle variation a pour but de mettre en évidence une situation où le paradoxe est bien présent, mais la solution de Quine ne trouve plus à s’appliquer parce que l’étudiant sait de manière indubitable, compte tenu des données initiales du problème, que l’examen aura bien lieu.

Selon une autre approche, défendue notamment par R. Shaw (1958), la structure du paradoxe se révèle être auto-référentielle. Selon lui, le fait que l’examen doive survenir par surprise s’assimile au fait que la date de l’examen ne pourra pas être déduite à l’avance. Toutefois, le fait que les étudiants ne puissent pas, par déduction, connaître à l’avance la date de l’examen constitue précisément une des prémisses. Selon Shaw, le paradoxe trouve donc son origine dans le fait que la structure de l’annonce du professeur est auto-référentielle. L’autoréférence qui en résulte constitue ainsi la cause du paradoxe. Cependant, une telle analyse devait se révéler peu convaincante, car elle ne permettait pas de justifier que, malgré sa structure auto-référentielle, l’annonce du professeur se trouvait finalement confirmée par le fait que l’examen pouvait finalement survenir par surprise, par exemple le mercredi.

Une autre approche, développée par Richard Montague et David Kaplan (1960), est basée sur l’analyse de la structure de SEP qui s’avère, selon ces auteurs, être celle du paradoxe du Connaisseur (paradox of the Knower). Ce dernier paradoxe constitue lui-même une variation du paradoxe du Menteur (Liar paradox). Ce que proposent donc en définitive Montague et Kaplan, c’est une réduction de SEP au paradoxe du Menteur. Cette dernière approche ne s’est pourtant pas avérée convaincante. En effet, elle a été critiquée, car elle ne rend pas compte, d’une part, du fait que l’annonce du professeur peut être finalement confirmée et, d’autre part, du fait que l’on peut formuler le paradoxe sans qu’il soit auto-référentiel.

Il convient également de mentionner l’analyse développée par Robert Binkley (1968). Dans son article, l’auteur expose une réduction de SEP au paradoxe de Moore. Il fait valoir que, le dernier jour, SEP se réduit à une variation de la proposition « P et je ne sais pas que P», qui constitue le paradoxe de Moore. Binkley étend ensuite son analyse concernant le dernier jour aux autres jours de la semaine. Cependant, cette approche a fait l’objet de solides objections, résultant notamment de l’analyse de Wright et Sudbury (1977).

Une autre approche mérite également d’être mentionnée. Il s’agit de celle développée par Paul Dietl (1973) et Joseph Smith (1984). Selon les auteurs, la structure de SEP est celle du paradoxe sorite (sorites paradox). Ce qu’ils proposent, c’est une réduction de SEP au paradoxe sorite. Une telle analyse a rencontré de sérieuses objections, développées notamment par Roy Sorensen (1988).

Il convient en outre de mentionner l’approche présentée par Crispin Wright et Aidan Sudbury (1977). L’analyse développée par ces auteurs[1] conduit à distinguer deux cas : d’une part, le dernier jour, l’étudiant se trouve dans le type de situation qui résulte du paradoxe de Moore ; d’autre part, le premier jour, l’étudiant se trouve dans une situation fondamentalement différente où il peut valablement croire dans l’annonce faite par le professeur. Ainsi, la mise en évidence de ces deux types de situation conduit au rejet du principe de rétention temporelle. Selon ce principe, ce qui est su à une position temporelle T0 est également su à une position temporelle ultérieure T1 (avec T0 < T1). Toutefois, l’analyse de Wright et Sudbury s’est révélée vulnérable à un argument développé par Sorensen (1982). Celui-ci, en effet, mit en évidence une version de SEP (Designated Student Paradox) qui ne faisait pas appel au principe de rétention temporelle sur lequel reposait l’approche de Wright et Sudbury. Selon cette version, le paradoxe était bien présent, mais sans que les conditions de son exposé ne nécessitent de faire appel au principe de rétention temporelle. Sorensen décrit ainsi la variation suivante du paradoxe. Cinq étudiants, A, B, C, D et E se trouvent placés, dans cet ordre, l’un derrière l’autre. Le professeur montre alors aux étudiants quatre étoiles en argent et une étoile en or. Puis, il place une étoile dans le dos de chacun des étudiants. Enfin, il leur annonce que celui d’entre eux qui a une étoile en or dans le dos a été désigné pour passer un examen. Mais, ajoute le professeur, cet examen constituera une surprise, car les étudiants ne connaîtront celui qui a été désigné que lorsqu’ils rompront leur alignement. Dans ces conditions, il apparaît que les étudiants peuvent mettre en oeuvre un raisonnement analogue à celui qui prévaut dans la version originale de SEP. Cependant, cette dernière version est diachronique, alors que la variation décrite par Sorensen se révèle synchronique. Et, en tant que telle, elle n’est donc pas basée sur un quelconque principe de rétention temporelle.

Compte tenu de ces éléments, il apparaît que l’enjeu et les implications philosophiques de SEP sont d’importance. Ils se situent sur plusieurs plans et concernent[2] ainsi la théorie de la connaissance, la déduction, la justification, les paradoxes sémantiques, l’autoréférence, la logique modale, les notions vagues.

2. Analyse moniste ou dichotomique du paradoxe

La plupart des analyses classiquement proposées pour résoudre SEP sont basées sur une solution générale qui s’applique, de manière globale, à la situation qui est celle de SEP. Dans ce type d’analyse, une solution unique est présentée, qui est censée s’appliquer à toutes les variations de SEP. Un tel type de solution présente une nature unitaire et se révèle basé sur ce qu’on peut appeler une théorie moniste de SEP. La plupart des solutions au SEP proposées dans la littérature constituent des analyses monistes. Des exemples caractéristiques de ce type d’analyse de SEP sont les solutions proposées par Quine (1953) ou Binkley (1968). De manière analogue, la solution envisagée par Dietl (1973), qui est basée sur une réduction de SEP au paradoxe sorite, constitue également une solution moniste au SEP.

À l’inverse, une analyse dichotomique de SEP est basée sur une distinction entre deux scénarios différents de SEP et sur la formulation d’une solution indépendante pour chacun des deux scénarios. Dans la littérature, la seule analyse qui, à ma connaissance, présente une nature dichotomique est celle de Wright et Sudbury mentionnée plus haut. Dans ce qui suit, je présenterai une solution dichotomique pour SEP. Cette solution est basée sur la distinction de deux variations de SEP associées à des notions de surprise qui correspondent à des structures différentes des cas de non-surprise et de surprise.

À ce stade, il s’avère utile d’introduire la notation matricielle. Avec l’aide de celle-ci, les différents cas de non-surprise et de surprise peuvent être modélisés à l’aide du tableau S[ks] suivant, où k dénote le jour où l’examen a lieu et S[k, s] dénote si le cas correspondant de non-surprise (s = 0) ou de surprise (s = 1) est rendu possible (S[k, s] = 1) ou non (S[ks] = 0) par les conditions de l’énoncé (pour 1 ≤ kn)[3]. Si l’on considère par exemple 7-SEP[4], S[7, 1] = 0 dénote le fait que la surprise n’est pas possible le 7e jour, et inversement, S[7, 1] = 1 dénote le fait que la surprise est possible le 7e jour ; de même, S[1, 0] = 0 dénote le fait que la non-surprise n’est pas possible le 1er jour par les conditions de l’énoncé, et, inversement, S[1, 0] = 1 dénote le fait que la non-surprise est possible le 1er jour.

La dichotomie sur laquelle est basée la présente solution résulte directement de l’analyse de la structure qui permet de décrire la notion de surprise correspondant à l’énoncé de SEP. Considérons tout d’abord la matrice suivante, qui correspond à une définition maximale, où tous les cas de non-surprise et de surprise sont rendus possibles par l’annonce du professeur :

(D1)

  •  

  • S[7,s]

  • S[6,s]

  • S[5,s]

  • S[4,s]

  • S[3,s]

  • S[2,s]

  • S[1,s]

  • S[k, 0]

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

  • S[k, 1]

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

Au niveau de (D1), on le voit, toutes les valeurs de la matrice S[k, s] sont égales à 1, ce qui correspond au fait que tous les cas de non-surprise et de surprise sont rendus possibles par la version de SEP correspondante. La matrice associée peut être définie ainsi comme une matrice rectangulaire.

À ce stade, il s’avère que l’on peut concevoir des variations de SEP associées à des structures matricielles plus restrictives, où certains cas de non-surprise et de surprise ne sont pas autorisés par l’énoncé. Dans de tels cas, certaines valeurs de la matrice sont égales à 0. Il convient maintenant de s’intéresser à la structure de ces définitions plus restrictives. Ces dernières sont telles qu’il existe au moins un cas de non-surprise ou de surprise qui est rendu impossible par l’énoncé, et où la valeur correspondante de la matrice S[k, s] est donc égale à 0. Une telle condition laisse place à un certain nombre de variations, dont il convient maintenant d’étudier les caractéristiques.

Tout d’abord, on peut remarquer que certains types de structures peuvent d’emblée être écartés. Il apparaît en effet que toute définition associée à une restriction de (D1) ne convient pas. Ainsi, il existe des conditions minimales pour l’émergence de SEP. En ce sens, la première condition est que l’étape de base soit présente. Cette étape est telle que la non-surprise doit pouvoir survenir le dernier jour, soit S[n, 0] = 1. Avec la notation précédemment définie, elle présente la forme générale n*n* et correspond à 7*7* pour 7-SEP. En l’absence de cette étape de base, on n’a pas l’effet paradoxal de SEP. En conséquence, une structure de matrice telle que S[n, 0] = 0 peut être d’emblée éliminée.

Pour que l’énoncé conduise à une version authentique de SEP, la seconde condition est que l’examen puisse finalement survenir par surprise. Cela permet en effet à l’annonce du professeur d’être finalement vérifiée (vindication step). Une telle condition – appelons-la l’étape de validation – est classiquement mentionnée comme une condition pour l’émergence du paradoxe. Ainsi, une définition qui serait telle que tous les cas de surprise sont rendus impossibles par l’énoncé correspondant ne conviendrait pas non plus. Donc, la structure correspondant à la matrice suivante ne correspondrait pas à un énoncé de SEP :

(D2)

  •  

  • S[7,s]

  • S[6,s]

  • S[5,s]

  • S[4,s]

  • S[3,s]

  • S[2,s]

  • S[1,s]

  • S[k, 0]

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

  • S[k, 1]

  • 0

  • 0

  • 0

  • 0

  • 0

  • 0

  • 0

car la surprise n’y est possible aucun jour de la semaine (S[k, 1] = 0), et l’étape de validation fait donc défaut à l’énoncé correspondant.

Compte tenu de ce qui vient d’être exposé, on peut maintenant décrire de manière précise les conditions minimales qui sont celles de SEP :

(C3)

S[n, 0] = 1 (étape de base)

(C4)

k (1 ≤ kn) tel que S[k, 1] = 1 (étape de validation)

À ce stade, on peut s’intéresser à la structure des versions de SEP basées sur les définitions qui satisfont les conditions minimales pour l’émergence du paradoxe, lesquelles viennent d’être détaillées, c’est-à-dire qui contiennent à la fois l’étape de base et l’étape de validation. Il apparaît ici que la structure associée aux cas de non-surprise et de surprise correspondant à une variation de SEP peut présenter deux formes d’une nature fondamentalement différente. Une première forme de SEP est associée à une structure où les cas possibles de non-surprise et de surprise sont tels qu’il existe durant la n-période au moins un jour où la non-surprise et la surprise sont possibles simultanément. Une telle définition peut être appelée conjointe. La matrice suivante constitue un exemple de ce type de structure :

(D5)

  •  

  • S[7,s]

  • S[6,s]

  • S[5,s]

  • S[4,s]

  • S[3,s]

  • S[2,s]

  • S[1,s]

  • S[k, 0]

  • 1

  • 1

  • 1

  • 1

  • 0

  • 0

  • 0

  • S[k, 1]

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

car la non-surprise et la surprise y sont possibles simultanément le 7e, 6e, 5e et 4e jour. Cependant, il s’avère que l’on peut rencontrer également une seconde forme de SEP dont la structure est fondamentalement différente, en ce sens que pour chaque jour de la n-période il est impossible d’avoir simultanément la surprise et la non-surprise[5]. Une définition de cette nature peut être appelée disjointe. La matrice suivante constitue ainsi un exemple de ce type de structure :

(D6)

  •  

  • S[7,s]

  • S[6,s]

  • S[5,s]

  • S[4,s]

  • S[3,s]

  • S[2,s]

  • S[1,s]

  • S[k, 0]

  • 1

  • 1

  • 1

  • 0

  • 0

  • 0

  • 0

  • S[k, 1]

  • 0

  • 0

  • 0

  • 1

  • 1

  • 1

  • 1

En conséquence, on sera amené dans ce qui suit à distinguer deux versions structurellement distinctes de SEP : a) une version basée sur une structure conjointe des cas de non-surprise et de surprise rendus possibles par l’énoncé ; b) une version fondée sur une structure disjointe de ces mêmes cas. La nécessité d’opérer une telle dichotomie trouve sa légitimité dans le fait que, dans la version originale de SEP, le professeur ne précise pas si l’on doit tenir compte d’une notion de surprise correspondant à une structure disjointe ou conjointe des cas de non-surprise et de surprise. Eu égard à ce point particulier, l’annonce du professeur de SEP se révèle ambiguë. Par conséquent, il est nécessaire de considérer successivement deux notions différentes de surprise, respectivement basées sur une structure disjointe ou conjointe des cas de non-surprise et de surprise, ainsi que le raisonnement qui doit leur être associé.

3. La notion de surprise correspondant à une structure conjointe

Considérons tout d’abord le cas où SEP est basé sur une notion de surprise correspondant à une structure conjointe des cas de non-surprise et de surprise. Soit SEP(I), la version associée à une telle notion de surprise. Intuitivement, cette version correspond à une situation où il existe, dans la n-période, au moins un jour où la non-surprise et la surprise peuvent toutes deux survenir. Plusieurs types de définitions sont susceptibles de répondre à ce critère. Il convient de les examiner tour à tour.

3.1 La définition associée à la matrice rectangulaire et la solution de Quine

En premier lieu, on peut s’intéresser aux structures qui sont telles que tous les cas de non-surprise et de surprise sont rendus possibles par l’énoncé. La matrice correspondante est une matrice rectangulaire. Soit, donc, SEP(1–), une telle version. La définition associée à une telle structure est maximale, car tous les cas de non-surprise et de surprise y sont autorisés. La matrice suivante correspond ainsi à une telle structure générale :

(D7)

  •  

  • S[7,s]

  • S[6,s]

  • S[5,s]

  • S[4,s]

  • S[3,s]

  • S[2,s]

  • S[1,s]

  • S[k, 0]

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

  • S[k, 1]

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

et l’annonce du professeur qui lui est associée est la suivante :

(S7)

Un examen se déroulera la semaine prochaine mais la date de l’examen constituera une surprise.

À ce stade, il apparaît que l’on a également une version de SEP pour n = 1 qui satisfait cette définition. La structure associée à 1-SEP(I–) est la suivante :

(D8)

  •  

  • S[1,s]

  • S[1, 0]

  • 1

  • S[1, 1]

  • 1

laquelle correspond à l’annonce suivante du professeur :

(S8)

Un examen se déroulera demain mais la date de l’examen constituera une surprise.

Ainsi, 1-SEP(I–) est la version minimale de SEP qui satisfait non seulement la condition ci-dessus, mais également l’étape de base (C3) permettant à la non-surprise de survenir le dernier jour, ainsi que l’étape de validation (C4) en vertu de laquelle l’examen peut finalement survenir par surprise. De plus, il s’agit là d’une variation qui exclut, par sa structure même, l’émergence de la version de SEP basée sur une notion de surprise correspondant à une structure disjointe. Pour cette raison, (D8) peut être considérée comme la forme canonique de SEP(I–). Ainsi, il s’agit là du véritable noyau de SEP(I–) et, dans ce qui suit, on s’attachera donc à raisonner sur 1-SEP(I–).

À ce stade, il convient de s’attacher à donner une solution à SEP(I–). Pour cela, rappelons tout d’abord la solution de Quine (1953). C’est une solution bien connue. Quine met en évidence le fait que l’étudiant élimine successivement les jours n, n-1, ..., 1, par un raisonnement basé sur une induction régressive (backward induction argument) et conclut ensuite que l’examen n’aura pas lieu dans la semaine. L’étudiant raisonne ainsi. Le jour n, je prédirai que l’examen aura lieu le jour n, et par conséquent l’examen ne peut avoir lieu le jour n ; le jour n-1, je prédirai que l’examen aura lieu le jour n-1, et par conséquent l’examen ne peut avoir lieu le jour n-1 ; ... ; le jour 1, je prédirai que l’examen aura lieu le jour 1, et par conséquent l’examen ne peut avoir lieu le jour 1. Finalement, l’étudiant conclut que l’examen n’aura lieu aucun jour de la semaine. Toutefois, cette dernière conclusion permet finalement à l’examen de survenir par surprise, y compris le jour n. Selon Quine, l’erreur dans le raisonnement de l’étudiant réside précisément dans le fait de n’avoir pas tenu compte de cette possibilité depuis le début, ce qui aurait alors empêché le raisonnement fallacieux[6].

D’autre part, Quine applique directement son analyse à la forme canonique 1-SEP(I), où l’énoncé correspondant est celui de (S8). Dans ce cas, l’erreur de l’étudiant réside, selon Quine, dans le fait de n’avoir considéré que la seule hypothèse suivante : a) « l’examen aura lieu demain et je prévoirai qu’il aura lieu». En fait, l’étudiant aurait dû considérer également trois autres cas : b) « l’examen n’aura pas lieu demain et je prévoirai qu’il aura lieu» ; c) « l’examen n’aura pas lieu demain et je ne prévoirai pas qu’il aura lieu» ; d) « l’examen aura lieu demain et je ne prévoirai pas qu’il aura lieu». Et le fait de considérer l’hypothèse a mais également l’hypothèse d, qui est compatible avec l’annonce du professeur, aurait empêché l’étudiant de conclure que l’examen n’aurait finalement pas lieu[7]. Par conséquent, le fait de n’avoir pris en considération que l’hypothèse a peut être identifié comme la cause du raisonnement fallacieux. L’étudiant n’a que partiellement tenu compte de l’ensemble des hypothèses résultant de l’annonce du professeur. S’il avait appréhendé la totalité des hypothèses pertinentes compatibles avec l’annonce du professeur, il n’aurait pas conclu de manière fallacieuse que l’examen n’aurait pas lieu dans la semaine.

Il s’avère maintenant utile de décrire le raisonnement de l’étudiant en termes de reconstitution de matrice. Car on peut considérer que le raisonnement de l’étudiant classiquement basé sur une induction régressive conduit celui-ci à reconstituer la matrice correspondant à la notion de surprise de la manière suivante :

(D9)

  •  

  • S[1,s]

  • S[1, 0]

  • 1

  • S[1, 1]

  • 0

En réalité, il aurait dû considérer que la façon correcte de reconstituer cette dernière est la suivante :

(D8)

  •  

  • S[1,s]

  • S[1, 0]

  • 1

  • S[1, 1]

  • 1

3.2 La définition associée à la matrice triangulaire et la réduction de Hall

On l’a vu, la solution de Quine s’applique directement à SEP(I–), c’est-à-dire à une version de SEP basée sur une définition conjointe de la surprise et une matrice rectangulaire. Il convient maintenant de s’intéresser à des variations de SEP basées sur une définition conjointe où la structure de la matrice correspondante n’est pas rectangulaire, mais qui satisfont toutefois les conditions pour l’émergence du paradoxe mentionnées plus haut, à savoir la présence de l’étape de base (C3) et de l’étape de validation (C4). De telles matrices présentent une structure que l’on peut qualifier de triangulaire. Soit donc SEP(IΔ), la version correspondante.

On peut considérer tout d’abord 7-SEP(IΔ), où la structure des cas possibles de non-surprise et de surprise correspond à la matrice ci-dessous :

(D10)

  •  

  • S[7,s]

  • S[6,s]

  • S[5,s]

  • S[4,s]

  • S[3,s]

  • S[2,s]

  • S[1,s]

  • S[k, 0]

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

  • S[k, 1]

  • 0

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

et à l’annonce du professeur suivante :

(S10)

Un examen se déroulera la semaine prochaine mais la date de l’examen constituera une surprise. De plus, le fait que l’examen aura lieu constitue une certitude absolue.

Une telle annonce se révèle identique à l’énoncé précédent auquel s’applique la solution de Quine, avec cependant une différence importante : l’étudiant possède désormais la certitude que l’examen doit survenir. Et cela a pour effet de l’empêcher de mettre en doute le fait que l’examen puisse avoir lieu et de rendre ainsi impossible que la surprise survienne le dernier jour. Pour cette raison, on note S[7, 1] = 0 dans la matrice correspondante. La structure générale qui correspond à ce type de définition est :

(D11)

  •  

  • S[n,s]

  • S[n-1,s]

  • ......

  • S[k, 0]

  • 1

  • 1

  • .....

  • S[k, 1]

  • 0

  • 1

  • .....

Et, de même, on peut considérer la structure canonique (d’où la dénomination de structure triangulaire trouve sa justification) suivante, qui est celle de SEP(IΔ) et qui correspond donc à 2-SEP(IΔ) :

(D12)

  •  

  • S[2,s]

  • S[1,s]

  • S[k, 0]

  • 1

  • 1

  • S[k, 1]

  • 0

  • 1

Une telle structure correspond à l’annonce du professeur suivante :

(S12)

Un examen se déroulera dans les deux prochains jours, mais la date de l’examen constituera une surprise. De plus, le fait que l’examen aura lieu constitue une certitude absolue.

On le voit, la clause supplémentaire de l’énoncé selon laquelle il est absolument certain que l’examen se déroulera interdit ici à la surprise de se manifester le dernier jour. Une telle version correspond notamment à la variation de SEP décrite par A. J. Ayer. La version correspondante met en scène un joueur, qui est autorisé à vérifier, avant que le paquet de cartes soit mélangé, qu’il contient bien l’as, le 2, le 3, ..., le 7 de pique. Et il est annoncé que le joueur ne pourra pas prévoir à l’avance quand l’as de pique sera découvert, ni justifier sa prédiction. Enfin, les cartes, initialement cachées, sont découvertes une par une. Une telle version a pour but de rendre impossible, avant que la 7e carte ne soit découverte, la croyance selon laquelle l’as de pique ne sera pas découvert. Et cela a pour effet d’interdire à la solution de Quine de s’appliquer le dernier jour.

Il convient maintenant de présenter une solution pour les versions de SEP associées à des structures correspondant à (D11). Une telle solution est basée sur une réduction récemment exposée par Ned Hall, dont il convient préalablement de rappeler le contexte. Dans la version de SEP considérée par Quine (1953), il apparaît clairement que le doute de l’étudiant sur le fait que l’examen aura bien lieu dans la semaine est autorisé à une certaine étape du raisonnement. Quine se place ainsi délibérément dans une situation où l’étudiant dispose de la faculté de douter que l’examen aura véritablement lieu dans la semaine. Les versions décrites par Ayer (1973), Janaway (1989) mais aussi Scriven (1951) traduisent l’intention d’empêcher cette étape particulière dans le raisonnement de l’étudiant. De tels scénarios correspondent, dans l’esprit, à SEP(IΔ). On peut également y rattacher la variation du Designated Student Paradox décrite par Sorensen (1982, 357)[8], où cinq étoiles – une étoile d’or et quatre étoiles d’argent – sont attribuées à cinq étudiants, dans la mesure où il est indubitable que l’étoile d’or est placée dans le dos de l’étudiant qui a été désigné.

Cependant, Ned Hall (1999, 659-660) a récemment exposé une réduction qui tend à réfuter les objections classiquement opposées à la solution de Quine. L’argumentation développée par Hall est la suivante :

We should pause, briefly, to dispense with a bad – though oft-cited – reason for rejecting Quine’s diagnosis. (See for example Ayer 1973 and Janaway 1989). Begin with the perfectly sound observation that the story can be told in such a way that the student is justified in believing that, come Friday, he will justifiably believe that an exam is scheduled for the week. Just add a second Iron Law of the School : that there must be at least one exam each week. [...] Then the first step of the student’s argument goes through just fine. So Quine’s diagnosis is, evidently, inapplicable.

Perhaps – but in letter only, not in spirit. With the second Iron Law in place, the last disjunct of the professor’s announcement – that E5 & ¬J(E5) – is, from the student’s perspective, a contradiction. So, from his perspective, the content of her announcement is given not by SE5 but by SE4 : (E1 & ¬J1(E1)) ⋁ ... ⋁ (E4 & ¬J4(E4)). And now Quine’s diagnosis applies straightforwardly : he should simply insist that the student is not justified in believing the announcement and so, come Thursday morning, not justified in believing that crucial part of it which asserts that if the exam is on Friday then it will come as a surprise – which, from the student’s perspective, is tantamount to asserting that the exam is scheduled for one of Monday through Thursday. That is, Quine should insist that the crucial premise that J4(E1 ⋁ E2 ⋁ E3 ⋁ E4) is false – which is exactly the diagnosis he gives to an ordinary 4-day surprise exam scenario. Oddly, it seems to have gone entirely unnoticed by those who press this variant of the story against Quine that its only real effect is to convert an n-day scenario into an n-1 day scenario.

Hall met ainsi en parallèle deux types de situations. La première correspond à la situation dans laquelle l’analyse de Quine trouve classiquement sa place. La seconde correspond au type de situation envisagé par les opposants à la solution de Quine, en particulier Ayer (1973) et Janaway (1989). Dans cette dernière hypothèse, on tient compte d’une version plus forte de SEP, où l’on considère une seconde règle d’or de l’École (Iron Law of the School), laquelle admet que l’examen aura nécessairement lieu pendant la semaine. L’argumentation développée par Hall conduit à la réduction d’une version de n-SEP du second type à une version de (n-1)-SEP de type quinéen. Cette équivalence a pour effet d’annihiler les objections des opposants à la solution de Quine[9]. Car l’effet de cette réduction est de rendre finalement possible l’application de la solution de Quine dans les situations décrites par Ayer et Janaway. Dans l’esprit, le scénario envisagé par Ayer et Janaway correspond ainsi à une situation où la surprise n’est pas possible le jour n (c’est-à-dire S[n, 1] = 0). Cela a effectivement pour effet de neutraliser la solution de Quine basée sur n-SEP(I–). Mais la réduction de Hall permet alors à la solution de Quine de s’appliquer à (n-1)-SEP(I–). L’effet de la réduction de Hall est donc de réduire un scénario correspondant à (D11) à une situation basée sur (D8). En conséquence, la réduction de Hall permet de réduire n-SEP(IΔ) à (n-1)-SEP(I–). Il en résulte que toute version de SEP(IΔ) pour une n-période se réduit à une version de SEP(I–) pour une (n-1)période (formellement n-SEP(IΔ) ≡ (n-1)-SEP(I–) pour n > 1). Ainsi, la réduction de Hall permet d’appliquer finalement la solution de Quine à SEP(IΔ)[10].

4. La notion de surprise correspondant à une structure disjointe

Il convient de s’intéresser, en second lieu, au cas où la notion de surprise est basée sur une structure disjointe des cas possibles de non-surprise et de surprise. Soit SEP(II), la version correspondante. Intuitivement, une telle variation correspond à une situation où, pour un jour donné de la n-période, il n’est pas possible d’avoir à la fois la non-surprise et la surprise. La structure de la matrice associée est telle que l’on a chaque jour, de manière exclusive, soit la non-surprise, soit la surprise.

Il apparaît, à ce stade, qu’une question préliminaire peut être posée : la solution de Quine ne peut-elle pas s’appliquer à SEP(II) ? L’analyse précédente de SEP(I) montre toutefois qu’une condition nécessaire pour que la solution de Quine trouve à s’appliquer est qu’il existe durant la n-période au moins un jour où la non-surprise et la surprise sont à la fois possibles. Or une telle propriété est celle d’une structure conjointe et correspond à la situation qui est celle de SEP(I). Mais dans le présent contexte, qui est celui d’une structure disjointe, la matrice associée vérifie à l’inverse ∀k S[k, 0] + S[k, 1] = 1. Par conséquent, la solution de Quine ne peut en aucun cas s’appliquer à SEP(II).

De même, on pourrait se poser la question de savoir si la réduction de Hall ne peut pas non plus s’appliquer à SEP(II). Ainsi, n’a-t-on donc pas une réduction de SEP(II) pour une n-période à SEP(I) pour une (n-1)-période ? Il apparaît également que non. En effet, comme on vient de le voir, la solution de Quine ne peut pas s’appliquer à SEP(II). L’effet de la réduction de Hall est de réduire un scénario donné à une situation où la solution de Quine trouve finalement à s’appliquer. Toutefois, étant donné que la solution de Quine ne peut s’appliquer dans le contexte de SEP(II), la réduction de Hall se trouve également dans l’impossibilité de produire son effet.

Puisque la solution de Quine ne s’applique pas à SEP(II), il convient maintenant de s’attacher à fournir une solution adéquate pour la version de SEP correspondant à une notion de surprise associée à une structure disjointe des cas de non-surprise et de surprise. Pour ce faire, il s’avère nécessaire de décrire une version de SEP correspondant à une structure disjointe, ainsi que la structure correspondant à la version canonique de SEP(II).

En premier lieu, on peut observer que la version minimale correspondant à une version disjointe de SEP est celle qui est associée à la structure suivante, soit 2-SEP(II) :

(D13)

  •  

  • S[2,s]

  • S[1,s]

  • S[1, 0]

  • 1

  • 0

  • S[1, 1]

  • 0

  • 1

Cependant, pour des raisons qui deviendront claires un peu plus loin, la version correspondante de SEP(II) ne possède pas un degré de réalisme et de plausibilité suffisant pour constituer une authentique version de SEP, c’est-à-dire telle qu’elle soit susceptible d’induire en erreur notre raisonnement.

Afin de mettre en évidence la version canonique de SEP(II) et l’énoncé correspondant, il convient tout d’abord de mentionner la remarque, effectuée par plusieurs auteurs[11], selon laquelle le paradoxe émerge nettement, dans le cas de SEP(II), lorsque n est grand. Une caractéristique intéressante de SEP(II) est en effet que le paradoxe émerge intuitivement de manière plus nette lorsque de grandes valeurs de n sont prises en considération. Une illustration frappante de ce phénomène nous est ainsi fournie par la variation du paradoxe qui correspond à la situation suivante, décrite par Timothy Williamson (2000, 139) :

Advance knowledge that there will be a test, fire drill, or the like of which one will not know the time in advance is an everyday fact of social life, but one denied by a surprising proportion of early work on the Surprise Examination. Who has not waited for the telephone to ring, knowing that it will do so within a week and that one will not know a second before it rings that it will ring a second later ?

La variation suggérée par Williamson correspond à l’annonce faite à quelqu’un qu’il recevra un coup de téléphone dans la semaine, sans qu’il puisse toutefois déterminer à l’avance à quelle seconde précise cet appel surviendra. Cette variation souligne comment la surprise peut se manifester, de manière tout à fait plausible, lorsque la valeur de n est élevée. L’unité de temps considérée par Williamson est ici la seconde, rapportée à une période qui correspond à une semaine. La valeur correspondante de n est ici très élevée et égale à 604800 (60 x 60 x 24 x 7) secondes. Cela illustre comment une grande valeur de n permet à la variation correspondante de SEP(II) de prendre place d’une façon à la fois plausible et réaliste. Cependant, il n’est pas indispensable de prendre en considération une valeur aussi grande de n. En effet, une valeur de n, par exemple égale à 365, convient également très bien. Dans ce contexte, l’annonce du professeur qui correspond à une structure disjointe est alors la suivante :

(S14)

Un examen aura lieu dans l’année à venir mais la date de l’examen constituera une surprise.

La définition correspondante présente alors la structure ci-dessous :

(D14)

  •  

  • S[365,s]

  • ......

  • S[1, s]   ∣

  • S[1, 0]

  • 1

  • .....

  • 0

  • S[1, 1]

  • 0

  • .....

  • 1   ∣

qui constitue une instance de la forme générale suivante :

(D15)

  •  

  • S[n,s]

  • ......

  • S[n,s]   ∣

  • S[1, 0]

  • 1

  • .....

  • 0

  • S[1, 1]

  • 0

  • .....

  • 1   ∣

On peut considérer que cette dernière structure correspond à la version canonique de SEP(II), pour n grand. Dans la situation particulière associée à cette version de SEP, l’étudiant prédit chaque jour – par un mauvais jugement mais justifié par un raisonnement basé sur l’induction régressive – que l’examen n’aura lieu aucun jour de la semaine. Cependant, il apparaît qu’au moins un cas de surprise (par exemple si l’examen survient le premier jour) permet de valider, de manière tout à fait réaliste, l’annonce du professeur.

La forme de SEP(II) qui s’applique à la version standard de SEP est 7-SEP(II), lequel correspond à l’énoncé classique :

(S7)

Un examen se déroulera la semaine prochaine mais la date de l’examen constituera une surprise.

mais, dans la version standard, avec cette différence que le contexte est ici exclusivement celui d’une notion de surprise associée à une structure disjointe.

On est désormais à même de déterminer l’étape fallacieuse dans le raisonnement de l’étudiant. Pour cela, il est utile de décrire le raisonnement de l’étudiant en termes de reconstitution de matrice. Ce raisonnement le conduit en effet à attribuer une valeur pour S[k, 0] et S[k, 1]. Et lorsque l’étudiant a connaissance de l’annonce du professeur, son raisonnement le conduit en effet à reconstruire la matrice correspondante telle que tous les S[k, 0] = 1 et tous les S[k, 1] = 0, de la façon suivante (pour n = 7) :

(D16)

  •  

  • S[7,s]

  • S[6,s]

  • S[5,s]

  • S[4,s]

  • S[3,s]

  • S[2,s]

  • S[1,s]

  • S[k, 0]

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

  • 1

  • S[k, 1]

  • 0

  • 0

  • 0

  • 0

  • 0

  • 0

  • 0

On peut noter ici que l’ordre de reconstitution se révèle indifférent. À ce stade, on est en mesure d’identifier l’erreur de raisonnement qui est à l’origine de la conclusion erronée de l’étudiant. Il apparaît que l’étudiant n’a pas tenu compte du fait que la surprise correspond ici à une structure disjointe. En effet, il aurait dû considérer que le dernier jour correspond à une instance propre de non-surprise et donc que S[n, 0] = 1. De même, il aurait dû considérer que le 1er jour[12] correspond à une instance propre de surprise et poser ainsi S[1, 1] = 1. Le contexte étant celui d’une structure disjointe, il aurait pu légitimement ajouter, dans une seconde étape, que S[n, 1] = 0 et S[1, 0] = 0. À ce stade, la matrice partiellement reconstituée aurait alors été la suivante :

(D17)

  •  

  • S[7,s]

  • S[6,s]

  • S[5,s]

  • S[4,s]

  • S[3,s]

  • S[2,s]

  • S[1,s]

  • S[k, 0]

  • 1

  •  

  •  

  •  

  •  

  •  

  • 0

  • S[k, 1]

  • 0

  •  

  •  

  •  

  •  

  •  

  • 1

L’étudiant aurait alors dû poursuivre son raisonnement de la manière suivante. Les instances propres de non-surprise et de surprise qui sont ici disjointes ne capturent pas en totalité la notion de surprise. Dans un tel contexte, la notion de surprise n’est pas capturée de manière exhaustive par l’extension et l’anti-extension de la surprise. Or une telle définition est conforme à la définition d’un prédicat vague, qui se caractérise par une extension et une anti-extension mutuellement exclusives et non-exhaustives[13]. Ainsi, la conception de la surprise associée à une structure disjointe est celle d’une notion vague.

Ce qui précède permet maintenant d’identifier avec précision la faille dans le raisonnement de l’étudiant lorsque la notion de surprise est une notion vague associée à une structure disjointe. Car l’erreur à l’origine du raisonnement fallacieux de l’étudiant réside dans le fait de n’avoir pas considéré que la surprise correspond, dans le cas d’une structure disjointe, à une notion vague et comporte donc une zone de pénombre qui correspond à des cas limites (borderline) entre la non-surprise et la surprise. Point n’est besoin, toutefois, de disposer ici d’une solution au paradoxe sorite. En effet, que ces cas limites résultent d’une succession de degrés intermédiaires, d’une coupure précise entre la non-surprise et la surprise dont l’emplacement exact nous est impossible à connaître, ou d’autres facteurs, importe peu ici. Car, dans tous les cas, la seule prise en considération du fait que la notion de surprise est ici une notion vague interdit de conclure que S[k, 1] = 0, pour toutes les valeurs de k.

Il existe ainsi, conformément à ce qui précède, plusieurs façons de reconstituer la matrice. En fait, il existe autant de manières de reconstituer cette dernière qu’il existe de conceptions du vague. L’une de ces façons (basée sur la conception du vague fondée sur la logique floue) consiste à considérer qu’il existe une succession continue et graduelle de la non-surprise à la surprise. L’algorithme correspondant pour reconstituer la matrice est alors celui où le pas est donné par la formule 1/(n-p) où p correspond à une instance propre de surprise. Pour p = 3, on a ici 1/(7-3) = 0,25, avec S[3, 1] = 1. Et la matrice correspondante est ainsi la suivante :

(D18)

  •  

  • S[7,s]

  • S[6,s]

  • S[5,s]

  • S[4,s]

  • S[3,s]

  • S[2,s]

  • S[1,s]

  • S[k, 0]

  • 1

  • 0,75

  • 0,5

  • 0,25

  • 0

  • 0

  • 0

  • S[k, 1]

  • 0

  • 0,25

  • 0,5

  • 0,75

  • 1

  • 1

  • 1

où la somme des valeurs de la matrice associées à un jour donné est égale à 1. L’intuition qui préside à SEP(II) est ici que la non-surprise est totale le jour n, mais qu’il existe des degrés intermédiaires de surprise si (0 < si < 1) tels que plus on s’approche du dernier jour, plus l’effet de non-surprise est élevé. À l’inverse, l’effet de surprise est total dans les premiers jours, par exemple les jours 1, 2 et 3.

On peut remarquer ici que les définitions correspondant à SEP(II) qui viennent d’être décrites présentent une propriété de linéarité (formellement, ∀k (pour 1 < kn), S[k, 0] ≥ S[k-1, 0]). En effet, une structure correspondant aux cas possibles de non-surprise et de surprise qui ne présenterait pas une telle propriété de linéarité ne capturerait pas l’intuition correspondant à la notion de surprise. Pour cette raison, il paraît suffisant de limiter la présente étude aux structures de définitions qui satisfont cette propriété de linéarité.

Une autre façon de reconstituer la matrice correspondante, fondée sur la conception épistémologique du vague, aurait pu également être utilisée. Il s’agit du cas où la nature vague de la surprise est déterminée par l’existence d’une coupure précise entre les cas de non-surprise et de surprise, dont il ne nous est cependant pas possible de connaître l’emplacement exact. Dans ce cas, la matrice aurait pu être reconstituée par exemple de la manière suivante :

(D19)

  •  

  • S[7,s]

  • S[6,s]

  • S[5,s]

  • S[4,s]

  • S[3,s]

  • S[2,s]

  • S[1,s]

  • S[k, 0]

  • 1

  • 1

  • 1

  • 0

  • 0

  • 0

  • 0

  • S[k, 1]

  • 0

  • 0

  • 0

  • 1

  • 1

  • 1

  • 1

On peut maintenant se demander si la version du paradoxe associée à SEP(II) ne peut pas être assimilée au paradoxe sorite. La réduction de SEP au paradoxe sorite est en effet la solution qui a été proposée par certains auteurs, notamment Dietl (1973) et Smith (1984). Ces dernières solutions, basées sur l’assimilation de SEP au paradoxe sorite, constituent des analyses monistes qui ne conduisent pas, à la différence de la présente solution, à deux solutions indépendantes basées sur deux versions structurellement différentes de SEP. En ce qui concerne par ailleurs les analyses proposées par Dietl et Smith, on ne voit pas clairement si chaque étape de SEP est pleinement assimilée à l’étape correspondante du paradoxe sorite, ainsi que l’a souligné Sorensen[14]. Toutefois, dans le contexte d’une conception de la surprise associée à une structure disjointe, le fait que le dernier jour correspond à une instance propre de non-surprise peut ici être assimilé à l’étape de base du paradoxe sorite.

Cependant, il apparaît qu’une telle réduction de SEP au paradoxe sorite, limitée à la notion de surprise qui correspond à une structure disjointe, ne prévaut pas ici. En premier lieu, on ne sait pas clairement si l’énoncé de SEP peut être traduit en une variation du paradoxe sorite, en particulier pour ce qui concerne 7‑SEP(II). Car la variation correspondante du paradoxe sorite serait trop rapide, comme cela a été noté par Sorensen (1988)[15]. Et l’on peut penser, en outre, selon les remarques de Scott Soames (1999), que certains prédicats vagues ne sont pas susceptibles de donner lieu à une version correspondante du paradoxe sorite. C’est ce qui semble bien être le cas pour la notion de surprise associée à 7-SEP(II). Car, comme le fait remarquer Soames[16], le continuum qui est sémantiquement associé aux prédicats donnant lieu au paradoxe sorite peut être fragmenté en unités si petites que si l’une de ces unités est intuitivement F, alors l’unité suivante est également F. Or, tel n’est pas le cas pour la variation constituée par 7-SEP(II), où les unités correspondantes (1 jour) ne sont pas assez fines par rapport à la période considérée (7 jours).

Enfin, et surtout, comme on l’a vu plus haut, la solution précédente pour SEP(II) s’applique, quelle que soit la nature de la solution qui sera adoptée pour le paradoxe sorite. Car c’est la méconnaissance de la structure sémantique de la notion vague de surprise qui se trouve à l’origine du raisonnement fallacieux de l’étudiant dans le cas de SEP(II). Et ce fait est indépendant de la solution qui devrait être apportée, à l’avenir, au paradoxe sorite – que cette approche soit d’inspiration épistémologique, supervaluationniste, basée sur la logique floue – ou d’une toute autre nature.

5. La solution du paradoxe

Les développements qui précèdent permettent maintenant de formuler une solution précise au paradoxe de l’examen-surprise. Celle-ci peut être énoncée en considérant ce qu’aurait dû être le raisonnement de l’étudiant. Voici en effet, en vertu de la présente analyse, comment l’étudiant aurait dû raisonner après avoir entendu l’annonce du professeur :

L’étudiant : Professeur, je pense que deux conceptions sémantiquement distinctes de la surprise, susceptibles d’influer sur le raisonnement à tenir, peuvent être prises en considération. J’observe également que vous n’avez pas précisé, lors de votre annonce, à laquelle de ces deux conceptions vous vous référiez. N’est-ce pas ?

Le professeur : Oui, c’est exact. Continuez.

L’étudiant : Puisque vous vous référez indifféremment à l’une ou l’autre de ces conceptions de la surprise, il est nécessaire d’envisager successivement chacune d’elles, ainsi que le raisonnement à tenir dans chaque cas.

Le professeur : Voyons donc cela.

L’étudiant : Considérons, en premier lieu, le cas où la surprise correspond à une définition conjointe des cas de non-surprise et de surprise. Une telle définition est telle que la non-surprise et la surprise sont à la fois possibles, par exemple le dernier jour. Une telle situation est susceptible de se présenter le dernier jour, notamment lorsqu’un étudiant conclut que l’examen ne peut avoir lieu ce même dernier jour, puisque cela contredirait l’annonce faite par le professeur. Pourtant, cela a précisément pour effet de permettre à la surprise de se produire, car ce même étudiant s’attend alors à ce que l’examen n’ait pas lieu. Et de manière tout à fait plausible, comme l’a fait valoir Quine, une telle situation correspond alors à un cas de surprise. Dans ce cas, la prise en considération de la possibilité que l’examen survienne par surprise le dernier jour interdit d’éliminer successivement les jours n, n-1, n-2, ..., 2, puis 1. J’ajoute enfin que la notion de surprise associée à une structure conjointe est une notion de surprise totale. Car, le dernier jour, on se trouve en présence de non-surprise ou de surprise totale, sans qu’il existe dans ce cas de situations intermédiaires.

Le professeur : Je vois cela. Vous aviez parlé d’un second cas de surprise...

L’étudiant : Effectivement. Il est également nécessaire de considérer le cas où la surprise correspond à une définition disjointe des cas de non-surprise et de surprise. Une telle définition correspond au cas où la non-surprise et la surprise ne sont pas possibles le même jour. L’intuition sur laquelle repose une telle conception de la surprise correspond à l’annonce faite à des étudiants qu’ils subiront un examen dans l’année, bien qu’ils ignorent par ailleurs le jour précis où il se déroulera. Dans un tel cas, il résulte bien de notre expérience que l’examen peut véritablement se produire par surprise, de nombreux jours de l’année, par exemple un jour quelconque des trois premiers mois. Il s’agit là d’une situation concrète qui correspond à l’expérience individuelle de tout étudiant. Bien sûr, dans l’annonce que vous venez de nous faire, la période n’est pas aussi longue qu’une année mais correspond à une semaine. Cependant, votre annonce laisse également la place à une telle conception de la surprise associée à une structure disjointe des cas de non-surprise et de surprise. En effet, l’examen peut survenir par surprise, par exemple le 1er jour de la semaine. Ainsi, le 1er jour constitue une instance propre de surprise. Parallèlement, le dernier jour constitue une instance propre de non-surprise, puisqu’il résulte de l’énoncé que l’examen ne peut avoir lieu ce jour-là par surprise. À ce stade, il apparaît également que le statut des autres jours de la période correspondante n’est pas déterminé. Ainsi, une telle structure disjointe des cas de non-surprise et de surprise est à la fois disjointe et non-exhaustive. Par conséquent, la notion de surprise correspondante présente ici les critères de notion vague. Et cela met en lumière le fait que la notion de surprise associée à une structure conjointe est une notion vague et qu’il existe donc une zone de pénombre entre les instances propres de non-surprise et de surprise qui correspond à l’existence de cas limites. Et la seule existence de ces cas limites interdit d’éliminer successivement, par un raisonnement basé sur une induction régressive, les jours n, n-1, n-2, ..., 2, puis 1. Et je remarque enfin, à la différence de la notion de surprise précédente, que la notion de surprise associée à une structure conjointe conduit à l’existence de cas intermédiaires entre la non-surprise et la surprise.

Le professeur : Je vois. Concluez maintenant.

L’étudiant : Finalement, le fait d’envisager successivement les deux notions différentes de surprise pouvant correspondre à l’annonce que vous venez de faire conduit dans les deux cas à rejeter le raisonnement classique qui conduit à éliminer successivement tous les jours de la semaine. Ici, la motivation pour rejeter le raisonnement classique se révèle différente pour chacune des deux notions de surprise. Mais, dans les deux cas, il s’ensuit une conclusion convergente qui conduit au rejet du raisonnement classique basé sur une induction régressive.

6. Conclusion

Je mentionnerai finalement que la solution qui vient d’être proposée s’applique également aux variations de SEP mentionnées par Sorensen (1982). En effet, la structure des formes canoniques de SEP(I–), SEP(IΔ) ou SEP(II) indique que, quelle que soit la version prise en considération, la solution qui s’applique ne nécessite pas de faire appel à un quelconque principe de rétention temporelle. Elle est également indépendante de l’ordre d’élimination et peut enfin s’appliquer lorsque la durée de la n-période n’est pas connue lors de l’annonce faite par le professeur.

Enfin, on peut mentionner que la stratégie développée dans la présente étude se révèle structurellement analogue à celle mise en oeuvre dans Franceschi (1999) : en premier lieu, établir une dichotomie qui permet de diviser le problème concerné en deux classes distinctes ; en second lieu, montrer que chacune des versions qui en résultent admet une résolution spécifique[17]. De manière similaire, dans la présente analyse de SEP, une dichotomie est effectuée, et les deux catégories de problèmes qui en résultent donnent ensuite lieu à une solution indépendante. Cela suggère que deux versions structurellement indépendantes se trouvent inextricablement mêlées dans les paradoxes philosophiques ; ce fait constituerait une caractéristique plus répandue qu’on ne peut le penser de prime abord et expliquerait également en partie la difficulté qui leur est propre[18].