Antiguos §5 y §6 del ensayo sobre lógica
(logica_ensayo.md), separados de él el 2026-09-24. Se
conservan íntegros: prosa, críticas, tareas, fragmentos y bibliografía,
con su numeración original. Las referencias a §1–§4, a las críticas
C-01…C-07, C-16, C-17, C-19…C-23, C-27, C-28…C-30, a las tareas que no
están aquí y al anexo «Estado de la cuestión» remiten a
logica_ensayo.md. Desde el 2026-09-25 ese ensayo está
reorganizado en una introducción y tres partes (I. Revisión histórica,
II. Grietas de la lógica, III. Conclusión): los «§1–§4» de este
documento usan su numeración anterior, cuya correspondencia con la nueva
está en su «Nota sobre la reorganización».
Los cuatro apartados anteriores convergen en un mismo punto. La pluralidad de las lógicas mostró que ningún sistema formal es el sistema; el examen de la matemática mostró que el formalismo no se agota a sí mismo; la ontología mostró que las categorías con las que hablamos de lo real son proyecciones nuestras y no su estructura. Queda por preguntar qué ocurre cuando el lenguaje se dirige deliberadamente a aquello que, por construcción, no puede alojar: la totalidad, lo Absoluto, lo individual concreto. La respuesta de una tradición larga y transcultural es que el lenguaje no calla sin más, sino que adopta una forma reconocible —negación, paradoja, retractación, silencio— y que esa forma no es un adorno retórico sino la huella de un problema estructural.
Toda predicación tiene la forma «S es P»: supone un sujeto portador, un predicado que lo delimita, una distinción entre ambos y, con ella, una determinación. Aplicada a lo Absoluto —Dios, Brahman, el Tao, el Uno—, esta estructura genera cuatro problemas que no son variantes de uno solo, sino cuatro colapsos distintos.
§4 concluye que las categorías ontológicas (sustancia, propiedad, relación) son proyecciones nuestras sobre lo real. §5 pasa a afirmar que esto genera problemas irresolubles cuando intentamos predicar de lo Absoluto. Pero ¿por qué? Si las categorías son proyecciones humanas, ¿por qué deberían aplicarse a lo Absoluto? ¿No es más bien evidente de antemano que no pueden? El texto presupone que existe algo llamado lo Absoluto hacia lo cual se dirige la predicación, pero si es inefable por definición, ¿cómo sabemos que existe? El salto opera como si §4 hubiera establecido que hay un referente trascendente; solo ha establecido que nuestras categorías son limitadas. Son cosas distintas.
El primero es el problema de la distinción sujeto-atributo. Si Dios es realmente distinto de su bondad, es compuesto y depende de sus atributos, lo que contradice la simplicidad divina; si no es distinto, «Dios es bueno» es una tautología que no informa de nada. La doctrina de la simplicidad divina, tal como la formula Tomás, es precisamente el intento de sostener el segundo cuerno sin caer en la vacuidad, y la discusión analítica contemporánea (Plantinga, Stump y Kretzmann) muestra hasta qué punto sigue abierta.
El segundo es el problema de la determinación, en la forma clásica omnis determinatio est negatio. Todo predicado recorta: decir que algo es esto es decir que no es todo lo demás. Predicar de lo indeterminado es determinarlo, y determinarlo es negarlo en cuanto Absoluto. No es un problema teológico sino el mismo que aparece en §3 al abstraer hasta el límite: cuando se han quitado todas las propiedades queda la pura existencia, y la existencia no se comporta como un predicado más.
El tercero es el problema de la objetivación. Predicar exige un objeto del que predicar. La predicación convierte por tanto lo Absoluto en objeto de conocimiento y reinstala la dualidad sujeto-objeto que la experiencia mística dice atravesar. Este es el punto donde el problema deja de ser lingüístico: no se trata de que falten palabras, sino de que la operación misma de referirse constituye una escisión.
El cuarto es el problema del lenguaje finito. Todas nuestras palabras provienen de la experiencia finita; aplicarlas a lo Infinito es inadecuado por origen. Es la raíz del recurso a la analogía, y también su debilidad: la analogía necesita una proporción, y la proporción entre lo finito y lo infinito es justamente lo que no hay.
Eckhart formula la consecuencia con una precisión que ninguna otra tradición occidental alcanza: Deus est esse / Esse non est Deus / Deus non est ens, sed super ens. Incluso «ser», la categoría más general de la que dispone la metafísica, es ya un velo. La abstracción límite de §3 y la teología negativa dicen aquí exactamente lo mismo desde dos vocabularios distintos.
La doctr docrina de la simplicidad divina de Tomás (y su defensa contemporánea por Stump & Kretzmann, Plantinga) no es un fracaso que haya que nombrar en paréntesis. Es un desarrollo sistemático que responde al primer colapso. De igual forma, la objeción de que la predicación determina y por tanto nega no es incontestable: un teólogo puede sostener que Dios trasciende la determinación no porque sea indeterminado (lo que lo negaría), sino porque es hipereterminado (posee todas las perfecciones de forma eminente). El párrafo presenta los colapsos como si fueran obvios; en realidad, son puntos de controversia real en metafísica y teología. La refutación de las respuestas sofisticadas que existen no puede omitirse.
Ninguna cierra el problema; cada una lo explicita de otro modo, y esa es su utilidad.
¿Qué significa «cerrar»? Si significa «ofrecer una solución exhaustiva de la que no surge ninguna objeción», entonces es un criterio tan exigente que lo viola casi cualquier posición filosófica seria. La vía analógica de Tomás no cierra el problema en ese sentido, pero tampoco pretende hacerlo: sostiene que podemos hablar lícitamente de Dios aunque nuestra vía de acceso sea analógica. ¿Es eso un fracaso o una solución que reconoce sus propios límites? El párrafo parece exigir una solución que elimine totalmente la tensión, pero eso podría ser exigir demasiado del lenguaje. Conviene ser explícito sobre qué criterio de «adecuación» se está usando, porque afecta al juicio global sobre el estado de la cuestión.
La vía analógica (Tomás, ST I q.13) sostiene que los predicados se aplican a Dios ni unívoca ni equívocamente, sino por analogía de proporcionalidad. Salva la posibilidad de hablar al precio de dejar indeterminado el término de comparación.
La vía negativa (Pseudo-Dionisio, Maimónides, Plotino) niega sucesivamente todo predicado. Su límite es conocido: una negación sigue siendo una predicación, y la acumulación de negaciones no produce por sí sola el silencio que persigue. Maimónides, en la Guía, es quien más lejos lleva la depuración.
La vía paradójica (Eckhart, Nicolás de Cusa) afirma simultáneamente términos contradictorios. La coincidentia oppositorum de Cusa y su docta ignorantia usan explícitamente analogías matemáticas —el círculo de radio infinito que coincide con la recta— para exhibir un límite que la razón puede señalar sin habitar. Es el antecedente histórico más claro de un tratamiento de lo Absoluto por vía formal, y merece atención por sí mismo.
El texto afirma que Cusa es «el antecedente histórico más claro de un tratamiento de lo Absoluto por vía formal, y merece atención por sí mismo», y no le dedica más que este párrafo. O se redacta un desarrollo breve —el maximum absoluto, la coincidencia del máximo y el mínimo, las figuras matemáticas del libro I de De docta ignorantia—, o se suprime la afirmación de que «merece atención por sí mismo». Es el puente entre §3 (matemática) y §5 (mística) que hoy falta.
La vía del silencio (Tractatus 6.522 y 7, el noble silencio del Buddha ante las avyākata): «Hay ciertamente lo inefable. Esto se muestra, es lo místico»; «De lo que no se puede hablar, hay que callar». Su dificultad es la de toda escalera: para llegar al silencio Wittgenstein tuvo que escribir el libro entero, usando el lenguaje para trascenderse a sí mismo.
La vía performativa (koan zen, mondō, algunos usos del neti neti). El lenguaje no describe sino que produce un efecto: se usa para bloquear el propio funcionamiento conceptual. Es la única de las cinco que abandona la pretensión descriptiva, y quizá por eso la menos vulnerable a las cuatro objeciones anteriores.
Se dice que la vía performativa es «la menos vulnerable a las cuatro objeciones» porque abandona la pretensión descriptiva. El ensayo, sin embargo, es enteramente descriptivo y argumentativo: su conclusión (§6.2) formula una tesis («los principios describen el corte»). Si la vía performativa es la más sólida, el propio ensayo usa la más débil. §6.3 y §6.4 apuntan a una salida («cambio de atención», «postulado regulativo»: dos formas de uso y no de descripción), pero no la conectan con esta preferencia. Falta decir qué tipo de discurso es el ensayo mismo.
Lo notable es la convergencia de estructuras en tradiciones sin contacto. El catuṣkoṭi de Nāgārjuna niega las cuatro posiciones exhaustivas sobre el Tathāgata —su análisis como sistema lógico está en §2 ; aquí interesa solo como pieza del patrón—; el neti neti del Bṛhadāraṇyaka Upaniṣad procede por retirada sucesiva; el primer verso del Tao Te Ching declara innombrable el Tao verdadero; Lossky recoge la fórmula bizantina Deus innominabilis et omninominabilis, que sostiene a la vez la infinitud de los nombres y la imposibilidad de nombrar.
La lectura que aquí se propone es que esta convergencia no prueba una experiencia común —esa sería la tesis perennialista, que Katz y la crítica constructivista han desmontado con buenos argumentos— sino algo más modesto y más sólido: prueba que la estructura sujeto-predicado tiene el mismo punto de rotura en cualquier lengua que la use. No es una coincidencia mística; es una consecuencia lógica.
Decir que Katz y la crítica constructivista han desmontado el perennialismo «con buenos argumentos» exagera el estado del debate: Forman (The Problem of Pure Consciousness, 1990) y la literatura sobre acontecimientos de conciencia pura responden a Katz, y la discusión sigue abierta. Además, la tesis del ensayo —la estructura sujeto-predicado se rompe en el mismo punto en cualquier lengua— es una forma de núcleo común, desplazada de la experiencia a la gramática. Un constructivista puede responder que también la gramática de la negación es aprendida en cada tradición. El argumento estructural necesita mostrar por qué la convergencia no es un efecto de la traducción de esos textos a categorías occidentales.
No todas las lenguas tienen la estructura sintáctica sujeto-predicado. El chino clásico, el japonés, el islandés antiguo y muchas lenguas no indoeuropeas omiten el sujeto explícitamente o lo marcan de forma radicalmente distinta. Si la estructura sujeto-predicado no es universal en las lenguas, entonces o bien (a) el punto de rotura no es lingüístico sino conceptual, en cuyo caso se ha producido un cambio de nivel que el texto no marca explícitamente; o bien (b) la convergencia transcultural es menos universal de lo que se presenta. En el caso (a), habría que responder a la pregunta: ¿la universalidad es una estructura del pensamiento conceptual o del ser? Eso es platónico, precisamente lo que se negaba.
De ahí se sigue el punto que interesa al ensayo. La śūnyatā no es una tesis sobre el mundo que compita con otras, sino la negativa a ocupar ninguna de las posiciones que la estructura ofrece —Nāgārjuna lo dice: quien hace de la vacuidad una posición es incurable—. Y la fórmula de Lossky, leída desde §3, deja de ser una paradoja devocional: infinitos nombres e imposibilidad de nombrar son las dos caras de la predicación infinita, exactamente igual que en la veta de la madera. Lo inefable de lo Absoluto y lo inefable de lo individual son el mismo fenómeno.
La afirmación de que «lo inefable de lo Absoluto y lo inefable de lo individual son el mismo fenómeno» es el punto más delicado del ensayo. Pero: (a) lo individual es inefable porque requiere infinitos predicados (un hecho sobre nuestras capacidades cognitivas); (b) lo Absoluto, si existe, podría ser inefable por razones distintas (por estar más allá de toda predicación, no solo de finitas). La equivalencia requeriría demostrar que ambas causas de inefabilidad son idénticas, no solo que tienen estructura similar. Sin eso, la conclusión de que «no está arriba» es apresurada.
Fragmentos: ⟦MOD-03⟧
[logica.md — sección “Logica/Lenguaje 2” y “Logica lenguaje Ontologia”]
Nombres atributos: Lossky deus innominable/omnominable. […] Nombres Dios. Tao innombrable.
[logica.md — sección “Lógica / Ontología divagación”, fragmento final]
Quiero que se haga cargo de que Dios innominabile y omninominable. Por un lado hay infinidad de atributos de Dios y por otro esa imposibilidad de decir nada de Dios, el silencio. Enlaza con la nada (entes).
El enlace con la nada que apunta el fragmento es el que cierra el círculo con §3: abstraer hasta el límite deja la pura existencia, y un paso más deja nada que decir. Infinitos atributos y silencio no son dos vías alternativas hacia lo Absoluto, sino el mismo recorrido leído en las dos direcciones.
Trasladados desde «Otros» (O.1 y O.2) el 2026-09-24:
[logica.md — sección “Logica/Lenguaje 2”, fragmento final]
[Nombres atributos — véase más arriba.] Chinos nombres. Adan nombre. Name tractatus.
[logica.md — sección “Logica lenguaje Ontologia”]
Limites lenguaje / logica primer Wittgenstein.
Critica WII a WI → metafísica oculta, problema “name”.
Problema universales → Nominalismo, etc.
[Nombres Dios. Tao innombrable. Lossky — véase más arriba.]
¿Es posible nombrar lo concreto sin abstraccion?
[logica.md — sección “Lógica / Ontología divagación”, fragmento final (continuación)]
De forma límite lleva a la mística.
Digamos que por un lado esa idea de que se pueden predicar infinitas cosas de algo. Que un objeto individual es imposible de conceptualizar: tienes que decir infinitas propiedades para definirlo.
[Dios innominabile y omninominable; infinitos atributos y silencio; el enlace con la nada — citado más arriba.]
Lenguaje místico: Silencio, las paradojas, el uso de la negación. Yo creo que ahí enlazaría con la versión del intuicionismo lógico. Puede ser algo diferente; de lo contrario, no tiene por qué ser lo contrario. Puede ser todo lo que nos ha sido descrito.
[Resumen final del fragmento: la inversión de las sombras platónicas — citado en §4, donde llega con el argumento que lo sostiene.]
El propio fragmento cierra remitiendo a la inversión de la caverna: si los modelos se proyectan sobre lo real en vez de derivar de él ⟦véase §4⟧, entonces el silencio, la paradoja y la negación acumulada no son un abandono del método sino el punto en que el método reconoce lo que ha dejado fuera.
Temas a desarrollar: ⟦MOD-03⟧
Es la pista que el DAFO considera la aportación técnica más original, y solo existe como viñeta y como una frase confusa en un fragmento de §5 («Puede ser algo diferente; de lo contrario, no tiene por qué ser lo contrario»). Redactar al menos un párrafo:
Si no da resultado, eliminar la pista del DAFO y de los temas.
Bibliografía: ⟦MOD-03⟧
Eckhart1998, Eckhart2013 — ya en bibWittgenstein1973 — Tractatus 6.44, 6.52,
6.522, 6.54, 7 (ya en bib)Vega2006 — Zen, mística y abstracción (ya en
bib)Paniker1982 — Aproximación al origen (ya en
bib)Conviene decir primero qué no se sigue de lo anterior, porque hay tres finales disponibles y los tres son trampas.
El primero sería terapéutico: declarar que la pregunta inaugural —¿los principios lógicos son de la razón o de lo real?— estaba mal planteada y se disuelve al examinarla. Es coherente con el material, pero repite exactamente el gesto que §1 presentaba como el patrón a examinar, no a adoptar. Terminar disolviendo la pregunta sería hacer lo que se anunció que se iba a estudiar.
El segundo sería afirmativo sobre la intuición: sostener que sí hay pensamiento sin lógica, con Ramanujan y con el reconocimiento gödeliano de verdades indemostrables como testigos. Es el final más atractivo y el más frágil: exigiría probar lo que a lo sumo puede señalarse, y deja el argumento en el punto exacto donde la crítica al uso metafísico de los teoremas limitativos lo está esperando.
El tercero sería restaurador: concluir que, agotadas las lógicas, queda una vía de acceso privilegiada —la mística como órgano alternativo de conocimiento—. Eso reintroduciría por la puerta de atrás la jerarquía que §4 desmontó: otro mundo, otra facultad, otro original del que lo demás sería copia.
La acusación de que el misticismo reintroduce «jerarquía» asume una lectura ingenua de Eckhart y de la mística occidental. Eckhart rechaza explícitamente dos órdenes de realidad; afirma que la mística es el reconocimiento de que Dios no es una entidad superior sino la Nada en que descansa toda distinción (Deus est et non est). No es otro mundo, sino el otro lado de cualquier distinción mundo/no-mundo. Un defensor del «final restaurador» podría responder: la mística no es una facultad alternativa sino el cese de la proyección onto lógica que todas las facultades hacen. ¿Es eso reintroducir jerarquía? O ¿es simplemente reconocer que cuando cesa el modelo, cesa el modelo? Sin encararse con esa objeción, el rechazo del final restaurador queda como petición de principio.
Los cinco apartados no describen cinco fracasos distintos de la razón. Describen cinco versiones de una sola operación. Abstraer es olvidar; predicar es recortar; individuar es fijar un objeto que se supone invariable; formalizar es delimitar un dominio. En cada caso se gana precisión a cambio de un resto, y el resto no es un residuo que un sistema más fino terminaría de absorber: es lo que hace que haya pensamiento. Un concepto que no olvidara nada no sería un concepto mejor; no sería un concepto.
El párrafo anuncia cinco versiones de una operación y enumera cuatro: abstraer, predicar, individuar, formalizar. Falta la quinta (¿nombrar, en correspondencia con §5?) o hay que decir «cuatro». Conviene además que cada operación remita al apartado en el que se ha mostrado.
Leída así, la pluralidad de lógicas de §2 deja de ser un lamento y se vuelve una prueba. Hay muchas lógicas porque cada una compra un dominio de razonamiento al precio de un olvido distinto: la paraconsistente compra la contradicción, la trivaluada la información faltante, la intuicionista la constructividad, el catuṣkoṭi la clausura de toda posición. No forman una serie que converja hacia el sistema definitivo, del mismo modo que Newton, Einstein y la cuántica no convergen hacia la física verdadera. Forman una constelación de proyecciones, y la pregunta por lo que subyace al conjunto —la que abría el ensayo— no tiene por respuesta un sistema más general, sino la operación misma que todas comparten.
Esto es lo que permite responder, por fin, a la pregunta inaugural. Los principios lógicos no son de la razón ni de lo real: son las condiciones bajo las cuales algo puede aparecer como real para nosotros. No describen el mundo ni describen la mente; describen el corte. Y un corte no es verdadero ni falso: es más o menos fértil.
Esta es la afirmación filosófica más importante del ensayo, pero aparece como conclusión de una serie de ejemplos, no como resultado de un argumento. La pluralidad de lógicas y los límites formales son compatibles con al menos dos lecturas rivales que no se descartan: (a) algunas lógicas son correctas y otras no —la pluralidad es un hecho histórico, no ontológico—; (b) las lógicas son herramientas pragmáticas sin implicaciones sobre el estatus de los principios. Hay que mostrar por qué la interpretación «condiciones de aparición» es preferible, no solo más elegante.
«Los principios lógicos son las condiciones bajo las cuales algo puede aparecer como real para nosotros» es, casi palabra por palabra, la definición kantiana de lo trascendental: es decir, el primer cuerno de la disyuntiva que se pretendía evitar («son de la razón»). Y «un corte no es verdadero ni falso: es más o menos fértil» es la tesis pragmatista que la crítica de §6.2 presenta como rival (b). Para que la respuesta sea propia, hay que señalar qué separa el «corte» de ambos. Candidatos: que el corte no es único ni necesario (contra Kant) y que deja un resto positivo (contra el pragmatismo, que no necesita ningún resto). Así lo formula el platonismo invertido en §4, pero §6.2 no lo retoma.
De aquí se sigue el punto que el ensayo puede reclamar como propio.
La tradición situó lo indecible en la cima —el Uno, el Bien, la Deidad, el Tao— y por eso la mística quedó como asunto de excepción: una experiencia rara, sobre un objeto excepcional, accesible a pocos. Pero si la inefabilidad procede de la estructura de la predicación y no de la eminencia del objeto, entonces no está concentrada en ningún sitio: está repartida por igual. La veta de la mesa de madera y la Deidad de Eckhart son inagotables por la misma razón, y esa razón es formal, no devocional. Ninguna cadena finita de predicados cierra un objeto; ninguna cadena infinita es pronunciable.
La consecuencia no es epistemológica sino de atención. Si lo indecible está en cualquier parte, el cambio que la mística propone no es un cambio de objeto —mirar hacia lo alto en vez de hacia lo bajo— ni un cambio de facultad —usar la intuición en vez del concepto—, sino un cambio en el modo de estar ante lo mismo que ya hay. Es lo que dice el neti neti aplicado a una mesa. Es también lo que dice Caeiro cuando escribe que pensar en el mundo es cerrar los ojos: no propone otra cosa que mirar, propone dejar de interponer el modelo entre la mirada y lo mirado, aun sabiendo que no del todo se puede.
Hay metafísica de sobra en no pensar en nada. ¿Qué pienso yo del mundo? ¡Vete a saber qué pienso del mundo! Si enfermase, pensaría en eso. ¿Qué idea tengo de las cosas? ¿Qué opinión tengo de las causas y de los efectos? ¿Qué he meditado sobre Dios y el alma y sobre la creación del mundo? No lo sé. Para mí pensar en eso es cerrar los ojos y no pensar. Es correr las cortinas de mi ventana (pero no las tiene).
— Fernando Pessoa / Alberto Caeiro, El guardador de rebaños, V
El poema de Caeiro dice «pensar en el mundo es cerrar los ojos» / «Para mí pensar en eso es cerrar los ojos y no pensar». El ensayo lo lee como: «propone dejar de interponer el modelo». Pero Caeiro podría estar diciendo simplemente que la actividad mental abstracta es incompatible con la percepción inmediata —que cuando piensas, dejas de ver. Eso no es lo mismo que «dejar de interponer modelos manteniendo la percepción». Es una lectura más existencial (el cese del pensamiento conceptual) que epistemológica (el reconocimiento de que los modelos interponen). Sin citar más del poema o resolver la ambigüedad, la invocación de Caeiro funciona como respaldo retórico, no como argumento.
Este es el paso más grande del ensayo y el menos argumentado. La inefabilidad de los objetos es un resultado sobre la estructura del lenguaje y la predicación; la conclusión de que «la consecuencia es un cambio de atención» importa una premisa normativa que no está en el argumento previo. ¿Por qué de que ningún predicado cierra un objeto se sigue cómo deberíamos relacionarnos con las cosas? Sin esa justificación, el párrafo es retóricamente convincente pero filosóficamente incompleto.
Y es, finalmente, la razón por la que este ensayo no necesita un salto para llegar a la mística. No hay un momento en que se abandone el argumento y empiece otra cosa. La mística, en el sentido en que aquí se usa la palabra, es la conciencia de lo que la lógica hace en cada uno de sus pasos.
Se define mística como «la conciencia de lo que la lógica hace en cada uno de sus pasos». Esto es una definición funcional del ensayo, pero ¿coincide con lo que Eckhart, Plotino, el zen o Nāgārjuna entienden por mística? Eckhart habla de «experiencia de la Deidad», Plotino de «unión sin objeto», el zen del satori. La definición del ensayo es más epistémica (la toma de conciencia); las tradiciones enfatizan la transformación existencial o la experiencia directa. Al adoptar una definición propia, se corre el riesgo de haber cambiado el significado del término sin decirlo explícitamente. Conviene una breve nota aclaratoria sobre cómo se relaciona esta «conciencia lógica» con la experiencia mística clásicamente entendida.
Queda la objeción que se ha ido aplazando: si todo modelo es una proyección parcial, también lo es la tesis de que todo modelo es una proyección parcial. La objeción es correcta y no admite respuesta dentro del esquema.
Lo que sí admite es una precisión sobre el estatuto de lo dicho. Estas páginas no proponen una ontología rival —una en la que, ahora sí, se describiría cómo es lo real: inagotable, abierto, relacional—. Eso sería una proyección más, presentada con la pretensión que se ha estado negando. Su función es otra: la de un postulado regulativo, un recordatorio operativo de que cualquier modelo que se adopte, incluido este, deja resto. No dice cómo es lo real; dice cómo comportarse con los modelos.
Es la estructura de la escalera del Tractatus, con una diferencia que importa. Wittgenstein pedía arrojar la escalera después de subir. Aquí no hay dónde llegar: se sigue usando la escalera, sabiendo que es una escalera. La lógica no se abandona —no hay pensamiento sin ella— pero deja de confundirse con aquello sobre lo que se piensa.
§6.4 dice que la tesis «no dice cómo es lo real; dice cómo
comportarse con los modelos». Pero una norma de conducta («trata todo
modelo como parcial») solo está justificada si los modelos son
parciales. Si no lo fueran, la norma sería mera prudencia arbitraria. En
Kant, el uso regulativo de las ideas se apoya en una crítica que
establece antes, constitutivamente, los límites del entendimiento. El
ensayo necesita algo equivalente, o reconocer que el postulado
regulativo arrastra la afirmación ontológica que dice evitar. No es la
misma objeción que C-30, la de §4 de logica_ensayo.md
(inmunidad a la falsación): es que el giro regulativo no sale del
problema, lo traslada.
El párrafo se apoya en la escalera de 6.54 sin decidir qué lectura se asume, algo que el anexo «Estado de la cuestión» y los temas de §6 piden hacer. Redactar dos o tres frases:
Un punto permanece fuera, y el ensayo debe declararlo en vez de resolverlo: de dónde vienen las intuiciones. Quién orienta al matemático hacia la conjetura fértil; qué reconoce Ramanujan cuando ve verdadera una fórmula que no sabe demostrar; qué hace que unos cortes sean fértiles y otros estériles, si ningún corte es verdadero. Los sistemas formales certifican, no descubren; los asistentes de prueba encuentran demostraciones pero no plantean problemas. La pregunta de O.3 —¿puede haber pensamiento sin lógica?— no se responde aquí, y el ensayo no dispone de medios propios para responderla.
logica_ensayo.md): la frase debe hablar de quién plantea
los problemas, no de quién encuentra las demostraciones.Declararlo no es una concesión de humildad retórica. Es la aplicación consecuente de todo lo anterior: un argumento que sostiene que ningún sistema se agota a sí mismo no puede terminar agotándose.
Temas a desarrollar: ⟦MOD-05⟧
Bibliografía: ⟦MOD-05⟧
Wittgenstein1973 — Tractatus 6.54 y 7 (ya en
bib)Eckhart1998, Eckhart2013 — ya en bibPaniker1982 — Aproximación al origen (ya en
bib)Kant1781 — sobre el uso regulativo de las ideas
(Dialéctica trascendental, apéndice) — ya en bib| Concepto | Ir al texto |
|---|---|
| Estructura sujeto-predicado | §5.1 |
| Los cuatro colapsos de la predicación | §5.1 |
| Cinco vías de la tradición | §5.2 |
| Śūnyatā | §5.3 |
| El límite como condición | §6 |
| Lo inefable distribuido (no jerárquico) | §6.3 |
| Postulado regulativo / objeción de autorreferencia | §6.4 |