Beruflich Dokumente
Kultur Dokumente
B)
((A
~B)
~A)) 1er. AXIOMA
A~A 2do. AXIOMA
~~A
A 3er. AXIOMA
A
0
(~A)
0
4to. AXIOMA
A
0
B
0
(A B)
0
5to. AXIOMA
A
0
B
0
(A v B)
0
6to. AXIOMA
A
0
B
0
(A
B)
0
7mo. AXIOMA
El primer axioma dice que si es una frmula bien portada (esto
es, cuya incompatibilidad con su propia negacin ~B sea demostrable),
entonces una frmula A que demostrablemente implique a B y ~B es
demostrablemente falsa (Da Costa y Lewin 2005: 195), este axioma
dice que el principio de reduccin al absurdo se puede aplicar siem-
pre que la oracin no sea contradictoria). Los axiomas 2 (tercio exclu-
so) y 3 (doble negacin) que son rechazados por la lgica intuicionista,
son admitidos por la lgica paraconsistente. Los ltimos cuatro axio-
mas aseguran que las frmulas compuestas mediante los conectores
verifuncionales sean tan bien portadas como sus respectivos com-
ponentes (Estos axiomas, en palabras de Da Costa y Lewin, dicen que
el buen comportamiento se extiende a las oraciones complejas).
Asimismo, para 1 n < defnimos
148 RAFAEL MORA RAMREZ
REFP. Pensamiento e Ideas, N 04, diciembre 2013
A
n
= A
oooo (n veces)
y
A
(n)
= A
o
A
oo
A
ooo
A
n
Adems, los clculos C
n
, 1 < n < , se obtienen reemplazando los
axiomas 1, 5, 6 y 7 por los siguientes que los incluyen de forma gene-
ralizada:
B
(n)
((A
B)
((A
~B)
~A)) Reemplaza al 1er axioma
A
(n)
B
(n)
(A
B)
(n)
(A
B)
(n)
(A
v B)
(n)
Reemplaza a los axiomas 5, 6 y 7
Tambin, est defnido por los siguientes 10 axiomas (donde to-
dos son parte de C
1
) y la regla Modus Ponens:
A
(B
A)
(A
B)
((A
(B
C))
(A
C))
A
(B
(A
B))
(A
B)
A
(A
B)
B
(A
C)
((B
C)
((AvB)
C))
A
(A v B)
B
(A v B)
~~A
A
A v ~A
A, (A
B) B
Finalmente, en los clculos C
n
, n< , se defne la negacin fuerte
~
*n
A = ~A A
(n)
(a)
Con respecto a esto, de acuerdo con Piscoya (2000: 247) para el
caso C
1
la frmula ~(A~A) es abreviada por A
o
y la negacin fuerte
es introducida a travs de la defnicin ~
*1
A = ~A A
0
. Asimismo,
una frmula de tipo A ~
*1
A trivializa al sistema C
1
. Adems,
usando la equivalencia (a) y generalizando podemos decir que cada
frmula del tipo A ~
*n
A trivializa C
n
. Y se dice que un sistema S
es fnitamente trivializable cuando existe una frmula F que aadin-
REFP. Pensamiento e Ideas, N 04, diciembre 2013
149
La lgica hegeliana desde la lgica paraconsistente
dola como axioma trivializa S. En este sentido puede demostrarse que
los clculos C
n
son fnitamente trivializables. Asimismo, una conse-
cuencia inmediata de lo anterior es que los clculos C
n
ms dbiles son
menos trivializables que los ms fuertes. Esto es visible a partir del
hecho de que A ~
*n
A trivializa C
n
pero no C
n+1
. Resumiendo po-
demos expresar esto ltimo en dos teoremas que fguran en da Costa
y Lewin (2005: 196):
- Los sistemas C
n
, 1n , son no triviales. Los C
n
, 1n< son fnita-
mente trivializables, pero C
no lo es.
- Los axiomas de C
n
, 1n<, son independientes. Cada sistema es es-
trictamente ms fuerte que los que lo siguen.
4. Puede la lgica paraconsistente expresar la lgica dialc-
tica?
Hay una vieja polmica alrededor del controvertido tema de la
lgica de Hegel. La pregunta tpica es: Es lgica eso que Hegel pro-
puso?. Las opiniones ms conservadoras insisten en tildar de pura
patraa a la lgica hegeliana no solo por su aceptacin de la contra-
diccin sino por su orientacin metafsica idealista. Incluso la dialcti-
ca marxista que se dirige hacia lo material no logra ser aceptada como
lgica propiamente dicha por su orientacin materialista, ya que la
lgica, propiamente dicha, no se refere al mundo ni a ninguna rea-
lidad, sino ms bien se trata de puro razonamiento deductivo (en su
manifestacin ms inmediata) que partiendo de premisas busca llegar
a determinadas conclusiones. En sta lnea va la siguiente cita:
() Se sabe que para ciertos cultores de la dialctica (como
el caso de Hegel, segn algunos de sus intrpretes), esa disci-
plina encierra contradicciones. Por eso, autores como Popper
argumentan que la dialctica es lgicamente imposible: en
efecto, la lgica clsica no puede ser la lgica subyacente a la
dialctica, pues si eso ocurriese, sera trivial; luego, como en la
poca en que Popper estudi los fundamentos de la dialctica
no se conoca la lgica paraconsistente (algunos pensaban in-
cluso que tal lgica no podra existir, como el mismo Popper),
esto probaba lgicamente la imposibilidad de la dialctica.
Ahora bien, la lgica paraconsistente por s sola, no la justifca
150 RAFAEL MORA RAMREZ
REFP. Pensamiento e Ideas, N 04, diciembre 2013
pero evidencia que las crticas a su estructura lgica, como las
sealadas, son infundadas. La lgica de la dialctica, en confor-
midad con algunas de sus interpretaciones, tiene que ser para-
consistente () (da Costa y Lewin 2005: 186).
En la parte fnal de la referencia anterior se nota algo interesante.
La dialctica hegeliana puede encontrar una cierta estructura lgica
que la haga susceptible de constituir un sistema formal con sus reglas,
equivalencias y principios. En este sentido la lgica paraconsistente
sera una buena candidata para erigir los cimientos de la lgica dialc-
tica, a decir de Palau: () lo ms interesante de la lgica paraconsis-
tente radica en la posibilidad que ofrece de expresar las caractersticas
ms importantes de la dialctica hegeliana () [como] el principio
dialctico de la Unidad de los Opuestos (Palau 2002: 162).
Entonces, en principio es posible expresar las particularidades l-
gicas de la dialctica de Hegel. Esto se va a lograr construyendo un
sistema donde no se cumplan algunas leyes tradicionales haciendo
vlidas a otras leyes como el principio de la Unidad de los Opuestos.
Sigamos citando a la lgica mentada:
Segn da Costa y Wolf, si se quiere construir un sistema
paraconsistente que d cuenta del Principio de Unidad de los
Opuestos (), este debe contener las siguientes particularida-
des:
a) Poseer un tipo de negacin ms dbil que la negacin
clsica, designada por el signo , defnida solo por las leyes
de De Morgan, la cual recibir el nombre de negacin concreta
o dbil.
b) Poseer una constante, , llamada estabilizador, para refe-
rirse a aqullas frmulas que se comportan bien, es decir, que
se comportan de acuerdo a la lgica clsica, de tal forma que A
se interpreta como aceptando la ley clsica (A A), y
c) Defnir las conectivas proposicionales , , y mediante
matrices veritativo funcionales fnitas (Palau 2002: 164).
Newton Da Costa y Robert Wolf disean un sistema de lgica pro-
posicional paraconsistente, llamado Lgica Dialctica, desde el cual
se puede probar que es invlido el principio del tercero excluido y
adems que ciertas contradicciones se pueden admitir (lo que implica
que no se cumple el principio de no contradiccin).
REFP. Pensamiento e Ideas, N 04, diciembre 2013
151
La lgica hegeliana desde la lgica paraconsistente
A ~ A A v ~ A A ~ A ~ (A ~ A)
1 1 1 1 0
1 0 1 0 1
0 1 1 0 1
0 0 0 0 1
En la anterior tabla de verdad podemos verifcar que el tercio ex-
cluso no resulta una tautologa. Adems, la contradiccin puede ser
verdadera en al menos un caso. Asimismo, la no contradiccin resulta
siendo una frmula cuya matriz es contingente.
Otra equivalencia puesta en entredicho ser la de la doble nega-
cin: El rechazo de la doble negacin se hace obvio, ya que en el
proceso dialctico, la tesis A, deviene en su anttesis no-A y a su vez
sta deviene en la sntesis no-no-A, la cual no ser nunca equivalente
a A () (Palau 2002: 164). Tambin se podr probar la invalidez del
principio de Escoto Ex contradictione quodlibet (ECQ).
A ~ A ~~ A A n ~ ~A
1 1 1 1
1 1 0 0
1 0 1 1
1 0 0 0
0 1 1 0
0 1 0 1
0 0 1 0
0 0 0 1
La doble negacin, tan evidente en la lgica clsica, resulta invli-
da porque no es una tautologa. Lo mismo podemos decir del princi-
pio escotiano: no se cumple en todos los casos.
A B ~ A A ~ A (A ~ A )
B
1 1 1 1 1
1 1 0 0 1
0 1 1 0 1
0 1 0 0 1
1 0 1 1 0
1 0 0 0 1
0 0 1 0 1
0 0 0 0 1
152 RAFAEL MORA RAMREZ
REFP. Pensamiento e Ideas, N 04, diciembre 2013
Referencias bibliogrfcas
DA COSTA, Newton y RENATO Lewin. (1995). Lgica Paracon-
sistente, Lgica, Carlos E. Alchourrn (Ed.), Madrid: Trota, pp. 185-
204.
HEGEL, G. W. F. (1948). Ciencia de la lgica. Buenos Aires: Hachet-
te.
HEGEL, G. W. F. (1994). Fenomenologa del Espritu, 10ma. reimpre-
sin, Mxico: FCE.
MORALES ASCENCIO, Bernardo. (1999). Las lgicas no clsicas
y el estudio de la modalidad, Thesaurus, tomo LIV, N 3, pp. 1036-
1070.
MOSTERN, Jess y TORRETI Roberto. (2010). Diccionario de L-
gica y Filosofa de la Ciencia, 2da. Edicin, Madrid: Alianza Editorial.
ORTIZ RICO, Guillermo. (2008). La heterodoxia de las lgicas de
da Costa, Matemticas: Enseanza Universitaria, Vol. XVI, N 1, junio,
pp. 37-50.
PALAU, Gladys. (2002). Introduccin flosfca a las lgicas no clsi-
cas. Barcelona: Gedisa.
PISCOYA, Luis. (2000). Lgicas no-clsicas: los clculos C
n
de
Newton C. A. da Costa, Tpicos en Epistemologa, Lima: UIGV.
SPENCER, Lloyd y KRAUZE Andrzej. (2005). Hegel para princi-
piantes. Buenos Aires: Era Naciente.
Notas
1
El principio de Ex contradictione quodlibet es: (A A) B , y el de
Ex falso sequitur quodlibet es A (AB). Pero estos son lo mismo por-
que el segundo resulta de aplicar la equivalencia de exportacin a la
conmutacin del antecedente del primero.
IIi
RESEAS Y NOTICIAS
REFP. Pensamiento e Ideas, N 04, diciembre 2013
155
REFP. Pensamiento e Ideas, N 04, diciembre 2013
155 RESEA
Fabio Snchez Flores, Homo Terreus, la revolucin
del espritu, Lima, DPI Editores, 2013, pp. 151
Por Zenn Depaz Toledo
Homo terreus es un canto a la
vida, a su diversidad, a la tierra y al
cosmos; pero es ante todo un canto al
hombre, al hombre csmico, enraiza-
do en la tierra; un canto de afrmacin
de la humanidad por remisin a sus
races y sus frutos, a los antepasados
y al hombre del porvenir.
Su condicin de canto va de la
mano con la intencin refexiva, flo-
sfca que lo anima y sostiene, pues
pone de relieve como factor constitu-
tivo del saber, la dimensin poitica,
creativa y expresiva, que corresponde
tanto al canto como a la refexin f-
losfca. Puesto que toda afrmacin
comporta una negacin; al mismo
tiempo que afrma la vida y la necesi-
dad de una genuina humanidad que
sintonice con ella, la exprese y la cul-
tive.
Homo terreus denuncia la lgica
matricida que conlleva el mundo mo-
derno, que deshumaniza al hombre y
consume el porvenir de la vida y de la
tierra, y seala que esa tendencia halla
soporte en credos ultraterrenos que
remiten a un Dios nico, negador de
la diversidad, represor de lo corpreo
y la expansin de la vida; credos que
han conducido al nihilismo, a la des-
valorizacin de la vida. Frente a ello
homo terreus invita al hombre al re-
torno de su rer, sollozar y suspirar en
el regazo de la tierra; es un llamado
a la reconciliacin con la madre tierra;
a sentar en el trono del viejo Dios a la
razn y los sentidos.
En esa perspectiva constituye una
afrmacin de horizontes de sentido
propicios al despliegue de la vida.
Esa tarea supone un esfuerzo supre-
mo de revisin de los patrones bsi-
cos de orientacin de la experiencia.
Homo terreus lleva adelante ese inten-
to hasta retar el imaginario matricida
de la modernidad, que se presenta
como portador de civilizacin y pro-
greso; as, por ejemplo, resemantiza
la nocin aparentemente unvoca del
hombre de la cavernas, cargado
de hondas connotaciones valorati-
vas, poniendo en evidencia que no es
aquel que se desplazaba libre sobre
la tierra, en comunin con ella, sino
aquel otro contemporneo, domes-
ticado, que blasfema contra la tierra
encerrado en estrechos muros que se
levantan en torno suyo sin que siquie-
ra alcance a notarlo.
Ciertamente, este libro, cuyo
anuncio es adjudicado a nios de
una isla africana, llega hasta nosotros
como un manuscrito en una botella de
vidrio, que intenta salvar al hombre
del naufragio.