Consolidación de las cuatro notas orales (logica1–logica4, 202608)
Existe un patrón recurrente en la filosofía moderna: la investigación filosófica consiste, en buena medida, en rastrear los malentendidos que se han sedimentado a lo largo de la historia del pensamiento.
El caso de Heidegger es paradigmático. Su pregunta por el ser —aquella que, según él, nunca había sido planteada con rigor— ocupó toda su obra. El esfuerzo no era responder a la pregunta, sino despejar las capas de teología y metafísica occidental que la habían enterrado hasta hacerla irreconocible.
Wittgenstein, por su parte, situó el problema en el lenguaje. En su primera época, sostuvo que la relación entre lenguaje y mundo genera una serie de problemas filosóficos que son, en realidad, pseudoproblemas: cuestiones mal planteadas o planteadas de forma ilegítima. La terapia filosófica consistía en disolver el problema, no en resolverlo.
Este doble movimiento —el de Heidegger hacia el ser y el de Wittgenstein hacia el lenguaje— ilustra el patrón general: explorar las cuestiones para ver su fundamento, su necesidad y los supuestos que las hacen posibles.
El presente proyecto de investigación parte de ese mismo impulso crítico. El campo de examen abarca la filosofía general, la ontología, la lógica, la matemática, la física y la ética; pero el enfoque no es expositivo. El interés no recae tanto en las cuestiones en sí mismas como en lo que subyace a ellas. La óptica elegida es la de la lógica y el lenguaje. Y esa óptica, llevada hasta el límite, conecta con la cuestión de la mística.
La pregunta de fondo es qué nos dicen, en conjunto, todos estos lenguajes, lógicas y formalismos. No se trata de adoptar uno de ellos como marco definitivo, sino de examinar el conjunto y preguntarse qué concepto de racionalidad, de realidad y de límite está operando en todos ellos.
La lógica se ocupa de determinar qué razonamientos son válidos; es decir, en qué condiciones una conclusión se sigue necesariamente de unas premisas. Esta pregunta, que parece elemental, dista mucho de tener una respuesta unívoca.
Desde Aristóteles y hasta bien entrado el siglo XX, predominó la idea de que existía una única lógica correcta: la aristotélica, con sus variantes medievales y su reformulación moderna a partir de Frege. Sin embargo, a lo largo del siglo pasado emergieron sistemas alternativos que cuestionaron esa unicidad: lógicas de segundo orden, lógicas paraconsistentes, lógica intuicionista, lógicas trivaluadas, entre otras.
La referencia a Priest es aquí relevante. Su propuesta de utilizar lógicas paraconsistentes para tratar las paradojas clásicas ilustra bien el mecanismo: ante situaciones que la lógica estándar deja sin resolver —o resuelve de forma insatisfactoria—, se amplía el sistema para poder razonar de forma coherente sobre un dominio mayor. Las paradojas no desaparecen, pero pueden formalizarse y tratarse dentro de un marco que no colapsa ante ellas.
Este proceso de extensión tiene un sabor claramente empírico. La lógica no es un sistema dado de una vez y para siempre, derivado de principios puros a priori; es más bien un instrumento que se ajusta a los dominios sobre los que se quiere razonar. Cuando un dominio presenta estructuras que el sistema vigente no puede manejar —información incompleta, hechos contradictorios, contextos de privacidad—, se desarrolla una lógica más adecuada. Las lógicas trivaluadas, por ejemplo, permiten razonar sobre hechos con valor de verdad indeterminado o con información faltante.
Esta pluralidad tiene consecuencias filosóficas de primer orden. Si no hay una lógica única y comprensiva, el platonismo lógico —la tesis de que la lógica refleja una estructura ideal e inmutable de lo racional— resulta difícilmente sostenible. La lógica no es el espejo de ningún cielo de objetos lógicos eternos; es un conjunto de sistemas que se construyen, se revisan y se multiplican en función de los problemas que se plantean.
La pregunta que queda abierta no es cuál de estas lógicas es la verdadera, sino qué significa el hecho de que exista esa constelación de sistemas. ¿Qué concepto de racionalidad emerge cuando se contempla el conjunto? ¿Qué nos dice esa pluralidad sobre la relación entre el lenguaje, el pensamiento y lo real?
La relación entre lógica y matemática plantea cuestiones específicas que merecen un tratamiento aparte.
La matemática opera con objetos abstractos. Esos objetos no son empíricos en sentido directo, pero tampoco son completamente ajenos a la experiencia: surgen por abstracción y guardan analogías, más o menos lejanas, con estructuras del mundo. La diferencia fundamental respecto a la lógica pura reside en los puntos de partida: mientras la lógica trabaja con relaciones formales entre proposiciones, la matemática parte de definiciones que constituyen sus propios objetos.
El siglo XX supuso una crisis profunda en la comprensión de los fundamentos matemáticos. La investigación sobre los axiomas —qué principios lógicos y qué supuestos fundamentales sustentan las distintas ramas de la matemática— reveló una pluralidad de posibles fundamentos, ninguno de los cuales resultó incontrovertible. Los grandes programas de fundamentación —logicismo, formalismo, intuicionismo— fracasaron en sus versiones más ambiciosas.
El teorema de Gödel añadió una capa adicional de complejidad: cualquier sistema formal suficientemente potente contiene enunciados verdaderos que no son demostrables dentro del propio sistema. Esto impone un límite intrínseco al formalismo, y ese límite tiene implicaciones filosóficas directas: no es posible capturar toda la matemática dentro de un sistema cerrado y completo.
La formalización, sin embargo, no quedó relegada a un papel marginal. A partir de los años treinta, y con renovado impulso en las últimas décadas, se ha demostrado que es posible formalizar de manera rigurosa áreas muy amplias de la matemática. Los verificadores de demostraciones —programas que comprueban mecánicamente la corrección de una prueba— han convertido la formalización en una herramienta de trabajo efectiva. La inteligencia artificial ha añadido una dimensión adicional: la búsqueda automatizada de demostraciones y la exploración de problemas abiertos, como se ha podido comprobar en los últimos años.
Todo ello deja abierta una pregunta fundamental: ¿de dónde provienen las intuiciones que guían la investigación matemática? ¿Quién o qué orienta al matemático hacia los problemas fértiles, las conjeturas prometedoras, las demostraciones elegantes? Ese es, quizá, el único punto en el que el platonismo matemático conserva cierta plausibilidad: no en la tesis de que los objetos matemáticos existen en un mundo ideal separado, sino en el reconocimiento de que la intuición matemática apunta hacia algo que excede la manipulación puramente formal de símbolos. Hay cosas que quedan fuera del formalismo, y esa exterioridad merece atención.
La ontología clásica se organizó en torno a la distinción entre individuos y propiedades. Desde Aristóteles, la estructura básica del mundo era la de sustancias con atributos: entidades discretas que poseen características. Esta arquitectura conceptual sostuvo durante siglos tanto la metafísica como la lógica, y su influencia llega hasta los formalismos contemporáneos de representación del conocimiento.
Sin embargo, esta estructura presenta limitaciones importantes. Su carácter estático dificulta el tratamiento del cambio: si una sustancia es lo que es en virtud de sus propiedades, ¿cómo se entiende que una misma sustancia adquiera propiedades diferentes sin dejar de ser la misma? El problema del cambio no encuentra una solución satisfactoria dentro del esquema clásico de individuos y propiedades.
La cuestión de las relaciones añade otra dificultad. Las relaciones entre entidades no se reducen fácilmente a propiedades de individuos, y su tratamiento formal abre problemas que la ontología aristotélica no anticipó. Las extensiones modernas —lógicas relacionales, ontologías formales— ofrecen instrumentos más sofisticados, pero reproducen, en un nivel de mayor complejidad, la misma tensión de fondo.
Algunos intentos de resolver estas aporías mediante lógicas paraconsistentes o sistemas alternativos han arrojado resultados interesantes; pero la tendencia general es que las cuestiones ontológicas más profundas —las que atañen a la totalidad, al cambio radical, a la relación entre lo uno y lo múltiple— acaban convirtiéndose en aporías incluso cuando se las aborda con los instrumentos formales más refinados.
Esto sugiere que las grandes categorías ontológicas —sustancia, propiedad, relación, totalidad— funcionan más como metáforas orientadoras que como teorías en sentido estricto. Son intentos de articular una comprensión de lo real que, en última instancia, no es completamente formalizable. El lenguaje ontológico apunta hacia algo que escapa a sus propias categorías.
Este resultado no es un fracaso de la ontología, sino una indicación sobre sus límites. Hay un umbral más allá del cual el discurso sobre la totalidad se vuelve necesariamente indirecto: no porque la totalidad sea inaccesible en términos absolutos, sino porque el lenguaje que usamos para hablar de ella —incluida la lógica— es ya una parte de aquello sobre lo que pretende hablar.
Notas pendientes de desarrollo: la conexión entre los límites del formalismo (§3) y la aporía ontológica (§4); la relación entre pluralidad lógica (§2) y la cuestión de lo indecible; el vínculo con la mística señalado en §1.