SEMIOLINGSTICA Y MATEMTICAS1 Miguel Ariza

Facultad de Ciencias-UNAM Escuela Nacional de Antropologa e Historia, Mxico

Saussure en 1894, escriba: Las relaciones, en el lenguaje, son regularmente expresables en su naturaleza fundamental por expresiones matemticas.2 Sin embargo el proyecto de Saussure nunca fue de carcter eminentemente formalista, an en el terreno estructuralmente organizado de la Lengua la identidad entre entidades lingsticas siempre incluye una contribucin subjetiva no identificable.3 Ya desde mediados del siglo XIX George Boole, despus de hacer un anlisis minucioso del lenguaje ordinario y observar su correlacin con los atributos del pensamiento humano llega a concluir que las palabras son signos, y que la matemtica no es necesariamente una ciencia de la cantidad, ya que puede existir una formulacin de carcter matemtico del lenguaje ordinario que apele a sistemas de signos sujetos a interpretacin y susceptibles de ser combinados segn leyes determinadas. Boole fue uno de los grandes iniciadores del estudio de las leyes del pensamiento humano y del anlisis matemtico de la lgica, el suyo fue un proyecto de carcter algebraico, que fue secundado y enriquecido entre otros por Jevons, Veen, Schrder y Peirce. Este proyecto de lgebra lgica tuvo un importante impacto en el desarrollo de la matemtica y la lgica subsiguientes. Se ha llegado a afirmar que la matemtica pura fue descubierta por Boole y que este pensador es el fundador del proyecto Logstico, dando lugar, debido a las aportaciones de Frege, Russell, Dedekind y Peano entre otros, a lo que hoy conocemos como Lgica Matemtica. Sin embargo tambin se puede afirmar que Boole es el iniciador de otra tradicin a la que el historiador de las matemticas Ivor Grattan-Guinness denomina lgica algebraica, siendo esta lgica una modalidad del estudio entre el todo y la parte.

1 Una versin distinta de este artculo, escrita para matemticos (Teora semntica y matemticas) fue publicada en Mathesis III 21, UNAM, 2007, pp.73-97 (ISSN- 085-6200). 2 Roman Jakobson, Structure of language and its mathematical aspects, AMS, Providence 1961, p. 5.

Una crtica a la excesiva interpretacin formalista de las ideas de Saussure ha sido expresada en diversos textos por el matemtico Vladimir Tasic, sosteniendo la tesis de que Saussure consideraba que la estructuracin formal de los significantes es un componente necesario en la creacin de significado, sin embargo la diferenciacin puramente formal de los significantes no es suficiente para asegurar su generacin.

Desde este punto de vista, el despliegue de una articulacin algebraica de los diversos procesos sgnicos adquiere una relevancia que est mucho ms all de la mera creacin de smbolos establecidos de modo convencional, con vista a la produccin de un tinglado estructural de carcter formalista. El signo algebraico entraa una profundidad que trasciende el contenido de la mera elaboracin de un clculo de naturaleza simblicoformal. Ms all de ello, un signo algebraico es un esquema conceptual de sentido, que proporciona un rgimen de inteligibilidad y esclarecimiento, que permite hacer visible lo que una mera combinacin y manipulacin de smbolos nos oculta. La utilidad de las frmulas algebraicas consiste precisamente en esa capacidad de develar verdades imprevistas [Peirce 1895]. Esta cualidad consustancial de los entramados algebraicos nos permite establecer que los esquemas especialmente producidos por la matemtica tienen una semntica interna que trasciende cualquier simple reduccin a la lgica formal. La matemtica es un pensamiento singular, en donde no basta con pensar en trminos generales sino que tambin es necesario HACER algo [Peirce 1902].5 Es un pensamiento en permanente labor constructiva y la naturaleza de su despliegue excede cualquier posible reduccin a una situacin de lengua simblico-formal. Es decir, ningn lenguaje formal es suficiente para dar cuenta en su totalidad de la naturaleza del hacer matemtico, ya que es su carcter diagramtico lo que articula manifiestamente su propia lgica interna. Esta cualidad consustancial de los entramados algebraicos es muy valorada en los estudios actuales de semntica lingstica y filosfica.6 Dentro del paradigma imperante en semntica formal, las teoras axiomticas construidas en algn lenguaje artificial son consideradas, probablemente, como las nicas formalmente consistentes. Sin embargo, el lingista dans Louis Hjelmslev en una de sus obras ms importantes: Prolegmenos a una teora del lenguaje, expone los principios, conceptos y mtodos de una teora del lenguaje consistente y con pertinencia axiomtica clara. El aparato axiomtico construido por Hjelmslev intenta constituirse en un lgebra
4

Ch. S. Peirce, Que las proposiciones categricas e hipotticas son en esencia una, 1895. Apud. Fernando Zalamea, La filosofa de Albert Lautman, Mathesis 10, pp. 273-289. 5 Ch. S. Peirce, La esencia de las Matemticas, 1902, http://www.unav.es/gep/ 6 Para mayor indagacin consultar: Godehard Link, Algebraic Semantic in Language and Philosophy, Stanford, CSLI Publications, 1998.

lingstica, que tambin podemos concebir como una modalidad del estudio entre el todo y la parte (enmarcada dentro de la tradicin de la lgica algebraica booleana), y cuya regla de correspondencia principal es la relacin de presuposicin. En este sentido, desde un punto de vista axiomtico, el sistema de definiciones que configuran la teora glosemtica figurada en los Prolegmenos puede concebirse como un sistema relacional, cuyo predicado primitivo resulta ser la presuposicin. En particular, a partir de las ideas de Hjelmslev podemos concebir la construccin de una teora semntica de carcter presuposicional, aprovechando los recursos de la matemtica moderna. Segn el matemtico Jon Barwise, podemos abordar el estudio del significado lingstico de manera matemtica empleando la semntica de la teora de modelos, precisando que la teora de modelos es la parte de la lgica que se ocupa de las relaciones entre las expresiones lingsticas de la matemtica y las estructuras matemticas que aquellas describen. Dar el nombre de semntica formal a esta perspectiva semntica resulta desafortunado, segn este autor, ya que sugiere una vinculacin con el formalismo y la filosofa matemtica de David Hilbert, que considera el sistema de smbolos matemticos como un sistema de figuras de la expresin, prescindiendo por completo de su contenido, reduciendo los objetos matemticos a expresiones matemticas. Barwise seala que si dicho proyecto hubiera tenido xito, se habra reducido la actividad matemtica a una actividad puramente formal, se habra reducido a la mera manipulacin de expresiones mediante reglas formales. Y nada puede estar ms lejos del autentico espritu de la semntica.7 Ya Patrick Suppes desde 1953 haba precisado la diferencia existente entre axiomatizar y formalizar alguna rama de las matemticas o cualquier otra disciplina del conocimiento. Este autor seala que cuando se pretende axiomatizar cualquier rama del conocimiento que intenta hacer uso de las matemticas de manera seria, indudablemente no es deseable formalizar un lenguaje para esa rama del conocimiento; es decir, es un error formalizar la disciplina a travs de la construccin de un lenguaje artificial determinado,8 debido a que al
Para mayores detalles consultar, Jon Barwise & John Perry, Situations and Attitudes, Cambridge, Mass., Bradford Books/MIT Press, 1983. Cap. 2. 8 En este sentido se puede consultar, Patrick Suppes, Some remarks on problem and methods in the philosophy of science, Philosophy of Science, 21, 242-248, 1954.
7

recurrir a un lenguaje formal, se contraen compromisos tericos de carcter lgico, que constrien el andamiaje terico de la disciplina en cuestin a las restricciones deductivas de la teora formal por emplearse en la formalizacin. Sin embargo, afirma Suppes, es posible procurar un programa de axiomatizacin sin construir ningn lenguaje formal, a travs de la formulacin de un predicado conjuntista, inscrito en un sistema relacional, que da lugar a conjuntos ordenados de varias maneras. Cuando una disciplina es axiomatizada de esta manera, los teoremas de la disciplina se convierten en teoremas de la teora de conjuntos y no en teoremas de la lgica formal. Los mtodos usados para construir tal axiomatizacin son muy similares a los usados en la matemtica moderna para definir nociones tales como la de retculo, anillo o grupo algebraico. Este carcter productivo, eidtico, 9 nomico10 y diagramtico de las matemticas, que no est en discordancia con un despliegue axiomtico constructivo11 (como el propuesto por Hjelmslev en sus Prolegmenos), nos permite obtener un plausible grado de claridad y precisin en la elaboracin de una teora de carcter semntico.

Todo signo posee, al menos, dos sentidos o contenidos. Uno eidtico; otro, operacional. Dentro de un sistema, un signo significa, designa algo; todo sistema lo es porque sus signos poseen una carga semntica interior, ya que cuando se utiliza el signo es para comunicar algo a alguien, y el contenido de esta comunicacin es, precisamente, el contenido eidtico del signo. Por otro lado, un signo posee sentido operacional, en el sentido de que se sabe cmo puede ser utilizado. Javier de Lorenzo, Introduccin al estilo matemtico, Madrid, Tecnos, 1989, p. 186. El sentido operatorio de un signo resulta de las relaciones y de las reglas sintcticas existentes en una lengua y que establecen cmo los signos se combinan en expresiones, y como pueden ser modificadas. El sentido eidtico resulta de las reglas de significacin y de determinacin que establecen las relaciones existentes en una lengua entre los signos y los conceptos y los objetos representados por tales conceptos (G. Klaus, Semiotik und Erkenntnistheorie [Semitica y teora del reconocimiento] Berln, 1969, p.92). Apud. Franois Rastier, Semntica Interpretativa, Mxico, Siglo XXI, 2005, p. 29 10 El noema es un rasgo de sentido establecido independientemente de toda lengua natural, dicho trmino fue empleado por Husserl con diversas acepciones. La nomica no es an sino programtica, pero algunos sectores de la topologa permiten investigaciones prometedoras (). El metalenguaje de la geometra (y su expresin grfica) bien podra revelarse incomparablemente ms adecuado que el de la lgica formal para representar el nivel nomico [Rastier 2005, 19-45; Consultar tambin Petitot 1995, 741-763] 11 La carencia de contenido eidtico en el desarrollo de un clculo formal se ha exagerado, queriendo ver en el mtodo formalista, por ejemplo, un mero juego de signos del tipo del ajedrez -con el que se ha comparado constantemente-, en el cual lo que importa, aparte de las fichas y de su posicin inicial, son la reglas del juego y su manejo. Sin embargo, el Clculo formal que construye el matemtico, se realiza teniendo en cuenta una ulterior realizacin y no por el exclusivo placer del juego formal. De Lorenzo Ibid p 189

Uno de los objetivos de la semntica consiste en dar cuenta de la productividad12 y composicionalidad13del lenguaje. Sin embargo, estos dos conceptos no son independientes el uno del otro; son conceptos de naturaleza filosfica y a travs de ellos se intenta dar una explicacin de cmo los seres humanos nos relacionamos con los entornos del mundo para generar significado. La significacin es un proceso de Sntesis. Y desentraar los mecanismos de funcionamiento de dicho proceso es un problema filosficamente abierto. No obstante, desde una perspectiva matemtica es posible dar cuenta de la composicionalidad, y la productividad, aunque de una manera indirecta y totalmente parcial. Desde el punto de vista anterior, existe una coleccin potencialmente abierta de modelos semnticos con los cuales tratar de dar cuenta de la composicionalidad y productividad, ya que ello consiste en encontrar una funcin o un predicado adecuados para tal fin y una entidad conjutista apropiada. Es decir, la peculiaridad comprendida en el tipo de predicados, funciones y la coleccin de objetos, que elijamos, determinar la clase de Sistema14 que nos servir para conformar nuestra Teora Semntica, dando lugar a los siguientes recorridos relacionales:

12

Uno de los aspectos ms sorprendentes del lenguaje humano es nuestra gran capacidad para emplear y comprender expresiones que nunca habamos utilizado. Partiendo de un repertorio finito de palabras somos aptos para entender un conjunto potencialmente infinito de expresiones. A dicha cualidad se le denomina productividad. 13 Es decir, de la relacin entre el significado de una expresin compleja y el significado de sus partes componentes. 14 Un sistema es una parcela de la realidad (en un sentido muy amplio de realidad que incluye los objetos de nuestro pensamiento) explcitamente delimitada y enfocada. Especificar de qu sistemas estamos hablando significa indicar el mbito de la realidad al que nos referimos (el universo o dominio del sistema) y los objetos, propiedades, relaciones y funciones de ese mbito en el que nos vamos a fijar, que queremos enfocar o distinguir. Si cambiamos de mbito, cambiamos de sistema. Jess Mostern, Conceptos y teoras de la ciencia, Madrid, Alianza Editorial, 2000, p. 213 Por ejemplo, las teoras semnticas que tienen como piedra angular el uso de la conversin , son Sistemas Aplicacionales (en trminos generales, son sistemas en donde se pueden efectuar reducciones a una sola operacin binaria y estos son los sistemas utilizados por excelencia en diversas teoras semnticas de ndole formal, equiparando el principio de composicionalidad al de APLICACIN FUNCIONAL). A los sistemas en los que hay un solo predicado primitivo (que da lugar a relaciones binarias de orden) se les denomina Sistemas Relacionales. A los sistemas cuyo predicado primitivo se comporta como la igualdad (en realidad dan lugar a relaciones de equivalencia) se les llama Sistemas Ecuacionales. A los sistemas cuyo nico predicado primitivo es mondico se les denomina Sistemas Logsticos etc. Haskell B. Curry & Robert Feys, Lgica combinatoria, Madrid, Tecnos 1967, cap.2 pp. 31-60.

1- RECORRIDOS RELACIONALES Relacionar significa reunir lo que ya ha sido previamente unido, restablecer un lazo entre lo ya conexo, establecer una correspondencia entre lo que se encuentra explicitado, para dar cuenta de lo que se encontraba ya implcitamente vinculado. Relacionar entraa reunir desde la particin, establecer una conexin entre lo que en apariencia se encontraba en exclusin pero que en realidad goza de la participacin. Una relacin de orden, establece una articulacin orientada, cuyos trminos componentes se pueden discernir en precedentes y siguientes, en antecesores y sucesores, dando lugar a una progresin serial. Dicha progresin da origen a lo que Brndal ha denominado "especies de relacin": "Una relacin serial es asimtrica, transitiva y conexa, en otras palabras una serie presupone siempre direccin o unilateralidad, extensin o continuidad y encadenamiento o campo".15 En 1954 Hockett seala:
Las matemticas son un buen lugar para buscar anlogos de estructuras []. Un buen nmero de SISTEMAS MATEMTICOS se caracterizan total o primariamente por construir ELEMENTOS para los cuales definen ciertas RELACIONES. Un sistema de este tipo tiene todos los enteros positivos, y como una relacin elemental la de mayor que: dos es mayor que uno, cinco es mayor que dos, etc. Una relacin vincula pares de elementos o, en algunos casos (por ejemplo, la relacin est entrey), ms de dos elementos. Una relacin puede definirse tambin de manera bastante satisfactoria como una CLASE DE PARES ORDENADOS DE ELEMENTOS (o de n-ados con n mayor de 2). En este sentido, se dice de los pares de nmeros (3,2), (5,1), (2,1) que son miembros de la relacin mayor que, mientras que el par de nmeros (1,3) o (1,1) no lo es. Los dos acercamientos a las relaciones son equivalentes: podemos comenzar con una caracterstica tal como mayor que y observar que algunas parejas de nmeros llevan esta relacin o podemos comenzar con cualquier conjunto de pares ordenados de nmeros -escogidos tal vez bastante arbitrariamente- y definir una relacin, simplemente enumerando los pares ordenados que pertenecen a ella.16

Hockett observa que ciertos tipos de construcciones lingsticas son en el fondo relaciones entre componentes de la misma naturaleza. No obstante, pareciera haber un problema, apunta Hockett, por ejemplo: siete y cinco son nmeros; siete es mayor que cinco, razn por
15

V. Brndal, Theorie des prpositions, Copenhague, E. Munksgaard, 1950. p. 29 apud Zilberberg, Claude Observaciones a propsito de la profundidad del tiempo, Morph No. 6-7, 1995, pp. 157-213. 16 Charles F. Hockett, Dos modelos de descripcin gramatical, Tomado de Word, 10 (1954), pp. 210-234. Contenido en Lecturas de Morfologa, (traduccin y edicin Elisabeth Beniers) UNAM, Mxico, 2000.

la cual podemos construir un par ordenado, a saber (7,5), que ya no es un nmero (al menos de la misma naturaleza que los dos anteriores). Sin embargo, black y cat son formas y black cat, tambin es una forma. Tiene sentido decir que black cat puede ser relacionado con otras formas tales como big, nice, fine, etc. para dar lugar a construcciones mayores. Pero no tiene sentido decir que (7,5) es mayor que 7, 2, 5, 3 o cualquier otro nmero. Segn Hockett, esto se resuelve, empleando operaciones (funciones) en lugar de relaciones: el objeto siete es mayor que cinco, es una unidad relacional que no es del mismo tipo que siete y cinco. Pero siete ms cinco, a saber, doce, s es del mismo tipo que siete y cinco. Desde el punto de vista de Hockett, las operaciones tienen un mayor dinamismo que las relaciones, y un poder generativo que aquellas no poseen, ya que parecen generar algo que tal vez no sabamos que estaba ah. Todo ello a pesar de que toda operacin n-aria se puede reducir lgicamente a una relacin (n+1)-aria. Por ejemplo, la operacin binaria 7+5=12, se puede interpretar como una relacin tridica que existe entre la terna ordenada de nmeros (7, 5, 12). Sin embargo, s podemos hallar un dinamismo existente en las relaciones, aprovechando justamente el ltimo razonamiento, vinculando el concepto de funcin con el de relacin. Supongamos que contamos con la terna ordenada (7, 5, 12); de sus integrantes podemos decir que pertenecen al conjunto ordenado de los nmeros enteros positivos; adems el nmero 12 est articulado (composicionalmente (5+7)) por dos nmeros distintos (5 y 7), nmeros que pertenecen a la misma terna, y que forman parte del mismo conjunto ordenado al que pertenece el 12 (enteros positivos). Entonces podemos rastrear la existencia de una relacin de orden entre el 5 y el 7, a saber: 7 es mayor que 5. Adems, 12 es mayor que 7 y 12 es mayor que 5. Sabemos que 7 es mayor que 5, en todo contexto, pero en nuestro anlisis dependi de que 7 y 5 son nmeros distintos y de la existencia del 12. Pudimos haber rastreado la misma relacin con (10, 2, 12), (8, 4, 12), (9, 3, 12) (11, 1, 12). Sabemos que la relacin de orden mayor que es desde un punto de vista axiomtico: irreflexiva, asimtrica y transitiva. Si encontramos otra relacin de orden que cumpla con las mismas propiedades axiomticas, podemos seguir el mismo procedimiento con la terna (black, cat, black cat). La forma black cat est articulada composicionalmente por black y cat, adjetivo y sustantivo

respectivamente. Sin embargo, sabemos que ambas categoras son de carcter relacional y slo a travs de un aislamiento artificial podemos concebirlas separadas. Podemos decir entonces que black (adjetivo) presupone la existencia de cat (sustantivo), una vez dada la unidad de sentido black cat. Es decir, es condicin suficiente la existencia de black para poder asegurar la existencia de cat, y cat es condicin necesaria para asegurar la existencia de black, todo ello con respecto a la unidad de sentido black cat. En otras palabras: black presupone cat, en la unidad de sentido black cat. De esta forma hemos encontrado una relacin de orden (la presuposicin) isomorfa a la relacin mayor que (irreflexiva, asimtrica y transitiva) que articula dos entidades de la misma naturaleza, y que da cuenta de la articulacin relacional de una tercera entidad, que resulta ser ms compleja que las anteriores, pero que es de su misma naturaleza. De todo lo anterior podemos concluir que para cada relacin binaria que definamos, debemos buscar una unidad de sentido, que englobe los trminos de la relacin, a travs de una regla de correspondencia. Ya que es debido a dicha regla de correspondencia que la relacin adquiere un estatuto semntico. Cosa que no ocurre al concebirla simplemente como un conjunto de parejas ordenadas. 2- ESPECIFICACIN Y PRESUPOSICIN Desde el punto de vista del sistema de la lengua podemos hallar la relacin de presuposicin. Sobre todo en la construccin de jerarquas implicativas utilizadas en tipologa lingstica. Ms que estar mediadas por un operador lgico (implicacin), podemos visualizar las jerarquas de universales dentro de un sistema relacional ordenado, generado por una relacin de orden (presuposicin). Por ejemplo, si escogemos como unidad relacional esquemtica de sentido el grado en que las lenguas permiten la relativizacin de constituyentes (RC), que desempean dentro de la oracin de relativo funciones semnticas y sintcticas determinadas (Keenan y Comrie), obtenemos que: Objeto Directo presupone Sujeto Objeto Oblicuo presupone Objeto Directo Poseedor presupone Objeto Oblicuo

Simblicamente:
RC

Objeto Directo Objeto Oblicuo Poseedor

Sujeto Objeto Directo Objeto Oblicuo

El anterior esquema relacional se puede concebir como un sistema paradigmtico jerarquizado, en trminos presuposicionales, de la categora menor (sujeto) a la categora mayor (poseedor):
RC

Sujeto Objeto Directo Objeto Oblicuo Poseedor Las lenguas que permitan la relativizacin de objetos directos tambin permitirn la relativizacin de sujetos, es decir, es condicin suficiente que las lenguas en cuestin relativicen objetos directos para afirmar que tambin relativizan sujetos. Pero no es condicin necesaria que dichas lenguas relativicen objetos directos para que relativecen sujetos, o sea, la ausencia de relativizacin de objetos directos no exige la ausencia de relativizacin de sujetos; en cambio, s es condicin necesaria la relativizacin de sujetos para afirmar tambin relativizacin de objetos directos. Las lenguas que no permitan la relativizacin de objetos directos tampoco permitirn la relativizacin de objetos oblicuos; y las que permiten la relativizacin de poseedores tambin permitirn la relativizacin de objetos oblicuos. De esta manera, la categora que est a la derecha, presuposicionalmente hablando, siempre ser condicin suficiente para afirmar la relativizacin de la categora de la izquierda; y por el contrario, la categora de la izquierda siempre ser condicin necesaria para afirmar la relativizacin de la categora de la derecha. Por transitividad podemos afirmar que la relativizacin de poseedor basta (condicin suficiente) para afirmar la relativizacin de sujeto, objeto directo y objeto oblicuo. Y la relativizacin de sujeto es exigida (condicin necesaria) para afirmar la relativizacin de objeto directo, objeto oblicuo y poseedor. Si una lengua no relativiza objeto oblicuo tampoco relativizar poseedor, pero ello no basta para afirmar que no relativiza objeto directo o sujeto.

Debido a lo anterior: Poseedor Sujeto; Objeto Oblicuo Sujeto; Objeto Directo Sujeto Poseedor Objeto Directo; Objeto Oblicuo Objeto Directo Poseedor Objeto Oblicuo Diagramticamente:
Poseedor

Objeto Directo

Objeto Oblicuo

En etnolingstica, la jerarqua universal de trminos de color (Berlin y Kay), podemos ordenarla presuposicionalmente en los siguientes 7 niveles. TC blanco y negro rojo verde o amarillo verde y amarillo azul caf morado, rosa, naranja y gris. La jerarqua de Berlin y Kay no es slo relativa a una base interlingstica, sino que tambin es aplicada al interior de una misma lengua, especialmente con respecto a la adquisicin gradual de trminos de color.17 De esta manera, por ejemplo, los trminos bsicos de color (TC) para el dialecto nhuatl de Cuetzalan [Castillo 2000, p.86-87] son cinco (cuarto nivel).

TC istak & tiltik iiltik ooktic v kostik ooktic & kostik

R. M. W. Dixon, Where Have All The Adjectives Gones? And other essays in Semantics and Syntax, Berlin, New York, Amsterdam, Mouton Publishers, 1982

17

Diagramticamente:
Trminos de color en el Nhuatl de Cuetzalan.18 I istak iiltik tiltik ooktic --------- kostik
BN

Verde y Amarillo

II

III

IV
Rojo
Verde o Amarillo

kostik --------- ooktic

La relacin de presuposicin con la que hemos trabajado en las jerarquas, da lugar a un orden parcial amplio o reflexivo (reflexivo, antisimtrico, transitivo). En matemticas, comnmente a la relacin que da lugar a rdenes parciales reflexivos se les llama inclusin, por el parecido que tienen estas relaciones de orden con la relacin de inclusin de la teora de conjuntos (); y dichas relaciones se asemejan a la relacin mayor o igual que (). Esto concuerda con las intuiciones expresadas por el lingista Edward Sapir:
Se puede decir que las nociones ms que y menos que estn fundadas en las percepciones de envoltura: si A puede ser envuelto por B, contenido en l, colocado en contacto con l, sea realmente, sea con la imaginacin, de suerte que permanezca en el interior de los lmites de B, entonces se podr decir que A es 'menos que B y que B es ms que A.19

Todo conjunto parcialmente ordenado es susceptible de ser visualizado a travs de un diagrama con segmentos dirigidos, y estos conjuntos estn estrechamente relacionados con varias modalidades de la geometra combinatoria configuracional. La resolucin geomtrica de problemas sobre configuraciones finitas de toda ndole trasciende el mero anlisis de unidades en distribucin estructurante; va ms all de la exploracin de la mera articulacin de un simple tinglado estructural, en donde el reglado configuracional pareciera proveerse a s mismo de su propio significado, como si del mero juego gramtico-combinatorio de la estructura emergiera su propia semntica, de acuerdo a un
18

Mario Castillo, El mundo del color en Cuetzalan: un estudio etnocientfico en una comunidad nahua. Coleccin cientfica 405, INHA, Mxico, 2000, p.80 19 E. Sapir, Linguistique, Pars, Gallimard, Coll, "Folio-essais", 1991, pp. 207-208. apud Claude Zilberberg, "El esquema narrativo puesto en accin", Ensayos sobre semitica tensiva, Lima, FCE, 2000, p. 127.

acoplamiento conforme sin mayor diferenciacin entre expresin y contenido (una semitica monoplanar segn Hjelmslev). Esta rama de las matemticas muchas veces no admite una resolucin generalizable para otras instancias similares al problema para resolver, como dira Robert Musil: existen problemas matemticos que no consienten una solucin general, sino mas bien soluciones particulares cuya combinacin permite aproximarse a una solucin general. Podra aplicarse ello a un entramado semntico? Sabemos que los estudios semnticos de carcter estructuralista buscan poder dar explicacin de la estructura universal del pensamiento humano20 a travs de la construccin de una Mathesis Universalis. Sin embargo, las matemticas modernas nos permiten la posible concepcin de una Mathesis Singularis, es decir, una ciencia para cada objeto, como dira Roland Barthes. Esta visualizacin de la matemtica es compatible con una visin semiolingstica del significado. Estos discernimientos quedan manifiestos tambin en las diversas construcciones diagramticas de algunos de los modelos de arreglos que emplea la semntica, como son los llamados rboles, paradigmas y taxonomas; modelos que se pueden visualizar como conjuntos parcialmente ordenados por diversas modalidades de la relacin de inclusin, en el sentido amplio ya descrito, y que estn en concordancia con las intuiciones, anteriormente mencionadas, de Sapir. El quehacer diagramtico se revela como una red de identidades y diferencias producto de un quehacer relacional, en donde el sujeto que lo construye y desentraa se manifiesta en acto: Doble trabajo en interoridad y exteroridad, cuyo primer aspecto apunta a la construccin, la elaboracin en s del espacio constituido por el diagrama, y que interroga finalmente su fijeza, su origen, la legitimidad de su postulacin, su pertinencia fundacional, y cuyo segundo aspecto interroga su movilidad, su flexibilidad, su transformabilidad, la legitimidad de su uso, su funcionalidad.21 Confeccin que comporta el despliegue topolgico, nomico, de la envoltura; despliegue figurativo que articula compacidad y conexidad, interioridad y exterioridad, delimitaciones y fronteras.

20

Susana Cuevas, Modelos etnocientficos. Revista Mexicana de Estudios Antropolgicos. Sociedad Mexicana de Antropologa. T. 35. Mxico, 1989, p.77 21 Ren Guitart, La pulsation mathmatique, Pars, LHarmattan, 1999, p. 124

Este despliegue figurativo tiene su propia semntica interna que ms all de referir a un metalenguaje semntico formal se torna en una pragmtica relacional, en donde se articula el todo con la parte, aludiendo a diversas articulaciones y ordenaciones relacionales, reglas de correspondencia, que manifiestan de manera multiforme diversas modalidades de la inclusividad. 3- SELECCIN Y PRESUPOSICIN Consideremos ahora una situacin de habla cualquiera, un fragmento de discurso sin hacer por lo pronto ninguna hiptesis respecto a su unidad, es decir, sin suponer que constituye una totalidad de sentido. Postular esta hiptesis es precisamente el objeto de la primera operacin descriptiva que se realiza sobre un hecho de habla.22 Situados en este lugar inicial, nuestro fragmento de discurso resulta ser una situacin abstracta. Desde un punto de vista nomico, nuestro fragmento es un "no- no discurso", es la postulacin de la existencia positiva de una entidad compleja, de la que slo puede formularse la hiptesis de que a travs de un proceso constructivo, es posible concebirlo como unidad de sentido.23 Es decir, dicho fragmento es susceptible de ser analizado, a partir, como lo postula Hjelmslev, inclusive a partir de "el todo sin analizar".24 Conforme vamos realizando su anlisis, nuestro fragmento comienza a configurarse como una entidad relacional, examen que posibilitar dar a los objetos sometidos a anlisis calidad de existentes dentro de nuestra situacin de habla. Ser en este proceso relacional donde las unidades lingsticas ocupan una posicin definida en la situacin y entre ellas mismas a travs de la postulacin de una membresa. Cada entidad, entonces, toma una localizacin definida dentro de la situacin y con respecto a todas los dems entidades inmersas en sta.25 Supongamos que en ese proceso de anlisis identificamos el suceso salir. Desde una perspectiva relacional, podemos considerar este suceso como el componente inicial de un suceso complejo, que posee unidad de sentido. salir es el antecedente necesario, para
22

Roberto Flores, La construccin semntica del acontecimiento. Pasos para un anlisis aspectual del relato, Tpicos del seminario No 3 (aspectualidad y modalidades), Puebla, UAP, 2000, p. 14. 23 Roberto Flores, "Segmentacin y Clausura del discurso", Morphe N 5, Puebla, Universidad Autnoma de Puebla, 1991, p.112 24 Louis Hjelmslev, Prolegmenos a una teora del lenguaje, Madrid, Gredos, c1974, p.51 25 Ver Miguel Ariza, Hacia una formalizacin de la presuposicin [], Tpicos del Seminario, 10, (Cultura y Semiosis), Ingrid Geist (editora), Puebla, BUAP, 2003, pp. 175-208.

producir una transformacin de estado, cuyas consecuencias tienen un estatuto variable. En este sentido el suceso salir resulta ser una magnitud constante, que posibilita la aparicin de otro suceso (magnitud variable) que eventualmente, en conjuncin con salir, producir una especfica totalidad de contenido. Salir da lugar a una entidad mltiple (paradigmtica), potencialmente infinita, de los posibles sucesos que pueden ser consecuencia de dicho suceso y que podrn dar lugar a una gran multiplicidad de sucesos con distinto contenido semntico.

cruzar rodear salir llegar bajar recorrer

En realidad, el paradigma mencionado se torna en uno de los tantos campos semnticos que, (por ejemplo) mediados por un rasgo de cambio de lugar, trayectoria, etc. y en conjuncin con el suceso inicial mencionado pueden producir una determinada unidad de sentido. Este campo de variacin selecciona al suceso salir, siendo cada una de sus variables (cada uno de los sucesos contenidos en el paradigma) condicin nonecesaria para la aparicin del suceso salir. Ahora bien, supongamos que uno cualquiera de los sucesos aparece tambin en el fragmento discursivo, por ejemplo el suceso llegar, siendo producto de la salida; decimos entonces que el suceso llegar es condicin suficiente para asegurar que ocurri el suceso salir. La relacin que obtenemos deja de ser una simple seleccin determinada por posibles para convertirse en una presuposicin establecida por un suceso bien definido. La unidad de sentido generada por la pareja (llegar,salir) producto de la presuposicin, resulta ser un /desplazamiento/, un proceso interiormente definido por la presencia de un punto de inicio (la salida) y un punto de terminacin (la llegada).

4- SELECCIN E IMPLICITACIN Ahora supongamos, de manera inversa, que el suceso que identificamos en nuestro fragmento es llegar. Desde la misma perspectiva relacional, podemos considerar este suceso como el componente final de un suceso complejo, que posee unidad de sentido. Llegar es el consecuente necesario, que en conjuncin con otro suceso antecedente producir una especfica unidad de sentido. La llegada puede estar precedida por una salida o por cualquier otro suceso, que no involucra el salir. salir llegar no salir El salir o el no salir determinarn el tipo de llegada que aconteci, ya sea una llegada mediada por un /desplazamiento/ o cualquier otra modalidad simblica del acto de llegar (por ejemplo un advenir); es decir, existe un campo de variacin que selecciona al suceso llegar. Supongamos que en el relato tambin encontramos el suceso salir, entonces decimos que el suceso salir es condicin suficiente para asegurar que ocurrir el suceso llegar. En este caso la relacin que obtenemos resulta ser una implicitacin, justamente la relacin inversa de la presuposicin. Nuestro sistema garantiza su existencia ya que en todo sistema relacional, al definir una relacin de orden, podemos garantizar la existencia de su inversa. Tanto la presuposicin como su relacin inversa son dos modalidades de la seleccin, y ambas articulan exactamente la misma unidad de sentido. salir llegar

/desplazamiento/ As, salir y llegar, son los trminos que conforman ambas relaciones. Y resultan ser solidarios composicionalmente con respecto a la configuracin de la unidad de sentido /desplazamiento/.

Y podemos establecer un mtodo de prueba, a travs de preguntas, para establecer si existe la relacin de presuposicin: 1a Si llegar se produjo, entonces se produjo salir? i.e. llegar es condicin suficiente para salir? Si las respuestas son "S", entonces existe presuposicin, en caso contrario no la hay.

2a Si salir no se hubiera producido, se pudiera haber producido llegar? i.e.

salir es condicin necesaria para llegar? Si las respuestas son "No" y "S" respectivamente, (i.e. al NO ser posible que se produzca llegar sin haberse producido salir, resultando ser cierto que salir es condicin necesaria para llegar), entonces existe presuposicin, en caso contrario no la hay. En resumen, no en todo escenario posible es necesario salir para llegar, existen muchas otras modalidades simblicas del acto de llegar que no precisan de una salida. Es solamente en el mbito de un /desplazamiento/ que las relaciones de presuposicin entre los dos sucesos ocurren. En este sentido, slo dentro de la situacin contextual de un /desplazamiento/ puede establecerse la secuencia presuposicional: llegar > salir. Es decir, /desplazamiento/ es la unidad de sentido que posibilita la articulacin presuposicional. Por lo tanto, las respuestas a las preguntas dependern y estarn referidas a una situacin englobante bien determinada. As, podemos contestar: Dentro de la situacin contextual /desplazamiento/. Es condicin suficiente llegar para salir?, S Es condicin necesaria salir para llegar?, S Desde un punto de vista presuposicional al ocurrir llegar debi ocurrir salir. En otras palabras, la aparicin del suceso salir debe estar inserta en la aparicin del suceso llegar para poder hablar globalmente de un desplazamiento. Esta propuesta tiene ciertos paralelismos con la ordenacin dada por Barwise y Perry en su libro Situaciones y Actitudes: Eco:= en Ld: involve, ll, s; S. Dentro de la localizacin espacio-temporal, de un desplazamiento, es cierto que llegar involve salir
26

26

Ver Jon Barwise & John Perry, Situations and Attitudes, Cambridge, Mass., Bradford Books/MIT Press, 1983, Cap. 5.

La relacin involve (envolver, entraar, insertar, incorporar) ordena ambos sucesos de manera similar a la presuposicin, ambas son relaciones de orden, que tambin estn en concordancia con la intuicin expresada por Sapir. Esta suerte de disposicin nomica envolvente de los sucesos pertenecientes a una situacin, nos permite visualizar que el principio de composicionalidad, resulta ser mucho ms refinado que el de una simple aditividad del significado de las partes componentes de una expresin compleja. Como en repetidas ocasiones lo ha sealado el lingista Roberto Flores, no es posible determinar el significado de una narracin de sucesos nicamente a partir de los sucesos que la constituyen, visualizados como magnitudes autnomas, que se adicionan composicionalmente para dar a lo narrado su sentido, sino que deben ser tomados en cuenta efectos semnticos, producto de formas esquemticas subyacentes, ya que se torna imposible designar una totalidad de sentido global, a partir de la simple suma de sucesos autnomos.27 Esto implica entender el principio de composicionalidad como un proceso de sntesis, en el que el significado de una expresin compleja emerge de la articulacin vinculada de los significados de las expresiones que componen la expresin inicial.28 Dentro de nuestra propuesta relacional, dicho proceso de sntesis emerge de la articulacin presuposicional, poniendo en consideracin la relacin entre cada una de las unidades de sentido y sus partes componentes, tomando en cuenta las observaciones de Roberto Flores y los sealamientos de Barwise y Perry:
El presupuesto segn el cual el significado de una expresin es una funcin de los significados de sus partes, es lo que se llama el principio de composicionalidad. Expresa claramente una intuicin que solemos tener sobre el lenguaje y que, sin embargo, slo entendemos vagamente. Algo que hay que precisar en una teora semntica es en qu medida el significado de una expresin depende del de sus partes y viceversa.29

En nuestro ejemplo podemos plantear el proceso de composicin reconociendo como unidad narrativa esquemtica a la unidad de sentido /desplazamiento/, a partir de secuencias de unidades de accin, representadas por los sucesos salir y llegar. Estos dos sucesos
27 28 29

Roberto Flores, loc. cit. La construccin semntica del acontecimiento p.17 Este principio de sntesis complejo, queda manifiesto en la gramtica de Montague a travs del proceso de Jon Barwise & John Perry op. cit.

APLICACIN FUNCIONAL.

son susceptibles de ser representados como un proceso global, que no est explcitamente manifiesto, pero que da cuenta desde un punto de vista presuposicional del cierre y la resemantizacin producida por la unidad de sentido /llegar/, ltimo suceso de la secuencia. As, /salir/ y /llegar/, son las partes componentes, que se fusionan para dar lugar a la unidad de sentido, esquema narrativo, /desplazamiento/, que los presupone a ambos. En este sentido podemos decir que: llegar > acercase Slo si /desplazamiento/ /llegar/; /desplazamiento/ /salir/ Si hay presuposicin entre los dos sucesos, entonces su unidad de sentido presupone globalmente a cada una de los dos Asimismo /desplazamiento/, es resultado de la fusin de los dos sucesos: /llegar/ /salir/ = /desplazamiento/ Diagramticamente podemos representar las relaciones anteriores de la siguiente forma: salir deplazamiento llegar /desplazamiento/

/ s/s / salir/

/ llegar/

Autores como Barwise, Aczel, Etchemendy, Allwein, Hammer, Shin, etc. sealan la gran importancia que constituye el razonamiento diagramtico. Un diagrama puede describirse, en trminos generales, como una representacin plana no lingstica elaborada con el cometido de aclarar un texto. Esta construccin presupone la existencia de algo que queda representado por el diagrama y un contexto lingstico en el cual est inserto.30

Eric M. Hammer, Logic and Visual information, CSLI, Stanford, 1995. Apud. Arnold Oostra, Los diagramas de la matemtica y la matemtica de los diagramas, Boletn de Matemticas - Nueva Serie, No.8 Universidad del Tolima (COLOMBIA), pp.17.

30

Para Peirce, el razonamiento diagramtico es una forma de razonamiento profundamente fecundo. De hecho, dentro del pensamiento matemtico, a cada proceso de formacin de diagramas, le llam un lgebra, ya que en la actividad matemtica intervienen diagramas mentales complejos:31
Pues el razonamiento matemtico consiste en construir un diagrama de acuerdo con un precepto general, en observar ciertas relaciones entre partes de ese diagrama [relaciones] que no estn requeridas de manera explcita por el precepto, en mostrar que estas relaciones valdran para todos los diagramas tales, y en formular esta conclusin en trminos generales. Todo razonamiento necesario vlido es entonces, de hecho, diagramtico.32

Esta naturaleza sinttica, esquemtica y no lingstica de los diagramas, as como el carcter diagramtico de la matemtica, nos permiten elucidar conjuntos de regularidades de los diversos procesos sgnicos de carcter semntico. Este nivel esquemtico y nomico-diagramtico es compatible con el nivel onomasiolgico de las entidades semnticas en cuestin, como dira Hjelmslev, la sustancia del plano del contenido que es ordenada lxicamente. En este sentido el verbo de movimiento salir designa una trayectoria hacia que posee una orientacin espacial, un desplazamiento completo de un punto de partida a un punto de arribo e incide en el desarrollo interno del evento. En trminos de su contenido lxico-aspectual puede ser considerado como una realizacin (accomplishment). En tanto que llegar puede ser considerado en nuestra situacin contextual como un logro (achievement). Desde un punto de vista lgico-conceptual el movimiento se presenta en una dimensin espacio-temporal, como un proceso que da lugar a un macro suceso cuyas fases pueden ser distinguidas en icoativa, mediana y terminativa. As por ejemplo en la situacin esquemtico contextual de un desplazamiento pueden ser distinguidas una salida (realizacin: fase icoativa), una tardanza (ejecucin: fase media o durativa) y una llegada (logro: fase terminativa). Tomemos como ejemplo el siguiente fragmento:

31

Charles S. Peirce, The Critic of Arguments, 1892, Prolegomena of an Apology for Pragmaticism, 1906, Apud. Arnold Oostra, Peirce y los diagramas II Jornada del Grupo de Estudios Peirceanos, La lgica de Peirce y el mundo hispnico, 10 de octubre de 2003, Pamplona (ESPAA), p. 8. 32 Charles S. Peirce, CP. 1.54, Apud. Arnold Oostra, Loc. cit. p. 8

Salieron estas naciones indianas de aquellas siete cuevas, donde haban habitado mucho tiempo, el ao del Seor de ochocientos veinte. Tardaron en llegar a esta tierra ms de ochenta aos, por las grandes pausas y demoras que venan haciendo. Conviene a saber, edificando pueblos, poblando sitios, viendo ser los lugares apacibles y frescos [...] Y as llegaron a este lugar de la Nueva Espaa el ao de novecientos dos (Duran 1967) Al extraer los sucesos e identificar sus vnculos presuposicionales, obtenemos la siguiente construccin diagramtica (rbol de presuposicin).
1) Salir [de] 2) Haber habitado 3) [Salir] [hacia] 4) Tardar 5) Venir haciendo [Demorar] 6) Edificar 7) Poblar 8) Ver 9) Llegar
D E S P L A Z A M I E N T O

Haber habitado Salir [de] Salir [hacia] Tardar [Demorar] Llegar

presuposicin

{edificar, poblar, ver, creer...}

La articulacin de la relacin de presuposicin en un relato permite una lectura desde el final hacia el inicio de los sucesos consecuentes con los antecedentes-, poniendo en realce el carcter necesario de esas magnitudes semiticas con vista al final. As, por ejemplo, el suceso llegar (achievement) posibilita la existencia del suceso salir [hacia] (accomplishment) que presupone al terminativo salir [de] (achievement). 5- PRESUPOSICIN Y COMPOSICIONALIDAD Ahora supongamos que en otro fragmento distinto nos encontramos, por ejemplo, con las frases simples: El astrnomo de larga barba y Comparecer de rodillas ante el tribunal. Ambas frases simples estn conformadas por frases principales y adjuntos:
El astrnomo
Frase principal
CONDICIN NECESARIA

de larga barba
Adjunto
CONDICIN SUFICIENTE

Comparecer de rodillas ante el tribunal

Frase principal
CONDICIN NECESARIA

Adjuntos
CONDICIN SUFICIENTE

<
presuposicin

<
presuposicin

En ambas frases, observamos que dada la unidad de sentido producida por la frase simple, composicionalmente hablando, es necesaria la existencia de las frases principales para poder asegurar que existen los adjuntos. Y es suficiente con la existencia de los adjuntos para poder asegurar que existieron las frases principales (frase nominal y frase verbal respectivamente). Composicionalmente podemos asociar una unidad de sentido de carcter semntico a la articulacin presuposicional: Postracin Comparecer de rodillas ante el tribunal

Empero, si refinamos an ms el anlisis podemos encontrar efectos composicionales y presuposicionales inclusive al nivel de la palabra. Consideremos ahora el clsico ejemplo grafmico dado por Hjelmslev en los prolegmenos: cal son Intercambiando la c y la s, la a y la o, la l y la n, respectivamente, obtenemos palabras diferentes: cal, can, col, con, son, sol, san, sal. Cada una de estas entidades es una cadena que entra en el proceso (texto) lingstico; por otra parte, c y s juntas, a y o juntas, y l y n juntas forman un paradigma, que entra en el sistema lingstico. En la palabra cal hay conjuncin, o coexistencia, entre c, a y l: tenemos efectivamente ante nuestros ojos, tanto c, como a, como l; del mismo modo hay conjuncin o coexistencia entre s, o y n en la palabra son. Pero entre c y s hay disyuncin, o alternancia: lo que tenemos ante nuestros ojos efectivamente es o bien c o bien s; asimismo hay alternancia entre l y n.33 Grficamente podemos visualizar composicionalmente34, el ejemplo de Hjelmslev de la siguiente forma: c

<

<

<

<

cal
33 34

son

Louis Hjelmslev, Prolegmenos a una teora del lenguaje, Madrid, Gredos, c1974, p. 59 Consideremos, por ejemplo los miembros de la categora de las consonantes y de la de las vocales (los hemos llamado elementos de la expresin); lo que define a cada uno de ellos, tomado aisladamente, y le distingue de los otros miembros de la misma categora, es que si se le reemplaza por otro en un signo, esto puede acarrear una diferencia en el contenido lingstico. Louis Hjelmslev, Tipologa de las estructuras lingsticas, El lenguaje, Madrid, Gredos, c1976, p. 125

En la unidad de sentido cal: la existencia de c es condicin necesaria para la existencia de a, y a es condicin necesaria para la existencia de l. Recprocamente: l es condicin suficiente para asegurar que ocurri a, y a es condicin suficiente para asegurar que ocurri c. Por lo tanto l presupone a y a presupone c. De idntica forma sucede para son: n es condicin suficiente para asegurar que ocurri o, y o es condicin suficiente para asegurar que ocurri s. Recprocamente: la existencia de s es condicin necesaria, para la existencia de o, y o es condicin necesaria para la existencia de n. Por lo tanto n presupone o y o presupone s. Generalizando este ejemplo, podemos decir que en este sistema: Consonante presupone Vocal presupone Consonante. Los diversos trayectos presuposicionales, pueden ser representados a travs del siguiente diagrama:

SISTEMA RELACIONAL

s cal son sal sol san

Unidades de sentido

con can col

c < a < l

s < o < n

c < v < c
Este sistema relacional constituye un conjunto parcialmente ordenado de manera estricta,35 configurado por la relacin de presuposicin. Observemos que en el diagrama no existen lneas entre c y s, a y o, n y l, ya que entre los trminos de cada uno de estos pares

35

Irreflexivo, Asimtrico y Transitivo.

no existe coexistencia sino alternancia. Con cada uno de los pares de grafemas podemos formar los tres conjuntos paradigmticos {c, s}, {a, o}, {n, l}. De ah que Hjelmslev afirme que desde el punto de vista del sistema, los grafemas c, s; a, o; y n, l; sean llamados miembros. Observemos tambin que en el sistema relacional transitamos del texto cal al texto son, a travs de diversos trayectos presuposicionales. Entre ambas delimitaciones se encuentran las configuraciones presuposicionales de todos los textos del sistema relacional. Cada texto es un proceso que media entre ambos lmites. El conjunto de todas las unidades de sentido conforman a su vez una constelacin de autonomas (paratagmas) que se obtiene a travs de reemplazos alternados de cada uno de los grafemas, alternancia que est regulada por la relacin de presuposicin. Esto nos permite poder establecer una relacin entre cada uno de los paratagmas y los grafemas: 6- LA PRESUPOSICIN PARADIGMTICA Supongamos que queremos construir una relacin entre cada una de las unidades de sentido y sus partes componentes, por ejemplo en la palabra pan. Para construir dicha relacin tendramos que dar cuenta del proceso existente en la composicin de dicha palabra. Para tal fin, podemos afirmar, sin prdida de generalidad, que cada uno de los componentes de la palabra son exigidos para su conformacin y que basta con la realizacin de la palabra entera para asegurar la ocurrencia de sus partes componentes. Es decir, es condicin suficiente la ocurrencia de pan para asegurar la ocurrencia de p, a y n, y que la ocurrencia de p, a y n es condicin necesaria para la ocurrencia de pan. Por lo tanto diremos que pan: presupone p, presupone a, y presupone n. p a n

pan Esta nueva relacin de presuposicin (paradigmtica) tambin da lugar a un orden parcial, pero este es un orden parcial amplio.36 Y da lugar a un sistema relacional distinto al de la presuposicin sintagmtica. Desde la perspectiva de las relaciones de orden, la
36

Reflexivo, Antisimtrico y Transitivo.

presuposicin sintagmtica funciona de manera similar a la relacin mayor que (>), y la presuposicin paradigmtica se asemeja a la relacin mayor o igual que (). El sistema relacional suscitado por la presuposicin paradigmtica en el ejemplo de Hjelmslev, puede ser representado a travs del siguiente diagrama:

con
n o

can
s

col

cal
a l

SISTEMA RELACIONAL

son san

sol

sal

Podemos observar en este nuevo sistema relacional, que cada uno de los textos (que en el sistema relacional anterior eran paratagmas) ahora estn articulados por la presuposicin paradigmtica. Al igual que en el sistema relacional anterior se forman dos bloques. Pero en esta ocasin los grafemas tambin carecen de lneas entre s. Adems podemos articular una serie de operaciones en el interior de este sistema relacional: c U a U l= cal, Fusin (o unin); con can col cal = c, empalme (o interseccin) s U o U n= son, Fusin (o unin); son san sol sal = s, empalme (o interseccin) Tradicionalmente a la relacin que da lugar a rdenes parciales amplios (haciendo un abuso de lenguaje) se le llama inclusin, por el parecido que tienen estas relaciones de orden con la inclusin de conjuntos; y a cada uno de los trminos involucrados en la relacin se les denomina partes. De ah, tal vez sea que Hjelmslev asevere que desde el punto de vista del proceso, los grafemas c, s, a, o, n, l, sean llamados partes.37

37

Louis Hjelmslev, Prolegmenos a una teora del lenguaje, Madrid, Gredos, c1974, p. 59

7- COMPOSICIN Y PRESUPOSICIN RETICULAR DE SUCESOS EN EL DISCURSO HISTRICO Como lo seala Javier de Lorenzo, tanto en el hacer matemtico como en el terreno del lenguaje humano es insuficiente restringirse a la nocin formal de cdigo, ya sea lingstico o proposicional, debido a que se deben tomar en cuenta tambin contextos y recreaciones. Es decir, cualquier texto escrito, como objeto semitico, es un diagrama que carece de valor en s, como objeto, si no se tiene presente el valor potencial de ser actualizado en cada momento, en cada instante. Y es ese valor potencial el que posibilita la construccin real del texto como objeto semitico.38 Todo anlisis del relato pasa por la identificacin de acciones y su integracin en secuencias narrativas, tomando en cuenta efectos semnticos, producto de formas esquemticas subyacentes. Para ello distinguiremos, de acuerdo a la propuesta terica de Roberto Flores: [...] cambios de tiempo, de espacio, de actores [...] uso de conectores lgicos como son las conjunciones, [...] los cambios de tema- disjuncin tpica- recurrencias frsticas o lexemticas y, finalmente criterios grficos que distinguen, por ejemplo, entre prrafos y captulos.39 As como: acciones terminadas, acciones que duran, acciones sin terminar, estados, deverbalizaciones (nombres de accin), derivados de raz verbal (nombres de oficio), adjetivos, nombres (de emocin y sentimiento), construcciones de tipo estativo, verbos de creencia, y frases subordinadas. Tomemos como ejemplo un pequeo fragmento, traducido al espaol, del Yo abjuro, discurso de abjuracin de Galileo Galilei (22 de Junio de 1633): Comparecer
Ante el tribunal

Mirar
Evangelios

[Estar] de rodillas

Tocar

Jurar

Yo Galileo Galilei, hijo del finado Vicenzo Galilei, florentino, de setenta aos de edad, compareciendo personalmente ante este tribunal, y de rodillas ante vosotros, eminentsimos y reverendsimos seores cardenales, inquisidores generales contra la depravacin hertica de toda la Cristiandad, teniendo ante mis ojos y tocando con mis manos los santos evangelios, juro que siempre he credo, como lo sigo haciendo, y con la ayuda de Dios seguir creyendo en el futuro todo lo que sostiene, predica y ensea la Santa Iglesia Catlica, Apostlica y Romana.

38 39

Javier de Lorenzo, loc. cit. p. 251 Roberto Flores, op. cit. Segmentacin y clausura de..., p. 110.

El Sistema relacional anterior da lugar a un conjunto parcialmente ordenado de manera estricta, articulado por la presuposicin sintagmtica. La representacin geomtrica de tal orden est expresada diagramticamente a travs de un rbol de presuposicin, cuya manifestacin surge del siguiente anlisis: A lo largo del discurso entero predomina la enunciacin enunciada, el decir. En este primer fragmento, Galileo enuncia de manera cursiva las fases de un proceso de juramento, iniciando con la comparecencia y terminando con el juramento. Las acciones iniciales estn en progresivo, (compareciendo, teniendo, tocando). En concordancia con ellas, se encuentra el estado de rodillas ante vosotros que de manera reconstructiva, sin perdida de contenido, podramos reproducir como: ...estando de rodillas ante vosotros.... Todo el anterior desarrollo narrativo, en tiempo progresivo, da lugar a un cambio de tiempo en la accin juro, que se encuentra en presente simple. Este cambio de tiempo verbal determina el final de nuestra secuencia de acciones. No en todo escenario posible, [estar] de rodillas presupone comparecer. Y tampoco en todo escenario posible es necesario [estar] de rodillas para comparecer. Es slo en situacin esquemtico contextual como se puede establecer la presuposicin. Es decir, el comparecer, del discurso de abjuracin, no es cualquier comparecer, es una actividad que est impregnada de la semntica contenida en el estado de rodillas. Pareciera que comparecer, asimila rasgos semnticos del estado" de rodillas al momento de establecer composicionalmente el sintagma: Comparecer de rodillas ante el tribunal. Dicho sintagma puede ser visualizado como parfrasis de una de las tantas acepciones lxicas del trmino postracin. En este sentido, [estar] de rodillas, resemantiza a comparecer, convirtindolo en un comparecer en estado de postracin (estar a los pies de otro en seal de respeto, veneracin o ruego). Relacionalmente para dar cuenta a la vez de la asimilacin y de la resemantizacin es necesaria la articulacin presuposicional, es decir: [estar] de rodillas > comparecer. Entonces diremos que en la entidad esquemtica postracin, [estar] de rodillas presupone comparecer. Es decir, al ocurrir [estar] de rodillas debi ocurrir comparecer. En otras palabras, la aparicin del suceso comparecer debe estar inserta en la aparicin del suceso [estar] de rodillas para poder hablar hiperonmicamente de una postracin. Asimismo, dentro del mbito de la unidad

de sentido /postracin/, [estar] de rodillas exige comparecer (condicin necesaria) y [estar] de rodillas basta para asegurar que ocurri comparecer (condicin suficiente). De manera anloga, en la segunda ramificacin del rbol, pareciera ocurrir una asimilacin, que podemos sintetizar diciendo: tocar [los evangelios] presupone mirar [los evangelios]. Observemos que, tocar los evangelios es condicin suficiente para afirmar que se tuvieron a la vista; y que tener a la vista los evangelios es condicin necesaria para tocarlos. Si dijramos que lo anterior se debe a que no es posible tocar algo sin tenerlo previamente a la vista (necesidad) y, que tocar algo basta para asegurar que se tuvo a la vista (suficiencia), no estaramos del todo errados. Sin embargo, las condiciones de suficiencia y necesidad no dependen nicamente del carcter perceptivo de los dos sucesos; ambos forman parte de un proceso de mayor profundidad en contenido, proceso al que podemos denominar toma de contacto. En este sentido, tocar los evangelios es una forma de hacer explcita, a partir del contacto, la importancia de carcter simblico que tienen los evangelios; tocar los evangelios transforma el acto perceptivo, tener [a la vista], en un acto que tambin forma parte del mismo proceso de toma de contacto, lo resemantiza convirtindolo en mirar. As tocar y mirar son formas de reconocer el alto poder simblico de las Santas Escrituras. Ahora bien, no basta slo con mirar para hacer evidente la importancia que envuelve el contacto, es forzoso tocar para hacer explcito sin ambigedades tal reconocimiento. Como la explicitacin del contacto se realiza a travs de los dos actos perceptivos, entonces tocar presupone mirar. Es decir, al ocurrir tocar [los evangelios], debi ocurrir mirar [los evangelios] todo ello en el mbito de una testificacin (o toma de contacto). Es decir tocar los evangelios" resemantiza el contenido del "mirar" convirtindolo en una forma del contacto, siendo "mirar y tocar los evangelios" una parfrasis de una acepcin lxica de testificacin, sabiendo adems que las etimologas de la palabra testificar la refieren al movimiento realizado por los centuriones romanos, al momento de realizar un juramento, elevando una de las manos, y haciendo contacto con los testculos empleando la otra. Por ltimo, la accin jurar articula y correlaciona la postracin y la testificacin, siendo un testimonio jurado el producto de dicha articulacin, que ya no se comportar

como una asimilacin sino ms bien como una "coalescencia". Ambas ramas del rbol resultan ser complementarias y a la vez ajenas. Todo ello, nos permite visualizar el sistema entero como un retculo algebraico, donde, el /testimonio jurado/ resulta ser el elemento mximo y el vaco el elemento mnimo de todo el sistema; donde la presuposicin es la relacin de orden que articula al retculo, fungiendo la coalescencia como la "operacin fusin" (al realizarse entre dos objetos disjuntos). Entonces este pequeo sistema reticular puede ser organizado de la siguiente forma: Sea SC el conjunto de unidades de sentido, esquemas narrativos, del sistema. SC = {, /comparecer/, /estar de rodillas/, /tocar/, /mirar/, /postracin/, /testificacin/, /testimonio jurado/} De donde: Entonces: SC, , es un retculo; Donde := fusin, := solapamiento La estructura SC, , , , , J es un lgebra relacional.
J

P Er Cp To

T Mr

Donde: Cp: /comparecer/ Er: /estar de rodillas/ Mr: /mirar/ To: /tocar/. P: /postracin/ T: /testificacin/ J: /testimonio jurado/
<SC, ,, , ,J > CpEr=, Mr To= CpEr=P, MrTo=T, PT =J,

Comparecer de rodillas ante el tribunal /POSTRACIN/ Mirar y tocar los evangelios /TESTIFICACIN/

As que podemos definir la presuposicin reticular de esta manera: W Z Si y slo si W Z = Z Observemos que Testimonio Jurado, es la magnitud mxima ordenada por la relacin de presuposicin, razn por la cual podemos considerar a dicha unidad de sentido como esquema narrativo global de todo el sistema.

A travs de este trayecto relacional hemos construido dos modalidades diagramticas, producto de realizaciones complementarias, dos despliegues esquemticos, en lo que expresivamente transitamos de la presuposicionalidad a la composicionalidad. TESTIMONIO JURADO
Comparecer Mirar

Ante el tribunal
[Estar] de rodillas

Evangelios
Tocar

P Er Cp To

T Mr

Jurar

Este despliegue geomtrico, ms all de ser un mero instrumento descriptivo de anlisis, o mera ayuda heurstica, es una autntica elaboracin conceptual de carcter semntico, potencialidad constructiva, esquema ostensivo que entraa un principio de accin, que se materializa en un proceso constructivo espacial, en un grafico concreto y singular. En este sentido el diagrama algebraico adquiere una relevancia que va mucho ms all de ser un smbolo formal sintctico creado de manera convencional, con vista a la produccin de un lenguaje artificial. Es la actualizacin de un mbito potencial a travs de una accin intencional constructiva, cuya visualizacin o captacin trasciende la concrecin singular de su trazado grfico, de su creacin ms o menos convencional o arbitraria, de su presentacin singular y de su posible referente representacional. Entramado relacional, que entraa un pensamiento interior, mdula o manifestacin de la produccin semntica. 8- PRESUPOSICIN Y TEORA DE GRFICAS Por ltimo, si consideramos los sucesos de un relato, en una grfica dirigida (digrfica), podemos representar el ejemplo del fragmento del discurso de Galileo de la siguiente forma:

Jurar
Tocar [Mirar] Comparecer

[Estar] de rodillas

El suceso Jurar, es el ncleo presuposicional, que articula dos despliegues presuposicionales distintos pero isomorfos. Observemos que, Tocar y [Estar] de rodillas, son los presupuestos inmediatos de Jurar, son sucesos distintos entre s, y no existe relacin de presuposicin entre ambos. Entonces diremos que los sucesos DISJUNTOS Tocar y [Estar] de rodillas son equivalentes bajo isomorfismo, a pesar de no ser semnticamente iguales. Y diremos que forman parte de despliegues narrativos distintos, cuyo ncleo de articulacin es el suceso Jurar. Lo mismo ocurre con los sucesos DISJUNTOS [Mirar] y Comparecer, debido a esto podemos establecer que existen procesos de simultaneidad discursiva que la sucesividad narrativa no recoge, pero que s hace evidentes. Este proceso de mltiple articulacin presuposicional a travs de distintos despliegues narrativos, que dan unidad al relato, ilustra la complejidad que puede llegar a entraar la composicionalidad semntica.

BIBLIOGRAFA ARIZA, Miguel. 2003. Hacia una formalizacin de la presuposicin narrativa y su relacin con la progresin ordinal y cardinal en el discurso histrico. Tpicos del seminario No.10 (Cultura Y Semiosis). Seminario de Estudios de la Significacin (SeS). Puebla: Benemrita Universidad Autnoma de Puebla. _____________. 2007a. Teora semntica y matemticas. Mathesis III 21: 73-97 _____________. 2007b. Hacia una interpretacin semitica de los signos matemticos. Mathesis III 22. BARWISE, Jon & John Perry. 1983. Situations and Attitudes. Cambridge, MA: MIT Press. CASTILLO, Mario. 2000. El mundo del color en Cuetzalan: un estudio etnocientfico en una comunidad nahua. Coleccin cientfica 405. Mxico: INHA CUEVAS, Susana. 1989. Modelos etnocientficos. Revista Mexicana de Estudios Antropolgicos. Sociedad Mexicana de Antropologa. T. 35. Mxico, 73-85 DIXON, R. M. W. 1982. Where Have All The Adjectives Gones? And other essays in Semantics and Syntax. Berlin, New York, Amsterdam: Mouton Publishers. FLORES, Roberto. 1991. Segmentacin y Clausura del discurso. Morph 5. Puebla: Universidad Autnoma de Puebla. _____________ . 2000.La construccin semntica del acontecimiento. Pasos para un anlisis aspectual del relato. Tpicos del seminario No 3 (aspectualidad y modalidades). Puebla: BUAP GRATTAN-GUINNESS, Ivor. 1992. Peirce: entre la lgica y la matemtica. Mathesis 81: 55-72. GRTZER, George. 2000. General Lattice Theory. Birkhuser, Basel GUITART, Ren. 1999. La pulsation mathmatique. Pars: LHarmattan. HJELMSALEV, Louis. 1974. Prolegmenos a una teora del lenguaje. Madrid: Gredos. IBAEZ, Sergio. 2005. Los verbos de movimiento intransitivos en espaol. Una aproximacin lxico-sintctica. Mxico: INHA-UNAM. KLAUS, G. 1969. Semiotik und Erkenntnistheorie [Semitica y teora del reconocimiento]. Berln. HENGELVED, k. 2004. La tipologa lingstica. En torno a los universales lingsticos. Ricardo Miral y Juana Gil (eds). Cambridge. Akal. 89-111. LANDMAN, Fred. 1991. Structures for Semantics. Dordrech: Kluger Academic Publishers.

LINK, Godehard. 1987. Algebraic Semantics of event structures. In: J Groenendijk et al. (eds.), Proceedings of the Fourth Amsterdam Colloquium, ITLI, Amsterdam, 243-262. Link, Godehard. 1998. Algebraic Semantic in Language and Philosophy. Stanford: CSLI Publications. LORENZO, Javier de. 1989. Introduccin al estilo matemtico. Madrid: Tecnos. _______________. 1994. El discurso matemtico: ideograma y lenguaje natural. Mathesis 10: 235-254 MIER, Raymundo. Signos, Cuerpos. La Clasificacin de los Signos en Ch. S. Peirce. Razn y Palabra [revista electrnica] Nmero 21. http://www.razonypalabra.org.mx/anteriores/n21/21_rmier.html OOSTRA, Arnold. 2001. Los diagramas de la matemtica y la matemtica de los diagramas. Boletn de Matemticas - Nueva Serie 8: 17. Colombia: Facultad de ciencias de la Universidad del Tolima. PEIRCE, Charles S. 1867. Sobre una nueva lista de categoras. http://www.unav.es/gep/ ________________. 1895. Que las proposiciones categricas e hipotticas son en esencia una. http://www.unav.es/gep/ ________________. 1896. La Lgica de las Matemticas: Un intento de desarrollar mis categoras desde dentro. http://www.unav.es/gep/ ________________. 1902. La esencia de las Matemticas. http://www.unav.es/gep/ ________________. 1987. Obra lgico Semitica. Madrid: Taurus PETITOT, Jean. 1995. Sheaf Mereology and Husserl Morphological Ontology. International Journal of Human- Computer Studies. 43. Academic Press: 741-763 RASTIER, Franois. 2005. Semntica Interpretativa. Mxico: Siglo XXI. SERRANO, Sebastin. 1975. Elementos de lingstica matemtica. Barcelona: Anagrama SALAMA, Roberto. 1998. Los conjuntos, Ensayo lgico-filosfico. Buenos Aires: Biblos TASIC, Valdimir. 2002. Mathematics in the Roots of Postmodern Thought. Oxford University Press. ZALAMEA, Fernando. 1993. Una Jabalina lanzada hacia el futuro: anticipos y aportes de Charles S. Peirce a la lgica matemtica del siglo XX. Mathesis 94: 391-404 ZILBERBERG, Claude. 1995. Observaciones a propsito de la profundidad del tiempo. Morph 6-7. Mxico: BUAP