1. La dialctica como un captulo de lgica matemtica
El mtodo dialctico de razonamiento ha sido introducido de mltiples maneras por muchos autores, frecuentemente sin hacer mencin de la palabra "dialctica". En alguna de estas formulaciones la dialctica ha violado la ley de contra- diccin, por ejemplo : "El Tathagata no puede ser reconocido por las treinta y dos marcas, porque lo que se dice que son las treinta y dos marcas, el Tathagata dice que son no-marcas, y en consecuen- cia que son las treinta y dos marcas" [Suzuki, 8, pg. 451. Es posible un contenido diferente, pero este mismo "silo- gismo" es tambin usado por autores que explcitamente lo llaman razonamiento dialctico. En estos usos, el principio dialctico juega el oficio de regla de inferencia, y las contra- dicciones lgicas implicadas impiden la formalizacin de la dialctica dentro de la estructura de la lgica matemtica cl- sica, aunque es posible una formalizacin en algunos tipos de lgica inconsistente [ver, v. g., 11. Otros autores sostienen que la dialctica no contiene un rechazo de la ley de contradiccin. Hegel pertenece a este grupo. Su argumento es que la ley de contradiccin hace im- posible confutar cualquier proposicin en absoluto : es impo- sible afirmar cualquier cosa, porque los enunciados se hacen, por as decirlo, indiferentes a la prueba [7, pg. 91. Aunque " Este artculo fue publicado originalmente en ingls en la revista Logique et Analyse, nm. 32, diciembre de 1965. Se reproduce aqu, en traduccin castellana, gracias al amable permiso del autor y del edi- tor (N. de la R.). 8 Lgica dialctica esto es verdad en la lgica matemtica clsica, habra que distinguir entre el significado sernntico y el significado sin- tctico de la consistencia. Un-sistema formal es semntica- mente consistente, si algunas de sus frmulas verdaderas pue- den probarse, pero no sus negaciones; un sistema formal es sintcticamente (intrnsecamente) consistente si no pueden probarse todas sus frmulas. Por tanto, un sistema puede ser semnticamente inconsistente (respecto a una interpretacin dada) y, sin embargo, sintcticamente consistente [l ]. En otras palabras: la violacin de la ley de contradiccin no implica necesariamente que los enunciados lleguen a ser in- diferentes a la prueba (que todos puedan probarse), aunque el tener que hacer un sacrificio lgico para lograr tal fin puede considerarse que es pagar un precio excesivo. Nos ocuparemos aqu de la dialctica de Hegel, tal como la desarrolla en la Enciclopedia [3] y en la Ciencia de la Lgica [4] [ver tambin 6 y 71. Nuestra tesis es que, en contraste con los dialcticos mencionados, el razonamiento hegeliano no usa el principio dialctico como regla de infe- rencia, sino como una regla de formacin. Este artculo per- filar una formalizacin de tal dialctica mediante un clculo aplicado de predicados de orden superior, en el cual el prin- cipio dialctico descansa en dos reglas de desarrollo [ver las reglas 6 y 7 de la seccin siguiente]. Este procedimiento mos- trar que la dialctica (al menos, en la forma de Hegel) est lejos de constituir esa tradicional frontera allende la cual se presupone que la lgica matemtica no puede pasar. El clculo usado tiene slo un nmero finito de letras predicativas "sintetizadoras7', a fin de estar en consonancia con la clusula de Hegel de que el proceso dialctico es finito en el sentido de que hay categoras lgicas sintticas que no tienen negacin y que, por tanto, no pueden ser sinte- tizadas. La inclusin de un nmero infinito de letras predica- ticas sintetizadoras no ofrecera, desde luego, problemas. Ade- ms, puesto que todo clculo de predicados conduce a algn tipo de teora formal de nmeros, se introduce un sistema numrico "dialctico" como una extensin de la formaliza- cin propuesta. Lgica dialctica 9 2. Reglas de formacin para un dl czdo dialctico de pre- dicctdos Consideraremos un clculo de predicados que incluya: a) Variables individuales : xl, x2 . . . b) Constantes individuales : R1, R2 . . . C) Letras de funciones: fll, f$ . . . f', . . . d) Constantes predicativas : Al1, Al2 . . ., S2, S . . . S,, . . . 9 A31, A=, . . . e) Variables predicativas : A',, Bij . . . f) Conectivas proposicionales : m, LI . g) Cuantificadores : 8, 3. h) Parntesis y comas. Reglas de formacin (1) Las variables individuales son trminos. (2) Si f', es una letra de funcin y t,, t2 . .. ti son trmi- nos, entonces f', (tl, t2 ... ti) es un trmino. (3) Si t es un trmino y Ri es una constante individual, entonces t s R, es una frmula atmica. (4) Si A', es una constante predicativa o una variable predicativa, cuyos argumentos son trminos exclusivamente, y tl, t2 ... ti son trminos, entonces A', (tl, t2 ... ti) es una frmula atmica. ( 5 ) Toda frmula atmica es una frmula bien formada ( 4 . (6) Si t,, t2 son trminos, y R, es una constante indivi- dual, entonces S2 (tl E Ri, t2 E R,) es una wf. Abreviada- mente, S (tl, t2, R,). (7) Si Pj es una wf que contiene slo letras predicativas E, S2, ..., Sj ( j < k), entonces Sj+l (P,, - P'j) es una wf, donde el apstrofo de P', indica que los trminos y, en par- ticular, las variables individuales en P', son diferentes de las letras de P,, aunque Pj y P', tengan las mismas constantes individuales, Sj +l (P,, P'j) se representar abreviadamente por Sj + 1 (Pj). 10 Lgica dialctica (8) Si Q1, .. ., Tr, son i wfs o trminos de tipos a,, a, .. ., a,, respectivamente, y A', es una constante predicativa o una variable predicativa del tipo- (a,, a, ..., a), entonces, Aij (Q', Tr,) es una wf (para definicin de tipo, ver [5], pgs. 152-153). (9) Si A y B son wfs y x es una variable individual, en- tonces - A, A 3 B, y ( ti x) A son wfs. (10) Si A es una wf y Aij es una variable predicativa, entonces (VA' ,) A es una wf. (1 1) Estas son todas las reglas de formacin. Las wfs pueden ser abreviadas como sigue: S3 (S2), que est en vez de S3 (S2 (x, y, R,), - Si (z, w, RJ). Recursivamente, Si + (S,) est en vez de Sj + 1 (Sj (. . . (S2 (x, y, R,)) . . .)) - Sj (. . . ( S (z, w, R,)) . . .))), una expresin con N(j) variables individuales diferentes, incluidas x, y, z, w - N (, + l) = 2 N (,) con N (2) = 2. Las wfs que contie- nen otras letras predicativas pueden ser escritas usando las abreviaturas precedentes, como sigue : A4, (Aly, (S2 (tl, t2, R,), ( y A:) Alj (xl ..., xi), f21 (xI, x x) , donde si i designa el tipo de una variable o constante individual, entonces S es igualmente una constante predicativa de segundo grado del tipo al = ((i, i), (i, i)), y A4m es una variable predicativa de cuarto grado del tipo a, = ((((i, i), (i, i))), (i . . ., i), i, i). 3. Interpretacin y sintaxis Tomemos un conjunto numrico S como dominio de in- terpretacin de las variables individuales, con la constante R1 asociada con un subconjunto de S. La wf S (xl, x2, R1) puede entonces ser satisfecha por algunos pares de nmeros y no por otros. Cuando S es un conjunto numrico, cualquier par (xl, x2) que satisfaga S2 (xl, x2, RL) ser un numero dialctico relativo a R. Por ejemplo, si S = ( 0, 1, i } y R1 = ( 0, 1 }, entonces los nicos nmeros dialcticos son (0, i) y (1, i). Obviamente, R1 debe ser asociado con un subconjunto propio no vaco del dominio numrico de la interpretacin para que la coleccin de nmeros dialcticos no sea vaca. Si wfs tienen ocurrencias de E, S,, . .., S*, stas no pueden ser lgicamente Lgica dialctica 11 vlidas con respecto a dominios arbitrarios de interpretacin (siendo definida la validez lgica con respecto a individuos, no con respecto a los predicados : [ver 5, pg. ,1291, y [2, p- ginas 308-3091). Estas wfs son, a lo sumo, satisfacibles. Los predicados sintetizadores SI, ..., Sk juegan un papel similar al de e. Estos, adems, son predicados binarios, y si S2 es satisfacible por pares de individuos (una vez que la inter- pretacin de Rl ha sido fijada), entonces S, es satisfacible, por lo que podemos llamar "nmeros dialcticos de N(j) com- ponentes", siendo los componentes que estn en lugares impa- res miembros de R1, y los componentes que estn en lugares pares, nmeros del complemento de Rl relativo a S. Supon- gamos que Rl es un campo numrico; por ejemplo, el campo de los nmeros reales R. Supongamos tambin que el comple- mento de Rl relativo a S es un campo numrico disjunto con respecto a R1; por ejemplo, el campo R1 (el conjunto de los nmeros puros imaginarios), usando las leyes aritmticas a i + + b i = (a + b) i, y a i - b i = (a b) i. (R U Rl es el domi- nio de interpretacin.) Entonces, omitiendo parntesis, los n- meros dialcticos toman las formas: Definiendo la aritmtica para nmeros dialcticos, Y (al, a2 i) (bl, b2 i) = ((al bl), (a2 . b2) i), y, generalizando luego, cada coleccin de nmeros dialcticos de orden N(j) constituye un anillo conmutativo con iden- tidad. Como ejercicio interesante, analcense diferentes pro- piedades algebraicas, que pueden ser obtenidas para nmeros dialcticos definiendo su suma y multiplicacin de diferentes maneras. Dado un par de campos numricos disjuntos FI y F2, cuya unin constituye el dominio de interpretacin, las colecciones de nmeros dialcticos pueden ser traducidas a lgebras li- neales apropiadas sobre Fl o F1. 12 Lgica dialctica La caracterstica esencial de los nmeros dialcticos, si los comparamos a nmeros coniplej os e hipercomplej os, es que los componentes en lugares pares no estn bajo el mismo conjunto, sino bajo conjuntos complementarios. Si la dialc- tica pretende realizar una "sntesis de contrarios sin borrar sus diferencias7', es claro que los nmeros complejos no son dialcticos en este sentido, puesto que borran diferencias al obtener componentes del mismo conjunto (unidades imagi- narias con slo marcar el orden de los componentes en no- taciones semejantes a al + az i + . . . + a, + 1 id. Tambin la sintaxis del clculo de predicados dialcticos y lo que podemos llamar "teora formal de nmeros dialc- ticos" requieren el establecimiento de distintos grupos de postulados -axiomas, esquemas de axiomas, reglas de infe- rencia. El primer grupo es para el clculo de predicados puro de orden w [ver, por ejemplo, 51. El segundo grupo sera para un clculo de predicados aplicado que incluya las constantes predicativas E, S2, . .., Sk. Pero aqu hay demasiadas aplicaciones existentes de la dialc- tica que estn muy lejos de ser convergentes. El propio Hegel evita la introduccin de cambios bsicos hasta que el proceso dialctico ha alcanzado sus ms altas sntesis [3, 4, 71. Por esta razn, la formacin del segundo grupo de postula- dos debe esperar la terminacin de un estudio de definiciones y usos de la dialctica desde el punto de vista de la lgica matemtica ( y hay ciertamente una extensa y compleja li- teratura que revisar). Finalmente, un tercer grupo establecera la aritmtica for- mal de la teora dialctica de nmeros. El establecimiento de este grupo final dependera de los axiomas elegidos para el segundo grupo, ya que las posibilidades algebraicas de una teora formal de nmeros dependen del clculo de predica- dos, que forma el ncleo de tal teora. University of Pittsburgh. Pittsburgh, Pennsylvania. Lgica dialctica REFERENCIAS BIBLIOGRFICAS [ l ] ASENJO, F. C.: "A Calculus of Antinomies", Not re Dame Journal o f Formal Logic, vol. VI (1965). [2] CHURCH, Alonzo : Introduction t o Mathenzatical Logic. Princeton University Press. Princeton, 1956. [3] HEGEL, G. W. F.: Enzyklopadie der philosochischen Wissenschaf- ten. F. Meiner. Leipzig, 1930. 141 - : Science of Logic. Trad. W. H. Johnston and L. G. Stru- thers. Macmillan. New York, 1961. (Versin espaola, Ciencia de la Lgica, trad. R. y M. Mondolfo, Soler-Hachette, Buenos Aires, 1968.) [5] HILBERT, D., y ACKERMANN, W.: Principies of rMathematical Logic. Ed. R. E. Luce. Chelsea. New York, 1950. (Versin espaola, Principios de Lgica Matemtica, trad. V. Snchez de Zavala. Tec- nos, Madrid, 1966.) [6] MCTAGGART, John: A Commentnry on Hegel's Logic. Russell and Russell. New York, 1964. 171 --- : Studies i n the Hegelian Dialectic. Russell and Russell. New York, 1964. [8] SUZUKI, Daisetz Teitaro: Manual of Zen Buddhism. Rider. Lon- don, 1957.