Carroll Lewis

En 1865 paraît Alice au pays des merveilles. Derrière le nom Lewis Carroll se trouve Charles Lutwidge Dodgson, qui enseigne les mathématiques à Oxford. Les deux activités ne sont pas séparées par une frontière étanche : dans ses récits, les raisonnements inattendus et les jeux de langage font écho à son intérêt pour la logique.

Son parcours se lit donc sur deux plans : l'écrivain publie sous pseudonyme, tandis que le mathématicien et logicien travaille sur la représentation et les fondements du raisonnement.

Lewis Carroll est le pseudonyme littéraire de Charles Lutwidge Dodgson (1832–1898), mathématicien, logicien et écrivain anglais. Lecteur de mathématiques au Christ Church College d'Oxford, Dodgson consacre sa carrière académique à l'enseignement et à la logique formelle.

Dans Symbolic Logic, il propose le diagramme de Carroll, qui représente des propositions logiques. Ce que la tortue dit à Achille prend la forme d'un dialogue consacré aux fondements de la logique déductive. Ces deux œuvres relèvent de son travail sur le raisonnement, mais elles n'ont pas la même fonction : l'une présente notamment un outil de représentation, l'autre interroge les fondements de la déduction.

Sous le nom Lewis Carroll paraissent ses œuvres littéraires, parmi lesquelles Alice au pays des merveilles en 1865, De l'autre côté du miroir et La Chasse au Snark. La logique et le jeu sur le langage y occupent une place centrale.

On veut situer trois titres sans réduire Lewis Carroll au seul auteur d'Alice. Les données sont Symbolic Logic, Ce que la tortue dit à Achille et Alice au pays des merveilles, publié en 1865.

1. On repère d'abord la fonction de chaque texte. Symbolic Logic contient un outil de représentation des propositions : le diagramme de Carroll.

2. On classe ensuite Ce que la tortue dit à Achille du côté de la réflexion logique, car le dialogue porte sur les fondements de la déduction.

3. On place enfin Alice au pays des merveilles dans l'œuvre littéraire publiée sous pseudonyme, sans effacer la place qu'y tiennent logique et langage.

Le contrôle consiste à retrouver, pour chaque titre, l'indice décisif : outil logique, dialogue sur la déduction ou récit littéraire. On obtient ainsi deux domaines d'activité reliés par un même intérêt pour le raisonnement.

Pour lire Alice au pays des merveilles, De l'autre côté du miroir ou La Chasse au Snark, on peut suivre les jeux sur les mots et les raisonnements. Une lecture purement biographique convient mieux si la question porte sur la vie de l'auteur.

Pour étudier la représentation de propositions logiques, on se tourne vers Symbolic Logic et le diagramme de Carroll. Le dialogue Ce que la tortue dit à Achille devient préférable lorsque la question vise les fondements de la déduction.

Pour présenter le personnage, on garde ensemble son nom civil, Charles Lutwidge Dodgson, et son pseudonyme, Lewis Carroll. Cette double mention évite de séparer artificiellement la carrière académique et l'œuvre littéraire.

Lewis Carroll et Charles Lutwidge Dodgson. Ce ne sont pas deux personnes : Lewis Carroll est le pseudonyme sous lequel Dodgson publie son œuvre littéraire. Le nom associé à Alice au pays des merveilles tranche immédiatement le cas.

Le diagramme de Carroll et son auteur. Le premier est un outil de représentation des propositions logiques proposé dans Symbolic Logic ; le second est la personne dont la fiche retrace les activités.

Une date qui ne vaut que pour un titre. L'année 1865 est donnée pour Alice au pays des merveilles. Rien dans la source ne permet de l'étendre à De l'autre côté du miroir, à La Chasse au Snark ou aux textes logiques ; il faut donc laisser ces œuvres sans date précise ici.

Un outil qui ne résume pas toute l'œuvre logique. Le diagramme de Carroll est une contribution citée parmi d'autres. Réduire son travail à ce diagramme ferait disparaître son enseignement, la logique formelle et sa réflexion sur la déduction.

La fiction n'est pas un traité. La présence centrale de la logique et des jeux de langage dans les récits ne transforme pas ceux-ci en ouvrages de logique formelle. Il faut examiner la fonction du texte avant de le classer.

Le diagramme de Carroll précise le fonctionnement de l'outil logique associé à Symbolic Logic.

L'article Les diagrammes chez Lewis Carroll replace ces représentations dans le travail logique de l'auteur.