Aporías reflexivas de marco: lógica, a priori y seguimiento de reglas

Conversación: Aporía reflexiva de marco (resumen). Índice: documentos.

2026-10-11

Introducción

Dos preguntas clásicas comparten una misma estructura aporética: si existe conocimiento a priori puro y si la lógica es una creación humana o tiene existencia independiente. En ambas, el instrumento con que juzgamos coincide con el objeto juzgado, y no hay un punto exterior desde donde decidir.

Este informe recoge el análisis de esa estructura, propone un esquema general —las aporías reflexivas de marco— y lo contrasta con el Wittgenstein tardío y la lectura de Kripke. Se plantea como material para La Grieta de Dios, donde las aporías se leen como aperturas y no como fracasos.

Aporía 1: a priori y a posteriori

La distinción entre conocimiento independiente de la experiencia y conocimiento que deriva de ella no puede trazarse desde un lugar neutral. Cualquier criterio para separarlos pertenece ya a uno de los dos lados.

Vertiente a priori. Si existe conocimiento a priori puro, necesitamos un criterio para reconocerlo. Si ese criterio es a priori, damos por supuesto lo que queríamos probar; si procede de la experiencia, ya no es puro. Es un fallo de autorreferencia.

Vertiente empirista. Si todo conocimiento es a posteriori, como en el empirismo radical o en Quine, la experiencia queda sin las estructuras previas que la organizan: identidad, causalidad, no contradicción. No se puede aprender de la experiencia que hay que aprender de la experiencia. Es un fallo de fundamentación.

Kripke ofrece un matiz útil: la distinción a priori/a posteriori es epistemológica y no coincide con la metafísica entre necesario y contingente. Existen verdades necesarias a posteriori (el agua es H₂O) y contingentes a priori (la barra patrón mide un metro). Parte de la aporía nace de mezclar el plano del conocer con el del ser; separarlos no la disuelve, pero la desplaza.

Aporía 2: el estatus de la lógica

¿Es la lógica una creación humana o existe con independencia de nosotros? Ninguna respuesta es neutral, porque decidir exige razonar, y razonar es ya usar la lógica.

Vertiente convencionalista. Afirmar que la lógica es una convención exige que esa afirmación sea verdadera y que se siga de razones; es decir, exige tratar la lógica como vinculante. La tesis se aplica a sí misma y se desestabiliza: fallo de autorreferencia.

Vertiente realista. Afirmar que la lógica existe de forma independiente no es contradictorio, pero requiere un reino abstracto y una explicación de cómo seres físicos accedemos a él (el problema de Benacerraf). La facultad que lo capta tendría que ser ya lógica. No es incoherente, sino infundada: fallo de fundamentación.

Las dos vertientes no pesan igual. Una cae por autorreferencia y la otra por exceso de compromisos que no puede justificar. No son dos caminos simétricos que chocan, sino dos tipos distintos de grieta.

Esquema general: aporías reflexivas de marco

Ambas aporías comparten la misma geometría. Un marco F (la lógica, el a priori) es a la vez el instrumento con el que juzgamos y el objeto juzgado. Ante la pregunta de si F depende de nosotros o es independiente:

Vertiente Tesis Tipo de fallo A priori Lógica
Inmanente F es construido o derivado Autorreferencia: se autosocava al afirmarse Criterio que presupone lo que prueba Convencionalismo
Trascendente F es independiente Fundamentación: regreso o parada dogmática Empirismo sin estructuras previas Realismo platónico

La raíz común es la reflexividad: juez y juzgado coinciden.

Relación con Priest. El esquema encaja con el Inclosure Schema. La Clausura sería que todo juicio sobre F ocurre dentro de F; la Trascendencia, el intento de situarse fuera para evaluarlo. Cada vertiente sacrifica una de las dos condiciones.

Relación con Agripa. El trilema de Agripa (circularidad, regreso, dogma) se comprime aquí en un dilema: la circularidad recae en la vertiente inmanente; regreso y dogma, en la trascendente.

Otras candidatas a la misma familia: la verdad de la teoría de la verdad y la conciencia que se investiga a sí misma.

Nota terminológica: la tradición llama a estas alternativas “cuernos” del dilema (cornua dilemmatis); aquí se usa “vertiente”.

Wittgenstein tardío y Kripke: seguir una regla

Wittgenstein. El segundo Wittgenstein rechaza ambas vertientes. Las leyes lógicas son reglas de nuestra gramática: no describen un reino abstracto (contra la imagen de la regla como raíles tendidos al infinito), pero tampoco son arbitrarias, pues arraigan en una forma de vida. En Sobre la certeza, las proposiciones “bisagra” funcionan como el lecho de un río: lo que hoy es regla puede volverse empírico, y la frontera a priori/a posteriori pasa a ser funcional. La aporía no se resuelve: se disuelve, al mostrar que la exigencia de justificación desde fuera del juego era la confusión.

La paradoja de Kripke. En Wittgenstein on Rules and Private Language (1982), Kripke convierte esas observaciones en una paradoja escéptica. Si nunca sumaste números mayores de 57, ningún hecho —intenciones, disposiciones, estados mentales— determina que querías decir “más” y no “cuás”, una operación que da 5 por encima de ese umbral. No hay hecho que fije qué regla seguías.

La solución escéptica. Kripke acepta la paradoja, como Hume con la causalidad. El significado se apoya en condiciones de aseverabilidad dentro de una comunidad, lo que excluye un lenguaje privado.

Otras lecturas. Se discute si “Kripkenstein” es fiel a Wittgenstein:

Lectura Representantes Qué hace con la grieta
Escéptica Kripke La mantiene abierta y vive en ella
Comunitaria Malcolm La traslada al acuerdo colectivo; el abismo se vuelve compartido
Práctica Baker y Hacker Niega el hueco: captar una regla no es interpretarla (IF §201)
Quietista McDowell No la niega, pero rehúsa saltarla: “así actuamos” como suelo sin fondo
Resolutiva Diamond, Conant Ni siquiera hay tesis: solo terapia contra la confusión

La paradoja de Kripke es una aporía reflexiva de marco nítida: cualquier hecho que fije la regla requiere otra regla para interpretarlo. La tensión más fecunda para el manuscrito está entre Kripke y McDowell: uno muestra la grieta en su crudeza, el otro sugiere habitarla sin angustia. Es la diferencia entre la aporía como herida y como apertura, con un eco claro en Nāgārjuna: la falta de fundamento como condición de que todo funcione.

La grieta como forma: Maillard y Borges

Las secciones anteriores tratan la aporía como problema argumentativo. Dos voces en lengua española la abordan de otro modo: no para resolverla, sino para habitarla desde la imagen y el relato. Es el registro más afín al tono de La Grieta de Dios.

Chantal Maillard: la razón estética. Filósofa y poeta belga afincada en España, discípula de María Zambrano y especializada en filosofía india en Benarés, Maillard reelabora la razón poética de Zambrano como razón estética. Su tesis es que la razón discursiva —la que exige fundamentos, definiciones y no contradicción— es solo una forma de pensar, y no la más honda. Hay otro conocer que pasa por la sensibilidad, la imagen y el ritmo, y que no necesita cerrar el sistema para ser verdadero: la razón estética, dice, no interpreta el mundo sino que construye mundos. Frente a nuestras dos vertientes, Maillard no elegiría ninguna: diría que la grieta solo aparece como fallo porque exigimos a la lógica que se funde a sí misma. Soltar esa exigencia convierte la reflexividad en el lugar donde el pensamiento se vuelve consciente de su propio tejido —de ahí su imagen del pensar como tejer hilos, no como construir sobre cimientos. Su raíz budista (la doctrina del no-yo, anatman) refuerza el vínculo con Nāgārjuna presente en el manuscrito: en obras como Matar a Platón el sujeto que juzga se disuelve, y con él la pregunta de quién sostiene el marco.

Borges: la aporía como relato. Buena parte de la obra de Borges pone en escena la estructura reflexiva de este informe. Cinco cuentos la ilustran. En La Biblioteca de Babel, la autorreferencia llevada al límite: la Biblioteca contiene todos los libros posibles, incluido su catálogo verdadero, infinitos catálogos falsos y la refutación de cada uno; la verdad está ahí, pero ningún criterio interno la reconoce, porque sería otro volumen más (la nota sobre el “libro total” roza la paradoja de Cantor). En Pierre Menard, autor del Quijote, la fundamentación en clave de significado: un texto idéntico palabra por palabra al Quijote es, sin embargo, otra obra, porque las mismas palabras en otro siglo significan otra cosa; el sentido no está en los signos, sino en el contexto del lector —la paradoja de Kripke trasladada a la lectura. En Tlön, Uqbar, Orbis Tertius, el estatus de la lógica: un mundo idealista cuyo lenguaje carece de identidad estable, donde nuestras categorías no describen el mundo sino que lo ordenan, hasta que el sistema inventado empieza a reemplazar al real. Las ruinas circulares da el regreso de fundamentación como relato: quien sueña y crea a otro descubre que él mismo es soñado. Y El Aleph frente a Funes el memorioso muestra las dos caras del todo: ver la totalidad pero no poder decirla, o recordarlo todo y por eso no poder pensar, porque el concepto nace de olvidar diferencias.

El hilo común es que Borges traduce la aporía del argumento a la imagen, y la trata con ironía metafísica más que con angustia. En eso coincide con Maillard: la paradoja como lugar habitable desde la imaginación. Ambos ofrecen al manuscrito un registro distinto del de Kripke —no la grieta como herida, sino como forma.

Zhuangzi: la grieta como respiración. El contraste con Oriente afila lo anterior. En el célebre sueño de la mariposa, Zhuangzi sueña que es una mariposa, feliz revoloteando, sin saberse Zhuangzi; al despertar, no sabe si es un hombre que soñó ser mariposa o una mariposa que ahora sueña ser hombre. Es la misma figura que Las ruinas circulares —el suelo firme, el yo que sueña, resulta indistinguible de lo soñado— y la misma indecidibilidad que la paradoja de Kripke: ningún hecho último fija cuál de los dos términos es el real. Pero el tono invierte el signo occidental. Donde Kripke vive la ausencia de fundamento como herida, y donde Borges la trata con ironía metafísica, Zhuangzi la cierra con una fórmula serena: entre él y la mariposa, dice, tiene que haber una diferencia —y la llama la transformación de las cosas. No niega la distinción, pero la deja fluir en vez de clavarla. Ahí se dibuja el eje Oriente/Occidente del manuscrito: el impulso occidental busca el fundamento y padece su falta; el taoísta, como el Madhyamaka de Nāgārjuna y la razón estética de Maillard, no exige suelo último, porque es justamente la falta de suelo la condición de que todo respire y cambie. La grieta deja de ser fractura y pasa a ser el intervalo por el que entra el aire.

Estructura lógica: el fallo de la buena fundación

Las dos vertientes del esquema general parecen fallos distintos, pero comparten una raíz formal. Si se representa la justificación como un grafo —una flecha de A a B significa «A se apoya en B»—, cada tipo de fallo corresponde a una forma del grafo.

Autorreferencia: el ciclo. La cadena de apoyos vuelve sobre sí misma: F se justifica con F. Su forma lógica típica es la diagonalización (Cantor, Russell, Gödel, Tarski), que Lawvere unificó en un único teorema de punto fijo. Cuando el punto fijo incluye una negación, surge la contradicción (el Mentiroso); sin negación, queda la petición de principio.

Fundamentación: la cadena abierta. La cadena no se cierra: F se apoya en G, G en H, sin término (regreso), o se corta en un punto que no se justifica (dogma).

Forma del grafo Figura de Agripa Vertiente Ejemplo
Ciclo Circularidad Inmanente (autorreferencia) El Mentiroso; el convencionalismo lógico
Cadena infinita Regreso Trascendente (fundamentación) Las ruinas circulares
Cadena cortada Dogma Trascendente (fundamentación) El realismo platónico como postulado

Una sola propiedad. Ambos son fallos de la buena fundación: la exigencia de que toda cadena de apoyos termine en algo firme. Un ciclo desenrollado es un regreso infinito. En la teoría de conjuntos no bien fundada de Aczel, el conjunto Ω = {Ω} es a la vez autorreferencia y cadena descendente infinita Ω ∋ Ω ∋ Ω… La autorreferencia es, pues, un regreso periódico, y el regreso una autorreferencia que nunca se repite. La paradoja de Yablo recorre el camino inverso: produce contradicción con una cadena infinita sin ciclo aparente, aunque Priest sostiene que la circularidad sigue implícita. Por eso el trilema de Agripa se comprime en un dilema: círculo y regreso son dos caras del mismo no cerrar, y el dogma es cerrar por decreto.

Lectura en Priest. Cada vertiente renuncia a una condición del Inclosure Schema: la autorreferencia renuncia a la Trascendencia (no se puede salir del marco) y la fundamentación renuncia a la Clausura (siempre hace falta algo de fuera).

Alcance. El esquema delimita una familia, no todas las grietas. Quedan fuera las grietas de borde, como el sorites (un fallo de fronteras nítidas), y las de infinito, como Zenón (el continuo sin un marco que se juzgue a sí mismo). El hueco explicativo mente-cuerpo solo entra si se lee como la conciencia investigándose a sí misma.

Otras grietas: matemáticas, física y ética

El esquema de vertientes no se limita a la lógica y al a priori. Reaparece, con distinto grado de ajuste, en los fundamentos de otras disciplinas.

Fundamentos de las matemáticas. El segundo teorema de incompletitud de Gödel (1931) es la vertiente inmanente en estado puro: un sistema consistente y suficientemente rico no puede probar su propia consistencia. Probarla desde fuera es posible —Gentzen (1936) lo hizo para la aritmética con inducción transfinita hasta el ordinal ε₀—, pero el sistema externo pide a su vez justificación: vertiente trascendente, regreso. El programa de Hilbert fue el intento de cerrar ese grafo con medios finitarios; Gödel mostró que no puede cerrarse desde dentro.

La hipótesis del continuo. La hipótesis del continuo (HC) afirma que no hay un tamaño de infinito entre el de los naturales y el de los reales. Gödel (1940) y Cohen (1963) mostraron que es independiente de ZFC. A diferencia de la frase de Gödel, no es indecidible por autorreferencia sino por contenido: los axiomas no fijan cuántos reales hay. Pero la pregunta por su verdad reproduce las dos vertientes. Para el multiverso de Hamkins, HC es verdadera en unos universos de conjuntos y falsa en otros; solo que hablar de «universos» exige ya la teoría de conjuntos (autorreferencia). Para el realismo de Gödel o Woodin, HC tiene valor en el universo V y faltan axiomas nuevos; pero justificarlos por intuición reabre el problema de Benacerraf, y justificarlos por sus frutos deja la cadena abierta (fundamentación). La raíz común la señaló Putnam a partir de la paradoja de Skolem: ningún sistema formal fija su propio modelo, igual que en Kripke ningún hecho fija la regla.

La vía de Feferman. Solomon Feferman propone una tercera salida: HC quizá no sea un problema matemático definido. El concepto de subconjunto arbitrario es vago, y el conjunto potencia es una colección abierta cuya extensión no está determinada. De ahí su lema: la lógica clásica rige lo definido y la intuicionista lo que no lo es. En su sistema semiintuicionista SCS, el tercio excluso vale solo para cuantificadores acotados. Feferman conjeturó que en ese marco, añadiendo que los reales forman un conjunto, no se puede demostrar «HC o no HC»; es decir, que HC es indefinida. Rathjen (2016) lo probó. Es una disolución en sentido wittgensteiniano con un giro técnico notable: la indefinición deja de ser una opinión filosófica y pasa a ser un teorema. Para el manuscrito es quizá la figura más fina de la grieta habitable: no se niega la pregunta ni se fuerza una respuesta; se demuestra, dentro de un marco preciso, que ese marco no puede tratarla como definida.

Dos matices refuerzan la lectura. Primero, la indefinición de Feferman no es ignorancia: preguntar «¿cuántos reales hay?» se parece a preguntar cuántos granos hacen un montón; la pregunta presupone una nitidez que el concepto no tiene. Segundo, su gesto no elige ninguna vertiente: no es multiversista (no afirma muchos universos igual de reales) ni realista (no busca el axioma que decida). Cambia la lógica según el terreno, y con ello localiza la grieta con precisión. Hay aquí un eco del catuṣkoṭi de Nāgārjuna, que ante ciertas preguntas rechaza «es», «no es», «ambos» y «ninguno»: Feferman, en otro lenguaje, retira el tercio excluso justo donde el objeto carece de contorno.

Física. El ajuste es parcial. El problema de la inducción de Hume es un dilema de dos vertientes perfecto: justificar la inducción por inducción es circular, y justificarla por demostración es imposible; toda la física descansa sobre ella. El problema de la medida cuántica es reflexivo en otro sentido: el observador forma parte del sistema que describe, como muestra el «amigo de Wigner». En cambio, el choque entre relatividad general y mecánica cuántica es una tensión entre teorías, no un marco que se juzga a sí mismo.

Ética. El dilema de Eutifrón tiene exactamente nuestras dos vertientes. Si lo bueno es bueno porque Dios lo quiere, la bondad depende del marco y se vuelve arbitraria (vertiente inmanente). Si Dios lo quiere porque es bueno, la bondad es independiente y Dios deja de ser el fundamento (vertiente trascendente): la grieta de Dios en sentido literal. La guillotina de Hume es su versión secular: el deber no se deriva de los hechos, y justificarlo desde la propia moral es circular. El equilibrio reflexivo de Rawls elige la salida coherentista: acepta el ciclo y lo convierte en método.

Conclusión y líneas abiertas

Las aporías del a priori y de la lógica pueden ser una sola grieta vista desde dos ángulos: epistemológico (cómo conocemos) y ontológico (qué es lo así conocido). El a priori es justo el lugar donde la lógica pretendería residir.

Preguntas para el manuscrito:

Bibliografía mínima

Referencias citadas de memoria; conviene verificar ediciones y páginas.