Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Web Analytics
Cookie Policy Terms and Conditions Paradoxe de l'interrogation surprise - Wikipédia

Paradoxe de l'interrogation surprise

Un article de Wikipédia, l'encyclopédie libre.

Le paradoxe de l'interrogation surprise a été relevé par le professeur de mathématiques, Lennart Ekbom. Il fut publié en 1948 dans Mind.

Sommaire

[modifier] Énoncé

Un professeur annonce à ses élèves :

« Il y aura une interrogation surprise la semaine prochaine. »

Précisons les termes. Il faut comprendre trois choses :

  1. une interrogation aura lieu durant un "cours" soit le lundi, soit le mardi, soit le mercredi, soit le jeudi, soit le vendredi ;
  2. juste avant le début de l'interrogation, l'élève ne pourra avoir la certitude que l'interrogation va avoir lieu ;
  3. une unique interrogation aura lieu.

[modifier] Explications

[modifier] 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 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 :

i : P(i) ∧ ¬ ( ∀j<i : ¬P(j)) ⇒ P(i) )

i et j ∈ {1,..,5} sont des jours de la semaine et P(i) le prédicat : « il y a une interrogation le jour i » (¬ est la négation et ∧ la conjonction). Or, en utilisant l'équivalence entre ¬(ab) et (a ∧ ¬b), on voit immédiatement la contradiction :

i : P(i) ∧ ¬P(i) ∧ ...


[modifier] De quel nature est ce paradoxe ?

Apparemment, il ne s'agit que d'un propos fallacieux de même nature que les 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 si 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'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.

[modifier] Une première conclusion

En réalité, si la logique mathématique donne raison à l'élève, le sens commun se rangera du coté 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 suprise est due non seulement à la date de l'interrogation, mais aussi à la non-sincérité du professeur. La sincérité du professeur ne repose que sur la possibilité du mensonge. Si la première interprétation était au premier degré, et cette interprétation est au second degré. Elle ne fait que déplacer le paradoxe. On retrouve la première interprétation en ajoutant un (méta-)axiome  :

  • le professeur dit vrai

En d'autres termes, les premiers axiomes sont vrais.

[modifier] Une autre interprétation

« annoncer la surprise, c'est ôter l'effet de surprise » est la conclusion abérrante 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é 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 ; la nature du cadeau. On doit donc envisager de multiples événements (mutuellement exclusif) dont l'un seulement arrivera (En l'occurrence : « avoir une interrogation surprise lundi », ... et « 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, mais aussi la non-survenue d'un événement envisageable, constitueront des surprises.

Avec cette nouvelle interprétation, il est facile de démonter le raisonnement de l'éléve à sa base : au jeudi soir, l'interrogation ne constituera certe pas une surprise ; mais la surprise aura déjà eu lieu repartie 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 raccourci de « interrogation à une date surprise » est constitue une forme d'abus de langage, qui tend à faire croire qui 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 2 événements incertains (une alternative).

[modifier] Solutions proposées

[modifier] Solution de Quine

[modifier] Références

  • D. J. O'Connor, "Pragmatic Paradoxes", Mind 1948, Vol. 57, pp. 358-9.
  • M. Scriven, "Paradoxical Announcements", Mind 1951, vol. 60, pp. 403-7.
  • R. Shaw, "The Unexpected Examination" Mind 1958, vol. 67, pp. 382-4.
  • C. Wright and A. Sudbury, "the Paradox of the Unexpected Examination," Australasian Journal of Philosophy, 1977, vol. 55, pp. 41-58.
  • A. Margalit and M. Bar-Hillel, "Expecting the Unexpected", Philosophia 1983, vol. 13, pp. 337-44.
  • C. S. Chihara, "Olin, Quine, and the Surprise Examination" Philosophical Studies 1985, vol. 47, pp. 19-26.
  • P. Franceschi, "Une analyse dichotomique du paradoxe de l'examen-surprise", Philosophiques 2005, vol. 32-2, pp. 399-421.
  • R. Kirkham, "On Paradoxes and a Surprise Exam," Philosophia 1991, vol. 21, pp. 31-51.
  • T. Y. Chow, "The surprise examination or unexpected hanging paradox," The American Mathematical Monthly Jan 1998 [1]

[modifier] Voir aussi

[modifier] Articles connexes

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu