TAUTOLOGA Y CONOCIMIENTO

Puesto en trminos analticos, es decir modernos, un problema que involucrase al Teorema de la hipotenusa, para agrimensores babilonios, en el que hubiese que trazar una hipotenusa, esto es, una recta que une a dos catetos y que posee determinada pendiente respecto de esos mismos, se planteara del siguiente modo: Sobre el eje de las abscisas representamos las distancias del origen a puntos dados en x. Estas distancias son valores en x de los catetos adyacentes al ngulo alfa de tringulos rectngulos formados con catetos opuestos dados por perpendiculares a los valores de x, paralelos al eje de las ordenadas. As los babilonios podran haber visto claramente que para obtener cualquier punto de la hipotenusa (h) requeran conocer nicamente una razn constante, la dada por la relacin entre ambos catetos de modo que para cada valor de x, o para cada distancia escogida (variable independiente) corresponda un valor en y, que est en la hipotenusa (h=y). Este problema est planteado por Colerus (1944) del siguiente modo: Para determinar el trazado de la hipotenusa bastar establecer una relacin nica entre perpendiculares y distancias, catetos adyacentes y opuestos de una serie de tringulos rectngulos que tienen por hipotenusa a una misma recta. Sabemos dice Colerus, como los babilonios sabran tambin, que tringulos rectngulos son semejantes entre s cuando sus dos catetos son proporcionales, es decir, que para los catetos m,n donde m=x, (distancia, adyacente, eje de las abscisas); n=y, (perpendicular, opuesto, eje de las ordenadas) existe una y slo una relacin m:n (distancia/perpendicular, cateto adyacente al ngulo alfa/cateto opuesto al ngulo alfa, x/y). Conociendo la proporcin m:n, debemos encontrar un valor en y que corresponda a otro valor, el de x; mismo que asignamos arbitrariamente. Si de la expresin m:n, m est dada de manera independiente, el valor que debe ser encontrado es la perpendicular n. As, para trazar h es necesario encontrar los valores de la longitud n o su reflejo en el eje de las ordenadas y, se requiere conocer la relacin proporcional nica e igual para todos los valores de x que se le asocien: n(m)=m(n) de donde n = n(m/m) Notemos que ya aqu el resultado se encuentra contenido en la premisa, pues n aparece en ambos trminos de la ecuacin n=n(m/m). Por ejemplo, x=x es pura tautologa, de modo que n=n(m/m) apenas retocada por una razn unitaria que como factor es nula. Regresemos con Colerus quien dice que la expresin n=n(m/m) tiene un sorprendente parecido con una funcin explcita pues poniendo la perpendicular arbitraria igual a y y la distancia arbitraria igual a x, se obtiene: y = (n/m)x y si para simplificar hacemos n/m=k, obtendremos [...], como condicin general [...] y=kx1 Comencemos atendiendo que la razn de la pendiente de h es n/m y no m/n, ello se desprende de que n = nm/m cmo elimina m en el numerador para conservar la razn
1

Colerus, Edmont, De la tabla de multipilcar a la integral, pp 220-221.

n/m? 2 Observemos que y = (n/m)x tambin podra escribirse como n=(n/m)m donde (n, m) son arbitrarias, mientras que las (n, m) de n/m son las generales, o ideales, de las que se expresa nicamente su relacin proporcional y que define el valor de la pendiente de h. As, la expresin y=kx dice que para encontrar el valor y de h, es necesario que la longitud de la distancia en x=m desprenda una perpendicular en y=n de longitud tal que se acredite como valor en h, cuando el valor de x sea multiplicado por la razn n/m que da la pendiente en h. La expresin y=kx vincula nicamente a los conceptos de distancia y perpendicular, correspondientes a los catetos del tringulo rectngulo, de modo que arroja valores nuevos, no conocidos de antemano. Lo cual lleva a Colerus a hablar de Nuestra nueva mquina de pensar y calcular vuelve a manifestarse como una hechicera admirable, ms admirable an por enlazar mgicamente la Geometra con la Aritmtica [...]3 Refirindose con ello a que modificaciones en los valores de la ecuacin o agregaciones tales como y=kx+3, generan modificaciones en el espacio geomtrico, tales como desplazamientos de rectas o modificaciones de ngulos (el ngulo alfa por ejemplo est dado por la pendiente de h, o sea, por la constante k). Cmo es posible que de una tautologa tal como n=n surja un conocimiento nuevo, tal como el conjunto de valores que definen a una hipotenusa? Observemos que n=n puede quiere decir cualquier cosa. Si, como es el caso en la historia, partimos de objetos reales tales como un rea rectangular de terreno a la que segmentamos en dos partes de igual rea entre s a travs de una diagonal que divida el rectngulo en dos tringulos rectngulos. Si por razones de la topografa o de la economa de tiempo o cualquier otra slo es posible marcar un conjunto limitado de puntos que pasan por la hipotenusa, necesitamos una ecuacin tal como y=kx para encontrar los valores que buscamos. Supongamos que no se ha descubierto tal ecuacin, que nos encontramos en la poca en que la humanidad la ignoraba. Y partiendo de estos supuestos plantearnos el problema de llegar de n=n a y=kx. Lo que interesa es saber cmo es que de una tautologa pueden surgir conocimientos nuevos. Para determinar los valores de h=y que requerimos partimos de la geometra del terreno. Tomamos uno de ambos tringulos, del cual el lado ms largo lo definimos como eje de distancias (n) y al lado ms corto como eje de perpendiculares (m). Luego establecemos que existe una relacin tal entre las longitudes y las perpendiculares, que la hipotenusa avanza sobre los extremo de estas ltimas a medida que pasamos de tringulos semejantes menores a mayores. Que podemos definir a nuestro capricho la longitud de cada segmento de distancia, con la finalidad de encontrar la correspondiente longitud del segmento perpendicular al de la distancia, en cuyo extremos se encuentra el valor h=y de ese segmento perpendicular en especfico. Tenemos as la solucin geomtrica, pero requerimos del algoritmo y ste parte de que n=n. Puesto que es el valor de la longitud de la perpendicular n el que debemos hallar, nuestro primer algoritmo es la tautologa n=n. Pues no sabemos nada de n ms que es igual a s misma. Pero tambin contamos con la distancia m y de nuestra observacin geomtrica sabemos que es posible determinar al valor de la longitud de la perpendicular si encontramos el valor que se sita en el extremo de dicha perpendicular por el que pasa la hipotenusa o valor ltimo de la longitud. De otra manera, podemos representar a n como la resultante de una serie numrica que se agrega o suma: y = 1+x2+...+xn-1+xn. As, para cada x, hay un valor x
2

Si n=n(m/m), n=[(nm/m)/m]m = (nm/m2)m = (n/m)m, n=y, m=x. Este procedimiento ha implicado la aparicin de un divisor cuadrtico. 3 Colerus, 223.

y correspondiente y lo nico que necesitamos ahora es encontrar la relacin entre n y m que nos transforme el valor x en su correspondiente valor y, o lo que es lo mismo, y=kx. Aqu k es el factor que debe definirse. Qu es k? Consideremos lo siguiente: Si n=n(m/m), n=[(nm/m)/m]m = (nm/m2)m = (n/m)m, n=y, m=x, k=n/m; y = (n/m)x = kx Cmo llegamos de n=n a y=kx? n=n la tautologa indiferenciada. Toda igualdad es una tautologa. Decir n=n es como decir n. No comporta relacin alguna ms que consigo mismo. La tautologa indiferenciada pone a n en relacin consigo mismo y define la igualdad como tal relacin, con lo que explicita el ser n de s mismo. Explicita la relacin de una no relacin, de un estar n en su relacin consigo mismo, relacin que est implicada en la existencia de n, an sin considerar la dicha relacin. Al explicitarla, introduce una diferenciacin de n respecto de s misma. Una diferenciacin indiferenciada ya que es slo la notacin de tal diferenciacin, slo su nomenclatura, ms no un efecto tal que introduzca una diferenciacin efectiva en n. La igualdad divide y enfrenta a la n consigo misma, ponindola en una balanza. La igualdad entre un trmino y otro de la ecuacin, indica que la balanza no indica diferencia cuantitativa alguna, mientras que la igualad cualitativa est definida desde el primer momento como n=n. Aqu no hay lugar ms que para diferenciaciones cuantitativas las que sin embargo se evitan a fin de mantener la igualdad cuantitativa que mantiene la validez de las premisas en las subsiguientes diferenciaciones. n=n(m/m) = (nm)/m la tautologa agregada y reagrupada. La primera diferenciacin aparece como una agregacin. Un elemento adjuntado que entra definiendo una determinada relacin con la tautologa indiferenciada. La ndole de tal relacin consiste en mantener la tautologa introduciendo una diferenciacin en ella. Un elemento agregado. Interesa conocer el valor de n. Tenemos el valor de m. Requerimos de un algoritmo al que hay que construir. No existe. Estamos averiguando la relacin entre (n, m) y queremos saber cmo expresar esa relacin en el algoritmo buscado. Requerimos definir k e investigamos acerca de la relacin n:m en esa definicin de k. Comenzamos definiendo la tautologa indiferenciada y luego le hemos agregado el otro elemento (m), aqul que conocemos y con el cual lo queremos vincular. Pero al agregar ese elemento buscamos no afectar la igualdad original dada en la tautologa indiferenciada. No obstante, la diferenciacin es algo real pues se introducido otro elemento diferente de n o que no proviene de la relacin indiferenciada de n consigo mismo, sino que concurre a esta relacin, diferencindola. Supongamos adems que la modalidad operativa que ocupa a m est dada por la impronta de mantener la igualdad original n=n agregando, no obstante, un miembro a la balanza derecha de la ecuacin, sin que por ello tengamos que hacer los mismo en la balanza izquierda. La reagrupacin n=n la tautologa indiferenciada. Toda igualdad es una tautologa. Decir n=n es como decir n. No comporta relacin alguna ms que consigo mismo. La tautologa indiferenciada pone a n en relacin consigo mismo y define la igualdad como tal relacin, con lo que explicita el ser n de s mismo. Explicita la relacin de una no relacin, de un estar n en su relacin consigo mismo, relacin que est implicada en la existencia de n, an sin considerar la dicha relacin. Al explicitarla, introduce una diferenciacin de n respecto de s misma. Una diferenciacin indiferenciada ya que es slo la notacin de tal diferenciacin, slo su nomenclatura, ms no un efecto tal que introduzca una diferenciacin efectiva en n. La igualdad divide y enfrenta a la n consigo

misma, ponindola en una balanza. La igualdad entre un trmino y otro de la ecuacin, indica que la balanza no indica diferencia cuantitativa alguna, mientras que la igualad cualitativa est definida desde el primer momento como n=n. Aqu no hay lugar ms que para diferenciaciones cuantitativas, las que sin embargo se evitan a fin de mantener la igualdad cuantitativa, que mantiene la validez de las premisas en las subsiguientes diferenciaciones. n=n(m/m) = (nm)/m la tautologa agregada y reagrupada. La primera diferenciacin aparece como una agregacin. Un elemento adjuntado que entra definiendo una determinada relacin con la tautologa indiferenciada. La ndole de tal relacin consiste en mantener la tautologa introduciendo una diferenciacin en ella. Un elemento agregado. Interesa conocer el valor de n. Tenemos el valor de m. Requerimos de un algoritmo al que hay que construir. No existe. Estamos averiguando la relacin entre (n, m) y queremos saber cmo expresar esa relacin en el algoritmo buscado. Requerimos definir k e investigamos acerca de la relacin n : m en esa definicin de k. Comenzamos definiendo la tautologa indiferenciada y luego le hemos agregado el otro elemento (m), aqul que conocemos y con el cual lo queremos vincular. Pero al agregar ese elemento buscamos no afectar la igualdad original dada en la tautologa indiferenciada. No obstante, la diferenciacin es algo real pues se introducido otro elemento diferente de n o que no proviene de la relacin indiferenciada de n consigo mismo, sino que concurre a esta relacin, diferencindola. Supongamos adems que la modalidad operativa que ocupa a m est dada por la impronta de mantener la igualdad original n=n agregando, no obstante, un miembro a la balanza derecha de la ecuacin, sin que por ello tengamos que hacer los mismo en la balanza izquierda. La reagrupacin n = n = n(m/m) = nm/m = [(nm/m)1/m]m= [(nm1)/(mm)]m = (nm/m2)m = (n/m)m = km tautologa sustitutiva. Comenzamos estableciendo la identidad de n consigo misma y diferenciada por un signo de igualdad interpuesto que los opone. Agregamos otro miembro a la ecuacin como factor operativamente nulo, pero agregando una diferenciacin del lado derecho respecto del izquierdo de la ecuacin, diferenciacin que no altera la igualdad porque es una diferenciacin vista desde lo filosfico, no desde lo matemtico. Sin embargo tal diferenciacin est ah, en la ecuacin. Seguimos ampliando la diferenciacin sustituyendo n en n, tal como que si n=nm/m, entonces n = (nm/m)m/m = [(nm/m)1/m]m = (nm/m2)m. La cadena de diferenciaciones llega hasta a arrojar un miembro cuadrtico, transformando momentneamente la ecuacin lineal n=n en otra, cuadrtica. Slo que es nulo ese efecto en la operacin, gracias a lo cual no hemos roto con la tautologa. La momentnea ecuacin cuadrtica desaparece por efecto de la simplificacin operativa para quedar como (n/m)m base de y=kx. Si retenemos k como una constante y hacemos variar x de modo que vare y, tenemos esa mquina maravillosa de que habla Colerus. n=(n/m)m. Si en la tautologa agregada introdujimos un nuevo miembro en la ecuacin, aqu introducimos una ecuacin nueva. Una ecuacin que define a un objeto nuevo, diferente de n. Pero del cual slo nos interesa su dimensin cuantitativa ya que se trata de otra dimensin de lo mismo, un terreno y sus segmentos. Aqu n n; pero en cambio n > n y adems n = n+(n-n). Introducimos adems nuestra definicin tautolgica agregada como sustitucin de la identidad indiferenciada original, sin modificar por ello la igualdad de la ecuacin. Como k=n/m entonces n=km o, dicho de manera convencional, y=kx. Manera en la que queda expresada una ecuacin que es una

funcin en la que existe una variable independiente x y otra dependiente o funcional respecto de x, que es y. Enrique Bustillo