. - _.

- - - -- -

LGICA Y DIALCTICA

J ulin Velarde L.
Universidad de Oviedo

SI BIEN EL TRMINO"lgica formal" est relativamente bien

definido en nuestros habituales sistemas de coordenadas, no
ocurre as con el trmino "dialctica".
El primero de ellos goza de un consensus ms o menos
general: Prcticamente lo que Kant designaba con la expre-
sin "Lgica general" 1 y que, segn su opinin, no haba
dado un paso desde Aristteles y que ya estaba cerrada en
lo esencial. Pero el formalismo lgico haba encontrado ya
caminos inesperados con Leibniz y Lambert, que despus
cristalizaron en las obras de Boole, Schr6der, Peano, etc. A
estos desarrollos algebraicos de la lgica se les llama "Lgica
formal"; actualmente se conocen tambin con los nombres
de Logstica, Lgica simblica, Lgica matemtica e incluso
Lgica moderna.
Resumiendo: Un clculo formal es un sistema lingstico
que consta de:
-Un conjunto de smbolos elementales.
-Una serie de reglas de formacin para la combinacin
de esos smbolos elementales.
-Un conjunto de reglas de transformacin para pasar de
una combinacin de smbolos a otra.
Su caracterstica estriba en la desconexin semntica de
los smbolos; no tiene en cuenta las significaciones o apli-
caciones que de l se puedan sacar.

1 Crtica de la Razn Pw"a, Ed. Losada, T. 1, pp. 201 Y ss.

177

-- - - -- -------
 178 Lgica y Dialctica
Las condiciones que debe cumplir son:
-Consistencia: que no se pueda demostrar en l una
contradiccin, es decir, una afirmacin y su negacin.
-Completud: que se pueda demostrar en l todos los
teoremas construidos con sus smbolos.
-Decibilidad: que se pueda determinar en' una serie
finita de pasos si una frmula, un enunciado, ete., pertenece
a ese clculo.

* * *

"DIALECTICA" tiene muchas ocepciones, pero tomada

en el sentido ms fuerte, debe incluir de algn modo la
CONTRADICCIN.
En este sentido, DIALCTICA y LGICA FORMAL
parecen seguir caminos opuestos. En efecto, la dialctica
sera el reino de la contradiccin, mientras que la lgica
formal sera el reino de la no-contradiccin.
Segn sto, la solucin ms corriente, expuesta en mu-
chos tratados, consiste en establecer la siguiente dicotoma:
-Hay una lgica sin contradiccin que es la lgica
formal.
-Hay otra lgica con contradiccin que es la dialctica.
Pero, a su vez, este dualismo no puede ser sostenido por
ninguno de ambos bandos. Desde la lgica formal, la lgica
con contradicciones es un sinsentido, algo as como nieve
frita. 2
Desde la lgica dialctica, la lgica debe reconocer las
contradicciones reales, y la lgica sin contradicciones sera
un enmascaramiento de la realidad, una ideologa.

2 ". ..Conciliar, al nivel de la lgit:a formal, la razn analtka

con la razn dialctica, es cosa ms difcil que aparear grifos con
caballos. Pues la opcin por uno de esos dos extremos carece de
trmino medio: o se es analtico o se es dialctico." M. Garrido,
Teorema, 1971, n.O 1, pp. 66-67.

-- - -- --
-- - - - -- -
 Lgica y Dialctica 179

TEORAS SOBRE LA DIALCTICA

El planteamiento de estos dualismos nos servir de gua

para el anlisis de las distintas teoras sobre la dialctica.
Si tomamo la distincin material-fl)rmal y subjetivo-objetivo
y las combinamos entre s, obtendremos cuatro modos de
entender la dialctica.3
Tipo 1: Teoras que se mueven en el plano subjetivo-
formal. Aqu la dialctica tiene que ver con los pensamientos,
pero puede formalizarse. Estos tericos suelen dedicarse al
examen de algn autor (Hegel). As Gnther, DubarIe,
Asenjo.
Tipo 11: Se refiere a procesos subjetivos pero materiales.
Recurs'os a la Psicologa: Gonseth, Piaget.
Tipo In: Concepcin de la dialctica con un carcter
objetivo y formal. Se presenta la dialctica con un forma-
lismo y objetividad matemtica, como una serie de aconte-
cimientos de la ontologa: Gorren.
Tipo IV: Concepcin objetivo-material. Se concibe la
dialctica como las leyes generales del movimiento: El
Diamat, Tradicin de Engels, Gortari.
A la vista de esto,
1.0 Someteremos a examen las teoras sobre la dialctica
relacionadas con la lgica formal. En nuestra clasificacin,
los tipos que incluyen el trmino "formal" (teoras tipo I
y 111). Podramos englobar a todas ellas bajo la rubrica:
"formalizacin de la dialctica" o estudio de la dialctica
desde la base de la lgica formal moderna.
2. El paso siguiente consistir en someter a examen
esa dualidad misma, Lgica formal-Dialctica, y mostrar la
falada de dicha dicotoma.

3 G. Bueno, Ensayos materialistas, Ed. Taurus, 1972, p. 378,

nota 148.
180 Lgica y Dialctica

FORMALIZACIN DE LA DIALCTICA

Por "formalizacin de la dialctica" entendemos aqu el

intento de tratar la Dialctica en trminos de la Lgica
formal moderna o Lgica Matemtica. Se tratara de buscar
para la Dialctica un sistema formal, tal como lo hemos
expuesto al principio, con un conjunto de smbolos, unas
reglas de formacin y unas reglas de transformacin.
Para su estudio, dividimos tales intentos en dos apar-
tados :
1.0 Los trabajos llevados a cabo, en este sentido, sobre
la "dialctica de Hegel". No cabe duda de que en la historia
de la Dialctica el punto culminan te es Hegel. No es extrao
tampoco que los primero~ intentos de formalizar la Dialc-
tica estn centrados en las obras de dicho autor.
2. Trabajos que van en el mismo sentido, pero no cen-
trados precisamente en la dialctica hegeliana, sino en el
"proceso dialctico" o en la "teora analtica de la dialctica"
en general.

FORMALIZACIN DE LA DIALCTICA DE HEGEL

La formalizacin de la lgica hegeliana ha sido objeto

de estudios recientes, de inspiracin e importancia diversas.
Se intenta formalizar la dialctica hegeliana de manera an-
loga a la lgica clsica. En general, la idea suyacente con-
siste en partir del supuesto de que la Lgica formal, por
serIo, no es dialctica y, por tanto, que es precisa una
formalizacin de la Lgica dialctica. El intento de forma-
lizacin encuentra la primera objecin en H~gel mismo. El
ataque que Hegel lleva a cabo contra la lgica clsica, ha
paralizado la investigacin de la obra de Hegel bajo. este
punto de vista. "Pero no cabe duda de que un anlisis del
contenido lgico-formal de la lgica dialctica trascendental,

--
 Lgica y Dialctica 181

har que una obra tan oscura como la Fenomenologa,

ofrezca mucha menor dificultad." 4
La primera pregunta que se plantean estos lgicos es si
la lgica de Hegel es susceptible de formalizacin. Para la
existencia de un mundo lgico es necesario un mnimo de
dos valores, pues un sistema monovalente es una ontologa,
pero no una lgica. Entonces, la pregunta es: "Se deja
revelar (en el pensamiento de Hegel) una estructura formal
lgica que puede ser provista d~ valores, que' sin embargo
no es idntica con ellos?": Gnter responde afirmativamen-
te, s y es el primero que intenta traducir a estructura formal
dicha lgica.
Mediante un "morfograma" en el que los smbolos * y
O suplen a los valores de verdad, obtenemos una tabla de
ocho columnas que sustituye la clsica de diecisis colum-
nas de las funciones didicas. As la tabla morfogramtica
muestra la "coinciden tia oppositorum" de las correspondien-
tes oposiciones en la tabla clsica. 6
Resulta as una mayor abstraccin, pero slo en cuanto
que la tabla morfogramtica de ocho columnas representa
la clsica en un metalenguaje aritmtico. La tabla morfo-
gramtica exgie quince columnas para ser completa. natural-
mente en una abstraccin aritmtica, pero si utilizamos
valores debe limitarse a ocho.
Kosok 7 sigue la idea de que la Lgica dialctica debe
constituirse como la lgica de la contradiccin. A este res-
pecto, invoca lo que l llama el principio de No-Identidad
y una operacin de Reflexin.
Para Kosok, la Lgica dialctica es la lgica del cambio
que, por consiguiente, incluye el tiempo:
La lgica dialctica es un tipo de lgica "tempo-
ral"... (p. 605). Es asimtrica segn lo es el proceso del
tiempo (p. 607).

4 Gnther, Das Problem einer Formalisierung der transzenden-

tal-dialektischen Logik, Hegel-Studien, 1964, p. 66.
s Ibdem, p. 90.
6 Ibdem, p. 92.
7 Kosok, The {ormalisation o{ Hegel's Dialectical Logic, Inter-
national Philosophical QuarterIy, n.o 4, 1966, pp. 596-631.

- --
 182 Lgica y Dialctica
mientras que:

La lgica no-dialctica es a-temporal y corresponde

a una vista del universo como esencialmente determi-
nado y dado en el espacio, y meramente en necesidad
de descripcin" (p. 607).

Para una lgica de tal ndole, el principio de identidad

resulta un principio metafsico, porque la actividad de la
reflexin sobre una afirmacin inicial "cambia la naturaleza
de la afirmacin presente". De ah que se vea obligado a
acudir a un principio de No-Identidad:

El principio de No-Identidad sostiene que las enti-

dades aparecen como eventos dentro de un campo de
conciencia y no son bsicamente indeterminadas ni
no-determinadas, sino ms bien se hallan en un proceso
de siendo determinadas (p. 610).

Este principio de No-Identidad acta como frmula re-

cursiva que produce, por medio de la Reflexin (R), una
secuencia de trminos que se autoexpansionan. La estruc-
tura formal que se desarrolla adopta la forma de una matriz
de trminos.
El proceso de reflexin, R, es una operacin que trans-
forma e en e': (R)e = e'. Y la reflexin de e en e' producir
tres trminos para el primer nivel, 9 para el segundo, 21
para el tercero, etc.., segn la expansin de potencia 3n,
donde n subsiste para las sucesivas reflexiones. La frmula
recursiva fundamental es:

Una reflexin de segundo nivel (n = 2) se repr-esenta d-e

la forma siguiente: 9

8 Ibdem, p. 597.
9 Ibdem, p. 603.

. ..
- --- --- ----
 Lgica y Dialctica 183

e: (R)e = (+ e -7-e : + -e) = e': (R)e'.=

,
+ (+ e -7-e: + -e)
t
-(+ e-7-e: + -e)
= e"
1 trm. 3 trm. + -(+ e -7-e: + -e) 9 trm.
n = O n = 1 n=3

La implicacin mutua que resulta de (e) ~-7 (-e) se

denomina el principio de No-Identidad.
Este intento de Kosok nos parece errado, ya que su
punto de partida es: buscar un principio de No-Identidad,
como principio generador de su lgica dialctica.
De momento, habra que replicarle que, segn esto, l
no debera usar la identidad en la formalizacin, en su
"matriz de expansin". Y, segundo, cmo quiere formalizar
la lgica de Hegel como una lgica "temporal", siendo as
que la lgica es

La representacin de Dios, tal como est en su ser

eterno, antes de la creacin de la naturaleza y de su
espritu finito. 10 ?

Kosok se atiene casi exclusivamente a la Fenomenologa,

que describe la conciencia como movimiento e historia,
como devenir de-s de lo Absoluto. En modo alguno abarca
la lgica de Hegel, sino que ms bien permanece en la "dia-
lctica negativa". Ciertamente, Hegel favoreci, en parte,
esta concepcin de la "dialctica negativa", la dialctica de
de la negacin como elemento exgeno. Pero Hegel se acoge
muchas veces a la "dialctica positiva" incluyendo en su
Ciencia de la Lgica y en la Fenomenologa abundantes an-
lisis de esquemas ontolgicos de identidad.
Es precisamene esta lgica "temporal" la que no resulta
dialctica, y menos lgica. Si "todo cambia", el mismo
Kosok debera renunciar incluso a escribir, porque al llegar

10 Hegel, Ciencia de la Lgica, Ed. Solar-Hachette. Buenos Aires,

1968, p. 50.

- -- -- - -
 184 Lgica y Dialctica
al lector las letras y figuras, quiz hayan tomado la forma
de ecuaciones y planos. El teorema de Pitgoras lo mismo
es en China que en Francia, e igualmente en el siglo 1 que
en el siglo xx. Las relaciones lgicas son atpicas y acr-
nlcas.
Sin duda, todo lo que es real se mueve, cambia; pero
si lo que cambia no est enmarcado en los esquemas onto-
lgicos de la sustancia y de la esencia (condicin misma de
estas realidades), el mundo se disolvera y con l nuestra
conciencia. 11

No entendemos una lgica dialctica que no tenga como

objeto las relaciones consideradas segn sus propiedades
formales. Lo que importa en un formalismo lgico son las
reglas de construccin y derivacin. De nada sirve que "R"
signifique "reflexin" tal que (R)e = e' si esta operacin
queda indeterminada y no se comporta como un operador
lgico.
Por eso el esfuerzo de Kosok, ms que una formalizacin
de la lgica dialctica, representa un esquema o ideogra-
ma de ciertos pensamientos dialcticos. No extraa, entonces,
que la parte de formalizacin sea mnima y sea una inter-
pretacin metalgica, lo que constituye la mayor parte de
su artculo.
Yvon Gauthier 12 que comenta los estudios de Gnther,
Asenjo 13 y Kosok afirma: "Es necesario concluir que, de
nuevo, el fin propuesto no se ha conseguido. No existe an
una formalizadn efectiva de la lgica hegeliana". 14
Si los intentos anteriores le parecen insatisfactorios, el
suyo no ha adelantado un pice el asunto. Su exposicin
mantiene el inters que puede ten~r un esquema en una
pizarra para una explicacin. Dicho esquema pu~de estar

11 G. Bueno, Proyecto de una lgica de las ciencias humanas,

indito.
12 Y. Gauthier, Logique hglienne et formalisation, Dialogue VI,
1967, pp. 151-165.
13 Asenjo, Dialectic Logic, Logique et Analyse, n.O 4, 1965,
pp. 321-326. Trad. en Teorema, 1, marzo 1971, pp. 7-12. Asenjo se
propone ofrecer una frmula bien formada que contenga a la vez
la oposicin dialctica C,J y el "Aufhebung" dialctko.
14 Gauthier, arto cit. p. 160.
 Lgica y Dial<:tica 185

lOl)lnpuesto de flechas, de llaves, de circunferencias, u otr.Qs

"ll1bolos cualesquiera, en este caso de las letras N, K, W,
l'll'~teta. Luego, a una interpretacin dada se le llama dia-
kL'lca. Pero lo que importa son las reglas de construccin
\ derivacin, mientras que Gauthier llega a decir:

Las reglas de derivacin no poseen as ms que un

papel secundario (art. cit., p. 164).

Por eso Dubarle es ms cauto al exponer esta misma

idea. hablando de una "arquitectura quasi-matemtica". 15
Tambin habla de tradas, de esferas y de un crculo de
drculos, intentando llegar a un concepto matemtico que
l'l )/Tcsponda a las relaciones existentes entre las esferas del
l'( HlccptO,etso es, un anillo producto de dos anillos boolea-
I1ns simples B ~O,J~. Pero "esta organizacin conceptual no
l'S an un formalismo".
No obstante, Dubarle pasa luego a una "presentacin
l'lL'mental del formalismo lgico-matemtico derivado del
sistema hegeliano".16
Su estrategia consiste en lo siguiente: considerar la es-
trllctura elemental de la esfera conceptual de Hegel como
lIna estructura referida a un conjunto de cuatro trminos
( 1\. V, U, P) en vez de tres. Este cuarto trmino es el
t~rmino lgica y funcionalmente vaCo. En vez de una es-
tructura algebraica booleana, que tiene por base un conjunto
dc 211elementos, nos encontramos ahora con otra que tiene
por base un conjunto de 4n elementos; podramos llamar a
l'sta ltima lgebra, ultraboolena, con relacin a la primera,
simplemente booleana.
La figuracin de transiciones dialcticas hegelianas queda
l' xpresada as: 17

15 Dubarle y Doz, Logique et dialectique, Ed. Larousse. Paris,

1972, p. 122. Dubarle ampla en este libro su artculo, "Sur une
formalisation de la logique hglienne", Epistmologie sociologique
(Centre d'tudes Sociologiques, Paris), n.O 7, 1969, pp. 48-58.
16 Dubarle y Doz, Logique et dialectique, p. 148.
17 Ibdem, pp. 155-157.

---
 186 Lgica y Dialctica
U = universalidad
4 trminos P = particularidad
S = singularidad
1\ = complemento booleano de S

El particular (P), por otra parte, es declarado "13,nega-

cin" del universal (U). Tenemos, as. dos parse de trminos
complementarios: S y A; U Y P:

La primera transicin dialctica sera el paso del uni-

versal al particular con la emergencia, al mismo tiempo, del
polo de la negatividad absoluta:
U -7 (A. P)

y se puede representar de la manera siguiente:

1\ s

-- -
 Lgica y Dialctica 187

Matemticamente se debera representar por una pareja

de operadores funcionales:

siendo: aU = /\ Y f3U = P. El operador f3 se puede identi-

ficar con el operador booleano clsico de complementacin.
El operador a se identifica con el de "deposicin" \7
La segunda transicin dialctica es: (/\, P) ~ S, efec-
tuando
, la sntesis del par disociado (/\, P) Y se puede figurar
as! :

1\ s

Matemticamente se notar:

(/\, P) ~

siendo )' /\ = S;el operador )' se identifica con la operacin

booleana de la complementacin. El operador D, tal que
DP = (\7 P')' = P UV = S, se identifica con el de "relevo".
La operacin "deposicin" y "relevo" corresponde al
"Aufhehung) germnico. De modo que el ritmo de un tr-
mino dado A, sera el siguiente:

- - - - - - - - - - - - -
 188 Lgica y Dialctica

AA lo El Universal en el crculo de A

H. El Particular 111. El Singular

en su escisin A en el drculo de A
en el crculo A

Ante la exposicin de Dubarle, haremos las siguientes

precisiones:
Dubarle no sale nunca de los lmites del lgebra booleana
clsica, como l cree. 18 Las operaciones de "relevo" y de
"deposicin", que considera ultrabooleanas, son posibles gra-
cias a la definicin que de ellas ha dado previamente, consi-
derando implcitamente a los cuatro trminos no distintos,
~omo dice, sino equivalente dos a dos. Es decir, implcita-
mente identifica U y S con V por una parte, y 1\ con P
por otra.
Tomemos la segunda transicin. En ella, la primera ope-
racin es y 1\ = S Y (y) "se identifica con la operacin boo-
leana de la complementacin".
S es equivalente a V, puesto que el complemento de
1\ es V:

y = complementacin
y (1\) = S
e (1\) = V
S=V
Examinemoslos operadores 6 y \l. Segn Dubarle: 19

18 Ibdem, p. 159.
19 Ibdem, p. 153.

- - - -
 Lgica y Dialctica 189

a) t::.A U \l A = A
b) t::.A n \l A = 1\

Sustituyamos A = U

1) t::.UU \lU=U
2) t::.U n \l U = /\

Ahora bien.

3) (t::.U n \l U)' = /\' = V

4) (t::.U)' U (\l U)' = V
5) \l U U t::. U = V
6) t::. U U \l U = V = U (segn 1)
7) U=V

y por tanto:
P= U'
P=V'
P = \

La estrategia de Dubarle estriba en definir un operador

(t::.)sobre un trmino (A) en funcin de otro trmino (U).
y dice. por una parte. que U es una constante 20 en funcin
de la cual se define la operacin (t::.).Por otra. considera a
U como un trmino sobre el que se lleva a cabo la operocin
(t::.). 21

FORMALIZACIN DE LA DIALCTICA EN GENERAL

Nos hemos dedicado en el apartado anterior a examinar

los intentos de formalizar la lgica de He2el. Otro carnjno
a seguir es considerar a la Dialctica no como la lgica de
Hegel, sino de otro modo: "Hegel construye la dialctica

20 Ibdem, p. 163.
21 Ibdem, p. 156.
 190 Lgica y Dialctica
de las ideas en el lenguaje... La dialctica de los hechos es,
en Marx, un enderezamiento de la dialctica de las ideas". 22
Ahora la Dialctica es aplicada a los hechos (Gorren),
o considerada como "la lgica del cambio y del desarrollo". 23
Estamos ante la consideracin de la Dialctica como obje-
tivo-formal (teoras tipo 111).Pero tienen en comn con las
anteriores la creencia en un clculo dialctico distinto del
tradicional y que le sobrepasa. Aqu la formalizacin de la
Dialctica cae en un i"epresentacionismo semntico, pero en_
ningn momento'se salen de la lgica tradicional como pre-
tenden. Las relaciones establecidas no son ms dialcticas
que las del cuadrado lgico. Veamos una de las contradic-
ciones de "hechos" expuesta por Gorren:
"Si A es el contrario de B, la conjuncin AB implica
una contradiccin, porque
A < sB -7 AB < BsB24

Esto queda con el mismo valor que:

(A -7 -B) -7 A & B) -7 (B & -B)) en lgica

clsica.

Puede seguirse con las dems oposiciones que Gorren ex-

plicita. Quiz el reproche de Gorren consistira en que hemos
cado en la trampa de la lgica clsica, "que confunde, como
en el sistema de Boole, la negacin y la ausencia". Pero no
vemos que l salga del lgebra de Boole cuando define la
ausencia; "A sin B" (AsB):

1) A = B + AsB

22 Gorren, "Thorie analytique de la dialectique", Epistmologie

Sociologique (Centre d'tudes Sociologiques, Paris), n.O 7, 1969,
p. 13.
23 B. V. Sesic, Logic o{ change, Bologna, 1972. Los principios
bsicos de dicha lgica ~segn el autor- concuerdan COILlos
expuestos por F. Spisani, "Principies of Productive Logic", Inter-
national Logic Review, nov., n.O 1, 1970.
24 Gorren, Art. cit., p. 32.

-- --- ----- -- --
- - --
 Lgica y Dialctica 191
Por tanto

2) AsB =A- AB

que quedara en lgebra de Boole:

1) A = (A & B) V (A & -B)

Y 2) (A & -B) = A - A & B

Igualmente, la "ley de accin y de reaccin", que es "fun-

damental y universal" en la dialctica racional:

A > B -7 NB > NA (Si una causa produce efecto,

la negacin del efecto produ-
ce la negacin de la causa.)2S

No hace falta ninguna perspicacia para darse cuenta de

que es simplemente la regla del M. Tollens:

(B -7 A) -7 (-A -7-B).

Basta esto para confirmar una vez ms la tesis de que

los intentos de "representar" formalmente la dialctica no
salen de la lgica formal tradicional. Seguimos presos de la
dicotoma Lgica formal - Lgica dialctica.
Esta dualidad entre lgica formal (analtica) y lgica dia-
lctica (material) se manifiesta claramente en torno al {:on-
cepto de verdad asociado a la lgica: verdad formal (anal-
tica), verdad material (real).
En esta perspectiva se mueve la distincin que G. Bacca 26
lleva a cabo entre Lgica formal y Lgica dialctica:

En L.D. (Lgica dialctica) el predominio corres-

ponde a lo real. Lo real es realmente indiferente res-
pecto de lo lgico (formal) (p. 155).

2S Ibdem, p. 35.
26 G. Bacca, "Lgica dialdica (L. D.) Y Lgica formal (L. F.)",
Dianoia, n.o.(), 1970, pp. 144-156.

------
 192 Lgica y Dialctica
Pero esta distincin entre verdad formal y verdad mate-
rial (real) es peligrosa. Desde una perspectiva formal (de la
verdad formal), parece que la verdad lgica slo puede ser
formal (en la argumentacin y deduccin); mientras que la
verdad material tendra un sentido emprico, pero no lgico.
En cambio, desde la perspectiva de una lgica material, la
verdad formal aparece como un caso particular de la verdad
material.
La solucin a toda esta cuestin ira en esta direccin:
negar la distincin entre verdad material y verdad formal.
No hay "verdades formales" y "materiales". La verdad debe
ser considerada como una relacin entre objetos establecida
por los sujetos. De esta forma, la verdad no est en el ob-
jeto: adecuacin de la cosa misma; ni en el sujeto: adecua-
cin de la conciencia consigo misma; ni en un mundo se-
parado: en el mundo de las ideas o en la mente de Dios.
Consideramos a la verdad como relacin y, adems, como
una relacin de identidad. Y a la falsedad como l~ nega-
cin de la identidad. En Lgica, dicha relacin se da entre
serie de signos que se intersectan entre s, tomando la verdad
y la falsedad como valores y las proposiciones como variables.
Finalizamos este apartado con el artculo de L. Apostel 27
-
sobre la relacin Dialctica Lgica formal.
La Dialctica implica contradiccin. Pero Apostel co-
mienza con la clsica dicotoma: contradiccin formal - con-
tradiccin maferial. "La contradiccin real se distingue de
la contradiccin lgica; es necesario saber si se puede des-
arrollar una teora de la primera sin que haya contradiccin
lgica" (p. 358).
La crtica a Apostel se encuentra desarrollada en G.
Bueno, Ensayos'materialistas, pp. 372-384.
La intencin de Apostel parece encaminada a rigorizar
esa concepcin tan clsica del Diamat: la teora dialctica
estar dedicada a las contradicciones en el plano material,
siendo absurdo que comporte contradicciones lgicas.

27 L. Apostel, "Logique et Dialectique", Encidopdie de la

Pliade, Ed. Gallimard, vol. 22, pp. 355-374.

- -- - - - - - -
- - - - --
 Lgica y Dialctica 193

Ahora bien, la contradiccin es una relacin lgica y si

queremos defender la contradiccin real, dos caminos tene-
mos abiertos:
O bien sostener que las leyes lgicas no son leyes del
pensamiento, sino de la naturaleza del ser, de manera que
la conciencia, cuando construye leyes lgicas, lo nico que
hace es "reflejar" esta otra logicidad objetiva de la que ella
misma es un producto. Caemos as en el panlogismo: la rea-
lidad como totalidad posee una estructura lgica.
O bien, si queremos evitar esta consecuencia (panlogis-
mo), apelar, como hace Apostel, a un isomorfismo. De ma-
nera que tendramos: plano de la lgica (L) y plano real (R).
Las contradicciones pertenecen al plano L, pero al ser R iso-
morfo con L se puede hablar de contradicciones en R =
contradicciones reales.
Pero para hablar de isomorfismo en sentido estricto, debe
1) Existir una correspondencia biunvoca entre L y R.
2) La correspondencia debe ser compatible con las leyes
de composicin (operadores) definidas sobre L y R. Esto
significa que si T es una ley de composicin en L, deber
existir en R una ley de composicin T', tal que, para a, b e L
ya', b' e R, con a' = f(a) y b' = f(b), se verifique:
f(a T b) = a' T' b'.
Esto quiere decir que, o bien hablamos de isomorfismo
en sentido figurado, o, si lo hacemos en sentido estricto,
habr que atribuir operadores al plano R, con lo que caemos
otra vez en el panlogismo.

DIALCTICA DE LA LGICA

Hasta aqu hemos intentado mostrar cmo los esfuerzos

en pro de una formalizacin de la Dialctica han resultado
vanos.
Cuando decimos que la Dialctica no es reducible a la
expresin en un lenguaje formalizado, podemos adoptar dos
posturas:
 194 Lgica y Dialctica
1) Afirmar que la Dialctica, o la Lgica dialctica, se
da entre los objetos, en la realidad (contradictoria), mientras
que la lgica formal estudia las formas del pensamiento, pri-
vadas de todo contenido y susceptibles de formalizacin.
2) Buscar la Dialctica en la misma Lgica formal, en
sus principios. .

Rechazaremos la primera interpretacin. Es muy fre-

cuente encontrar formulaciones de este tipo en el Diamat,
entendiendo el objeto de la Lgica formal como el estudio
de las "leyes del pensamiento" (lgica subjetiva) frente a la
lgica objetiva (dialctica) como estudio del desarrollo de
los objetos.
Exposiciones como la de Gortari 28 siguen distinguiendo
hoy da la Lgica formal, en la que "es posible estudiar aisla-
damente los elementos del pensamiento" (p. 26), de la Lgica
dialctica, "que expresa el contenido del conocimiento cien-
tfico y comunica ese contenido al pensamiento" (p. 27).
Tambin se inclina en esta direccin Havemann, 29 que
tanto acusa a los filsofos del Diamat y que pretende liberar
a la Dialctica de su dogmatismo, de su escolasticismo, y
lograr una Dialctica "cientfica". Pero no logra salir de este
esquema clsico: "La lgica dialctica es la lgica que se
encuentra en las cosas mismas, la lgica que slo podemos
descubrir en las cosas misma, y no en nuetra cabeza, sino
en la realidad" (p. 187). "La dialctica en nuestra conciencia
es el reflejo de la dialctica objetiva" (p. 231).
Enlaza esta postura con la tradicin engelsiana, e incluso
con el panlogismo de Hegel: pensar la lgica asociada a la
filosofa natural, anteriormente a la creacin del espritu in-
dependientemente de la conciencia humana. Se atribuye la
contradiccin al "ser" al margen de la conciencia y luego
se habla de "reflejo" en el plano de la conciencia, o se in-
tenta establecer un isomorfismo (Apostel) entre el plano de
la Conciencia y el plano del Ser.

28 Gortari, Introduccin a la lgica dialctica, F. C. E., Mxico.

1972.
29 Havemann, Dialctica sin dogma, Ariel, Edic. Zetein, Bar<:e-
lona, 1967.

- - -
 Lgica y Dialctica 195

Estamos as ante teoras del tipo IV de que hablbamos

al principio, y con ello ante los dualismos: Lgica formal //
Lgica dialctica; lgica subjetiva // lgica objetiva; lgica
formal l/lgica material; etc.
La segunda alternativa consiste en tratar a los trminos
de la dicotoma como pares de "conceptos conjugados" y su
conexin como un "esquema de conexin diamrica".30 Los
dualismos Lgica formal/lgica dialctica; lgica subjetiva/
lgica objetiva, etc., deben ser considerados como conceptos
conjugados. Ello nos cQnducir a descubrir la dialctica (con-
tradiccin) en la lgica (identidad).
Las relaciones lgicas son todas ellas determinaciones de
la relacin de identidad, o bien, la identidad, como relacin,
es el contenido mismo atribuido a la logicidad.
La Dialctica, en cambio, incluye ante todo contradiccin
y las relaciones de contradiccin se oponen precisamente a
las de identidad; de ah que muchos lgicos dialcticos creen
que una lgica dialctica debera organizarse al margen de
la identidad, como lgica de la contradiccin.
El esquema diamrico, por el contrario, sugiere la inter-
pretacin de la contradiccin como un tipo de conexin entre
esquemas mltiples de identidad. Segn esta tesis, la iden-
tidad es ella misma diversa, mltiple, es decir, las relaciones
lgicas de identidad se realizan segn esquemas diferentes.
Supuesta la multiplicidad de los esquemas de identidad
(Ah A2' A3, ... An),la contradiccin aparecer diamricamente
como una relacin que en determinadas condici()fles brota
.
30 G. Bueno, Proyecto de una lgica de las ciencias humanas:
Lecciones del curso 1972-73 en la facultad de Filosofa de Oviedo.
Concepto conjugado: aquellos pares de conceptos tales que los
trminos (A/B) de cada par soportan alternativamente (disyuntiva-
mente) el sistema completo de los esquemas de conexin metam-
rico y diamrico. El esquema de conexin diamrico entre los
trminos "A" Y "B" de un par de conceptos conjugados comienza
por "triturar" alguno de los trminos en partes homogneas (Al'
A2' A3' ... An)' de suerte que la conexin entre las partes "A" Y
"B" queda transformada en la conexin entre las partes de "A"
(~ta, a travs, y pepoc;, parte) y se realiza precisamente en los casos
en los cuales la conexin entre las partes Al' A2, A3, ... An tiene
lugar, precisamente mediante el trmino "B".

- -
196 Lgica y Dialctica
entre diferentes esquemas de identidad, al interpretar la opo-
sicin identidad/contradiccin como una oposicin de ideas
conjugadas.
As expuesto, la contradiccin no excluye, sino que preci-
samente incluye. la identidad. La contradiccin
~ tiene lugar
en el seno mismo de las identidades, no en la identidad de
los contrarios, sjno en la contradiccin entre identidades. 3~
Las distinciones identidad/contradiccin; formal/mate-
rial; analtico/sinttico, etc. son consideradas, desde estos
presupuestos, como esencialmente relacionales, porque cada
trmino de la dicotoma slo tiene sentido con relacin a su
"opuesto". As el anlisis slo tiene sentido respecto a sn-
tesis previas. Por ejemplo, la misma ley de No-contradiccin
es relacional respecto a la versin "lgica" o a la "onto-
lgica".32 Si es posible usar dicha ley aplicaga, bien a los
sistemas formales, bien al "mundo real" es en virtud de una
sntesis previa, que considera la ley de No-contradiccin
como una norma, una teora de evidencia. La dialecticidad
en este caso reside en el movimiento, en la relacin, en el
progresus-regresus entre el anlisis y la sntesis: la sntesis
rectifica los resultados del anlisis, y recprocamente.
Igualmente, la no-contradiccin formal-analtica es la
forma particular de una contradiccin material-dialctica.
Para ello es preciso dejar de ver la Lgica formal como
la expresin de la legalidad generalsima de la logicidad y
como puramente formal, neutral y, por consiguiente, carente
de materia. Si esto fuera as, nos estaramos refiriendo a la
lgica como "organon". Si los trminos lgicos fueran todos
sincategoremticos; se reducira a una manipulacin de sig-
nos y, por tanto, a la reduccin de la lgica a pura Sintaxis.
Pues bien, de lo que se trata es de negar la reduccin de
la lgica a pura Sintaxis (formalismo), aunque posea un gran
valor. No negamos que sea necesario, sino que sea suficiente.
Nuestra consideracin es que hay que incluir en la estructura
lgica los tres elementos (Sujeto, Objeto y Smbolo). As, las

31 G. Bueno, Ensayos materialistas, p. 384.

32 Ver H. W. Johnstone, "The Law o Non-Contradiction",
Logique et Analyse, n.O 9, 1960, pp. 3-10.

- -- - -
r

Lgica y Dialctica 197

leyes lgicas no se sacan de los objetos (empirismo), ni son
internas al sujeto (subjetivismo), ni meros nombres (nomi-
nalismo), sino que la logicidad se encuentra en las operacio-
nes, en la manipulacin de los objetos por los sujetos, y
reconociendo que hay entre ellos ciertas relaciones cons-
tantes.
En tendida as la lgica, la dialctica no puede construirse
al margen de la lgica formal. La tarea consistir, pues, no
en "formalizar la dialctica", sino en "dialectizar la lgica".

- - -- ----