La lógica de Carroll

Alicia en el País de las Maravillas. Capítulo XII:

-Con la venia de vuestra Majestad, ¿por dónde empiezo? -preguntó.
-Empieza por el principio -dijo el Rey muy serio- y sigue hasta llegar al final; entonces para.

Alicia en el País de las Maravillas. Capítulo VI:

-¿Me podrías indicar hacia donde tengo que ir desde aquí?
-Eso depende de a dónde quieras llegar. -dijo el gato.
-A mi no me importa demasiado a donde... -dijo Alicia.
-En ese caso, da igual hacia donde vayas.
-... siempre que llegue a alguna parte.
-¡Oh! Siempre llegarás a alguna parte, si caminas lo bastante.

A Través del Espejo. Capítulo VIII:

-Estás triste -dijo el caballero con voz inquieta- déjame que te cante una canción que te alegre.
-¿Es muy larga? -preguntó Alicia, pues había oído demasiada poesía aquel día.
-Es larga -confesó el caballero- ¡pero es tan, tan hermosa! Todo el que me la ha oído cantar..., o se le han saltado las lágrimas o si no...
-¿O si no qué? -insistió Alicia pues el caballero se había quedado cortado de golpe.
-O si no no se les ha saltado nada, ésa es la verdad.

Parece ser que a Carroll le salía la vena matemática al escribir, o bien sus colegas se han empeñado en encontrarle un sentido al enredo verbal que despliega en sus obras.
Por ejemplo, el doctor Ernest Nagel, catedrático de Filosofía en la Universidad de Columbia, ha traducido ésta conversación con el Caballero Blanco en lógica simbólica con la siguiente notación:

• (#x) significa que existe una x tal que...
• ↔ ­­significa si y tan solo si
• → significa si... entonces...
• v significa ó
• ~ significa no y hace que la proposición que le sigue sea negativa.

­Utilizando esta notación y abreviando la canción del caballero (KS) haciendo que y representa cualquier canción, z cualquier persona que escucha y t un tiempo cualquiera, la traducción del galimatías del caballero será:

(#x) (y) (z) (t) ((y es un KS ↔ ­­ x es un KS) (z oye al Caballero contar x en el momento t → ((hace que llore z en el momento t) v ~ (hace que llore z en el momento t)))

La lógica simbólica ha sido utilizada con éxito para señalar el camino del significado de las argumentaciones vagas o complejas en Derecho y Metafísica.

- Textos enla Web: Alicia en el País de las Maravillas, A Través del Espejo -