La lgica simblica en Lewis Carroll

Lewis Carroll o Charles Dodgson

Charles Lutwidge Dodgson era el nombre verdadero del autor de Alicia en el
Pas de las Maravillas . Permaneci cuarenta y siete aos en la Universidad de Oxford, primero como estudiante, luego como profesor de matemticas.

Su mundo se divida en dos: por un lado, su mundo era Oxford, la iglesia de

Inglaterra y las clases de matemticas; la otra mitad era el mundo del sinsentido.

Por ello las obras matemticas eran firmadas como Charles L. Dodgson; mientras que las obras de imaginacin eran firmadas por Lewis Carroll.

Existe un punto donde se encuentran ambos hombres: la lgica.

Cul es el sentido de la lgica de Carroll?

Se suele concebir a la lgica como la ciencia de los principios de la inferencia
formalmente valida.

La validez formal de las inferencias slo es controlable a travs de su

formulacin en el lenguaje. Lewis Carroll escribi libros de lgica, y al mismo tiempo, estas obras llevaban a las palabras lejos de un uso metafsico o cotidiano de un uso ordinario a un uso onrico.

Alicia y Al otro lado del espejo pueden ser considerados una especie de repertorios de los errores y perplejidades a los que el lenguaje puede llevarnos cuando no lo usamos con cuidado.
El juego de la lgica y Lgica simblica son libros destinados a mostrarnos los cuidados que deben procurarse en el lenguaje para evitar que ste nos vuelva locos.

Entrando en el Juego de la lgica

Las Cosas y sus atributos

El universo indudablemente se encuentra compuesto por cosas o individuos por llamarlos de otra forma: hombres, ciudades, libros, plantas, etc. Dichas cosas, como es sabido, poseen atributos: viejo, grande, verde, rpido, etc. Cabe sealar que una cosa puede poseer varios atributos; por su parte, un atributo puede pertenecer a muchas cosas. Por medio de un Proceso Mental podemos examinar y encontrar entre las cosas, algunas que posean un determinado atributo del cual carezcan otras tantas, y as agruparlas. A esto se le conoce propiamente como Clasificacin. Como este proceso es mental, puede llevarse a cabo sobre cosas existentes e inexistentes.

Las Proposiciones
La palabra proposicin, tal y como se usa en una conversacin ordinaria, se puede aplicar a cualquier palabra o expresin que comunique cualquier informacin.

Para que una proposicin pueda ser usada en una argumentacin, sta debe estar en su forma normal.
Cuando una proposicin esta en su forma normal se compone de dos clases determinadas, a saber: Sujeto y Predicado. Una proposicin en forma normal consta de: Signo de cantidad: algunos o ninguno o todos (Esta palabra indica cuantos miembros del sujeto son parte del predicado) Nombre del sujeto El verbo son o es (A esto se le conoce como la Cpula) Nombre del predicado

Tipos de Proposiciones
Con respecto a su Signo de Cantidad: Una proposicin que empieza con algunos se dice que es Particular; una proposicin que empieza con Ninguno se dice que es Universal Negativa; una proposicin que empieza con Todos se dice que es Universal Afirmativa. *Una proposicin cuyo sujeto es un individuo es considerada una proposicin universal. La anterior divisin es slo con respecto al signo de cantidad de la proposicin, cada una de ellas corresponde a un tipo de juicio del Cuadro de Oposicin. En si las proposiciones son de dos tipos: Proposiciones de Existencia y Proposiciones de relacin

Proposiciones de Existencia
Una Proposicin de Existencia, cuando est en su forma normal, tiene como sujeto la clase cosas existentes; su Signo de Cantidad es algunos o ninguno . Se le llama proposicin de existencia porque mediante ella se afirma el carcter real o bien, imaginario de su predicado. Ejemplos de proposiciones de existencia con carcter Real: Existen algunos hombres honestos La clase hombres honestos existe Existen algunas criaturas voladoras La clase criaturas voladoras existe Ejemplos de proposiciones de existencia con carcter imaginario: No existen los hombres con alas La clase hombres alados no existe No hay hombre alguno que posea alas

Proposiciones de Relacin
Una proposicin de relacin tiene como trminos dos especies del mismo genero, de tal modo que cada uno de los nombres connota un atributo no connotado por el otro. Sus signos de cantidad son: algunos o ninguno o todos Ejemplo: Algunos viejos son excntricos *Siendo viejo y excntrico especies del genero hombre; cada uno de los nombres connota un atributo no connotado por el otro. Se le llama una proposicin de relacin porque con ella se afirma la existencia de una cierta relacin entre sus trminos. Una proposicin de relacin que empiece por todos afirma, que todos los miembros del sujeto son miembros del predicado. En esta proposicin est contenida, como parte de lo que no se dice, la proposicin subalterna algunos miembros del sujeto son miembros del predicado

El Diagrama Biliteral

Del Diagrama en general

xy

Mitad Norte La clase de las cosas

xy

Mitad Oeste La clase de las cosas y

xy

xy

Mitad Este La clase de las cosas y

Mitad Sur La clase de las cosas

Uso de las fichas

Las Fichas ayudan a representar dentro del diagrama las proposiciones. Las fichas Rojas indican que la casilla esta ocupada. Las fichas Grises indican que la casilla esta vaca.

Representacin
xy xy
Una ficha roja colocada en una celda, y una gris colocada en la celda opuesta (es decir ambas en la misma mitad) representan que toda cosa existente es tal. Ejemplo: Todo x es y

Una ficha roja en la divisoria de dos celdas representa que existe alguna cosa tal (dependiendo de en que mitad del diagrama se coloque) Ejemplo: Existe algn x. Dos fichas grises en cualquier mitad del diagrama representa que no existen ningunas cosas tales (dependiendo de en que mitad del diagrama se coloquen) Ejemplo: Ningn x existe.

xy

xy

Una ficha roja colocada en cualquier celda representa que existen algunas cosas tales (dependiendo de en que celda del diagrama se coloque) Ejemplo: Existen algunos xy.
Una ficha gris colocada en cualquier celda representa que no existen ningunas cosas tales. Ejemplo: No existe ningn xy.

El Diagrama Triliteral

Del Diagrama en general

xy m
xy m xy m xy m xy m

xy m

El diagrama triliteral es semejante al diagrama biliteral; en este caso se traza un pequeo cuadro en el interior, dejando as ocho celdas: cuatro exteriores y cuatro interiores. Las celdas interiores corresponden a m; las celdas exteriores corresponden a m.

xy m

xy m

Representacin de Proposiciones
xy m
m m

xy m

Una ficha roja colocada en la divisoria de dos celdas internas, representa que existe algn m (dependiendo de en que mitad del diagrama se coloque). Ejemplo: Existe algn xm Dos fichas grises colocadas en cualquier mitad interna del diagrama, representan que ningn m existe (dependiendo de en que mitad del diagrama se coloque). Ejemplo: No existe ningn xm Una ficha roja colocada en la divisoria de dos celdas externas, representa que existe algn m (dependiendo de en que mitad del diagrama se coloque) . Ejemplo: Existe algn xm Dos fichas grises colocadas en cualquier mitad externa del diagrama, representan que ningn m existe (dependiendo de en que mitad del diagrama se coloque). Ejemplo: No existe ningn xm

xy m

xy m

xy m
m m

xy m

Una ficha roja colocada en la divisoria de dos celdas internas, y dos fichas grises colocadas en dos celdas externas (las tres fichas en una misma mitad) representan que todo tal (variable dependiente de la mitad en que se coloque la ficha roja) es tal (variable dependiente de en que parte se coloca la ficha roja). Ejemplo: Todos los x son m

xy m

xy m

Conclusin
La lgica simblica resulta ser una herramienta rigurosa para el anlisis y discernimiento de argumentos entre validos e invlidos. Al igual, vuelve ms factible la ejecucin de las actividades propias del razonamiento, como lo son las inferencias, realizadas a travs de un sistema simblico. La implementacin y uso de un lenguaje simblico propio, priva a los argumentos de toda vaguedad lingstica; siendo el lenguaje el medio por el cual se expresan los argumentos, un sistema simblico sirve para controlar y a la vez procurar el correcto uso del mismo. La lgica simblica de Carroll, ms que un sistema lgico-simblico, es en ultima instancia una recreacin mental; el propio autor nos dice: Dominar la maquinaria de la lgica simblica le proporcionar la claridad de pensamiento y la habilidad para encontrar el camino en medio de la confusin[]