Teora de los Tipos Lgicos y vida cotidiana Autor: Silvia Callejas y Mara Carolina Grossi Publicado el 8 julio 2013

en la categora: Publicaciones La verdad de las cosas no se encuentra refutando las contradicciones, sino interiorizndolas, o sea, resolviendo los opuestos en un concepto superior que los conserva conciliados. Friedrich Hegel

En su Crtica del juicio, Kant declar que: el juicio reflexivo, que est obligado a ascender de lo particular en la naturaleza a lo universal, requiere en ese paso un principio que no puede extraer de la experiencia, porque su funcin es establecer la unidad de todos los principios empricos bajo otros ms altos, y por lo tanto establecer la posibilidad de su subordinacin sistemtica, e insisti en que, aunque no podemos probar que la naturaleza est intencionalmente organizada, debemos sistematizar nuestro conocimiento de ella contemplndola como si estuviese organizada de ese modo. Es decir que si queremos lograr un conocimiento debemos actuar con el supuesto de que tal cosa se puede lograr. Kant formul tambin una lista de presuposiciones que, segn l, eran sugeridas por este principio: 1) que la naturaleza toma el camino ms corto, 2) que la naturaleza no da saltos en el curso de sus cambios; 3) que en la naturaleza existe una subordinacin de especies y gneros que nos es comprensible; y 4) que es posible incorporar especies bajo gneros progresivamente ms amplios (Makinistian, 1997/98). De estos dos ltimos presupuestos se hace cargo la teora de los Tipos Lgicos.

Teora de los Tipos Lgicos

La teora de los Tipos Lgicos es una herramienta conceptual derivada de los Principia Matemathica de Whitehead y Russell. Esta teora comienza con el concepto de colecciones de cosas, unidas por una caracterstica especfica comn y a las que llama clase. Una clase es una coleccin de entidades, pero a diferencia de las colecciones concretas de individuos, como seran las piezas de una mquina o los rboles de un bosque, las clases son colecciones abstractas de individuos. Son ejemplos de clase las personas del mismo sexo o aquellas que viven en una misma ciudad, los gatos o las frutas. De los individuos que forman una clase se dice que son miembros de, o elementos de dicha clase. As, por ejemplo, el Aconcagua pertenece a la clase de las montaas y la fiambrera de la esquina de mi casa a la clase de los negocios expendedores de comida. La tesis central de esta teora sostiene que existe una discontinuidad entre una clase y sus miembros por ejemplo, la distincin entre un libro y sus pginas nos est indicando dos niveles lgicos, anlogos a los de una clase y sus miembros, respectivamente (Watzlawick, 1989). La clase no puede ser un miembro de s misma, ni uno de sus miembros puede representar a la clase, porque el trmino usado para la clase es de un nivel de abstraccin distinto de los trminos empleados para los miembros (resulta evidente que la humanidad es la clase de todos los individuos humanos, pero que ella misma no es un individuo).

Hay un profundo abismo entre los enunciados acerca de un individuo y los enunciados acerca de una clase. Estos enunciados son de diferentes tipos lgicos. Decir El lquido est en ebullicin es de distinto tipo lgico que el enunciado Esta molcula ser la primera en entrar en ebullicin. Bateson (1979) da una serie de ejemplos: 1. El nombre no es la cosa nombrada sino que pertenece a un tipo lgico diferente, superior al de la cosa nombrada. 2. La clase es de un tipo lgico superior que el de los miembros que la integran. 3. Las rdenes (o control) que emanan de la propensin del termostato de una vivienda son de tipo lgico superior que el control emanado del termmetro. (La propensin es el aparato situado en la pared que puede ser predispuesto de modo de determinar en torno de qu temperatura variar la de la vivienda.) 4. La palabra junco es del mismo tipo lgico que arbusto o rbol. No es el nombre de una especie o gnero de plantas sino el de una clase de plantas cuyos miembros comparten un determinado estilo de crecimiento y diseminacin. 5. Aceleracin es de tipo lgico superior a velocidad. Russell en los Principia Mathematica describi que no todas las proposiciones son de la forma sujetopredicado (los enunciados acerca de las propiedades de las cosas son de distinto tipo lgico que los que establecen relacin entre objetos): La lgica tradicional se equivoc completamente al creer que exista una sola forma de proposicin simple: la que atribuye un sujeto a un predicado. sta es la forma adecuada para asignar una cualidad a una cosa determinada. Podemos decir, esto es redondo, esto es rosa, y as sucesivamente. Pero si decimos, esto es ms grande que aquello, no slo asignamos una cualidad sino que tambin hablamos de una relacin entre esto y aquello. Por eso las proposiciones que establecen una cierta relacin entre dos objetos tienen una forma diferente de las proposiciones del tipo sujeto-predicado. No haber podido comprender esta diferencia o no haberla tenido en cuenta ha dado origen a numerosos errores en la metafsica tradicional. Tener la conviccin inconsciente de que todas las proposiciones son de la forma sujeto-predicado, o, en otras palabras, que cada hecho consiste en algo que tiene alguna propiedad ha sido el motivo de que gran parte de los filsofos no fueran capaces de dar una explicacin del mundo de la ciencia y de la vida cotidiana.

Aplicacin a la vida cotidiana

En la mayora de nuestros quehaceres nos enfrentamos con las jerarquas de niveles lgicos y no conocerlos suele llevarnos a confusiones en nuestra manera de pensar ciertos problemas. Los siguientes son ejemplos en los que puede aplicarse la teora de los Tipos Lgicos para analizar distintas situaciones (y eventualmente resolver problemas vinculados a ellas):

a) con frecuencia decimos que vamos a comer fruta. Desde un punto de vista lgico, no podemos comer fruta, dado que fruta es un concepto (es la clase que tiene como miembros a las bananas, manzanas, naranjas, etc.). No es una cosa que podamos ingerir. Entonces podemos comer banana o manzana, pero nunca fruta. Distinto sera si dijramos voy a comer una fruta (que es como decir un miembro de la clase de las frutas).

b) puede ocurrir que nos encontremos dicindonos cosas del tipo de Tengo que ser ms ordenado, sin darnos cuenta que nos condenamos al fracaso con la misma enunciacin, dado que no es posible modificar la clase completa aunque s lo sera modificar cada uno de sus miembros (algunas de las acciones que la componen: ordenar el escritorio, el armario del bao, mi cartera, etc.). Cuando haya un cierto nmero de esas acciones modificadas probablemente podr decir me veo ms ordenado. Son muchas las ocasiones en que aspirar a cambiar una clase (tengo que cambiar mi matrimonio, mi vida, mi actitud hacia el estudio, etc.) nos impiden ejecutar justamente aquellas acciones concretas que nos llevaran a modificar lo que queremos.

c) en ocasin de responder a una pregunta, puede darse que ni el que responde ni el que enuncia comprendan por qu no quedan conformes. Esto tambin puede analizarse en funcin de los tipos lgicos. Para mencionar una situacin, podemos poner aquella en la que alguno o algunos tratan de convencer a otro para algo, y ste intenta responder. Por ejemplo, convencerlo de que tenga ms hijos. Le dicen No se queden con uno; Un hermanito para que juegue, El segundo se cra solo, No s por qu no se animan, y el interpelado respondiendo Y, no, por ahora no, Si no puedo con uno menos voy a poder con dos, Tal vez ms adelante, y cosas por el estilo. Vase que las respuestas son del mismo tipo lgico, todas respondiendo al nivel de contenido, de acuerdo al segundo axioma de la comunicacin humana (Toda comunicacin tiene un aspecto de contenido y un aspecto relacional tales que el segundo clasifica al primero y es, por ende, una metacomunicacin): cuentan acerca del por qu no, habilitando con la respuesta la existencia misma de la pregunta-sugerencia-exigencia de los otros. Otro grupo de respuestas, de distinto tipo lgico, podran caracterizarse por cuestionar la existencia misma de la pregunta, centrndose as en el nivel de la relacin (segundo axioma de la comunicacin humana). As, por ejemplo, Quines creen que son ustedes para decirme lo que tengo que hacer?, (irnicamente) cuando no sepa qu hacer con mi vida, voy a preguntarte, ya que tens tantas ganas de organizrmela, o (contndole de cmo me siento) Esto que me decs me hace sentir incmodo, me parece que esas son decisiones ntimas, etc.

d) otra situacin que podra ser estudiada en funcin de los tipos lgicos es aquella en la alguien habla sobre la adecuacin o inadecuacin de la conducta de un tercero. Veamos el siguiente relato: Siete de la tarde. Toca el timbre una vendedora de ropa a la que a veces le compra ropa la madre de quien atiende el timbre. La vendedora viene sin avisar. La hija le pregunta a la madre, que est acostada, qu decirle a la vendedora, y recibe la siguiente respuesta: Decile que estoy descansando, que venga ocho y media, nueve, o que me llame. La hija transmite la respuesta, y la mujer le dice: A esa hora no voy a poder! Yo despus la llamo. Qu hace durmiendo a las siete de la tarde? No va a dormir de noche, como los bebs cuando duermen de da. A esta ltima afirmacin, puede recibir respuestas que pertenecen al mismo tipo lgico, como las que dicen Trabaj todo el da hasta ahora, tiene derecho a descansar, Bueno, lo que pas es que no daba ms, Y, lo cierto es que luego ella trabaja hasta tarde (todas ellas apuntan al nivel de contenido). Respuestas de distinto tipo lgico, que apuntan a la naturaleza de la relacin, son: Ella hace lo que quiere, como usted, que se decidi a venir sin avisarle, No es mi tema cmo mi madre organiza sus horarios, ni tampoco los juicios que usted haga sobre esa organizacin, Yo slo le transmito el mensaje de ella, adis. Una situacin similar est planteada en el siguiente ejemplo: Una mujer lleva a sus hijos a la playa todos los das que puede, para aprovechar la carpa que ha alquilado. Otra mujer, a la que conoce por

el hecho de que tiene la carpa al lado de la suya, y se saludan como vecinas, un da le dice: Pero che, tus hijos son hurfanos que el padre no viene nunca?. Respuestas del mismo tipo lgico que la pregunta, nuevamente respondiendo al contenido, son: l est trabajando, No puede venir ni siquiera los fines de semana porque est haciendo un postgrado en Buenos Aires, Hace un mes que est muy enfermo, etc. Respuestas de otro tipo lgico, que metacomunican acerca del nivel de la relacin, pueden ser: Cmo te atrevs a preguntarme esto y de ese modo?, Sos as de desubicada con todos o solamente conmigo?, La verdad es que me dan ganas de insultarte, Tu pregunta me molesta, etc.

e) para ponerlo en penitencia, la madre encierra a su hijo de tres aos en el bao. El nio, desde dentro, cierra la puerta con llave. Cuando la madre escucha el ruido que hace la llave, va a pedirle que por favor abra la puerta y salga. l sale cuando quiere, un largo rato despus. Con la accin emprendida por el nio, ste excluye a esta situacin como miembro de la clase de situaciones en las que su madre puede ponerlo en penitencia, y la incluye en otra clase que es la de las penitencias impuestas por l a su madre. Similar es la actitud de otro nio de tres aos que hace algo que sabe que no le es permitido. Antes de que el padre abra la boca para retarlo, el nio alza la mano como para detenerlo, diciendo: Ya s, al rincn, y se va al rincn, donde permanece el tiempo que considera necesario. Con esa accin de imponerse la penitencia (en calidad y cantidad), se ubica a s mismo como miembro de la clase de quienes pueden ponerle penitencias, y excluye al padre de ser miembro de esa clase.

Otros ejemplos de utilizacin de los Tipos Lgicos

1- Solver, Re-solver, Di-solver

Para Giacomo, existe una conceptualizacin de tendencias opuestas como dos entidades discretas y mutuamente exclusivas:

no-A

En el paradigma hegeliano clsico la nocin de dualidades est ligada a la idea de polaridad, un choque de opuestos. La forma bsica de este tipo de dualidades es la simetra, en la que ambos polos pertenecen al mismo nivel. En esta concepcin, la situacin est formulada de manera que una ganancia en uno de los polos est invariablemente asociada con una prdida en el lado opuesto, un juego de suma cero. Desde este lugar de observacin, Solver un conflicto significa elegir un curso de accin que brinde un mejor resultado para uno de los polos en detrimento del otro. Existe tambin la concepcin segn la cual las tendencias opuestas pueden formularse en trminos de un continuo. Esto llama a un compromiso. Se produce una mezcla de ciertas proporciones de los dos polos de tensin. Usualmente contiene elementos de ambos polos pero no proporciona un metamarco. (Se podra expresar: blanco-tonos de gris-negro). Re-solver conflictos es seleccionar un curso de accin que brinde resultados satisfactorios para ambos polos. Existe tambin una visin multidimensional, en la cual los dualismos son representados mediante una imbricacin de niveles, en donde un nivel emerge del otro y viceversa. Tendencias opuestas no

slo interaccionan y co-existen, sino que tambin forman una relacin complementaria. Est caracterizada como un juego de suma no-cero, en el cual la prdida de uno de los polos no significa necesariamente la ganancia del otro. Por consiguiente Prdida/Prdida o Ganancia/Ganancia son tambin posibilidades. Di-solver un conflicto sera cambiar la naturaleza y/o el contexto de la unidad en la cual ste est inmerso, de manera que el conflicto desaparezca. As las tendencias previamente consideradas como dicotomas interaccionan y se integran en algo diferente (Giacomo, 1987). Veamos cmo sobre todo en la tercer alternativa, con la aparicin del metamarco (o tambin, clase), cada uno de los polos del conflicto quedan a un mismo nivel (incluidos como miembros), lo que posibilita dejar de verlos duales o opuestos, y conlleva la posibilidad de ver sus relaciones mutuas.

2- Cambio1, cambio2

Watzlawick, Weakland y Fisch (1976), aplicando la teora de los Tipos Lgicos, describen dos tipos de cambio: uno que consiste en la modificacin de las acciones dentro de un sistema (que en s permanece inmodificado) y otro, cuya aparicin cambia al sistema mismo. Ejemplifican esto diciendo: Una persona que tenga una pesadilla puede hacer muchas cosas dentro de su sueo: correr, esconderse, luchar, gritar, trepar por el acantilado, etc. Pero ningn cambio verificado de uno de estos comportamientos a otro podr finalizar con la pesadilla. En lo sucesivo designaremos a esta clase de cambio como cambio1. El nico modo de salir de un sueo supone un cambio del soar al despertar. El despertar, desde luego, no constituye ya parte del sueo, sino que es un cambio a un estado completamente distinto. A esta clase de cambio la denominaremos cambio2. La aparicin de este ltimo tipo de cambio es considerada corrientemente como algo incontrolable e incluso incomprensible, como un salto cuntico. Existe sin embargo, dicen, el hecho innegable de que, muy lejos de ser imposible, el cambio2 constituye un fenmeno que se da cotidianamente: la gente encuentra nuevas soluciones, los organismos sociales son capaces de autorectificacin y la naturaleza encuentra siempre posibles adaptaciones. Entonces el cambio2 resulta introducido en el sistema desde el exterior y por lo tanto no es algo familiar o inteligible en trminos de las vicisitudes del cambio1. De aqu su naturaleza chocante y aparentemente caprichosa. Pero visto fuera del sistema, supone meramente un cambio de las premisas que rigen al sistema en su totalidad. Estos autores sostienen que se comete un error de tipificacin lgica y se establece un juego sin fin cuando se intenta un cambio1 en una situacin que tan slo puede cambiarse a partir del nivel lgico inmediatamente superior: por ejemplo, en una pareja, una mujer puede tener la impresin de que su marido no es lo suficientemente abierto e intentar obtener ms informacin. Cuanto ms lo interroga, ms se resiste l a darle informacin ya que considera su conducta como entrometida, y as en lugar de conseguir que ella renuncie a su actitud, su conducta aumenta la desconfianza de ella. Cuanto menos le informe l, ms desconfiar ella y cuanto ms insista ella, menos ceder l, ya que ambos movimientos son ejemplos de cambio1 y la solucin del problema probablemente requiera que el observador (que puede ser uno de ellos mismos) vea a ambos movimientos como miembros de una clase que los incluya a ambos. Otro error de tipificacin lgica puede darse al intentar un cambio2, cuando resultara adecuado un cambio1: por ejemplo cuando frente a la conducta de desprolijidad de su hijo adolescente la madre le dice que debe cambiar su vida en lugar de pedirle que cuelgue la campera. Le pide un cambio de actitud y no un cambio determinado de comportamiento: la accin es emprendida a un nivel equivocado.

3. Bien olvidado o mal y bien asumido o bien

Podemos concebir al bien como opuesto al mal, como distintos en su esencia, como miembros de distintas clases, y, tambin podemos, segn Palonsky propone, concebirlos con diferencias que los hacen opuestos transitoriamente, y ambos miembros de la clase del Bien. Veamos: Aceptando que percepcin o conciencia, desde cierta perspectiva moral, es la capacidad para reconocer la diferencia entre el bien (: bien asumido) y el mal (: bien olvidado) en la conducta propia, la percepcin restringida supone un velamiento de este discernimiento, mientras que la percepcin eximida o conciencia alertada supone un acrecentamiento de dicho discernimiento. En otras palabras, lo que distingue a una percepcin o conciencia, de la otra, es un plus de visin, o de comprensin, acerca de la calidad comportamental. () si nos abocamos a alumbrar el bien olvidado, o mal, se esclarece el bien asumido, o bien, y que, optando por abandonar el mal, se desvanece la transitoria oposicin entre ambos y se vislumbra lo nico: el Bien. (Palonsky, 1996).

A modo de conclusin

Cada nueva mente es una nueva clasificacin. Si esa nueva mente resulta una mente de actividad y fuerza no comunes, un Locke, un Lavoisier, un Hutton, un Fourier, impone su clasificacin a los dems hombres, y ah tenemos un nuevo sistema. (Emerson, 1841).

Tenemos necesidad de estructurar nuestro conocimiento del mundo en funcin de niveles, estratos, rdenes o marcos de referencia y para ello contamos con la herramienta conceptual de los Tipos Lgicos. Al estar incluidos en el lenguaje, y, al parecer, como parte de nuestra capacidad lingstica, se nos da la posibilidad de clasificar, es decir la capacidad de incluir significados en totalidades significativas ms grandes. La palabra clasificar proviene del lat. classificare y ste del latn clasis, clase, y facere, hacer, es decir ordenar y disponer por clases. Utilizando la teora de la tipificacin lgica, y con el objetivo de ordenar los conocimientos, se han creado distintos sistemas de clasificacin de los mismos. Cada ciencia en particular ha desarrollado sus propios sistemas de clasificacin, y cada uno de nosotros sustenta su propia clasificacin de su mundo. Ahora bien, no hay clasificacin del universo que no sea arbitraria y conjetural. La razn es muy simple: no sabemos qu cosa es el universo (Borges, 1952). Quedar sujetos a una nica clasificacin o creer que la nuestra es la nica clasificacin vlida, implica un riesgo porque nos cierra la posibilidad de reemplazarla cuando nos sea necesario.

Eventualmente usted construir el universo en cada detalle y potencialidad, exactamente como Ud. lo conoce; pero entonces, lo que usted construir no ser lo que es, pues cuando usted construya lo que ahora es, el universo se habr expandido en un nuevo orden que contendr lo que entonces ser. En ese sentido, el universo debe expandirse para escapar a los telescopios a travs de los cuales, nosotros, que somos el universo, estamos tratando de capturarlo. La serpiente se come a s misma. (Spencer-Brown, 1971).

Bibliografa Bateson, G. (1972/1992). Pasos hacia una ecologa de la mente. Buenos Aires: Ed. Planeta y Lohl. Bateson, G. (1979/1997). Espritu y naturaleza. Buenos Aires: Ed. Amorrortu. Borges, J. (1952/1985). Otras inquisiciones. Buenos Aires: Emec Editores. Emerson, R. W. (1841/1987). Confa en ti mismo. Barcelona: Ediciones 29. Giacomo, D. (1987). Ni primero ni segundo. Terapia Familiar. Ao X N 16. Keeney, B. (1983/1987). Esttica del cambio. Buenos Aires: Paids. Makinistian, R. (1997/98). Lecciones Historia filosofa de la ciencia. Palonsky, N. Prlogo del libro Meditaciones, de R. L. Makinistian, Ed. Priv., Rosario, 1996. Spencer-Brown, G. (1971). Laws of form. New York: E.P. Dutton. Watzlawick, P., Beavin Bavelas, J. y Jackson, D. (1967/1995). Teora de la Comunicacin Humana. Barcelona: Herder. Watzlawick, P., Weakland, J. y Fisch, R. (1976). Cambio. Barcelona: Herder. Watzlawick, P. (1976/1989). Es real la realidad? Barcelona: Herder. Watzlawick, P. (1983/1989). El arte de amargarse la vida. Barcelona: Herder.

Escrito por Silvia Callejas y Mara Carolina Grossi