Actualizado: 2026-11-06

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

Conversación: Maillard Borges (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:

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:

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).

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.

Puente: el teorema de Lawvere y las dos vertientes

Añadido el 2026-11-05. Desarrolla la mención a Lawvere de la sección «Estructura lógica». El detalle técnico y las fuentes están en Lenguajes formales y categorías vs. mística (secciones 0 y 4); aquí solo se hace la traducción al esquema de vertientes.

El teorema. Si un objeto A puede nombrar todas las funciones A → Y (si hay una φ: A → Y^A débilmente punto-sobreyectiva), toda t: Y → Y tiene un punto fijo (Lawvere 1969, Th. 1.1). Su contrapositivo (Cor. 1.2) es el argumento diagonal: si algún t no tiene punto fijo, ninguna A nombra todas sus funciones en Y. La prueba solo usa dos gestos, nombrar (φ) y copiar (la diagonal Δ: A → A × A, que el mismo a sea a la vez código y argumento).

La traducción. Un marco F que se juzga a sí mismo es exactamente la situación del teorema:

Las dos vertientes no son, pues, dos aporías distintas: son los dos sentidos de una misma implicación. En la inmanente, el punto fijo de la negación da el Mentiroso o el convencionalismo que se autosocava; el punto fijo de la identidad es inocuo pero vacío, la petición de principio. En la trascendente, el marco no puede representar sus juicios y hay que subir de nivel (Tarski, tipos de Russell, la prueba externa de Gentzen), con regreso o con parada dogmática. Lawvere da Tarski (Th. 3.2) y Gödel I (Th. 3.3), pero no Gödel II, que necesita además las condiciones de derivabilidad; la lectura de Gödel II como vertiente inmanente de la sección anterior es, por tanto, estructural y no un corolario del teorema.

Ciclo y regreso son el mismo objeto. La tesis de la sección «Una sola propiedad» tiene aquí una forma literal. El punto fijo del combinador Y se despliega como Yf = f(Yf) = f(f(Yf)) = …, y en los dominios de Scott se calcula como el límite de la cadena ⊥ ⊑ f(⊥) ⊑ f(f(⊥)) ⊑ … (Kleene). Un ciclo es el límite de un regreso; el Ω = {Ω} de Aczel es la versión conjuntista del mismo hecho.

Feferman y ⊥. En los dominios de Scott y en la computabilidad el teorema no produce contradicción porque la negación tiene un punto fijo: el valor indefinido ⊥ (Turing concluye «Halt no es total», no «contradicción»). La teoría de la verdad de Kripke (1975) hace lo mismo con un tercer valor. La vía de Feferman para la hipótesis del continuo es el mismo gesto en otro terreno: retirar el tercio excluso donde el objeto no tiene contorno. Las dos «grietas habitables» comparten mecanismo, la parcialidad.

Del lenguaje formal a la mística: las salidas

Toda respuesta a la aporía rompe una hipótesis del teorema o acepta su conclusión. La taxonomía de tres salidas (codificación, duplicación, ausencia de punto fijo) viene de la conclusión de Copiar y nombrar; los polos místicos (silencio, todos los nombres, coexistencia, contradicción verdadera) vienen de la sección 0 del mapa de correspondencias. El diagrama los une.

flowchart TD
    subgraph FORMAL["Lenguaje formal"]
        N["Nombrar: φ : A → Y^A"]
        C["Copiar: Δ : A → A × A"]
    end
    N --> L
    C --> L
    L{{"Teorema de Lawvere<br/>suryección ⇒ toda t : Y → Y tiene punto fijo"}}

    L -->|"lectura contrapositiva<br/>(vertiente trascendente)"| CP["Se mantiene la negación:<br/>no hay autorrepresentación total"]
    L -->|"lectura directa<br/>(vertiente inmanente)"| DI["Se mantiene la suryección:<br/>todo operador tiene punto fijo"]

    CP --> S1["Romper la codificación<br/>tipos de Russell, jerarquía de Tarski"]
    CP --> S2["Romper la copia<br/>Tractatus 3.332; lógica lineal"]
    DI --> S3["Dar a ¬ un punto fijo: ⊥<br/>Scott, Kripke 1975, Feferman"]
    DI --> S4["Colapso: Y = 1<br/>Löb, Curry, Pavlović"]
    L --> S5["Coexistencia<br/>sintaxis degenerada, semántica {V, F}: Gödel I"]
    L --> S6["Aceptar la contradicción<br/>Priest: Clausura + Trascendencia, paraconsistencia"]

    S1 --> M1["SILENCIO por jerarquía<br/>Sells: cada desdecir es un metanivel"]
    S1 --> M1b["SILENCIO por salida de categoría<br/>Marion: Dios no es elemento de Y"]
    S2 --> M2["SILENCIO que se muestra<br/>TLP 6.522 y 7; Maimónides; Plotino"]
    S3 --> M3["HUECOS: ni F ni no-F<br/>Cusa según Uršič; lo Inefable de Damascio"]
    S4 --> M4["TODOS LOS NOMBRES<br/>Ibn Arabi; la Biblioteca de Babel"]
    S5 --> M5["SIN NOMBRE Y OMNINOMINABLE<br/>Eckhart Pr. 52; Dionisio; Cábala"]
    S6 --> M6["CONTRADICCIÓN VERDADERA (gluts)<br/>Nāgārjuna; el Uno de Damascio; Beall"]

    DI --> S7["Existencias: el punto fijo construye<br/>Y, Kleene, von Neumann, Hofstadter"]
    S7 --> M7["PUNTO FIJO GENERATIVO (conjetura)<br/>el nacimiento del Verbo en el alma, Eckhart"]

    subgraph GEN["Genealogía: Parménides según Rickless"]
        P1["D1, con Pureza Radical:<br/>lo uno ni es ni se nombra"]
        P2["D2, sin Pureza Radical:<br/>lo uno es uno y muchos"]
        P3["Tercer Hombre: OM + SP + NSP<br/>⇒ L1, L2, L3…"]
    end
    P1 -.->|"Proclo, Dionisio"| M2
    P2 -.-> M4
    P3 -.->|"prohibir la autoparticipación"| S1

    CO["Conciencia: el ojo que no se ve<br/>el marco es la perspectiva"]
    CO -.->|"misterianismo"| CP
    CO -.->|"bucle extraño"| S7

    M3 -.->|"catuṣkoṭi"| M6

Priest frente a Lawvere. Sobre la misma forma tiran en direcciones opuestas: donde Priest ve una contradicción verdadera en el límite, Lawvere ve un contrapositivo, y presentó su trabajo como una desmitificación. Priest no elige vertiente, sino que habita la contradicción; para que eso no degenere en el polo «todos los nombres» necesita una lógica paraconsistente que impida que una contradicción lo trivialice todo. La objeción de Jacquette es que el diagnóstico estructural de Priest no obliga a la lectura dialeteísta: las salidas de la tabla siguen abiertas. Que el Inclosure Schema sea un caso del esquema de Lawvere es un paralelismo estructural nuestro; la formulación exacta del esquema no se ha cotejado con el texto de Priest (cap. 11 de la ed. 2002).

Cautelas. Las flechas del diagrama que van de la columna formal a la mística son analogías estructurales, no derivaciones: es la moraleja «precisa y modesta» del mapa de correspondencias. No se ha encontrado ninguna obra que aplique explícitamente Lawvere o Yanofsky a Eckhart o Dionisio, de modo que esa correspondencia es, por ahora, propia del manuscrito. El encaje es exacto para la aporía del estatus de la lógica (Gödel, Tarski) y más laxo para la del a priori, donde «nombrar un juicio» se toma en sentido amplio. El dogma de Agripa no tiene contrapartida en el teorema: no es un resultado, sino la decisión de cortar la cadena.

Otras piezas de la misma familia

Añadido el 2026-11-05, a partir de otros documentos del repo.

La genealogía: el Parménides. Los dos polos del diagrama tienen un origen antiguo preciso. En la reconstrucción de Rickless (Rickless: premisas y argumentos del Parménides), la Primera Deducción, que usa la Pureza Radical (RP: ninguna Forma tiene propiedades contrarias), concluye que lo uno no es, no es uno y no puede nombrarse ni conocerse. La Segunda, sin RP, concluye que lo uno es un todo con partes, infinitamente muchos, con todos los pares de contrarios. Son el polo silencio y el polo todos los nombres, deducidos del mismo uno según se conserve o no una sola premisa. El Tercer Hombre (OM + autopredicación + NSP, «ninguna Forma participa de sí misma») es la vertiente trascendente en estado puro: prohibir la autoparticipación es bloquear la diagonal, y el precio es la serie L1, L2, L3…, la misma forma que la jerarquía de Tarski. Lo decisivo para el libro es que el mismo argumento admite dos salidas. Para Rickless, D1 es una reducción al absurdo de RP: la teoría tardía sacrifica la pureza y conserva la relación, con Formas que son uno y muchos. Para la lectura neoplatónica (Proclo, con quien el resumen de las monografías recomienda tender el puente hacia Eckhart), D1 es teología negativa verdadera sobre el Uno más allá del ser, y esa lectura llega por Dionisio a Eckhart. La aporía no está en los argumentos, que ambas lecturas aceptan, sino en la elección de salida, exactamente como en el teorema de Lawvere. La filiación Proclo → Dionisio → Eckhart está pendiente de verificar con fuentes.

La conciencia: el marco como perspectiva. ¿Es aporético el concepto de conciencia? confirma que la conciencia pertenece a la familia: es a la vez lo que se quiere explicar y la condición de cualquier explicación, el ojo que no se ve a sí mismo. En términos del teorema, la perspectiva no puede contener una representación completa de sí misma. Sus cuatro lecturas se dejan situar en el diagrama, como correspondencia tentativa nuestra: el misterianismo de McGinn es la lectura contrapositiva (la solución existe, pero el sistema no puede representarla); el ilusionismo de Dennett y Frankish rompe la codificación (el concepto de qualia está mal formado, no hay nada que nombrar); dualistas y panpsiquistas salen de la categoría (cambian la ontología); el fisicalismo temporal niega que haya aporía. Y la cara positiva tiene también su lectura: el yo como bucle extraño de Hofstadter es un punto fijo que existe porque el sistema se nombra a sí mismo.

La cara positiva: el punto fijo que construye. El diagrama original solo mostraba límites, pero la lectura directa del teorema también produce existencias: el combinador Y, la recursión de Kleene, los quines. La más sugerente es la autorreproducción de von Neumann (1948–49), descrita en Lawvere’s fixed point theorem: from λ-calculus to biology, sección 11: un constructor universal, un copiador y una descripción de la máquina, que no de la descripción, tienen la misma forma diagonal que Y, y la vida la realiza con el ADN. La autorreferencia no es solo el lugar donde el pensamiento se rompe, sino también donde algo se engendra a sí mismo. En la columna mística le correspondería un punto fijo generativo. Proponemos como candidato el nacimiento eterno del Verbo en el fondo del alma en Eckhart, donde el alma recibe al que la engendra; es una conjetura nuestra, sin apoyo en ninguno de los documentos y pendiente de contrastar con los sermones del ciclo de Navidad.

Dónde está la grieta: centro o ubicua. Mapa de las grietas lógicas distingue dos modelos: la grieta-centro de Cusa, en lo absoluto donde coinciden los opuestos, y la grieta-ubicua de Nāgārjuna, en cada cosa ordinaria. El teorema da un argumento formal a favor del segundo. Sus hipótesis son locales: basta un objeto A que nombre sus funciones y pueda copiarse. La diagonal no está reservada a la totalidad (el Absoluto de Cantor, la Deidad), sino que aparece en cualquier sistema ordinario con la riqueza suficiente: la aritmética, una máquina universal, una célula. La grieta-centro corresponde al caso en que A es el todo (Cantor, Russell); la ubicua, a que cualquier A suficientemente rico la tiene (Gödel, Turing, von Neumann). Es la lectura que encaja con la tesis post-nihilista de ese documento: la falta de fundamento no está en un lugar privilegiado, está en todas partes.

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:

• ¿Constituyen las aporías reflexivas de marco una categoría propia, distinta de las paradojas semánticas de autorreferencia?
• ¿El “así actuamos” de Wittgenstein es un suelo o el borde de una grieta?
• ¿Resiste el esquema aplicado a la teoría de la verdad y a la conciencia?

Bibliografía mínima

• Kripke, S. (1980). Naming and Necessity. Harvard University Press.

• Kripke, S. (1982). Wittgenstein on Rules and Private Language. Harvard University Press.

• McDowell, J. (1984). “Wittgenstein on Following a Rule”. Synthese, 58.

• Priest, G. (2002). Beyond the Limits of Thought. Oxford University Press.

• Quine, W. V. O. (1951). “Two Dogmas of Empiricism”. The Philosophical Review, 60.

• Wittgenstein, L. (1953). Investigaciones filosóficas.

• Wittgenstein, L. (1969). Sobre la certeza.

• Cohen, P. J. (1963). “The Independence of the Continuum Hypothesis”. PNAS, 50.

• Feferman, S. (2011). “Is the Continuum Hypothesis a Definite Mathematical Problem?”. Borrador, proyecto Exploring the Frontiers of Incompleteness, Harvard.

• Gentzen, G. (1936). “Die Widerspruchsfreiheit der reinen Zahlentheorie”. Mathematische Annalen, 112.

• Gödel, K. (1931). “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I”. Monatshefte für Mathematik und Physik, 38.

• Gödel, K. (1940). The Consistency of the Continuum Hypothesis. Princeton University Press.

• Hamkins, J. D. (2012). “The Set-Theoretic Multiverse”. The Review of Symbolic Logic, 5.

• Hume, D. (1739–40). Tratado de la naturaleza humana (1.3.6 sobre la inducción; 3.1.1 sobre el ser y el deber).

• Platón. Eutifrón, 10a.

• Putnam, H. (1980). “Models and Reality”. Journal of Symbolic Logic, 45.

• Rathjen, M. (2016). “Indefiniteness in Semi-Intuitionistic Set Theories: On a Conjecture of Feferman”. Journal of Symbolic Logic, 81.

• Rawls, J. (1971). A Theory of Justice. Harvard University Press.

• Wigner, E. (1961). “Remarks on the Mind-Body Question”. En I. J. Good (ed.), The Scientist Speculates.

• Aczel, P. (1988). Non-Well-Founded Sets. CSLI.

• Lawvere, F. W. (1969). “Diagonal Arguments and Cartesian Closed Categories”. Lecture Notes in Mathematics, 92.

• Yablo, S. (1993). “Paradox without Self-Reference”. Analysis, 53.

Añadidas con la sección «Puente» (2026-11-05); las verificadas están enlazadas en el mapa de correspondencias:

• Lawvere, F. W. (2006). Reimpresión comentada de «Diagonal Arguments and Cartesian Closed Categories». Reprints in Theory and Applications of Categories, 15.

• Yanofsky, N. S. (2003). “A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points”. Bulletin of Symbolic Logic, 9(3).

• Roberts, D. M. (2023). “Substructural Fixed-Point Theorems and the Diagonal Argument”. Compositionality, 5.

• Kripke, S. (1975). “Outline of a Theory of Truth”. The Journal of Philosophy, 72.

• Garfield, J. y Priest, G. (2003). “Nāgārjuna and the Limits of Thought”. Philosophy East and West, 53(1).

• Uršič, M. (1997). «Coincidentia oppositorum pri Nikolaju Kuzanskem in sodobne parakonsistentne logike». Filozofski vestnik, 18(3).

• Pitteloud, L. (2023). “Beyond the Principle of Non-Contradiction: Damascius on the Ineffable”. Rhizomata.

• Sells, M. (1994). Mystical Languages of Unsaying. University of Chicago Press.

• Marion, J.-L. (1991). God Without Being. University of Chicago Press.

• Beall, J. (2021). The Contradictory Christ. Oxford University Press.

• Rickless, S. C. (2007). Plato’s Forms in Transition: A Reading of the Parmenides. Cambridge University Press.

• Proclo. Commentary on Plato’s Parmenides. Trad. G. R. Morrow y J. M. Dillon. Princeton University Press, 1987.

• von Neumann, J. (1966). Theory of Self-Reproducing Automata. Ed. A. W. Burks. University of Illinois Press.

• Hofstadter, D. (2007). I Am a Strange Loop. Basic Books.

• McGinn, C. (1989). “Can We Solve the Mind-Body Problem?”. Mind, 98.

• Frankish, K. (2016). “Illusionism as a Theory of Consciousness”. Journal of Consciousness Studies, 23(11-12).

• Zhuangzi (s. IV a. C.). Zhuangzi (Libro maestro Zhuang). (El “sueño de la mariposa”, cap. 2, “Sobre la igualdad de las cosas”.)

• Borges, J. L. (1944). Ficciones. (“La Biblioteca de Babel”, “Pierre Menard, autor del Quijote”, “Tlön, Uqbar, Orbis Tertius”, “Las ruinas circulares”, “Funes el memorioso”.)

• Borges, J. L. (1949). El Aleph.

• Maillard, C. (1998). La razón estética. (Reed. Galaxia Gutenberg, 2017.)

• Maillard, C. (2004). Matar a Platón. Tusquets.

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