Voir la source de Paradoxe de l'interrogation surprise

{{à sourcer|date=juin 2018}}

Le '''[[paradoxe]] de l'interrogation surprise''' aurait été relevé par le professeur de mathématiques Lennart Ekbom et il proviendrait d'un véritable exercice de défense civile en [[Suède]] pendant la [[Seconde Guerre mondiale]] (au cours de la période 1943-1944)<ref>{{Ouvrage|langue=en|auteur1=Saul Kripke|titre=Philosophical troubles|lieu=New York|éditeur=Oxford University Press|année=2011|pages totales=388|passage=27|isbn=978-0-19-999292-8}}</ref>. Il fut publié en 1948<ref>{{article|langue=en|prénom=D. J.|nom=O'Connor|titre=Pragmatic Paradoxes|revue=[[Mind (journal)|Mind]]|année=1948|volume=57|p.=358-359}}</ref>.

== Énoncé ==
Un professeur annonce à ses élèves :
{{Citation bloc|Il y aura une interrogation surprise la semaine prochaine.}}
Précisons les termes. Il faut comprendre trois choses :
# Une interrogation aura lieu durant un cours soit le lundi, soit le mardi, soit le mercredi, soit le jeudi, soit le vendredi.
# Juste avant le début de l'interrogation, l'élève ne pourra avoir la certitude que l'interrogation va avoir lieu.
# Une unique interrogation aura lieu.

== Explications ==
=== En quoi est-ce un paradoxe ? ===
Un élève futé fait le raisonnement suivant :
Si jeudi soir, l'interrogation n'a pas eu lieu, alors je serai certain qu'elle est pour vendredi. Ce ne sera donc plus une surprise. L'interrogation ne peut donc avoir lieu vendredi parce c'est le dernier jour possible. Mais puisque l'interrogation ne peut avoir lieu le dernier jour, l'avant-dernier jour devient de facto, le dernier jour possible.
Ainsi, par [[Raisonnement par récurrence|récurrence]], on en déduit que l'interrogation ne peut avoir lieu.

Essayons de formaliser le problème. L'énoncé peut être (partiellement) interprété ainsi :
<center><math>\exists i : P(i)\land\lnot((\forall j<i : \lnot P(j)) \Rightarrow P(i))</math></center>
où <math>(i,j) \in \{1, 2, 3, 4, 5\}^2</math> sont des jours de la semaine et <math>P(i)</math> le prédicat : « il y a une interrogation le jour <math>i</math> » (<math>\lnot</math> est la [[Négation logique|négation]] et <math>\land</math> la [[Conjonction logique|conjonction]]).
Or, en utilisant l'égalité « <math>\lnot (a \Rightarrow b) = (a \land \lnot b)</math> », on voit immédiatement la contradiction :
<center><math>\exists i : P(i) \land \lnot P(i) \land \ldots</math></center>

=== De quelle nature est ce paradoxe ? ===
Apparemment, il ne s'agit que d'un propos fallacieux de même nature que les [[Paradoxe sorite|paradoxes sorites]].

Cependant, l'élève peut pousser plus loin le raisonnement. De la première conclusion, il doit déduire que le professeur a obligatoirement menti. Mais en quoi a-t-il menti ? Si le vendredi soir, l'examen a bien eu lieu, alors le mensonge est dans l'effet de surprise uniquement. Mais puisque le professeur est un menteur, il se peut qu'il n'y ait pas du tout d'examen. Le raisonnement initial n'est donc plus valable : l'interrogation constituera bien une surprise même si elle survient le vendredi. Finalement, le professeur ne mentira pas si et seulement s'il est pris pour un menteur.
On retrouve donc le [[paradoxe du menteur]].

Ce paradoxe est en réalité inhérent au mot ''surprise'' et à la notion d'''[[Hasard|aléatoire]]''.

Si Lennart dit à Marie : « Je vais te faire une surprise. » Alors Marie doit s'attendre à une surprise. La surprise sera alors conforme à son attente ; donc non surprenante. Lennart ne peut plus surprendre Marie que par l'absence de surprise ; c'est-à-dire, en se démentant par le non-faire. En se démentant, il surprend, donc ne se dément pas.

En définitive, annoncer la surprise, c'est ôter l'effet de surprise.

=== Une première interprétation : ''le professeur est-il sincère ?'' ===
En réalité, si la [[logique mathématique]] donne raison à l'élève, le sens commun se rangera du côté du professeur.
Mais où se situe l'erreur de l'élève ? Comme l'a fait remarquer Thomas O'Beirne en 1965, elle se trouve dans le postulat implicite initial que « le professeur ne pouvait mentir ».

Il faut donc considérer que la surprise est due non seulement à la date de l'interrogation, mais aussi à un mensonge inopiné du professeur.

=== Une deuxième interprétation : ''effet de surprise réparti sur toute la semaine'' ===
« Annoncer la surprise, c'est ôter l'effet de surprise » est la conclusion aberrante d'un raisonnement basé sur une interprétation vicieuse (voire erronée) du mot ''surprise''. Mais alors, quel sens faut-il donner à un « ''événement surprise'' », lorsqu'il est annoncé ?

Qu'il s'agisse d'« avoir une interrogation surprise » ou de « recevoir un cadeau surprise », il faut bien comprendre que la surprise ne peut pas être causée par la survenue de l'événement, mais réside dans le fait que cet événement n'est pas totalement défini (la date de l'interrogation surprise et la nature du cadeau).
On doit donc envisager de multiples événements (mutuellement exclusifs) dont l'un seulement arrivera, en l'occurrence : « avoir une interrogation surprise lundi », « recevoir un jouet », « recevoir de l'argent »…
Il faut également considérer que la surprise est synonyme d'imprévu, aussi minime soit-il : ainsi, la survenue d'un événement incertain tout comme la non-survenue d'un événement envisageable constitueront des surprises.

Avec cette nouvelle interprétation, il est facile d'invalider le raisonnement de l'élève à sa base : au jeudi soir, l'interrogation ne constituera certes pas une surprise, mais la surprise aura déjà eu lieu répartie sur le lundi, le mardi, le mercredi et le jeudi (et donc le professeur aura tenu parole).
En réalité, la surprise survient au moins le lundi et peut se reproduire chaque jour jusqu'au jeudi au plus tard.

La formule « interrogation surprise » est un raccourci de « interrogation à une date surprise » et constitue une forme d'abus de langage, qui tend à faire croire que la surprise n'a lieu que le jour de l'interrogation.

En conclusion, l'erreur est donc de considérer une surprise comme un unique événement : c'est une vision ''a posteriori''. Une situation de surprise est constituée d'au moins deux événements incertains, c'est donc une {{Page h'|alternative}}.

=== Une troisième interprétation : ''le problème est différent en fonction du jour de la semaine'' ===
Une troisième interprétation consiste à montrer que le raisonnement par [[Raisonnement par récurrence|récurrence]] de l'élève est faux car le contexte change en fonction du jour de la semaine. Si "l'absence d'examen jeudi au soir" implique qu'il ne peut pas y avoir d'interrogation vendredi sous peine de casser l'effet de surprise, cela n'est plus vrai pour mercredi : "l'absence d'examen mercredi au soir" n'implique pas qu'il ne peut pas y avoir d'interrogation vendredi, car ce dernier postulat est uniquement valable ''jeudi soir''. Donc le raisonnement par récurrence n'est pas vérifié.

Un approche différente consiste à considérer qu'à la date de l'annonce, tous les jours sont valables et la probabilité d'avoir l'examen est de 1/5. S'il n'y pas eu d'examen lundi au soir, celle-ci deviendra 1/4, et ainsi de suite : 1/3, 1/2 et jusqu'à 1, lorsqu'il ne reste plus que vendredi. Ainsi, jusqu'à la veille du dernier jour, l'élève aura un "effet de surprise" qui tendra vers 0 au fur et à mesure qu'on avance dans la semaine.

Il est donc possible d'interpréter le problème comme un cas de [[paradoxe sorite]] : à partir de quel seuil de probabilité, un événement n'est plus considéré comme une surprise ?

=== Une explication par le paradoxe auto-référentiel ===
Une solution peut être proposée en considérant le problème comme un [[Autoréférence|paradoxe auto-référentiel]]<ref>{{Article|prénom1=Timothy Y.|nom1=Chow|titre=The Surprise Examination or Unexpected Hanging Paradox|périodique=The American Mathematical Monthly|volume=105|numéro=1|date=1998-01|doi=10.2307/2589525|lire en ligne=http://www.jstor.org/stable/2589525?origin=crossref|consulté le=2023-05-22|pages=41}}</ref>.

La formulation suivante permet d'éviter l'ambiguïté du terme ''« surprise »'' :

* '''Règle 1''' : Un examen aura lieu un jour de la semaine prochaine
* '''Règle 2 ''': La date de l'examen ne sera pas déductible la veille de celui-ci, à partir des informations disponibles

Si les ''informations disponibles'' n'incluent pas la '''Règle 2''', l'énoncé du professeur n'est pas pertinent.

Si les ''informations disponibles'' incluent la connaissance de la '''Règle 2''' elle-même, l'énoncé prend une dimension auto-référentielle.

En effet, le sens de la '''Règle 2''' dépend de ce que l'on peut déduire de la '''Règle 2''', or pour déduire de la '''Règle 2''', il faut saisir le sens de la '''Règle 2'''...

Le [[paradoxe]] provient donc de la nature [[Autoréférence|autoréférentielle]] de l'énoncé ; le [[Logique|logicien]] [[Frederic Brenton Fitch]] a montré en 1964 que le problème peut être exprimé en logique formelle<ref>{{Article|prénom1=Jonathan|nom1=Bennett|titre=R. Shaw. The paradox of the unexpected examination. Mind, n.s. vol. 67 (1958), pp. 382–384. - Ardon Lyon. The prediction paradox. Mind, n.s. vol. 68 (1959), pp. 510–517. - G. C. Nerlich. Unexpected examinations and unprovable statements. Mind, n.s. vol. 70 (1961), pp. 503–513. - Brian Medlin. The unexpected examination. American philosophical quarterly (Pittsburgh), vol. 1 no. 1 (1964), pp. 66–72. See ''Corrigenda'', Brian Medlin. ''The unexpected examination''. '''American philosophical quarterly''' (Pittsburgh), vol. 1 no. 1 (1964), p. 333.) - Frederic B. Fitch. A Goedelized formulation of the prediction paradox. American philosophical quarterly (Pittsburgh), vol. 1 no. 1 (1964), pp. 161–164.|périodique=Journal of Symbolic Logic|volume=30|numéro=1|date=1965-03|issn=0022-4812|issn2=1943-5886|doi=10.2307/2270599|lire en ligne=http://dx.doi.org/10.2307/2270599|consulté le=2023-05-22|pages=101–102}}</ref>.

== Variantes ==
Une variante de ce paradoxe est aussi connue sous le nom du paradoxe du « condamné à mort »<ref>{{Lien web |langue=fr-FR |nom=MrPhi |titre=Le paradoxe du condamné à mort — Argument frappant #4 |url=https://monsieurphi.com/2017/06/19/le-paradoxe-du-condamne-a-mort/ |site=Monsieur Phi |date=2017-06-19 |consulté le=2023-08-21}}</ref> ou du « pendu »<ref>{{Lien web |langue=fr-FR |titre=5 paradoxes qui retournent le cerveau |url=https://www.techniques-ingenieur.fr/actualite/articles/5-paradoxes-qui-retournent-le-cerveau-16311/ |site=Techniques de l'Ingénieur |consulté le=2023-08-21}}</ref>, probablement du nom anglais de ce paradoxe<ref>{{Article|langue=en|prénom1=Timothy Y.|nom1=Chow|titre=The Surprise Examination or Unexpected Hanging Paradox|périodique=The American Mathematical Monthly|volume=105|numéro=1|date=1998-01|issn=0002-9890|issn2=1930-0972|doi=10.1080/00029890.1998.12004847|lire en ligne=https://www.tandfonline.com/doi/full/10.1080/00029890.1998.12004847|consulté le=2023-08-21|pages=41–51}}</ref>. L'énoncé est similaire: un gardien de prison annonce au condamné qu'il sera exécuté dans la semaine suivante.

== Notes et références ==
{{Références}}
{{Traduction/Référence|en|Unexpected hanging paradox|80265858}}

== Voir aussi ==
=== Articles connexes ===
* [[Contradiction performative]]

=== Bibliographie ===
* {{article|langue=en|nom=[[Michael Scriven|M. Scriven]]|titre=Paradoxical Announcements|revue=Mind|année=1951|volume=60|p.=403-407}}
* {{article|langue=en|prénom=R.|nom=Shaw|titre=The Paradox of the Unexpected Examination|revue=Mind|année=1958|volume=67|p.=382-384|doi=10.1093/mind/LXVII.267.382}}
* {{article|langue=en|nom=[[Willard Van Orman Quine]]|titre=On a So-called Paradox |revue=Mind|année=1951|volume=62|p.=65-66}}
** Reproduit dans le recueil ''The Ways of Paradox'' sous le titre ''On a Supposed Antinomy'' [https://books.google.fr/books?id=YReOv31gdVIC&pg=PA19&hl=fr&source=gbs_toc_r&cad=2#v=onepage&q&f=false voir sur Google Book]
** Traduction française de Paul Egré, in ''Les voies du paradoxe et autres essais'' sous le titre ''Sur une antinomie supposée'', pages 65-68, ed Vrin, {{date-|mai 2011}} {{isbn|9782711622504}}
* {{article|langue=en|prénom1=C.|nom1=Wright|prénom2=A.|nom2=Sudbury|titre=The Paradox of the Unexpected Examination|revue={{Lien|Australasian Journal of Philosophy|texte=AJP}}|année=1977|volume=55|p.=41-58}}
* {{article|langue=en|lien auteur1=Avishai Margalit|prénom1=A.|nom1=Margalit|nom2=M. Bar-Hillel|titre=Expecting the Unexpected|revue=Philosophia|année=1983|volume=13|p.=337-344}}
* {{article|langue=en|prénom=C. S.|nom=Chihara|titre=Olin, [[Willard Van Orman Quine|Quine]], and the Surprise Examination|revue=Phil. Stud.|lien périodique=Philosophical Studies|année=1985|volume=47|p.=19-26}}
* [[Jean-Paul Delahaye]], [http://www.lifl.fr/~delahaye/LNA/LNA41.pdf ''L'interrogation surprise'']
* {{article|prénom=P.|nom=Franceschi|url=http://www.erudit.org/revue/philoso/2005/v32/n2/011875ar.pdf|titre=Une analyse dichotomique du paradoxe de l'examen-surprise|revue=Philosophiques|année=2005|volume=32|numéro=2|p.=399-421}}
* {{article|langue=en|prénom=R.|nom=Kirkham|titre=On Paradoxes and a Surprise Exam|revue=Philosophia|année=1991|volume=21|p.=31-51}}
* {{article|langue=en|prénom=T. Y.|nom=Chow|titre=The surprise examination or unexpected hanging paradox|revue=Amer. Math. Monthly|lien périodique=American Mathematical Monthly|mois=1|année=1998|url=http://www-math.mit.edu/~tchow/unexpected.pdf}}
* Alain Sournia, [https://books.google.bj/books?id=ydQ4JV8pIioC&pg=PA124&lpg=PA124&dq=paradoxe+interrogation+surprise&source=bl&ots=KPjEddWYMt&sig=Enn-XbFVcuidTN2M_dUotDFmRzc&hl=fr&sa=X&ved=0CDcQ6AEwBTgUahUKEwjDt5-fjMzHAhWrFNsKHbkdAwo#v=onepage&q=paradoxe%20interrogation%20surprise&f=false Le monde mental ment monumentalement]
{{Portail|logique}}

[[Catégorie:Paradoxe logique|Interrogation surprise]]