MathLvl
Question transversaleMathsAnglaisMathématiques et littérature

Les bébés peuvent-ils dompter des crocodiles ? La logique de Lewis Carroll

Dans Symbolic Logic (1896), Carroll propose : « Les bébés sont illogiques. Personne n'est méprisé s'il sait dompter un crocodile. Les gens illogiques sont méprisés. » En enchaînant les implications et en utilisant la contraposée (« si l'on sait dompter un crocodile, on n'est pas méprisé »), on conclut : « Les bébés ne savent pas dompter les crocodiles. » La forme du raisonnement suffit, quel que soit le sens des phrases.

Grand oral session 2027 : exposé de 10 minutes debout, puis 10 minutes d'échange, sans calculatrice. Plan prévu pour 9,5 min.

Pourquoi cette question : un modèle d'introduction

Le jury attend que vous expliquiez pourquoi vous avez choisi la question. Inspirez-vous de ce modèle, mais racontez votre propre parcours.

En spécialité LLCER, après avoir étudié Alice au pays des merveilles, j'ai découvert que Lewis Carroll avait aussi écrit des livres de logique pour les jeunes, remplis d'exemples absurdes. L'un d'eux, sur les bébés et les crocodiles, m'a fait rire. En maths, j'ai compris qu'il illustrait parfaitement les implications et la contraposée, que l'on utilise dans les démonstrations.

L'enjeu et les notions du programme

Traduire des phrases en implications, les enchaîner et utiliser la contraposée pour établir une conclusion valide.

Mathématiques

  • Implication, réciproque et contraposée (seconde)
  • Raisonnement déductif, enchaînement d'implications (seconde)
  • Ensembles : inclusion et diagrammes (seconde)

LLCER anglais (dont anglais, monde contemporain)

  • Thématique « Imaginaires » : nonsense et logique (première LLCER)
  • Thématique « Arts et débats d'idées » : raisonner et convaincre (terminale LLCER)

Le plan de l'exposé en 9,5 min

  1. 1. Introduction

    1 min

    Carroll a écrit The Game of Logic (1886) et Symbolic Logic (1896) pour enseigner le raisonnement de façon amusante. Ses exercices mêlent des prémisses absurdes, mais leur conclusion est rigoureuse. Problématique : comment déduire une conclusion valide de phrases qui n'ont pas de sens réaliste ?

  2. 2. Mathématiques : implications et contraposée

    4 min

    Prémisses : (1) Les bébés sont illogiques. (2) Personne n'est méprisé s'il sait dompter un crocodile. (3) Les gens illogiques sont méprisés.

    On les traduit en implications. B : « être un bébé », I : « être illogique », M : « être méprisé », C : « savoir dompter un crocodile ». (1) B⇒ I. (3) I⇒ M. (2) C⇒ non M.

    La contraposée de P⇒ Q est non Q⇒ non P, et elle est équivalente. La contraposée de (2) est M⇒ non C : « si l'on est méprisé, on ne sait pas dompter un crocodile ».

    Enchaînement : B⇒ I⇒ M⇒ non C. Conclusion : B⇒ non C, « les bébés ne savent pas dompter les crocodiles ».

    Avec des ensembles : l'ensemble des bébés est inclus dans celui des illogiques, inclus dans celui des méprisés, qui est disjoint de celui des dompteurs de crocodiles. Un diagramme le montre immédiatement.

    Attention à la réciproque : I⇒ M n'entraîne pas M⇒ I. On ne peut pas conclure que tous les gens méprisés sont illogiques. La validité dépend de la forme du raisonnement, pas de la vérité des prémisses : un raisonnement valide sur des prémisses fausses peut donner une conclusion fausse.

  3. 3. In English: logic as a game

    3 min

    For Carroll, logic was "a game", and he wanted children to enjoy it. He invented diagrams with counters to solve his puzzles, similar to the diagrams of John Venn. His examples are deliberately absurd, because absurdity forces the reader to focus on the form of the argument rather than on what they already believe.

    This connects his logic books with his fiction. In Through the Looking-Glass, Tweedledee says: "Contrariwise, if it was so, it might be; and if it were so, it would be; but as it isn't, it ain't. That's logic." The characters of Wonderland constantly confuse a statement and its converse. When Alice says "I mean what I say", the Hatter replies: "You might just as well say that 'I see what I eat' is the same thing as 'I eat what I see'!" Carroll uses humour to teach a lesson that is essential in mathematics: a statement and its converse are not the same.

  4. 4. Conclusion

    1,5 min

    En enchaînant B⇒ I⇒ M et la contraposée M⇒ non C, on conclut que les bébés ne domptent pas les crocodiles. Carroll montre qu'un raisonnement se juge sur sa forme, et ses personnages confondent sans cesse implication et réciproque. J'ouvre sur les diagrammes de Venn et de Carroll, outils visuels de la logique.

Ce que j'écris au tableau

Pas de calculatrice ni de support numérique : un calcul clé écrit au tableau rend l'exposé concret et montre la solidité des connaissances.

B⇒ I I⇒ M C⇒ non M ⇔ M⇒ non C
B⇒ I⇒ M⇒ non C donc B⇒ non C

Conclusion : la réponse à la question

Les syllogismes absurdes de Carroll enseignent la logique des implications, de la contraposée et de la réciproque. Le jeu sur le sens met en valeur ce qui compte en mathématiques : la forme du raisonnement.

Les questions probables du jury

Pendant les 10 minutesd'échange, le jury vous fait préciser et approfondir, sur tout le programme de vos spécialités en lien avec la question.

Quelle est la contraposée de « s'il pleut, le sol est mouillé » ?

Si le sol n'est pas mouillé, alors il ne pleut pas.

Peut-on conclure que les gens méprisés sont illogiques ?

Non, ce serait la réciproque de « les illogiques sont méprisés », qui n'est pas donnée.

What does the Hatter's reply show?

That a statement and its converse are different: "I see what I eat" is not the same as "I eat what I see".

Why did Carroll choose absurd examples?

To force readers to focus on the form of the argument rather than on their beliefs.

Un raisonnement valide donne-t-il toujours une conclusion vraie ?

Seulement si les prémisses sont vraies.

Les pièges qui coûtent des points

  • Confondre contraposée et réciproque.
  • Croire que la validité dépend du réalisme des phrases.
  • Oublier de traduire « personne n'est méprisé s'il… » dans le bon sens.

Revoir les notions

Autres questions : mathématiques et littérature

Toutes les questions maths-llcer anglais →

Préparer l'oral, pas seulement le contenu

Gestion des 20 minutes de préparation, usage du tableau, posture debout, réponses au jury : la méthode complète, conforme aux règles de la session 2027.

Méthode : traiter une question de Grand oral →