Actualizado: 2026-11-06

Teorema de Lawvere y aporías de marco

Fecha: 2026-11-05 (continúa el 2026-11-06) · Fuente: 2026-11-05_teorema-de-lawvere-y-aporias-de-marco.md · Documento: Aporías reflexivas de marco, secciones «Puente» y «Otras piezas de la misma familia» (rel. Copiar y nombrar, Lenguajes formales y categorías vs. mística)

Tema

Relación entre el teorema de punto fijo de Lawvere (1969) y el esquema de las aporías reflexivas de marco, y diagrama que va del lenguaje formal a los polos místicos, con las salidas posibles (Priest incluido).

Hilo de la conversación

  1. Oriol pregunta qué relación hay entre el teorema y las aporías de marco. Claude propone que las dos vertientes son los dos sentidos de una misma implicación: la inmanente es la lectura directa (suryección ⇒ toda t tiene punto fijo) y la trascendente, la contrapositiva (negación sin punto fijo ⇒ no hay autorrepresentación total).
  2. Oriol dice que el término lo inventó Claude. Claude precisa qué es nuevo (la combinación) y qué no (Lawvere, Yanofsky, Priest, Agripa).
  3. Oriol pide buscar siempre en el repo. Al hacerlo, Claude corrige lo dicho: la taxonomía de tres salidas y las dos lecturas del teorema ya estaban en Copiar y nombrar; lo nuevo es solo el puente con las vertientes.
  4. Oriol pide la sección y un diagrama del lenguaje formal a la mística, con alternativas como la de Priest. Se añade la sección «Puente» con tabla de traducción, diagrama Mermaid y tabla de siete salidas.
  5. Oriol pregunta si falta algo parecido; se añaden el Parménides según Rickless, la conciencia, la cara positiva del teorema y grieta-centro frente a grieta-ubicua.
  6. Trabajo de edición: el sitio web pasa a dibujar Mermaid, se crea source/diagramas/puente_lawvere_mistica.dot y la figura entra en logica_ensayo.md, apartado «De la lógica a la mística».

Tesis y conclusiones (incluidas las de Oriol)

Autores y referencias citados

Lawvere (1969; reed. TAC Reprints 15, 2006); Yanofsky (2003); Roberts (2023); Priest, Beyond the Limits of Thought; Kripke (1975); Feferman y Rathjen (2016); Aczel (1988); Garfield y Priest (2003); Uršič (1997); Pitteloud (2023); Sells (1994); Marion; Beall (2021); Rickless (2007); Proclo; von Neumann (1966); Hofstadter (2007); McGinn (1989); Frankish (2016).

Puntos a verificar