Gibert, J. 1999.

Lgica y epistemologa de la ciencia social

Cinta moebio 5: 109-119
www.moebio.uchile.cl/05/logica.htm

Lgica y Epistemologa de la Ciencia

Social. Ensayo sobre el entendimiento
reflexivo en Hegel
Jorge Gibert Galassi. Doctor en Filosofa (Universidad de Chile). Profesor Universidad La Frontera.
Si la apariencia fenomnica y la esencia de las cosas coincidieran totalmente,
la ciencia y la filosofa seran superfluas.
Karel Kosik, Dialctica de lo Concreto.
Introduccin
El propsito del trabajo consiste en aproximarse a una reevaluacin del enfoque negativo de la filosofa hegeliana
en el marco de la discusin epistemolgica de la ciencia contempornea (1).
En la exposicin del concepto de "entendimiento reflexivo", tal como lo reelabora Hegel en su Ciencia de la Lgica,
se afirma que la crtica hegeliana implic la creacin de una epistemologa de la ciencia especial, conocida como
dialctica. El desarrollo histrico de tal epistemologa ha sido precario y las refutaciones a ese punto de vista,
mltiples. Bsicamente, stas ltimas se han centrado en la afirmacin de la hiptesis formalista que asigna un rol
definitivo y exclusivo a la lgica de la identidad y la no contradiccin en la investigacin cientfica, opuesta al
planteamiento hegeliano.
Sin embargo, la distincin entre lgica y representacin permitira reubicar la reflexin hegeliana desde otro
punto de vista, permitiendo, adems, ampliar el marco de la discusin epistemolgica sobre la dialctica, al menos
respecto del cmo sta se ha desarrollado recientemente.
Lgica y Representacin de Realidad
La afirmacin "En virtud de que la esencia a diferencia de los fenmenos no se manifiesta directamente, y por
cuanto que el fundamento oculto de las cosas debe ser descubierto mediante una actividad especial, existen la
ciencia y la filosofa" (2), centra la discusin sobre el conocimiento y su plausibilidad en las caractersticas de esta
especial actividad y, por tanto, respecto del mtodo filosfico y cientfico y las presuposiciones epistemolgicas de
stos.
Sin embargo, surge aqu la falacia de la distincin estricta entre ciencia y filosofa: no contiene, y se edifica, la
ciencia sobre un conjunto de hiptesis filosficas?; y la contraparte, para que la filosofa pueda realizar un aporte
reflexivo a la dinmica cientfica, no es acaso necesario que ella est por encima (analticamente informada) del
conocimiento cientfico de su poca?
El problema de la distincin surge cuando la operacin se reconoce en ella misma: podemos pensar las relaciones
formales y factuales entre ciencia y filosofa sin acudir al instrumental formal (lgica) y factual (conocimiento) a las
que ellas mismas acuden para su realizacin como tales? O dicho de otro modo: puede existir un criterio de
operacin externo a ellas ciencia y filosofa utilizable para su anlisis?
Una respuesta a esta pregunta podra construirse desde una opcin tica, ideolgica o estticaliteraria. Pero sera
irrazonable quebrar el principio de autorreferencia, mnimo para la comprensin de la evolucin autoorganizada de

109

Gibert, J. 1999. Lgica y epistemologa de la ciencia social

Cinta moebio 5: 109-119
www.moebio.uchile.cl/05/logica.htm

la filosofa o la ciencia, puesto que no es posible modelar matemticamente la creacin literaria as como tampoco
es posible suponer intencionalidad ideolgica a la solucin de ecuaciones diferenciales. Es decir, slo podemos
hablar cientficamente de la ciencia desde la ciencia misma y artsticamente del arte desde el arte.
Sin embargo, habitualmente las taxonomas que ordenan las disciplinas filosficas incluyen a la lgica y, al mismo
tiempo, la lgica se incorpora instrumentalmente en el quehacer creativo de la ciencia, como una modalidad
operatoria para la construccin coherente (racional) de teoras. La lgica se relaciona con la objetividad mediante el
problema de la representacin. El lenguaje cientfico intenta adaptarse a los hechos mediante la formulacin de
enunciados sobre la realidad, siempre y cuando dichos enunciados se relacionen entre s de una manera coherente,
respetando el principio de identidad y nocontradiccin. As planteado, el problema surge con la pregunta: qu
sucede, cmo operar estratgicamente, cuando concebimos la realidad como unidad de identidad y noidentidad?;
qu sucede con el instrumental lgico para la construccin de teoras?
La Dialectizacin Hegeliana de la Lgica
La distincin formacontenido es el punto de partida del anlisis crtico de Hegel sobre este problema: "Al aceptar
que la lgica sea la ciencia del pensamiento en general se entiende con ello que este pensamiento constituye
la pura forma de un conocimiento, que la lgica hace abstraccin de cualquier contenido y que el llamado segundo
elemento que pertenecera a un conocimiento, es decir la materia, debe ser ofrecido trayndolo de otra parte" (3).
El sujeto cognoscente dara forma, una fisonoma sui generis, a los enunciados sobre la realidad o lo conocido. De
esta, el conocimiento consistira en la combinacin de la arquitectura de todo pensamiento pensable levantada con
la materia, que estara fuera de ella. Pero el planteamiento de Hegel, no conforme con ello, gira en torno a la
pregunta respecto de cmo es posible "unir" un elemento perteneciente a un conjunto A (las formas del
pensamiento) con un otro elemento perteneciente a un conjunto B (contenidos materiales de la realidad), siendo
que la operacin "unin" no es aplicable dada la naturaleza, excluyentes entre s, de los elementos de ambos
conjuntos. Existe una clausura operacional puesto que la operacin no puede realizarse dada la naturaleza de los
dominios de ambos conjuntos. Los elementos no pueden conectarse por definicin, de acuerdo a la lgica como ha
sido concebida antes que l.
A ello, Hegel plantea varias contraindicaciones: "...en primer lugar, es inapropiado decir que la lgica hace
abstraccin de cualquier contenido, que ensea slo las reglas del pensar, sin penetrar en lo que ha sido pensado, y
sin poder considerar su naturaleza. Puesto que son el pensamiento y las reglas del pensar los que deben constituir
su objeto, en stos tiene la lgica su contenido caracterstico inmediato, y en ellos tiene tambin aquel segundo
elemento del conocimiento, a saber, una materia, de cuya naturaleza debe preocuparse" (Ibid, pg. 58).
Radicalizando el enunciado, ste afirma que la lgica, en tanto formas del pensamiento, pertenece, tambin, al
orden de la realidad y, por lo tanto, no puede separarse de ella, a riesgo de cometer una peticin de principio.
En segundo lugar, por ello no menos relevante, Hegel plantea que no es posible una verdad incierta y una certeza
noverdadera. A lo menos no desde la filosofa. Es decir, complementando con el punto anterior, no sera posible
concebir el pensamiento como algo imperfecto, una forma blanda, indeterminada, siendo que ste es real y, por
ello, algo por s completo y acabado. En consecuencia, la concordancia del pensamiento con el objeto no puede ser
posible, a menos que ste descienda de su status de realidad, menoscabando su funcin a mero "ajuste y
acomodo".
En tercer lugar, y este es el decisivo, "...dado que la diversidad entre la materia y la forma, entre el objeto y el
pensamiento, no es dejada en aquella nebulosa indeterminacin (ajuste y acomodo), sino que es concebida de
manera ms determinada, deben los dos constituir esferas distintas. Por consiguiente, el pensamiento cuando
aprehende y forma la materia, no sale fuera de s mismo; su acto de aprehender y amoldarse a ella no es sino una
modificacin de s mismo; y la determinacin autoconsciente pertenece, no obstante, slo a l. De modo que, an
en su relacin con el objeto, el pensamiento no sale fuera de s mismo hacia el objeto: ste sigue siendo como una
cosa en s, absolutamente un ms all del pensamiento" (Ibid, pg.59, cursiva ma).

110

Gibert, J. 1999. Lgica y epistemologa de la ciencia social

Cinta moebio 5: 109-119
www.moebio.uchile.cl/05/logica.htm

Aqu hay dos problemas: el primero, que la filosofa prehegeliana no responde cmo se relacionan, cul es el
dispositivo vinculante, entre estas dos esferas; el segundo, en caso de reconocer una misma naturaleza a ambas
esferas, tendra que optar por suponer la inclusin de una en la otra. Pero cmo dirimir semejante disyuntiva?
La nica manera de plantear un problema tal es mediante la incorporacin de la categora de lo contradictorio, de
manera de poder afirmar que el pensamiento es pensamiento y es nopensamiento (realidad); as como que la
realidad es realidad y es norealidad (pensamiento).
Frente a la filosofa griega que explica el ser natural en general mediante la categora de autoidentidad, la filosofa
hegeliana precisa de una categora que de cuenta de su propio contenido. Este descubrimiento de Hegel, lo
contradictorio existente en el seno de lo nocontradictorio, es lo que denomin en su propio lenguaje
"negativitt"; cuya consecuencia es elaborar la pregunta por el ser que unifica la naturaleza regida por la
autoidentidad y la nocontradiccin y la regin, recin descubierta, de la subjetividad o del Geist, regido por la
negatividad (4). Una lectura plausible de la solucin hegeliana es que se "reinterpreta la totalidad del ser desde la
perspectiva del sujeto, interpretando subjetivamente la substancia" (Ibid, pg.6). Este ser que es la unidad de lo
contradictorio y lo nocontradictorio es, para Hegel, Concepto (Begriff) o Espritu.
Pareciera, as que la operacin hegeliana para lograr una representacin adecuada de lo real es la inclusin de la
contradiccin en su concepcin de la lgica, una lgica que, por cierto, tiene contenido.
El planteamiento sobre el entendimiento en Hegel sugiere, es la tesis, que es posible (de hecho irrenunciable)
superar la distincin entre determinaciones antitticas puesto que stas son slo un momento en el despliegue del
Espritu Absoluto. O en palabras, del mismo Hegel: "El formalismo que la filosofa ...denuncia... y que
constantemente se engendra de nuevo en ella no desaparecer de la ciencia... hasta que l conocimiento de la
realidad absoluta llegue a ser totalmente claro en cuanto a su naturaleza" (5).
Segn Hegel, "el entendimiento es una fase en el movimiento y despliegue del espritu. En este movimiento, de
carcter progresivo, el espritu va alcanzado nuevas formas, cada una de las cuales supone la ruptura con los
hbitos de las etapas anteriores, contenindolas y superndolas a la vez, removiendo sus defectos y conciliando
todo lo que aquellas han determinado unilateralmente como incompatibles" (6).
El entendimiento reflexivo consiste en lo siguiente: "...suponer lo concreto inmediato, determinarlo y dividirlo".
Pero dice Hegel "...tal reflexin debe tambin superar sus determinaciones divisorias, y ante todo, tiene que
relacionarlas mutuamente. Pero, desde el punto de vista de establecer esta relacin surge su contradiccin" y
aade lo fundamental "Esta relacin de la reflexin pertenece en s a la razn; elevarse sobre aquellas
determinaciones hasta alcanzar a conocer el contraste contenida en ellas, es el gran paso negativo hacia el
verdadero concepto de la razn" (7).
Ms adelante, Hegel diagnostica (y desliza la solucin) al impasse de la disciplina lgica: "Sin duda, en las
condiciones en que todava se encuentra, no tiene esta ciencia un contenido de tal especie, que pueda ser vlido
como realidad y como cosa verdadera en la conciencia comn, lo que no significa que sea una ciencia formal,
desprovista de una verdad sustancial" (Ibid, pg.63).
La falta de contenido de la lgica, en consecuencia, slo hace resaltar la falta de contenido de la filosofa misma, en
tanto pretensin de representar la realidad. Al reflexionar sobre las formas lgicas, insiste: "Cuando son
consideradas como determinaciones firmes, y por ende, desligadas, en lugar de ser reunidas en una unidad
orgnica, son formas muertas, donde ya no reside el espritu, que constituye su unidad viviente" (Ibid, pg.63). De
algn modo, esto sugiere que toda indagacin cientfica de la realidad es una indagacin sobre la realidad del
concepto o espritu.
La incorporacin, de parte de Hegel, de la categora de contradiccin a la reflexin formal (lgica) supone una
definicin del concepto en un sentido dbil, que denominaremos representacionista. Esta definicin del concepto,

111

Gibert, J. 1999. Lgica y epistemologa de la ciencia social

Cinta moebio 5: 109-119
www.moebio.uchile.cl/05/logica.htm

como modalidad de funcionamiento o arquitectura, representara fidedignamente a la realidad tal cual es. Pero la
lgica es, desde su origen, una forma de pensar y comunicar, ms no de representar. Al definir la lgica desde la
representacin, Hegel propone una teora de la realidad. El marxismo, al proponer esta arquitectura "vuelta de
cabeza", lo que hace es crear un enfoque epistemolgico especial, una manera de indagar la realidad de acuerdo a
un conjunto de nuevas presuposiciones (cuya expresin mayor es el modelo societal de Marx a partir de la
dialctica capital/trabajo).
Es decir, la pretensin de Hegel es fundamentar una nueva teora general, una estructura abstracta, donde las
teoras particulares no seran ms que campos de aplicacin, la realizacin especfica de esa estructura abstracta,
cuya teora general las englobara a todas. Esta estructura est constituida por un conjunto de operaciones tpicas,
como la operacin "oposicin" o "salto cualitativo", cuya descripcin emprica sera el objeto de las ciencias
particulares. La aplicacin de la idea "la realidad es dialctica" o sea, que "esa" es la estructura de la realidad en
las disciplinas fcticas, desde Engels hasta Kopnin, es una muestra del impacto de la pretensin hegeliana. En suma,
la lgica hegeliana abri una manera de concebir la estructura abstracta de la realidad.
La Refutacin Formal de la Dialctica Hegeliana
La refutacin formal contempornea del programa lgico hegeliano, est contenida en las presuposiciones
epistemolgicas de la investigacin cientfica. Esta, tal y como la ha codificado y divulgado Bunge, "presupone y
controla ciertas importantes hiptesis filosficas. Entre ellas, destacan las siguientes: la realidad del mundo
externo, la estructura de muchos niveles que tiene la realidad, el determinismo en un sentido amplio, la
cognoscibilidad del mundo y la autonoma de la lgica y de la matemtica" (8).
En cuanto al formalismo, esto es, la autonoma de la lgica y la matemtica, plantea: "por mucho que cambie la
ciencia de la lgica, lo hace siempre internamente o en respuesta a problemas puramente racionales, no en un
esfuerzo de adaptarse a la realidad. La lgica es autosuficiente, desde los puntos de vista de su objeto y de su
mtodo: no tiene ms objeto que sus propios conceptos, y sus demostraciones no deben nada a las peculiaridades
del mundo" y agrega ms adelante "la validez de una ciencia formal es independiente del mundo porque no se
ocupa de l" (Ibid, pg.327).
Sin duda, la posicin de Bunge respecto a la lgica es distinta a las concepciones tratadas en la primera parte: no
corresponde a la visin hegeliana (lgica con contenido) como tampoco corresponde a la visin de indeterminacin
(el pensamiento que se adapta al objeto).
Ms radical, Bunge seala que la lgica es autosuficiente poseyendo objeto y mtodo propio, con total autonoma
de los contenidos materiales del mundo. Quizs esta visin, dice relacin con el enunciado de complejidad del
mundo y de la complejidad del proceso cognoscitivo, lo cual lleva a dejar ambas esferas "fuera" de la actividad
disciplinaria de la lgica, precisamente debido a su complejidad, por no visualizar la posibilidad de dar cuenta
fundadamente de dicha complejidad.
Pareciera que en Bunge, la concepcin de la lgica tiene un sentido netamente instrumental de control. Esa
"tecnologa" tendra una funcin semejante a toda tecnologa: ejercer dominio sobre un mundo, en este caso, no
sobre un mundo natural o social sino sobre el mundo de la produccin de verdades. Es decir, no se tratara, como
lo plantea Hegel, de una disciplina con contenido, sino de un instrumental de apoyo para la produccin cientfica;
por cierto, un apoyo algo semejante al del Tribunal de la Santa Inquisicin.
Especficamente, la funcin de la lgica al interior de la investigacin cientfica sera apoyar la bsqueda de la
certeza, y estara dada por su enfoque en tanto lgica deductiva y lgica inductiva.
Con respecto a la lgica inductiva, Bunge le asigna un papel bastante menor que al de la lgica deductiva:
"...desentenderse de la lgica deductiva y buscar certeza por otra parte, en la lgica inductiva...esto es una
quimera: no hay hiptesis infalibles y, estrictamente hablando, todas las inferencias nodeductivas son falaces: no

112

Gibert, J. 1999. Lgica y epistemologa de la ciencia social

Cinta moebio 5: 109-119
www.moebio.uchile.cl/05/logica.htm

nos permiten concluir nada, pero son expedientes que nos permiten sospechar de la verdad o falsedad de las
afirmaciones. La verdadera tarea de la "lgica" no deductiva no tiene que consistir en consagrar falsedades, sino en
estudiar los efectivos esquemas de la inferencia cientfica no deductiva que se presentan en el estadio de la
contrastacin, as como las condiciones de su rendimiento ptimo. Por ejemplo, en nuestro caso del sujeto
"mentalmente ausente", si hallamos que no reacciona al ruido, "inferimos" que es plausible suponer que est
mentalmente ausente (caso de reduccin fuerte). Pero nuestro sujeto puede estar simulando, de tal modo que
habr que disponer de otras contrastaciones ms...O bien, la hiptesis en cuestin puede ser plausible en razn de
la anterior experiencia con el sujeto, la cual nos sugiera que suele estar ausente mentalmente; ...A - R, y "A" es
verosmil, luego "-R" es plausible (caso de modus ponens dbil). O tambin, por ltimo, puede ser que estemos
bastante seguros, aunque no totalmente, de que el sujeto est reaccionando al ruido, en cuyo caso inferimos que el
sujeto est probablemente alerta: A - R es plausible, luego "-A" es plausible (caso de modus tollens dbil).
Pero, cunta plausibilidad puede tener una suposicin plausible, y cunta plausibilidad puede tener, por su parte,
la inferencia que da aquella conclusin? Ninguna de las existentes teoras de "lgica" inductiva da respuestas
aceptables a esas preguntas: se trata an hoy de problemas abiertos" (Ibid, pg.883).
El planteamiento de Bunge respecto a la lgica deductiva es, a la vez, claro y parsimonioso: "...la lgica deductiva,
aunque es un poderoso instrumento para la explicitacin de supuestos iniciales y la obtencin de todas las
consecuencias contrastables que aqullos puedan implicar, es impotente para convalidar los supuestos iniciales
mismos; en cambio, ayuda a mostrar cules de ellos son falsos" (Ibid, pg.881).
Es decir, cumple un rol de apoyo indiscutible para la construccin coherente (racional) de teoras. Pero insiste en
que la investigacin cientfica slo es fructfera cuando es posible falsar teoras, a la vez que stas slo se generan si
las preguntas de investigacin son capaces de plantearse problemas (Popper), y desarrolla la argumentacin
relativa a la impotencia para convalidar supuestos iniciales y su relacin con la construccin de teoras del modo
siguiente: "...Una teora axiomtica de base A es el conjunto de todas las frmulas de la teora basada en A:
F = Cn (A)
[Tambin F = Cn (F), lo que quiere decir que una teora axiomtica contiene todas sus consecuencias, o sea, que es
deductivamente cerrada]. Podemos segn eso adoptar la siguiente definicin: Una teora axiomtica de base A es el
conjunto de todas las consecuencias lgicas de A.
El caso ms sencillo se presenta cuando no hay ningn supuesto, o sea, cuando la base de la teora es el conjunto
vaco. Si nos preguntamos qu se sigue de nada?, la respuesta correcta, aunque nada intuitiva, es lo que se
sigue de nada es la lgica ordinaria. Esto es: no hay supuestos a partir de los cuales se siga la lgica; o, como
tambin puede decirse, nada precede (lgicamente) a la lgica; otra manera de decir lo mismo: la lgica es
autocontenida. (Con esto queda probada la autonoma de la lgica;...) Esto puede escribirse brevemente as:
Cn ( ) = L,
aL
El dual de este teorema es: De supuestos lgicamente falsos se sigue cualquier cosa. O sea: el conjunto U de todas
las frmulas se sigue de todo conjunto unidad { A} tal que la negacin de A sea lgicamente verdadera:
Si - A L, entonces...Cn (A) = U
He aqu una primera moraleja: huir de frmulas que puedan explicarlo todo, en el campo dado y en cualquier otro.
Segundo: No reforzar los supuestos a toda costa (Ibid, pg. 442 y 443). A lo que el autor agrega: "...podemos seguir
amontonando simples proposiciones de bajo nivel sin sacar nada en limpio teorticamente: un conjunto de
informaciones lgicamente aisladas, por precisas y numerosas que sean, estn tan lejos de ser una teora como
pueda estarlo una coleccin de chismes. Un conjunto de supuestos no puede empezar a dar de s consecuencias

113

Gibert, J. 1999. Lgica y epistemologa de la ciencia social

Cinta moebio 5: 109-119
www.moebio.uchile.cl/05/logica.htm

lgicas y, por lo tanto, demostraciones ms que si esos supuestos trascienden los datos. En este caso, un slo
supuesto inicial siempre que sea rico puede implicar infinitas consecuencias lgicas... (pero) los datos no
producen teoras (Ibid, pg. 443).
Finalmente, resume el autor con un argumento prctico: "Todas las teoras lgicas contienen ... las leyes de
identidad y nocontradiccin... Supongamos, por arrancar nuestra argumentacin, que la ciencia factual no
presupusiera estos principios... no habra limitacin alguna de las formas lgicas ni de las inferencias: todo podra
afirmarse... y todo podra inferirse" (Ibid, pg. 328, cursiva ma). El significado profundo de esta argumentacin es
meramente administrativo mientras no se realice la pregunta por la validez de la representacin de lo real por la
semntica cientfica: a saber, lo nico que podra concluirse, es que no podemos acumular oraciones enunciativas.
Sin embargo, Bunge desliza la posibilidad hegeliana: "...que la ciencia factual emprendiera una investigacin propia
de la lgica y buscara sus propios principios de razonamiento. Cmo podra conseguirlo? Los conceptos, las
funciones proposicionales, las proposiciones, etc. o sea, los objetos lgicos no tienen existencia material ni
pueden, consiguientemente, ser objetos de experiencia: slo sus smbolos tienen existencia material, pero son
inesenciales, o sea, que pueden cambiarse por otros smbolos cualesquiera sin que cambie lo denotado. La ciencia
factual tendra que volverse hacia adentro, tendra que hacer su propio anlisis para descubrir los principios lgicos
que estuvieran insertos en ella misma" (Ibid, pg.328). Pero, no es sta acaso la propuesta hegeliana? Por cierto,
lo es. Sin embargo, Bunge insiste: "Pero, con qu instrumentos procedera a ese anlisis, si no es con los
instrumentos lgicos que al principio se haba negado a presuponer? Por tanto, la ciencia factual tiene que
presuponer alguna lgica" (Ibid, pg.328).
Visto ms de cerca, el razonamiento de Bunge tiende a fundamentar tales afirmaciones desde un punto de vista de
la construccin de teoras ms que desde el punto de vista de la representacin de lo real a travs del sistema
ciencia: "Si se abandona el principio lgico de identidad tendramos que admitir el milagro de que un enunciado
cambiara por s mismo y fuera capaz de representar dos veces en una misma argumentacin por ejemplo la
misma proposicin. Si se abandonara el principio de no contradiccin, seramos incapaces de hacer suposiciones
determinadas pues podramos estar afirmando al mismo tiempo sus negaciones" (Ibid, pg. 329). Sin embargo, esto
tiene relacin con el requisito de comunicabilidad y contabilizacin del conocimiento acumulado, pero, insistimos,
nada nos informa acerca de s el sistema ciencia representa vlidamente o no a la realidad tal cual es. La realidad
del mundo es ms compleja que la ciencia, pero es vlido, como pretensin, partir del supuesto de que slo es
posible comunicar parcialmente el "estado de realidad" del mundo? Y si no fuera vlida la pretensin, cabra
pensar que la naturaleza es de una uniformidad tal que es plausible la idea de representarla mediante formas
lgicas? Aun cuando pudieramos responder estas preguntas, tampoco daran argumentos para enfrentar el
problema del movimiento, que de algn modo es el quid de la pretensin lgica hegeliana.
En efecto, en el caso particular de las ciencias sociales, si fuera posible que ellas representaran el movimiento de lo
social, como secuencia ordenada de eventos, estaran en condiciones, entre otras, de realizar predicciones.
Respecto a este punto, lo ms all que se ha llegado es la teora de juegos, que no deja de ser un ejercicio de
inters heurstico basado en supuestos mltiples, lo que nos vuelve a dejar en el punto de partida: Sobre cules
supuestos, entonces, sera factible construir una representacin valedera de lo social?
Lgica como Representacin y Lgica como Lenguaje
El sistema ciencia comunica en el particular cdigo de la verdad objetiva y sistemtica. La ciencia fctica presupone
una lgica bivalente verdad / falsedad, aunque algunas teoras presuponen lgicas no ordinarias (9).
Cuando definimos la funcin de la lgica en el proceso del conocer cientfico, de acuerdo a la dialctica, sta
consiste en "adaptarse a la realidad". Es la definicin dbil, representacionista. Sin embargo, al proceder de este
modo, confundimos la lgica con la estructura de la realidad y con algunos otros conceptos, tales como el de
modelo. La funcin de la lgica no es adaptarse a la realidad, sino ms bien en hacer sta comunicable en trminos
de conjunto de proposiciones verdaderas vinculadas sistemticamente. Ms precisamente, la funcin de la lgica

114

Gibert, J. 1999. Lgica y epistemologa de la ciencia social

Cinta moebio 5: 109-119
www.moebio.uchile.cl/05/logica.htm

es el clculo de proposiciones, en un sentido inductivo o deductivo, que permita validar la conexin entre
proposiciones. Los resultados de estos clculos son multiformes, y van desde el desprendimiento de nuevas
proposiciones (generacin de hiptesis) hasta la evaluacin de teoras (control).
Pero no hay que olvidar que la pretensin hegeliana es dar cuenta de la transformacin, y es por ello que incorpora
la categora de contradiccin. La hiptesis general es simple: la transformacin es cambio, y el cambio es obra de la
oposicin de entidades contrarias, que explica la transformacin de los estados de las entidades que se oponen.
Hegel plantea que la dialctica es una representacin de lo real viviente, que en cuanto y en tanto unidad, contiene
los trminos de identidad y de contradiccin.
El problema se plantea cuando comunicamos esta idea a travs del lenguaje. Supongamos el siguiente ejercicio: Es
cierto que una entidad es A y ~ A.
Pero la mera inclusin de "y" en la sintaxis de la proposicin nos demuestra que:
A
V
F

~A
F
V

A*~A
F
F

La refutacin pueril a esta conclusin es que la lgica proposicional no encaja con la realidad. Pues bien, sese el
lenguaje ordinario, lo que tenemos es la siguiente oracin: "las cosas son no son al mismo tiempo". Y por qu no
est en la oracin el "y"? Porque el "y" es la lectura del *, que es la conjuncin o producto lgico. Sin embargo, ms
de uno insistir: Si tomamos un perodo, encontraremos A y ~ A como estados. Pero, como es obvio, ya no estamos
comunicando lo que originalmente queramos comunicar: esta nueva comunicacin es la de un proceso o
"secuencia temporalmente ordenada de acaecimientos, tal que cada miembro de la secuencia toma parte en la
determinacin del miembro siguiente" (10), como por ejemplo el proceso vital (vidamuerte).
La nica manera de comunicar la idea original es mediante una "paradoja", y las paradojas son problematizaciones
(no son descripciones o explicaciones) de la realidad, que se resuelven adicionando en la formulacin lingstica
una tercera entidad. En el caso de la dialctica, el problema se resuelve slo si la tercera entidad es de un nivel de
realidad distinto al nivel de los dos trminos antitticos (o aparentemente antitticos) que incluye. Lo veremos en
la siguiente parte y final.
Por otra parte, algunos han confundido el problema de la lgica y la representacin de otro modo. Es lo
denominado "lgica borrosa".
A modo de ejemplo, expongamos la siguiente idea: "la lgica formal tradicional no encaja con nuestro objeto de
estudio, por dos razones al menos. La primera... porque se requiere un modo de pensar no lineal, sino reticular y,
mejor todava, sistmico... La segunda razn es todava ms obvia. La lgica formal en que hemos sido entrenados
se basa en el empleo cualitativo de inclusin y exclusin...para caracterizar los fenmenos sociales y encajarlos en
los esquemas tipolgicos que, explcita o implcitamente, utilizamos como referencia" (11). En suma, supone la tesis
que la lgica debe "adaptarse a la realidad". Pero es cuestionable tambin por otras razones.
El primer argumento se rebate con dos ejemplos simples: i) El estudio general de la continuidad lo emprende la
topologa, que es una creacin matemtica de Poincar; y, ii) los cdigos de los sistemas Luhmannianos son
binarios (12). Tanto la teora del continuum como el pensamiento sistmico, matemtica y sociologa, no slo no
son incompatibles con la lgica formal, sino que la requieren.
El segundo argumento, confunde un caso particular de agrupaciones cientficas, el ms simple, la clasificacin
divisoria, con toda la amplia gama de clasificaciones posibles. Si la divisin es correcta (el dominio del discurso es
igual a la unin de A y -A y que la interseccin de A y -A es ), un elemento pertinente podr ser incluido en el
subconjunto de uno de los trminos.

115

Gibert, J. 1999. Lgica y epistemologa de la ciencia social

Cinta moebio 5: 109-119
www.moebio.uchile.cl/05/logica.htm

Si un elemento es excluido de ambos subconjuntos, est mal definido el elemento (vaguedad) o existe
independencia entre el criterio de divisin y el elemento (el agua no puede ser incluida en la dicotoma comestible/
nocomestible; sino en la dicotoma bebible/ nobebible).
Adems, concibe la tipologa como un instrumento "anterior", ms elemental, respecto de la clasificacin; cuando
no lo es. Una tipologa es el resultado de un sistema de coordenadas, un espacio de atributos. Terica y
metodolgicamente, una tipologa implica una correlacin que un agregado social posee entre dos conceptos de
clase, con niveles de medicin variados, como la propuesta de Fromm (13), grado de autoridad de los padres y
grado de aceptacin (de dicha autoridad) por los hijos; y que le produjo cuatro tipos de relaciones de autoridad:
autoridad absoluta, autoridad normal, falta de autoridad y rebelin. Por lo tanto, la tipologa es un subproducto del
juego terico y metodolgico entre dos clasificaciones, en el ejemplo anterior, la clasificacin entre autoridad de
los padres (que en realidad es de un tipo especial, la ordenacin, puesto que establece relaciones asimtricas y
transitivas entre dos miembros, por ejemplo, un miembro con autoridad dbil y otro con autoridad fuerte) y la
clasificacin de grados de aceptacin de los hijos (tambin ordenada: baja, media, fuerte).
Esta refutacin no impide estar de acuerdo en que "definir exactamente lo que es y lo que no es el objeto
examinado" es muy difcil, pues "A veces, la vaguedad conceptual refleja una nebulosidad o indeterminacin
objetiva, no en el sentido de que los hechos sean confusos, pero s en el de que entre los gneros naturales hay a
menudo formas de transicin. Estas formas de transicin impiden una demarcacin tajante, dan lugar a vaguedad
conceptual y pueden arruinar incluso clasificaciones" (14). Pero este problema no lo resuelve un continuum donde
el fenmeno se ubica entre dos tipos ideales, a lo Weber, puesto que volvemos al mismo argumento anterior.
Determinacin Dialctica y Epistemologa de la Ciencia
El punto de arranque es que la distincin entre lgica formal y lgica dialctica es inoficiosa y, por lo tanto,
improductiva como idea cientfica. Pero la intencin "representacionista" de Hegel, la dialctica como estructura de
la realidad, es fructfera en cuanto hiptesis de "un modo de ser de la realidad misma"; y en ese sentido, es vlida
como esquema presuposicional de determinacin que es plausible de contrastar empricamente para obtener
evidencia a su favor.
De hecho, la reflexin contempornea de la filosofa de la ciencia incluye entre los tipos de determinacin, la
determinacin dialctica, y la expone del siguiente modo: "Determinacin dialctica (o autodeterminacin
cualitativa): de la totalidad del proceso por la lucha interna y por la eventual sntesis subsiguiente de sus
componentes esenciales opuestos. Ejemplo: a) los cambios de estado de la materia a nivel macroscpico se
producen por el juego recproco y predominio final de dos tendencias opuestas: la agitacin trmica y la atraccin
molecular; b) los intereses en conflicto de los grupos sociales determinan los cambios de la propia estructura social
de dichos grupos. Por oposicin a la autodeterminacin cuantitativa, la dialctica interna implica cambios
cualitativos" (15).
Es decir, constituye una modalidad diferenciada de otras modalidades expresivas de la determinacin. Esta ltima,
en general, es definida como "...aquella teora ontolgica cuyos componentes necesarios y suficientes son:
El principio gentico o principio de productividad, segn el cual nada puede surgir de la nada ni convertirse en
nada; y el principio de legalidad, segn el cual nada sucede en forma incondicional ni completamente irregular, o
sea, de modo ilegal o arbitrario. Ambos principios pueden ser fundidos en uno solo, a saber: Todo es determinado
segn leyes por alguna otra cosa, entendindose por esta ltima las condiciones externas tanto como las internas
del objeto en cuestin. Este enunciado puede llamarse el principio de determinacin. Se trata de un supuesto
filosfico de la ciencia, confirmado por los resultados de la investigacin cientfica...Cualquier teora de la
estructura, o del cambio, o de una y otro, que respete el principio de determinacin recibir el nombre de
determinista" (16).
De particular inters es la formulacin de determinacin como modo de devenir: "la tercera acepcin (del
determinismo)...la forma (acto o proceso) en la cual un objeto adquiere una propiedad" (Ibid, pg. 23). Esta idea

116

Gibert, J. 1999. Lgica y epistemologa de la ciencia social

Cinta moebio 5: 109-119
www.moebio.uchile.cl/05/logica.htm

fue desarrollada analticamente de manera notable por Marx, al afirmar que la sociedad cambia (en tanto "modo
de produccin") por el proceso de la lucha de clases (clases que se reubican constantemente en posiciones
dominadas o dominantes segn el control que tengan de los medios de produccin), las que concomitantemente
alteran su fisonoma al alterarse el modo de produccin (los siervos pasan a ser obreros, etc.).
Afirmamos anteriormente que, en el caso de la dialctica, el problema se resuelve slo si la tercera entidad,
nuestro objeto en la formulacin anterior, es de un nivel de realidad distinto al nivel de los dos trminos antitticos
(o aparentemente antitticos) que incluye. Ello incluye tres problemas: la distincin entre niveles de realidad; la
distincin del status lgico entre hiptesis; y, la distincin entre relaciones de los trminos antitticos. Todas las
teoras parciales, se apoyan en alguna opcin hipottica de resolucin de estos problemas.
El primer problema es el de la distincin entre niveles de realidad, puesto que toda hiptesis dialctica est
afirmando que el tercer trmino es de un nivel de realidad distinto a los dos otros trminos. La idea que la realidad
no es una estructura homognea y rgida esta consagrada desde hace mucho. Cada nivel de realidad opera a base
de un conjunto de propiedades y leyes propias (lo cual muestra cun absurdo es una formulacin como "La
sociedad est esquizofrnica"); lo cual no impide afirmar que existen relaciones entre niveles (17). Adems, varios
importantes principios metodolgicos se desprenden de las dos hiptesis ontolgicas anteriores, como: a)
parsimonia de niveles; b) trascendencia de niveles; c) nivelorigen; y, d) contigidad de niveles (18).
A nivel disciplinario, slo la investigacin puede confirmar si la hiptesis dialctica, in concreto, es representativa
de una estructura donde el tercer trmino pertenece a un nivel superior contiguo al nivel que incluye los dos
trminos antitticos. Cabe sealar, adems, que la estructura propuesta debe explicitar los dispositivos reguladores
de esta relacin entre niveles.
El segundo problema es el de la forma. Se afirma que los trminos antitticos son reales, de una forma antittica
real. Sin embargo, por ejemplo, la agitacin trmica y atraccin a nivel molecular son antitticos en su
relacionalidad, como procesos que desde puntos polares convergen en un centro de "choque"; pero la morfologa
fenomnica no ha sido esclarecida. En rigor, slo es posible afirmar que A y ~ A son antitticos en cuanto a su
fisonoma formal, pero empricamente es probable que expresen una diferencia ntica y no un antagonismo ntico,
sino relacional (19). En general, es ms razonable pensar en trminos antitticos aparentes.
Un ejercicio como el siguiente podra esclarecer esta cuestin: Sea ~ A el opuesto de A. Pero existe un problema
previo: Es probable encontrar en la realidad dos entidades idnticas? La respuesta es no, inclusive a nivel atmico.
Luego, dada la imposibilidad de encontrar en la realidad A y A (2A), sino ms bien la existencia de A y A; entonces,
del mismo modo, no se podr encontrar ~ A y otro ~ A, sino ~ A y ~ A. Ahora bien, cul es la plausibilidad de
encontrar en algn fenmeno A y ~ A, una correspondencia estricta entre opuestos?; por qu no suponer que es
ms plausible la coexistencia de A y ~ A (o A y ~ A o A y ~ A; etctera)?
Ello deriva en la formulacin de una hiptesis general que supone una semntica formal, donde ~ A es el opuesto
de A; mientras las hiptesis especficas suponen una semntica emprica que afirma la improbabilidad de la
coexistencia de A y ~ A.
El tercer problema es el de las variables cardinales o el problema de las magnitudes de los trminos antitticos. Si la
determinacin dialctica es la "lucha" entre contrarios, el problema de la magnitud de stos se torna relevante,
pues supone algn grado de predictibilidad acerca de la situacin futura del tercer trmino "de estado".
Una propuesta preliminar para abordar el problema es la distincin entre una determinacin dialctica simple y
otra compleja, en tanto tipos. As, se postula que la determinacin dialctica simple es el postulado de plausibilidad
de un estado con tendencia al equilibrio, o, al menos, un equilibrio que opera bajo ciertos parmetros
determinados (como la dialctica agitacin trmica v/s atraccin molecular en el caso del agua, cuyo estado es
constante hasta los 100); mientras que determinacin dialctica compleja es el postulado acerca de la

117

Gibert, J. 1999. Lgica y epistemologa de la ciencia social

Cinta moebio 5: 109-119
www.moebio.uchile.cl/05/logica.htm

plausibilidad de estados con tendencia al desequilibrio (como en el caso de el estado del sistema "parlamento"
donde es improbable una representacin proporcional entre oposicin y oficialismo).
En suma, toda formulacin hipottica de tipo "dialctico", para ser procesada en el corpus de la ciencia estricta,
debe dar cuenta de estos tres problemas: nivel, forma y magnitud. Finalmente, todo lo anterior presupone una
lgica bivalente para la comunicacin cientfica de la hiptesis dialctica y excluye la posibilidad de toda lgica
dialctica a lo Hegel. Valga para los defensores del postulado de la dialectizacin de la lgica el consuelo de que la
ciencia es slo un modo de comprender la realidad.
Notas
(1)

(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)

(10)
(11)
(12)

(13)
(14)
(15)
(16)
(17)

(18)
(19)

El presente artculo es uno de los resultados preliminares de un programa de investigacin en

epistemologa y metdica de la investigacin social. El autor agradece los valiosos comentarios de Juan
Miguel Chvez, Germn Fierro y Laurence Maxwell.
Kosik, K. Dialctica de lo concreto, Ed. Grijalbo, Mxico, 1989, pg. 29.
Hegel, G. Ciencia de la lgica, FCE, Mxico, pg. 58.
Fierro, G. Aproximaciones al tema de la muerte en Hegel, Tesis de grado, UCV, Valpo., pg. 6.
Hegel, G. Fenomenologa del Espritu, FCE, Mxico, pg. 15.
Otero, E. El estilo antittico de pensamiento en la filosofa poltica moderna, Doc. Doctorado en Filosofa,
U. de Chile, pg. 1.
Hegel, G. Ciencia de la lgica, FCE, Mxico, pg. 61.
Bunge, M. La investigacin cientfica, Madrid, 1983, pg. 319.
Por ejemplo: Varela, F.; Coguen, J. The aritmethic of clousure en J. Cybernetics, 1978,8: 291-324; Varela,
F. The extended calculus of indications interpreted as a three-valued logic, en Notre Dame J. Formal Logic,
1979, 20:141-146 (citado en Maturana, H. y Varela, F. De mquinas y seres vivos, Prefacio a la segunda
edicin, Editorial Universitaria, Stgo., 1995.
Bunge, M. op. cit., pg. 718.
Prez de Guzmn, T. El modo de pensar sociolgico: Una propuesta en Revista Chilena de Temas
Sociolgicos, N 3, 1997, pg. 98.
Es ms, la teora sistmico autorreferencial "No concierne tampoco a la posibilidad, hoy muy discutida, de
una lgica de los sistemas autorreferenciales". Luhmann, N. Sistemas sociales, Alianza Editorial, Madrid,
1991, pg. 36.
Barton, A. Concepto de espacio de atributos en sociologa en Boudon, R. y Lazarsfeld, P. Metodologa de las
ciencias sociales, Vol. I, Laia, Barcelona, pg. 216-218.
Bunge, M. op. cit., pg. 123.
Bunge, M. Causalidad, Eudeba, Buenos Aires, 1961, pg. 31.
Bunge, M. Causalidad. pg. 37 y 38.
Una solucin al problema de cmo es esta relacin es: "...los niveles superiores arraigan en los inferiores"
(Bunge, M. La investigacin cientfica, pg. 321); muy complementaria con esta otra "...los sistemas de un
orden superior (ms emergentes) pueden ser de una complejidad menor que los sistemas de un orden
inferior, ya que estos ltimos determinan la unidad y el nmero de elementos de los que estn
constituidos" (Luhmann, N. Sistemas sociales, pg. 45).
Al respecto, consultar Bunge, M. op. cit., pg. 321 - 323.
Es lo denominado "tesis de la indiscernibilidad de los idnticos". Bunge, M. op. cit., pg. 335.

118