LA LGICA SIMBLICA EN LEWIS CARROLL

Universidad Nacional Autnoma de Mxico Facultad de Estudios Superiores Acatln Peinado Gaona Jess Eduardo

Qu es la lgica simblica?
Qu entendemos por lgica? Copi expone una definicin por medio de Charles Peirce quien dice: su problema central de la lgica es la clasificacin de los argumentos de modo que todos los que sean malos se pongan de un lado estudio de los mtodos los que son buenos en otro los argumentos !"#$% Con base a ello& Copi nos ofrece su propia definicin: 'l estudio de la lgica& es el principios usados entre los argumentos correctos incorrectos !"#$% 'n el caso de Peirce& se puede notar que la preocupacin de la lgica se inclina en el discernimiento de argumentos entre buenos malos( mientras que Copi al definir la lgica& no se detiene en el simple discernimiento de argumentos& sino que lo que l considera como ob)eto de estudio de la lgica son los mtodos por los cuales se llega a ese discernir& tal cual es% *e manera general& lo que a la lgica le concierne entonces son los argumentos& lo que ahora llama nuestra atencin es Cmo es que son comunicados los argumentos? +in duda alguna& por medio del lengua)e& pero como lo dice Copi& !"# los argumentos son de dif,cil e-aluacin debido a la -aga equi-oca naturale.a de las palabras& el lengua)e est/ su)eto a una ine-itable ambig0edad& por lo tanto& la expresin de argumentos carece de precisin% Pero& 'sta ambig0edad se puede e-adir de alguna forma? 1as ciencias& o me)or dicho& los cient,ficos hacen uso de -ocabularios tcnicos especiali.ados para e-itar la ambig0edad propia del lengua)e( por medio de smbolos se logra obtener cierta precisin en cuanto a la expresin de las ideas% 1a lgica& por su parte ha hecho algo similar& desde 2ristteles hasta la lgica moderna se han implementado ciertos sistemas de s,mbolos& ciertos -ocabularios especiali.ados% 's aqu, donde nos encontramos con la lgica simblica% 'l uso de un lengua)e simblico& elimina por completo los problemas con respecto al lengua)e( al implementar s,mbolos& no solo se est/ desarrollando un -ocabulario especiali.ado& se est/n implementando por igual una serie de reglas& las cuales regir/n lengua)e mismo& otorgaran precisin discernimiento mantendr/n un orden en el consistencia& eliminando as, todo rastro de tambin se preocupa por los mtodos que hacen a cada tipo de argumento

ambig0edad% 2dem/s de ello& el uso de smbolos a uda considerablemente al clasificacin de los argumentos& pues se -uel-e m/s claro cuando se encuentran despe)ados de todo problema de -aguedad( )unto con esto se aclara la naturale.a
1

de la inferencia deducti-a& seg3n nos dice Copi& pues los s,mbolos se acoplan mucho me)or para la obtencin de inferencias& caso que no se dar,a igual con el lengua)e ordinario% Como puede -erse el uso de un lengua)e simblico beneficia en demasiados aspectos a la lgica& la -uel-e una herramienta precisa que la -uel-e exacta% Para continuar retomaremos las palabras de 2lfred 4orth 5ithehead citado tambin por Copi& de su libro An Introduction to Mathematics& hablando acerca del uso de s,mbolos: !"#con la a uda del simbolismo podemos hacer& casi mec/nicamente& transiciones en el ra.onamiento por el medio -isual& las que& de otro modo& pondr,an en )uego las m/s ele-adas facultades cerebrales%$ 1os s,mbolos son un medio& un medio que nos a uda a lle-ar a cabo transiciones del ra.onamiento( entendamos aqu, por 6transicin7 a la accin de pasar de un modo de ser a otro distinto( un argumento pasa de un modo de ser a otro distinto por medio de una inferencia: de las premisas que lo componen se obtienen conclusiones& haciendo& de cierta forma& que las premisas pasen de un modo de ser a otro% Por ello& podemos entender a una inferencia como un modo de transicin% 'stos modos de transicin& como se ha dicho en lo antes citado& se reali.an casi mec/nicamente por el medio -isual& ahora Qu medios -isuales pueden a udarnos a lle-ar a cabo dicha accin? 2qu, nos centraremos en dos en especial: el Diagrama Biliteral Triliteral ordenada& hasta podr,amos atre-ernos a decir

Lewis Carroll y la lgica

'l nombre de 1e8is Carroll puede arremeternos a aquel hombre creador del sinsentido& autor de Alicia en el pas de las Maravillas& pero 1e8is Carroll fue mucho m/s que eso( Charles 1ut8idge *odgson era su nombre -erdadero& permaneci cuarenta siete a9os en las la :ni-ersidad de ;xford& primero como estudiante& luego como profesor de matem/ticas% +u mundo se di-id,a en dos: por un lado& su mundo era ;xford& la iglesia de <nglaterra clases de matem/ticas( la otra mitad era el mundo del sinsentido% +in embargo existe cierto punto donde ambos hombres sus respecti-os mundoscoinciden& este es: la lgica% 'sto es lo que 2lfredo *ea9o nos dice de Carroll en el prlogo de El juego de la lgica% 2hora diri)amos nuestra atencin hacia el t,tulo del libro Qu comprende el )uego lgico de Carroll? Podr,a la lgica considerarse un )uego? 'n qu medida o aspecto podr,a
2

considerarse como tal? 1as respuestas se encuentran al estudiar lo que Carroll llam el Diagrama Biliteral%

El Diagrama Biliteral
Qu es el Diagrama Biliteral? Carroll en s, no brinda una definicin de l& pero podemos ofrecer una interpretacin: podemos entender al diagrama biliteral como un sistema lgico= simblico& decimos lgico=simblico pues implementa su propio lengua)e simblico -ol-indolo as, un sistema( la inferencia% >al con ste sus propias reglas para su correcto funcionamiento& todo ello le brinda una estructura& este sistema tiene como ob)eti-o por medio de la representacin de proposiciones& el facilitar las tareas propias del ra.onamiento& como lo es como lo di)o 5hitehead& el simbolismo a uda a efectuar casi de manera mec/nica las transiciones en el ra.onamiento entendiendo esto 3ltimo como lo hemos explicado antes& el diagrama biliteral es un sistema que hace posible aquella sentencia& pero para poder dar cuenta de ello& primero debemos entender cmo funciona el sistema lgico=simblico de Carroll%
xy xy

xy

xy

Como puede -erse& el diagrama biliteral guarda cierto parecido con el plano cartesiano: se encuentran en l dos e)es el e)e de x el e)e de yque di-iden al diagrama en cuadro cuadrantes o celdas( cada celda corresponde a un par de s,mbolos en este caso las letras x y& estos s,mbolos representan o se designan a un atributo o a un grupo de ellos% 1as proposiciones se representan por medio de fichas& las cuales se colocan dentro de las celdas en las di-isorias% Pr/cticamente el fin de este diagrama es representar proposiciones simples& tales como las proposiciones de existencia existen algunos tales& no existe ning3n tal& etc% esto debido a su estructura no tan comple)a& digamos que dentro de la lgica simblica Carrollliana& el diagrama biliteral ser,a el primer ni-el% Para poder representar proposiciones un poco m/s comple)as tales como las proposiciones de
3

relacin& se necesita un diagrama de la misma condicin& anali.aremos a continuacin el segundo ni-el de la lgica Carrolliana: el Diagrama Triliteral%

El Diagrama Triliteral
'l diagrama >riliteral no difiere demasiado del antes estudiado( en este caso se tra.a un peque9o cuadro en el interior& de)ando as, di-idido el diagrama en ocho cuadrantes o celdas: cuatro internas cuatro externas( las celdas internas corresponden al s,mbolo m& mientras que las celdas externas corresponde al s,mbolo m % Puede -erse el diagrama a continuacin%
xy m m m m m xy m

m xy

m xy

Como se ha mencionado antes& el fin de este diagrama es representar proposiciones m/s comple)as& como es el caso de las proposiciones de relacin tales como algunas cosas x son m& o algunas cosas y son m & etc% % 1a cuestin que debemos hacernos ahora es Cmo a udan estos diagramas a efectuar transiciones del ra.onamiento como lo es la inferencia? Comencemos desde lo primordial%

Cmo funciona el sistema

2l hacer uso de un -ocabulario especiali.ado por medio de los s,mbolos x& y& m se logra escapar de la ambig0edad a la que est/ su)eto nuestro lengua)e: debemos especificar como se usaran a que se designaran los s,mbolos& as, las palabras por las cuales se expresar/ una proposicin no se podr/n interpretar de otra manera a excepcin de la que nosotros mismos le designemos% 1os s,mbolos& entendidos en esta forma& otorgan precisin en nuestra expresin% 2hora& al igual que en el caso de las ciencias& el uso de s,mbolos nos a uda economi!ar espacio: proposiciones demasiado largas como las que se encuentran en las p/ginas de un libro de filosof,a& por e)emplo pueden reducirse a espacios m/s peque9os al ser sinteti.adas por medio de s,mbolos& pues es claro que algo como 64ing3n x es y7& ocupa mucho menos espacio que algo como 64ing3n ser animado en la tierra dotado
4

de ra.n es lo suficientemente apto para detener un cataclismo antes de la cena7% 'n este aspecto& los s,mbolos sinteti!an nuestra expresin% 'sto en cuanto a los s,mbolos& es decir& solo una parte del sistema lgico=simblico& sin embargo falta anali.ar lo que la estructura nos aporta% ?/sicamente el funcionamiento del sistema simblico de Carroll consiste en la traduccin o con-ersin de un par de proposiciones 6concretas7 que ser,an proposicin en lengua)e ordinario a una forma 6abstracta7 es decir traducirlas al lengua)e simblico del sistema& que en este caso consiste en los s,mbolos x& y& m& para as, representarlas por medio del diagrama triliteral& a partir de ello poder inferir una conclusin lo que completar,a un argumento si tomamos en cuenta que ste se compone de un par de premisas su conclusin% 'l mtodo o la accin por la cual se logra esto es por medio de una trans"erencia de datos de un diagrama triliteral a un diagrama biliteral& por medio de este 3ltimo es como se consigue encontrar la conclusin ob-iamente representada al igual que las premisas%

Conclusin
2l hacer m/s precisa concisa la expresin de proposiciones por medio de s,mbolos& puede traba)arse de una manera m/s fluida con ellas& cmo o por qu medios se logra esto? Por medio de un sistema& en este caso: los diagramas biliteral triliteral% 2l asignarle s,mbolos a una proposicin la estamos haciendo parte de nuestro sistema al que ob-iamente corresponden los s,mbolos& ha que recordar que el fin de un sistema simblico es el poder lle-ar a cabo operaciones propias del ra.onamiento de una manera diferente& m/s fluida& casi mec/nica( de una manera mec/nica pues la lgica simblica tambin es entendida como lgica matem/tica( depurado de toda ambig0edad ling0,stica& guiado por una serie de reglas principios& el sistema lgico=simblico& e-ade -arios obst/culos$ que dificultan el alcance de un ob)eti-o& de manera estructurada controlada todo -a encaminado hacia una exactitud% 'n la manera en como aqu, se expone el funcionamiento del sistema puede parecer un tanto confuso e incompleto& eso debido a que aqu, no se da m/s que una mera explicacin del asunto digamos una explicacin en trminos mu generales& pero es claro que expuesto de una manera correcta& esto quiere decir una exposicin en forma gr/fica e)emplificada& el sistema& el tema en general& resultan ser de demasiado inters en absoluto nada complicados pues no ha que ol-idar que el propio Carroll denomina a esto como un )uego& cualquiera puede comprenderlo hacer uso de l siempre cuando se estudie adecuadamente cada uno de los elementos que componen el sistema lgico= simblico es decir: entender lo que es una proposicin& los tipos de estas& la estructura del diagrama& los s,mbolos utili.ados en l el funcionamiento del mismo% 'ntendamos por 3ltimo a la lgica simblica& a partir de la lgica de Carroll& como una manera diferente de lle-ar a cabo los procesos del ra.onamiento propios de lgica& no slo eso sino
5

tambin& una manera diferente de entender a la lgica& qui./s tal propio Carroll: como un )uego%

como nos la muestra el

Bibliografa
Carroll& 1e8is% El juego de la lgica% 2lian.a 'ditorial& @adrid%ABBC% Copi& <r-ing @% #gica $imblica% Continental& @xico% ABDE%