Con muy pocas salvedades, la filosofa "analtica" y la "continental" han

estado separadas tanto por sus objetivos, como por su mtodo. Mientras
que la primera se orienta, de manera estndar, a preguntas fieles a un
marco conceptual "racional", es decir, que se limita al marco de lo
"expresable" en proposiciones o frmulas lgicas bien formadas, su
contraparte pareciera enredarse en un lenguaje abtruso, diciendo aspirar a
las cuestiones ms fundamentales. Es llamativo que cada filosofa acuse a
la otra de "metafsica". La primera acusa a la segunda de serlo porque sus
objetos no pueden ofrecer verificacin alguna, ni en el sentido kantiano
(como objetos de una experiencia posible), ni el sentido constructivista
(donde se podra ofrecer algn tipo de prueba). Del otro lado, la filosofa
continental acusa a la filosofa analtica de metafsica en tanto que no
cuestiona los fundamentos de ese marco que ha definido como racional. En
otras palabras, no se cuestiona, ms alla de una velada actitud pragmtica,
por qu la proposicin es el tomo del sentido (como ocurra en el primer
Wittgenstein), qu significa un sistema axiomtico en general o cul es la
relacin entre diferentes rdenes de enunciacin (cientfico, potico,
poltico).
Pero lo que poco a poco se ha ido desmitiendo, es que no hay interseccin
posible entre ambos mundos. Por el contrario, el abtruso mundo de una
filosofa como la de Hegel o Marx, tan denostada por Popper, parece
volverse inteligible justamente a la luz de los avances en las lgicas no-
clsicas. Un ejemplo de ello son el lgico alemn Gotthard Gnther y el
lgico austrialiano Graham Priest, quienes, cada uno a su modo, han
mostrado, desde el interiori de una disciplina rigurosa, la necesidad de
cuestionar la validez irrestricta de los principios de no-contradiccin y de
tercero excluido. Este movimiento no puede ser visto como una ocurrencia.
Ya Cantor y, siguindolo a l, Russell (con su famosa paradoja), haban
mostraran los problemas inescapables que estn a la base de la teora de
conjuntos ingenua. A partir de ah, la teora de clases de Russell y luego la
axiomatizacin de la teora de conjuntos de Zermello y Frankl, pretenda
superar dichos atolladeros por medio de nuevos axiomas, en particular uno
que prohbe que las clases puedan ser miembros de s mismas, produciendo
as elementos ltimos. Pero, ms adelante, como Gdel mostrara, hay un
problema endmico a toda aproximacin axiomtica (que es la lnea
inaugurada por Hilbert y llevada a gran expresin en los trabajos de grupo
francs Bourbaki). El problema consiste en que todo sistema axiomtico,
cuando es forzado a la autoreferencia, produce proposiciones que no
pueden ser probadas en el mismo sistema, dando como resultado la
siguiente divisin: todo sistema axiomtico o es incompleto (es decir,
contiene dichas proposiciones llamadas indecidibles), o bien, es
inconsistente (es decir, incluye contradicciones). Gdel incursionara en la
lgica intuicionista (dnde lo que se puede afirmar debe ser probado
"directamente", con "evidencia", del tal modo que, por ejemplo, la doble
negacin no es equivalente a la proposicin afirmada; esto llevara, por
ejemplo a Gdel a acercarse a la fenomenologa de Husserl). Graham Priest
buscara (en la segunda mitad del siglo XX), en cambio, una articulacin
filosfica de la contradiccin lgica de la mano de Hegel. Es llamativo que
el lgica recurra al filsofo continental. No se trata tan slo de meros gestos
de reinvidicacin, sino que, puede adivinarse con facilidad que la
introduccin de lgicas no-clsicas restituye o hace viabes muchas
interpretaciones del idealismo alemn sobre los mbitos ms diversos:
como el arte, la poltica, la religin. No se puede olvidar que la piedra
angular de la filosof hegeliana, por ejemplo, su "metafsica", lo constituye
la lgica, entendida en sentido amplio. Y tampoco es azar que Husserl,
habindose formado como matemtico, haya comenzado su obra filosfica
reflexionando sobre el concepto de nmero (Zahl) y luego haya avanzado
en direccin de la validez de las proposiciones lgicas (Husserl tiene su
propio modo de responder a la crisis de los fundamentos de la matemtica
que Hilbert intentara solucionar por su mtodo axiomtico).
Del lado dela filosofa y el pensamiento continentales existe una relacin
conocida, pero poco asumida. No slo Brentano tena gran inters en
Aristteles y su lgica, el mismo Husserl, alumno de aqul intentara un
cuestionamiento sobre el estatuto de la ciencia y las fuentes de su validez,
que se continuara en otros autores preocupados por temas como la
"mereologa" husserliana. La mereologa es un tema capital, porque su
punto de partida no es la teora de conjuntos: Los anlisis fenomenolgicos
sobre objetos espaciales (pero tambin formales) deben definirse en
trminos de "partes" y "todos". Ms all de los intentos por formalizar la
mereologa, hay que recordar que el contexto que hasta cierto punto
explica la preocupacin por este tipo de conceptos, viende de la geometra
y sus aplicaciones en la psicologa a partir de la escuela de la Gestalt . El
argumento central de esta escuela, cuyas consecuencias van mucho ms
all de "reglas de percepcin", es: "el todo es ms que la suma de sus
partes". En otros trminos, que ciertas estrcuturas no pueden explicarse a
partir de sus elementos constituyentes, sino a partir de un concepto ms
general de "forma" (Gestalt en alemn). La Gestalt es importante no slo
por la explicacin de ciertas regularidades perceptuales (por ejemplo de
Kofka y Khler), sino porque parecan estar dando ciertas reglas de la
configuracin espacial en general. Ms adelante, matemticos filsofos
como Ren Thom y Luciano Boi proseguiran ciertas intuiciones de la
escuela gestaltista para proponer una teora general de modelos, fundada
en la topologa, que explicara el juego de las formas (a partir de dos
elementos: estabilidad estructural y morfognesis) en la naturaleza, lo
mismo que en la "cultura". Slo digamos que este camino tampoco tiene
nada de arbitrario. Husserl introduce en sus anlisis fenomenolgicos del
tiempo y el espacio el concepto de variedad (Mannigfaltigkeit). Kant haba
hecho ya de tiempo y espacio las estructuras originales de donacin de los
datos de la experiencia. Riemann y Gauss son precisamente los iniciadores
(junto con Lobachewsi y Bolyia) de la geometra no-euclidiana. El concepto
de variedad se debe a Riemann y supone una generalizacin de ideas del
anlisis (clculo diferencial e integral) y del de "teorema egregio" de Gauss
de que el espacio debe ser considerado de forma intrnseca, y no
embeberlo en nuestro espacio euclidiano tradicional de 3 dimensiones (R3).
Variedad significara a partir de entonces una estructura (continua o
discontinua) que define las cualidades de un espacio independientemente
de su mtrica. En otras palabras, permite definir los espacios de forma
cualitativa sobre la base del concepto de funcin continua. Los espacios
despus de Riemann y Gauss ser localmente euclidianos, pero
globalmente no. Es importante destacar que el concepto de "espacio" o de
"variedad" ya no alude a la idea clsica de geometra como medicin de la
tierra. Se aproxima al tratamiento de euclides de esta ltima como un
sistema absolutamente formal de relaciones entre objetos (como el punto,
la lnea, el plano), pero la construccin es muy distinta y general. La
geometra despus de Riemann conecta una reflexin sobre el espacio con
el anlisis (especficamente con la solucin de polinomios, que requieren
del plano complejo, que recibir precisamente una interpretacin
geomtrica; por ejemplo, los nmeros complejos, pueden interpretarse de
la forma a+bi, donde i=i corresponde a la parte imaginaria, o bien,
geomtricamente, a partir de vectores, con su magnitud, direccin y ngulo
respecto al eje x) y el conocimiento del plano complejo. En este sentido,
tiempo y espacio, tal como los etenda Kant, pueden ser entendidos como
"espacios", en tanto que exhiben un conjunto (los nmeros reales en una
lnea y en tres dimensiones, respectivamente) con una estructura (que
llamamos su topologa). Se trata, claramente, de una teora general de
"estructuras" y ya no del conocimiento del espacio o el tiempo "reales".
La palabra "esctura" juega aqu un papel clave. La filosofa continental
francesa contempornea es tambin incomprensible sin el desarrollo del
concepto de estructura en matemticas. Ms en la vena de Hilbert-Bourbaki
que en la de Riemann, es Lvi-Strauss quien introduce al campo de las
humanidades y la filosofa el trmino de estructura. Alimentado por la idea
marxista de estructuras socioeconmicas (que provienen a su vez de una
confrontacin con la lgica hegeliana) y por el "hallazgo" en la lingstica de
Saussure de que el lenguaje no representa el mundo, sino que es una
estructura autosuficiente compuesta por elementos que slo tienen valor
en relacin con otros elementos (e.d. existe un sistema "diferencial"), el
concepto de estructura matemtica de Bourbaki se instala como eje de
referencia para la interpretacin del mundo cultural. A partir de ah,
Derrida, Foucault, Lacan, Deleuze y Badiou se convertirn en los herededos
de esta idea de escutructura y diferencia. De todos ellos, es Badiou quien
de manera ms decidida, decide fundar su ontologa en la matemtica,
especficamente en la teora de conjuntos axiomatizada por Zermello y
Frankl. Por ms que se cuestione el uso metafrico o riguroso que hacen
dichos filsofos de ideas matemticas, no puede negarse el hecho de que la
matemtica y la lgica contemporneas se encuentran en una situacin de
gran productividad, donde ya no es posible reducirlas a una sola corriente o
lnea de fundamentacin.
Contemporneamente, el tema ms interesante resulta la vinculacin de las
lgicas no-clsicas, con la filosofa continental, porque es a partir de ellas
que se pueden formular preguntas que van desde la metafsica hasta la
filosofa poltica. Inversamente, los hallazgos de las lgicas no-clsicas,
reclaman una interpretacin filosfica. Gotthard Gnther fue quiz uno de
los autores en el siglo XXque logr ver de manera ms clara la vinculacin
que haba entre la lgica bivaluada y las oposiciones clsicas de la filosofa
entre ser y no-ser; esencia y existencia; libertad y necesidad, etc. Queda
mostrada entonces la necesidad rec+iproca de una una interpretacin
filosfica de la lgica formal y un desspliegue filosfico de las
consecuencias de las lgicas mencionadas. Este crculo no puede ni debe
ser rechazado en aras del privilegio de una posicin sobre la otra.
Del lado de la matemtica, puede decir que aunque la teora de conjuntos
sigue fungiendo un papel de lenguaje comn en el cual se pueden expresar
y articular muchas ramas (anlisis, topologa, teora de grupos, etc.) cada
vez resulta ms obvia su limitacin. Frente a ella, ha surgido la teora de
categoras, que resulta mucho ms flexible que la teora de conjuntos, ms
general y exige menos supuestos. La teora de categoras generaliza ideas
de Riemann y de la geometra algebraica, para producir un lenguaje muy
abstracto, pero que permite reconocer cualidades esenciales de toda
estructura. O mejor dicho, permite reconocer los diferentes tipos de
estructuras, sus elementos fundamentales (a partir de tres elementos: los
objetos, los morfismos y la composicin) y las relaciones entre estructuras
(functores), pese a sus diferencias aparantes. En esta teora no es necesario
comprometerse con una ontologa (qu es lo que hay; por ejemplo, a
diferencia de la teora de conjuntos no tiene que afirmar que "hay
conjuntos"), pero ofrece, una metafsica (una teora de las relaciones que se
pueden establecer entre cualesquiera objetos, siempre que formen una
estructura llamada categora). En ella, los conjuntos forman tan slo una
categora ms, pero no resulta ser la ms fundamental. La teora de
categoras es tambin un modo de articular lgica y matemtica. Se
pueden definir "topos" donde rijan ciertas lgicas. Cada categora puede ser
pensada como un "universo" en el cual rigen determinadas lgicas. Pero
lejos de acabar en una multiplicacin de topoi con lgicas (o reglas)
diferentes, podemos establecer diferentes relaciones (morfismos) entre las
diferentes categoras.
En la filosofa continental comienza a haber acercamientos a la teora de
categoras por su carcter conceptual, cualitativo, flexible y sobre todo,
abierto a pensar la complejidad de diferentes espacios (o sea, estructuras, o
mudos), pero interconectados (tema que conecta con las discusiones de
Lewis sobre los mundos posibles, o de Wittgenstein sobre la multitud de
juegos de lenguaje, fundados supuestamente en el "uso").
Paralelamente, la topologa ha seguido un camino relativamente autnomo
a las discusiones sobre la teora de conjuntos y la topologa. Pudindose
apoyar en una u otra (o incluso en los desarrollos de la topologa en los ms
diversos campos del saber: que van desde la morfognesis a la estructura
del ADN y a modelizaciones del lenguaje), la topologa se ha abierto camino
tamben en la filosofa en autores como los citados Ren Thom y su
continuador, Luciano Boi. La topologa contempornea estudia los espacios
de forma cualiativa, preocupndose por elementos como la continuidad, la
discontinuidad y la vecindad; haciendo suyas discusiones sobre los bordes,
los agujeros, los pliegues y las torsiones. La homologa y la cohomolloga
(que tambin son importantes en la teora de categoras) juegan en la
topologa un papel fundamental para el conocimiento de los espacios. Ellos
incluyen objetos como la banda de Mbius, el toro, la esfera (entendida
como superficie: S2) o la botella de Klein, pero tambin espacios ms raros
como el plano proyectivo o las superficies de Riemann. La vinculacin de la
topologa con el concepto de singularidades, como el caso de las
bifurcaciones, tan apreciados en la teora de sistemas dinmicos y en la
teora del caos, han abierto su campo a la consideracin del tiempo, de la
irrupcin de lo nuevo y el surgimiento de nuevos espacios, sean estos en la
biologa o en la sociedad.

Por todas estas razones, propongo estudiar nociones bsicas sobre teora
de conjuntos, teora de categoras y topologa y comenzar a construir lazos
con las grandes discusiones metafsicas de la filosofa como la metafsica
(preguntndose por el ser, su estructura y los entes), la poltica (qu es una
estructura social, constituye lo comn un espacio homogneo?, cmo
surgen las formas de organizacin y cules son sus bifurcaciones?, por
ejemplo; o el arte (qu nos revela el arte sobre la naturaleza del espacio,
especficamente en el caso de la danza, la arquitectura y la escultura?).
Estas son slo algunas preguntas que se irn formulando con ms detalle
conforme vaya avanzado la investigacin.