Está en la página 1de 0

LOGICA DIALCTICA *

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.