numbersections: false

Lógica

Take any definite unsolved problem, such as the question as to the irrationality of the Euler-Mascheroni constant C, or the existence of an infinite number of prime numbers of the form 2n + 1. However unapproachable these problems may seem to us, and however helpless we stand before them, we have, nevertheless, the firm conviction that their solution must follow by a finite number of purely logical processes. … This conviction of the solvability of every mathematical problem is a powerful incentive to the worker. We hear within us the perpetual call: There is the problem. Seek its solution. You can find it by pure reason, for in mathematics there is no ignorabimus.

— David Hilbert, “Mathematical Problems” @Hilbert1902

“Temo que no vamos a desembarazarnos de dios porque seguimos creyendo en la gramática” — F. Nietzsche >>“La metafísica es una consecuencia de no sentirse bien” — Álvaro de Campos

🔴 Severas

Introducción

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, dirigido a algo que casi nunca se examina: la lógica. Desde Aristóteles ha sido la condición invisible del pensamiento racional occidental, el instrumento con el que se juzga todo lo demás y que, por eso mismo, no se juzga. La metafísica y la ontología se lo deben casi todo: ha sido a la vez su fundamento y su límite.

La pregunta inaugural es si los principios lógicos son de la razón o de lo real. La respuesta de este ensayo es que no son ni lo uno ni lo otro, y que la disyuntiva misma forma parte del malentendido que hay que rastrear. Lo que se persigue es un deslizamiento: el modo en que unos principios formulados como condiciones del pensar se convierten, sin que nadie lo declare, en tesis sobre el mundo. La no contradicción deja de ser un requisito del discurso y pasa a ser un principio del ente en cuanto ente; la identidad deja de ser una regla de la inferencia y pasa a ser la estructura de las cosas. Ese deslizamiento es realismo sobre la estructura del mundo, y es aristotélico antes que platónico: no postula un reino ideal de verdades lógicas, sino que lee la gramática de nuestras proposiciones como el esqueleto de lo que hay. Mostrarlo no exige negar que la lógica funcione. Exige ver dónde se agrieta, y qué aparece en la grieta.

El método es la genealogía crítica, en la línea de los dos autores anteriores: la historia se recorre para ver cómo se formó el malentendido, no para exponerla. El recorrido es deliberadamente parcial; queda fuera, entre otras cosas, la aportación de la Edad Media.

Uno no sabe por donde empezar la verdad. Todo es demasiado rico, complejo como para tener una visión global clara.

Podriamos proceder de forma histórica: desde Parmenides hasta Heidegger y Gödel. Pero nuestro proposito no es expositivo.

Como todo autor uso (y abuso) la tradición y los autores a mi conveniencia. No pretendo ser fiel a nada y a nadie. Los uso (y abuso) a mi conveniencia, para pensar de nuevo, en realidad como todo autor, para conjutar mis fantasmas.

Cómo ya dije examinaremos la cuestión de forma crítica pero también de forma arbitraria, no creyendo demasiado lo que se ha dicho, lo que se ha pensado. ¿Por qué? Porque lo que se ha pensado está impregnado, contaminado por la lógica misma.

Esa advertencia sobre el uso y el abuso de la tradición no es coquetería: distingue la lectura interpretativa de la exposición fiel, y es la única defensa honesta frente al reproche de infidelidad filológica. Con ella conviene declarar también las deudas. Como tesis de filosofía de la lógica, poco de lo que sigue es nuevo: la lógica no a priori, revisable como se revisa una ciencia, viene de Mill, de Quine, de Putnam y del antiexcepcionalismo contemporáneo; «una lógica para cada situación, elegida por su fertilidad» es el principio de tolerancia de Carnap, y antes de C. I. Lewis; la lógica derivada de la experiencia y la individuación que se diluye en la física cuántica están en Penelope Maddy; los infinitos modelos son de Putnam, que los usó para la conclusión contraria. La deuda mayor es con el segundo Wittgenstein: las gafas que no se ven, el seguir una regla, la certeza que no se funda. Lo propio, si algo lo es, está en otra parte: en el trayecto que va de la pluralidad de sistemas formales a una inefabilidad sin jerarquía, en el catálogo de lógicas con su gradiente de revisión, y en la voz.

El recorrido tiene nueve estaciones.

  1. ¿Se puede definir la lógica? Qué significa que un razonamiento sea válido, qué principios, axiomas y métodos hacen falta para decidirlo, y por qué toda definición presupone ya una lógica.
  2. La lógica como estructura de lo real. De Parménides y las Categorías de Aristóteles a Kant y a Hegel: cómo los principios del pensar se volvieron principios del ser, y cómo la lógica se volvió aporética desde el comienzo, en el Parménides de Platón o en Aristóteles mismo.
  3. Las grietas, principio por principio. Identidad, no contradicción y tercio excluso, y con ellos la bivalencia, la distributividad, la monotonía y las reglas estructurales: cada principio tiene al menos una lógica seria que lo revisa, y casi siempre por razones ontológicas.
  4. La pluralidad: causas y consecuencias. Por qué, a partir de Frege, las lógicas se multiplican; qué se sigue de ello —pluralismo local, pluralismo global, monismo revisionista—; y si hubo pluralidad antes del siglo XX.
  5. La pluralidad matemática. La axiomatización y la crisis de fundamentos, Gödel frente al programa de Hilbert, la hipótesis del continuo, y una matemática formalizada que descansa sobre un fundamento elegido.
  6. ¿A priori o a posteriori? La pregunta tropieza con una aporía: el instrumento con el que se juzga es el objeto juzgado. Autorreferencia o regreso, y una tercera salida, la de seguir una regla.
  7. Lógica y realidad. Sin una lógica única, la correspondencia se rompe: ni reflejo de lo real ni reino ideal, sino modelos proyectados sobre lo que hay. Las sombras van al revés.
  8. Lógica sin mente. Los circuitos que cableó la evolución y el razonamiento de las máquinas: lógica que funciona sin nadie que la comprenda, y qué dice eso de la nuestra.
  9. De la lógica a la mística. El límite del lenguaje y de la razón: la escalera de Wittgenstein, y el absoluto pensado como centro (Cusa) o como ubicuidad (Nāgārjuna).

Y una conclusión: la razón llevada al límite produce aporías. Como argumentos no sirven; pero capturan algo que ningún argumento recoge.

Estado del manuscrito: los temas 1, 3 y 5 se desarrollan hoy en el «Anexo: lógica y ontología», pendientes de integrar en el cuerpo.

El 17 de octubre de 2026 se reordenó el cuerpo para que siguiera el recorrido anunciado: «Ni única ni reflejo de lo real» pasó a la estación 7; «Un instrumento pragmático, parte de la teoría» y «No hay lógica unificadora», a la estación 4; «Parménides y Aristóteles: la lógica como estructura de lo real» subió a la estación 2, delante del párrafo sobre las limitaciones de la sustancia con atributos, que había quedado huérfano de su antecedente; «Ejemplos: lógicas difusa y trivalente» pasó al anexo como §II.5, el hueco que faltaba en su numeración.

Queda la parte onerosa: las estaciones 1, 3 y 5 siguen viviendo en el «Anexo: lógica y ontología» (§II.1, §II.2–§II.4 y §II.7). Integrarlas en el cuerpo obliga a renumerar y a rehacer las 61 referencias §II.x repartidas por las críticas, las tareas y el índice de conceptos, que enlaza por ancla. Conviene hacerlo cuando T-37, T-04, T-39, T-40 y T-43 estén redactadas: mover material en bruto no gana nada.

Pendiente menor del mismo reorden: «Un instrumento pragmático» (estación 4) y «De lo prístino a lo pragmático» (estación 7) se solapan; decidir si se funden o si uno se recorta.

La estación 8 existe hoy como un ítem de una línea («translogicas: Ameba, Arrival, LLMs razonamiento») y tiene dos conversaciones enteras detrás:

Revision histórica

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 lógica es una vieja compañera de la investigación filosófica. En occidente desde Aristóteles y antes Parménides y Platón. Ha sido a la vez fundamento y límite de la indagación racional. La metafísica (cualquiera) y la ontología se lo deben casi todo. > >¿Pero sólo hay eso? >> >Se podría seguir toda la genealogía desde su establecimiento formal por Aristóteles, los vericuetos de la edad media, la interfecundación con la filosofia con Kant, Leibniz, Hegel, etc. > >Wittgenstein buscó la estructura lógica de todo lenguaje, que no el lenguaje ideal de la lógica como se dice erroneamente. El mísmo critíco esta idea como una metafísica, oculta en la sombra. Postuló que el lenguaje se fundamentaba en el uso en un giro hacia la acción y lo pragmático. > >En fin como vemos la lógica permea toda investigación filosófica.

Parménides y Aristóteles: la lógica como estructura de lo real

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.

Bibligrafia - Parménides: pensar y ser son lo mismo; lo que no es no puede pensarse ni decirse. - Consecuencia logica - https://www.amazon.es/Semantic-Tradition-Kant-Carnap-Paperback/dp/0521447070 - kant intuition vs semantica - Metaphysics SECP - Aristóteles: Categorías (sustancia y predicados), De Interpretatione (proposición y verdad), Metafísica Γ 3-4 (defensa elénctica de la no contradicción, 1005b-1006a): el principio vale a la vez del ser y del pensar. - La correspondencia sujeto-predicado / objeto-propiedad (el fragmento del SEP, «Logic and Ontology» §4.6, en §II.6.2) como forma de esa tesis. - Base: antinomias.md (fichas 2 y 9); other_source/claude/rutas/gilson_ser.md (de Platón a Aristóteles); other_source/propios/generales/trabajo.md (SEP §4.6). - Fuentes: Kneale y Kneale, The Development of Logic; Aubenque, El problema del ser en Aristóteles; Łukasiewicz, Sobre el principio de contradicción en Aristóteles (1910).

Parmenides de Platon. Aporética

Interpretraciones: - Aporética - Reconctrucción logica Rickless

Otros - el Parménides de Platón: las hipótesis sobre el Uno (Meinwald: predicación pros heauto / pros ta alla) y su continuidad con la paradoja de Russell (temas de este apartado); - Zenón y la reducción al absurdo; el mentiroso de Eubúlides; - Aristóteles: la aporía como método (Metafísica B) y los futuros contingentes (De Interpretatione 9); - concretar «algunos intentos… mediante lógicas paraconsistentes» del párrafo anterior: Priest, One (2014). (Procede de T-13.) - Base: other_source/propios/generales/material.md (formalizaciones del Parménides); antinomias.md, ficha 2; aporias.md (eléatas, diálogos aporéticos). - Resonancia entre la paradoja de Russell con su jerarquía de tipos y las aporías platónicas sobre el Uno y lo Múltiple: los problemas de predicación y tipo no los inaugura la lógica moderna. → Véase el tema sobre el Parménides, más abajo. - El problema del cambio: la lógica clásica es estática - El problema de las relaciones: la ontología de substancias es insuficiente - Las aporías: cuestiones que se vuelven insolubles al formalizarlas - El Parménides de Platón como aporía estructural: las hipótesis sobre el Uno y lo Múltiple no son errores lógicos sino la exhibición de que la estructura objeto/predicado es insuficiente para hablar de la totalidad. Las formalizaciones modernas (Meinwald, Cornford) lo confirman desde dentro de la lógica. La continuidad con la lógica moderna es directa: los problemas de predicación y de tipo que Platón despliega en las hipótesis son los mismos que reaparecen en la paradoja de Russell y en la jerarquía de tipos construida para contenerla — la solución de Russell es, estructuralmente, una respuesta a una aporía platónica.==}

Kant y Hegel: intacta, con matices

{==- Kant: la lógica no ha dado ningún paso, ni atrás ni adelante, desde Aristóteles (Crítica de la razón pura, B VIII); lógica general frente a lógica trascendental; las antinomias como conflicto de la razón consigo misma. - Hegel: el ser puro es la nada y su verdad es el devenir (Ciencia de la lógica, libro I); la crítica de A = A como tautología vacía y la contradicción como «raíz de todo movimiento» (Doctrina de la esencia). - Base: antinomias.md (introducción y antinomias 3, 5, 6 y 9); aporias.md (Kant). * Llego intacta hasta Kant, Hegel aunque con matices: Antinomias Kantianas, Hegel ser / no ser==}{>>#c04 @Oriol: Leer y sintetizar<<}

Frege: la lógica como reino ideal, y la explosión del siglo XX

{==> - A partir de la logica Moderna (Frege) se multiplican las logicas. se problematizan. Ya no hay logica sino una pluralidad de ellas (¿hay algo mas antiguo en cuanto a plurarlidad?)

Resumen historico con desarrollo hasta la explosion de la pluralidad en el SXX

Heidegger y Wittgenstein ante la lógica

{==- Heidegger: la lógica formal como derivada del olvido del ser; «¿Qué es metafísica?» (1929) y la réplica de Carnap (1932) a «la nada nadea». - Wittgenstein: las proposiciones lógicas como tautologías que no dicen nada (Tractatus 6.1-6.11) y la revisión posterior (seguir una regla, Investigaciones §§185-242; Sobre la certeza). - Base: el fragmento de logica_v2 que abre la Parte I («Wittgenstein buscó la estructura lógica de todo lenguaje…»); libro.md (notas sobre Wittgenstein I y II); other_source/claude/rutas/heidegger_ser.md; antinomias.md, antinomias 9 y 10.==}{>>#c06 @Oriol: buscar materil y sintetizar<<}

Fragmentos

{== logica.md — sección “Citas” — poema de Alberto Caeiro; copiado de §6.3 al separar §5–§6

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 almay sobre la creación del mundo?No lo sé. Para mí pensar en eso es cerrar los ojosy no pensar. Es correr las cortinasde mi ventana (pero no las tiene).

— Fernando Pessoa / Alberto Caeiro, El guardador de rebaños, V

logica.md — sección “Lógica / Ontología divagación”, último párrafo; el resto está en §II.6.2

No hay sombras como decía Platón sino más bien proyectamos nuestros modelos sobre lo real. Las sombras van al revés. El modelo de lo real es uno de los infinitos posibles. Analogía teoría de modelos: Fórmula → infinitos modelos. Realidad → infinitos modelos.

material.md — sección “Ideas sobre Priest”

Veo claramente una limitación no tocada en la lógica: La individuación y la predicación. Parecen un mínimo indispensable en cualquier lógica, sea paraconsistente, intuicionista o clásica. Esta limitación claramente fuerza a piruetas como la de Priest al atacar por ejemplo el tema del Uno. …

El tema del «límite no tocado» y este fragmento sostienen que toda lógica, sea cual sea, requiere individuación y predicación: algo de lo que predicar y una propiedad que predicar. Es una aportación propia, pero juega contra la tesis: si todas las lógicas comparten ese núcleo, el núcleo es candidato a lo que la tesis niega —un mínimo común, anterior a cada sistema y quizá a priori—, y «no hay lógica unificadora» deja de ser cierto en el nivel que importa. O se muestra que individuación y predicación también son revisables (la individuación cuántica de §II.2.1 apunta en esa dirección), o se reconoce el invariante y se precisa qué se niega exactamente.

==}{>>#c07 @Oriol: Analizar: distribuir y/o eliminar<<}

Pluralidad: causas y consecuencias

{#catuskoti}El catuṣkoṭi es una lógica de cuatro posiciones que niega sistemáticamente todas las afirmaciones posibles sobre la naturaleza del Tathāgata (o de cualquier realidad última). No se puede decir que existe, que no existe, que existe y no existe, ni que ni existe ni no existe. Lo decisivo, para el argumento de esta sección, es que no se trata de una extensión del tercio excluso —como lo son las lógicas trivaluadas, que añaden un valor sin tocar la estructura— sino de su negación estructural: no amplía el repertorio de posiciones disponibles, lo clausura. Es el correlato lógico de la śūnyatā: el vacío no es una posición sino la imposibilidad de toda posición. En el horizonte del ensayo, esto apoya la tesis de que la pluralidad de lógicas no solo amplía el repertorio formal sino que señala el punto donde lo formal toca su propio límite.

Jayatilleke, K.N. (1967). “The Logic of Four Alternatives”. Philosophy East and West. 17 (1–4): 69–83.

Ruegg, D.S. (1977), “The uses of the four positions of the Catuskoti and the problem of the description of reality in Mahāyāna Buddhism”, Journal of Indian Philosophy, 5 (1/2): 1–71.

Una lógica para cada situación

Continúa el párrafo sobre Priest de §II.4:

Este proceso de extensión tiene un sabor claramente empírico{>>#c08 @DEBATE: «empírico» no se sostiene: ninguna revisión de la lógica por presión observacional ha prosperado (la lógica cuántica fracasó) y las motivaciones reales fueron conceptuales (paradojas, vaguedad, significado, constructividad). Leer «pragmático» o «instrumental»: elegida por su fertilidad, que es el principio de tolerancia de Carnap. Distinguir además la lógica pura, cuyos sistemas son objetos matemáticos tan a priori como cualquier otro, de su aplicación, y la teoría lógica explícita de la competencia con la que de hecho inferimos.<<}. 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.

El argumento es: hay muchas lógicas → ninguna es única → ninguna describe lo real. Pero una respuesta pragmatista coherente es: hay muchas lógicas porque los dominios son distintos, no porque la lógica sea relativa. La lógica clásica es correcta para dominios determinados; la paraconsistente para dominios con contradicciones reales, etc. Que cada lógica sea adecuada para su dominio no implica que todas sean parciales sobre un «lo real» inefable. Podría simplemente implicar que la realidad es heterogénea y cada lógica captura un aspecto verdadero. Sin excluir explícitamente esta alternativa (realismo pluralista vs. relativismo epistémico), el argumento es ambiguo.

Un instrumento pragmático, parte de la teoría

Comentario al caso Maxwell/Bohr de §II.4:

Este ejemplo es filosóficamente crucial: la lógica que usamos no es anterior a la ciencia —es parte de la teoría. Si la teoría está en contradicción pero funciona, quizás es la lógica la que debe adaptarse, no la te{>>you|2026-10-18: profundizar en a priori de una teoria fisica ej la observacion depende de una teoria<<}oría.{>>#c09 @DEBATE: conciliar con C-17 y con el problema de la adopción (Carroll). Para decir que una teoría es contradictoria o que una predicción funciona hay que derivar consecuencias, y por tanto usar una lógica que no puede ser, en el mismo acto, la que se pone en cuestión. Dentro de una teoría la lógica funciona como marco; entre teorías se revisa: es el mismo principio visto desde dentro y desde fuera. La lógica empleada precede a la teoría (a priori constitutivo) y es revisable (no inmune).<<}

Temas a desarrollar:

logica_audio.md, l. 26 — plan del 2026-09-25

Fragmentos:

libro.md — sección “Física y filosofía / Metafísica”

La Filosofía no se puede reducir a la física. Porque la física se fundamenta en la ontología y la lógica aunque los físicos no lo sepan ni lo reconozcan. Porque la física es siempre penúltima. … Al final una metafísica (categorías, objetos, relaciones) depende de la lógica usada. Más que metafísica es una Pre-física. Siguiendo el esquema: Lógica → metafísica → Física.

{#logica-metafisica-fisica}El esquema Lógica → metafísica → Física invierte la ilusión positivista: no es la física la que fundamente la lógica, sino la lógica (y la ontología que ella arrastra) la que determina qué puede verse en la física.

En el comentario al caso Maxwell/Bohr (§II.4) que abre §II.6.3: «la lógica que usamos no es anterior a la ciencia —es parte de la teoría… quizás es la lógica la que debe adaptarse». Aquí: «no es la física la que fundamenta la lógica, sino la lógica la que determina qué puede verse en la física». La primera frase hace de la lógica algo revisable a la luz de la física; la segunda la hace anterior y condicionante. Las dos pueden conciliarse (determinación recíproca, o una distinción de niveles), pero hay que hacerlo explícitamente. De lo contrario, el «sabor empírico» de §II.6.1 y el esquema de §II.6.3 se anulan entre sí.

No hay lógica unificadora: quiebra el proyecto aristotélico

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?

Temas a desarrollar:

logica_audio.md, l. 27 — plan del 2026-09-25

logica a priori / a posteriori

logica y realidad

Ni única ni reflejo de lo real

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.{>>#c12 @DEBATE: cuarta objeción sin réplica. La pluralidad no toca el platonismo: es compatible con un platonismo pleno (existen todas las estructuras lógicas posibles), y la inversión de la dirección explicativa no decide nada ontológico. Decir a lo sumo que el platonismo es innecesario por ociosidad explicativa («no necesita platonismo»), no que sea insostenible; el empirista mismo admite que no puede refutarlo, solo mostrarlo ocioso. Cf. C-07 y C-29.<<} 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 conclusión «no hay una lógica única → el platonismo lógico resulta difícilmente sostenible» no se sigue sin más. Un platónico puede conceder la pluralidad de sistemas formales y responder que son aproximaciones parciales a una única estructura lógica subyacente —del mismo modo que las geometrías no euclidianas no eliminan los objetos matemáticos, sino que amplían el mapa—. Para que el argumento funcione hay que responder a esta réplica, que aquí no se menciona.

El paso central de la tesis nueva es: hay muchas lógicas, luego la lógica no es a priori. Pero la pluralidad no implica empirismo. Cada sistema —clásico, intuicionista, paraconsistente— puede conocerse a priori, del mismo modo que cada geometría se desarrolla a priori desde sus axiomas aunque cuál describe el espacio físico sea una cuestión empírica. Lo que la pluralidad pone en cuestión es otra cosa: que haya una lógica privilegiada, o que la elección entre lógicas se decida a priori. Además, la tesis junta dos afirmaciones que conviene separar: una epistémica («no se conoce a priori») y otra ontológica («no refleja un reino ideal»); C-07 ya advertía de esa confusión. Generaliza C-01 y C-29: sin distinguir los dos sentidos, el título del ensayo afirma más de lo que el argumento da. La literatura sobre el antiexcepcionalismo lógico (Hjortland 2017; Priest, «Logical Disputes and the a Priori», Logique et Analyse, 2016) discute exactamente este paso.{>>#c13 @DEBATE: esta crítica ganó el debate con holgura. (a) La frase del ensayo niega la conjunción «a priori y única», y la pluralidad ataca solo el segundo miembro; que el intuicionismo no demuestre el tercero excluido, o que exista una infinidad de lógicas entre la intuicionista y la clásica, se demuestra, no se observa. (b) Dilema de la doble negación: si la experiencia corrige la lógica, el mundo tiene estructura y la lógica la refleja en parte; si la lógica no refleja nada, su elección es convencional o constitutiva, es decir, a priori (Carnap, Lewis). No se puede sostener a la vez «empírica», «no a priori» y «no refleja lo real».<<}

La consecuencia que el ensayo extrae de aquí —que la ontología y la lógica derivan de la experiencia humana y no son ni a priori ni generales— se desarrolla más abajo, con el fragmento «Modelos», y en §II.2.1, a propósito del caso cuántico.{>>#c14 @DEBATE: «derivan de la experiencia humana» solo es defendible leído como genealogía: la lógica clásica sería la idealización de una lógica rudimentaria que se formó para un mundo de objetos de tamaño mediano; el núcleo es a priori para el individuo y a posteriori para la especie. Es origen, no justificación: el origen natural no decide la justificación. Maddy lo desarrolla casi punto por punto; citarla y declarar la deuda.<<}

Temas a desarrollar:

logica_audio.md, l. 23-24 — plan del 2026-09-25

Fragmentos:

material.md — sección “SEP Logic and Ontology §4.6”

To take the simplest example, the form of our subject-predicate thoughts corresponds perfectly to the structure of object-property facts. If there is an explanation of this correspondence to be given it seems it could go in one of three ways: either the form of thought explains the structure of reality (a form of idealism), or the other way round (a form of realism), or maybe there is a common explanation of why there is a correspondence between them, for example on a form of theism where God guarantees a match.

La cuestión es si la correspondencia sujeto-predicado / objeto-propiedad es un accidente evolutivo (nuestras mentes se adaptaron a un mundo de objetos con propiedades), una estructura profunda de lo real, o simplemente una de las infinitas proyecciones posibles. Esta tercera opción es la que el ensayo defiende.

Esta frase («esta tercera opción es la que el ensayo defiende») es una declaración de tesis, y el comentario al esquema Lógica → metafísica → Física más abajo también lo es. Ambos están entre fragmentos, donde un lector los toma por notas. Subirlos al cuerpo del apartado. Nótese que el texto cita tres opciones de la SEP (idealismo, realismo, explicación común) y el ensayo defiende una cuarta («una de las infinitas proyecciones posibles»): conviene decir que es una cuarta y no la «tercera».

logica.md — sección “Lógica / Ontología divagación”

Por un lado la ontología se remite a unos objetos de los cuales decimos unas propiedades, los entes. Esas propiedades, esas categorías en la ontología son arbitrarias, son a priori, ¿existen? O son simplemente un posible conjunto de categorías. La ontología trabaja con una lista en general o trabaja con listas específicas.

Por otro lado, cuando se traslada eso a los modelos lógicos, tenemos individuos, propiedades / predicados, y también relaciones (predicados binarios, n-arios). Evidentemente qué es un individuo y qué es una relación es también arbitrario.

Por tanto en este punto en realidad se puede ver que cada conjunto de predicados, relaciones y atributos es una visión parcial de la realidad y de forma racional (al menos modelos de primer orden) sólo puede haber una multitud de modelos que se adecúan más o menos.

Ahí vemos con ese ojo de la razón que ve las cosas de una cierta forma. Cuando se habla de la realidad física, el mundo, las cosas, etcétera, simplemente se está hablando de cómo lo ve el ojo de la razón, en un momento determinado, en una cierta teoría. Podríamos hablar de teorías físicas, pero también de teorías sociológicas, antropológicas.

material.md — sección “Ideas por desarrollar / Modelos”

La idea fundamental es que siempre accedemos a lo real a través de un modelo interpuesto. Los modelos son penúltimos, nunca son “ontológicos”. Progresivo enriquecimiento del lenguaje usado, mejor aproximación. Lo real es inefable: no se puede modelar (postulado).

La ontología/lógica derivan de la experiencia humana. Ni mucho menos son a priori y generales. Cuando nos topamos con la física cuántica la noción de objeto se diluye, se hace compleja, más oscura. La individuación, por ejemplo, deja de tener sentido, es una aproximación nada más. Está en la mente humana.

Lo que pone todo lo reciente sobre lógica o sobre física es que ni mucho menos la lógica es a priori y única ni se puede hacer una ontología general. En cierto sentido —era inimaginable— son ciencias empíricas.{>>#c15 @DEBATE: retirar. «Era inimaginable» y «ciencias empíricas» no se sostienen, y el pasaje de Wittgenstein sobre la certeza dice expresamente que quien sostuviera que la lógica es una ciencia empírica no tendría razón. Fórmula alternativa: la necesidad lógica es la de una regla, no la de un hecho; los principios son aquello con lo que se contrasta la experiencia, no algo que la experiencia contraste (aunque la misma proposición pueda tratarse unas veces como contrastable y otras como regla de contrastación). Y «ni a priori y generales» pasa a «ni únicas, ni completas, ni globales».<<}

De lo prístino a lo pragmático

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.

De la lógica a la mística

Conclusión

Fragmentos:

logica.md — sección “Principios lógicos”, párrafo final; el resto del fragmento, con los tres principios a los que remite, está en §II.2

Bibliografía (Parte I):

Autor Obra
Aristóteles Metafísica (esp. Libro IV); Organon
Aristóteles Física
Frege Begriffsschrift (1879)
Russell & Whitehead Principia Mathematica (1910–13)
Gödel, K. Collected Works Vol. I: Publications 1929–1936, Oxford UP, 1986
Turing, A. “On Computable Numbers…”,Proc. London Math. Soc. 42, 1936
Kleene, S.C. Introduction to Metamathematics, North-Holland, Amsterdam, 1952
Kleene, S.C. Mathematical Logic, Wiley, Nueva York, 1967
Wittgenstein Investigaciones filosóficas
Leibniz Monadología
Nāgārjuna The Fundamental Wisdom of the Middle Way, trad. J.L. Garfield, Oxford UP, 1995
Plotino Enéadas V–VI
Lossky, V. The Mystical Theology of the Eastern Church, James Clarke & Co., 1957
Gowers, T. (ed.) The Princeton Companion to Mathematics, Princeton UP, 2008
Awodey, S. Category Theory, Oxford UP, 2010
Priest, G. One: Being an Investigation into the Unity of Reality…, Oxford UP, 2014
Quine, W.V.O. From a Logical Point of View, Harvard UP, 1953
Searle, J. “Minds, Brains, and Programs”,Behavioral and Brain Sciences 3(3), 1980
Tao Te Ching (Lao Tzu) — varias ediciones
Caputo, J.D. The Mystical Element in Heidegger’s Thought, Fordham UP, 1986
Pseudo-Dionisio Areopagita Teología mística (varias ediciones)
Jayatilleke, K.N. “The Logic of Four Alternatives”,Philosophy East and West 17 (1967)
Ruegg, D.S. “The uses of the four positions of the Catuskoti…”,Journal of Indian Philosophy 5 (1977)
Nakamura, H. “Some Clarifications of the Concept of Voidness from the Standpoint of Symbolic Logic”,Indogaku-bukkyogaku Kenkyu 5 (1954)
Meinwald, C. Plato’s Parmenides, Oxford UP, 1991
Cornford, F.M. Plato and Parmenides, Routledge, 1939
Lewis, P. Quantum Ontology: A Guide to the Metaphysics of Quantum Mechanics, Oxford UP, 2016
Birkhoff, G. & von Neumann, J. “The Logic of Quantum Mechanics”,Annals of Mathematics 37 (1936)
Dijkstra, E.W. “The Humble Programmer”, ACM Turing Award Lecture, 1972
Nietzsche, F. ⟦MOD-01⟧ Sobre verdad y mentira en sentido extramoral (1873)
Heidegger, M. ⟦MOD-01⟧ Nietzsche I — «La inversión del platonismo»
Cassirer, E. ⟦MOD-01⟧ Filosofía de las formas simbólicas, FCE
Quine, W.V.O. ⟦MOD-01⟧ “Ontological Relativity”,Journal of Philosophy 65 (1968)
Goodman, N. ⟦MOD-01⟧ Ways of Worldmaking, Hackett, 1978
Putnam, H. ⟦MOD-01⟧ Reason, Truth and History, Cambridge UP, 1981
Adorno, T.W. ⟦MOD-01⟧ Dialéctica negativa (1966)
Duns Escoto, J. ⟦MOD-01⟧ Ordinatio II, d. 3 (haecceitas)
Cross, R. ⟦MOD-01⟧ Duns Scotus, Oxford UP, 1999
Priest, G. ⟦MOD-02⟧ Beyond the Limits of Thought, 2.ª ed., Oxford UP, 2002
Garfield, J.L. & Priest, G. ⟦MOD-02⟧ “Nāgārjuna and the Limits of Thought”,Philosophy East and West 53 (2003)
Deguchi, Garfield & Priest ⟦MOD-02⟧ “The Way of the Dialetheist”,Philosophy East and West 58 (2008)
Crary, A. & Read, R. (eds.) ⟦MOD-02⟧ The New Wittgenstein, Routledge, 2000
Diamond, C. ⟦MOD-02⟧ The Realistic Spirit, MIT Press, 1991
Kremer, M. ⟦MOD-02⟧ “The Purpose of Tractarian Nonsense”,Noûs 35 (2001)
Wittgenstein, L. ⟦MOD-02⟧ “A Lecture on Ethics” (1929)
Sells, M.A. ⟦MOD-02⟧ Mystical Languages of Unsaying, Chicago UP, 1994
Turner, D. ⟦MOD-02⟧ The Darkness of God, Cambridge UP, 1995
Franke, W. ⟦MOD-02⟧ On What Cannot Be Said, 2 vols., Notre Dame UP, 2007; A Philosophy of the Unsayable, 2014
Derrida, J. ⟦MOD-02⟧ “Comment ne pas parler: Dénégations”, en_Psyché_, Galilée, 1987
Jonas, S. ⟦MOD-02⟧ Ineffability and its Metaphysics, Palgrave Macmillan, 2016
Russell, B. ⟦MOD-02⟧ Mysticism and Logic and Other Essays, Longmans, 1918
Wang, H. ⟦MOD-02⟧ A Logical Journey: From Gödel to Philosophy, MIT Press, 1996
Franzén, T. ⟦MOD-02⟧ Gödel’s Theorem: An Incomplete Guide to Its Use and Abuse, A K Peters, 2005
Stace, W.T. ⟦MOD-02⟧ Mysticism and Philosophy, Macmillan, 1960
McGinn, B. ⟦MOD-02⟧ The Foundations of Mysticism, Crossroad, 1991
Tomás de Aquino ⟦MOD-03⟧ Summa Theologiae I, q. 13
Maimónides ⟦MOD-03⟧ Guía de perplejos I, 50–60
Nicolás de Cusa ⟦MOD-03⟧ De docta ignorantia (1440)
Bṛhadāraṇyaka Upaniṣad ⟦MOD-03⟧ II.3.6 y IV.5.15 (neti neti)
Katz, S.T. (ed.) ⟦MOD-03⟧ Mysticism and Philosophical Analysis, Oxford UP, 1978
Alston, W.P. ⟦MOD-03⟧ Divine Nature and Human Language, Cornell UP, 1989
Stump, E. & Kretzmann, N. ⟦MOD-03⟧ “Absolute Simplicity”,Faith and Philosophy 2 (1985)
Hick, J. ⟦MOD-03⟧ An Interpretation of Religion, Yale UP, 1989
Pessoa, F. / Caeiro, A. ⟦MOD-05⟧ El guardador de rebaños, poema V

Anexo: lógica y ontología (material en reserva)

II. Grietas de la lógica

{>>#c16 @DEBATE: invertir el relato. El a priori fuerte no lo derribó la experiencia sino la propia razón: la ley básica de Frege cayó por una derivación (Russell), el tercero excluido por un análisis del infinito (Brouwer), el ignorabimus por un teorema (Gödel), y el único intento de revisar la lógica desde la física (la lógica cuántica) fracasó. Quién abrió cada grieta y por qué: Brouwer desde una filosofía kantiana del tiempo; Łukasiewicz desde los futuros contingentes de Aristóteles; Dummett desde la teoría del significado; Priest desde las paradojas semánticas; la lógica de la relevancia desde las paradojas de la implicación; la difusa desde la vaguedad; la libre desde los términos vacíos. Todo es reflexión sobre conceptos: la moraleja es que lo a priori es falible, no que la lógica sea empírica (no confundir lo revisable con lo empírico). Es la mejor idea del debate: tiene la fuerza que necesita un lector culto no especialista y resuelve la autoaplicación de la tesis (C-37), porque la tesis se sabe como se saben las grietas, por reflexión falible.<<}

Temas a desarrollar:

logica_audio.md, l. 12 — plan del 2026-09-25

Parte 2 grietas de la lógica

Principios, axiomas y métodos: por qué son necesarios

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.{>>#c17 @DEBATE: aquí hay que fijar el vocabulario que las tres voces aceptaron (los cuatro sentidos de «a priori», ver T-01) y presentar el núcleo mínimo: no trivialidad, reflexividad de la consecuencia e inferencia en acto (modus ponens, instanciación). Argumento de la tortuga de Carroll: una regla básica no puede adoptarse por razones ni revisarse por evidencia, porque para extraer la instancia hay que aplicar la regla que falta. El núcleo no se elige y su estatuto queda abierto; llamarlo «a priori moderado», «lo más arraigado» o «roca con historia» es en buena parte verbal, y lo prudente es declararlo abierto. Fórmula: la lógica no es la parte inmune de nuestro saber, sino la más arraigada.<<}

Redactar «enumerar principios, axiomas, métodos y por qué son necesarios» (plan, l. 13):

Enumerar principios, axiomas, métodos y porque son necesarios

Fragmentos:

logica.md — nota Kleene

In his chapter “The Predicate Calculus” Kleene observes that the specification of the “domain” of discourse is “not a trivial assumption, since it is not always clearly satisfied in ordinary discourse … in mathematics likewise, logic can become pretty slippery when no D domain has been specified explicitly or implicitly, or the specification of a D domain is too vague” (Kleene 1967:84).

logica.md — sección “Más logica”

Puntos a tener en cuenta:

Ver a traves de los limites:

logica.md — sección “Notas sobre el principio de identidad (y los otros)”

Deriva de la idealizacion del pensamiento.Hace referencia a principio del razonamiento. Estructura logico-matematica.Pero no solamente. Se refiere a lo real. No solo es algo externo o a priori.Suponemos (para poder pensarlo) que lo real cumple estos principios.No son logicos (no solo).Son principios / axiomas logicos pero sin querer se deslizan a lo real.Son las gafas de poder pensar conceptualmente lo real.Claramente no es obvio que lo real sea racional. O más bien que lo racional agote lo real. Importantisimo.

En la metamatematica formal nos pasa algo analogo. La “verdad” no es formalizable completamente. Otra vez las gafas (de lo formal) son limitadas y no agotan la “verdad” matematica (Gödel).O (Turing) lo formal no puede responder a ciertas preguntas (sobre los algoritmos en este caso).

logica.md — sección “Logica/Lenguaje 2”

La substancia como una necesidad para poder decir (racionalmente) algo (atributo) de alguna cosa (substancia). La existencia (ser y los filosofos) no es un predicado normal. En un unicornio real y uno imaginario la unica diferencia es la existencia. La substancia y los atributos son los mismos. Pista (Indagar) de que la existencia escapa a la ontologia.

Lo real solo lo podemos ver con las gafas de la substancia/atributos. Hay una confusión aquí. Toda esta estructura es un requirimiento de la razón. No es en absoluto derivado de lo real sino de nuestra razón. Como las formas a priori de Kant.

Los fragmentos de este apartado y de §I.7 dicen que los principios son «un requerimiento del pensar (o al menos de un cierto pensar)», «las gafas de poder pensar conceptualmente lo real», y que la estructura sustancia/atributos «no es en absoluto derivado de lo real sino de nuestra razón. Como las formas a priori de Kant». Es exactamente el cuerno que la tesis nueva niega. La salida es distinguir dos sentidos de «a priori»: el absoluto (Kant: condiciones necesarias y universales de todo pensar) y el constitutivo pero revisable (Reichenbach 1920; Friedman, Dynamics of Reason, 2001): principios que preceden a una teoría y la hacen posible, pero cambian con ella. libro.md lo formula así: «la lógica empleada es una parte de la teoría científica. En el sentido que precede a la teoría». Si el ensayo niega solo el primer sentido y acepta el segundo, las notas y la tesis son compatibles, y C-17 queda resuelta: la lógica es anterior a cada física (el esquema de §II.6.3) y a la vez revisable a la luz de ella (Maxwell/Bohr). Hay que decirlo.{>>#c18 @DEBATE: confirmado por el juez editor. El título contradice la voz del propio autor: las notas describen un a priori constitutivo y pragmático, en la línea de Lewis, casi trascendental en la parte mística, y la tesis contraria (la lógica es empírica) es un injerto de lecturas antiexcepcionalistas sobre un tronco que crece en la dirección opuesta. Decisión que se propone: aceptar el a priori constitutivo y revisable, y dejar de decir «empírica».<<}

Las tres leyes aristotélicas

El monopolio aristotélico no cayó de la nada: conviene detenerse primero en qué suponía y por qué resultó, con el tiempo, insuficiente.{>>#c19 @DEBATE: material nuevo del catálogo de lógicas del proyecto. Las tres leyes no forman un bloque: el tercero excluido se rechaza expresamente en unas diecinueve fichas, la no contradicción en solo tres (todas del siglo XX) y la identidad en ninguna, porque casi nunca se enuncia, se usa. Gradiente: una periferia que se revisa, un centro casi intacto y un núcleo que nadie toca. Cautela decisiva: el catálogo se hizo con ayuda de IA, mezcla sistemas con doctrinas y tiene sesgo de selección (las lógicas posteriores a mediados del XIX se diseñaron para rechazar leyes); ilustra, pero no prueba, mientras no se audite. Además, la no contradicción aparece primero como regla de debate en tradiciones sin contacto documentado (India, canon mohista, Grecia, escolástica latina): no conceder a la vez una tesis y su contradictoria ante quien nos discute.<<}

Esta frase anuncia un desarrollo («conviene detenerse primero en qué suponía») que no llega: lo que sigue son temas y fragmentos. Los tres principios —identidad, no contradicción, tercio excluso— son la base de la Parte II, pero solo existen como nota en bruto (fragmento «Principios lógicos»). Redactar en prosa qué supone cada principio sobre el objeto (invariancia, propiedad separable, bivalencia) y por qué lo necesita el razonamiento, respondiendo a C-20 y con la cautela de C-35.

Desde el 2026-09-25 el resto de la tarea se reparte: Frege, Russell y los tipos → T-33; el dominio del discurso → T-37; la individuación cuántica → T-38; Birkhoff–von Neumann → T-42. Es la tarea de redacción más urgente de la Parte II.

Temas a desarrollar:

logica_audio.md, l. 14-17 — plan del 2026-09-25

Fragmentos:

logica.md — sección “Principios lógicos”

El fundamento de la logica sigue siendo el de la lógica Aristotélica.

Evidentemente Frege etc resolvieron la diferencia clase / objeto, introdujeron la cuantificacion etc pero de forma un tanto arbitraria. ¿Pq tal o cual concepto? ¿Pq tal o cual objeto? ¿Pq tal es un objeto? ¿Pq tal es una clase? Si se deja libremente aparece la paradoja de Russell y de ahi la solución de los “type”.

Pero en definitiva los tres principios fundamentales son los mismos:

Que suponen los tres principios:

El fragmento cuestiona la identidad por el cambio y la no contradicción por la existencia de un B que haría compatibles A y no-A. Pero Aristóteles formula el principio con una restricción explícita (Metafísica IV, 3, 1005b19–20): nada puede pertenecer y no pertenecer a lo mismo al mismo tiempo y en el mismo respecto. Los casos del cambio y de la propiedad dependiente del contexto se tratan relativizando el predicado (A-en-t, A-respecto-de-B) sin tocar el principio. Para que la crítica funcione hay que mostrar que esa relativización es insuficiente o que presupone ya lo que se discute: que hay un sujeto idéntico al que se relativizan los predicados. Ese es, de hecho, el argumento fuerte, y todavía no está escrito.

El fragmento abre con «El fundamento de la logica sigue siendo el de la lógica Aristotélica», y el plan de audio habla de «tres leyes aristotélicas», de una lógica que «llegó intacta hasta Kant» y de una multiplicación de lógicas «a partir de la logica Moderna (Frege)». Las tres cosas necesitan matiz. (a) Aristóteles formula la no contradicción (Metafísica Γ 3-4) y el tercio excluso (Γ 7, 1011b23-24) y discute la bivalencia (De Interpretatione 9), pero no formula la identidad como ley: la tríada de «leyes del pensamiento» es una codificación de Leibniz, Wolff y los manuales del siglo XIX. (b) «Intacta» es la tesis de Kant (B VIII), no un hecho: la lógica estoica, rival de la peripatética, la contradice. (c) Frege es el paradigma del monismo y del platonismo lógico: la pluralidad nace de las reacciones a la lógica clásica de Frege y Russell (Principia) y a sus paradojas, y de problemas antiguos como los futuros contingentes (Brouwer, C. I. Lewis, Łukasiewicz). Basta con formularlo así en la Parte I, sin entrar en la Edad Media, que el plan deja fuera.

II.2.1 La identidad y el objeto matemático

Redactar la identidad frente al objeto matemático: identidad cualitativa y numérica; up to isomorphism («a mathematical object is what it does», Gowers); las partículas indistinguibles, donde la individuación se vuelve problemática: la física es compatible tanto con partículas que no son individuos como con individuos con haecceidad (French y Krause, Identity in Physics, 2006). Es la respuesta disponible a C-03, que está en el anexo de ontología: el objeto matemático sí se agota en lo formal; el real, quizá no. (Procede de T-13.)

Temas a desarrollar:

Fragmentos:

logica.md — sección “Notas sobre el principio de identidad”

logica_v1_primera.md — estructura adicional sobre identidad

Sobre el principio de identidad — enunciado en §II.2, entre los tres principios:

logica.md — sección “Logica/Lenguaje 2”, continuación

Que decimos de algo individual. Podemos, como siempre, postular la substancia y decir todos los atributos. ¿Se necesitan todos los atributos para poder distinguir el ente? ¿Y si son iguales como las particulas elementales? ¿Como las distinguimos? Podemos postular que con una infinidad de atributos (en el límite) podemos alcanzar lo individual concreto. Una vez más las gafas racionales/conceptuales no “ven” lo individual/concreto. Como no veia la existencia.

II.3 Intuicionismo frente a lógica clásica

Redactar el apartado (plan, l. 18), que hoy no tiene material propio:

Temas a desarrollar:

logica_audio.md, l. 18 — plan del 2026-09-25

II.4 Paraconsistencia y dialeteísmo

{#logica-paraconsistente}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.

Redactar el apartado (plan, l. 19) distinguiendo las dos posiciones: una lógica paraconsistente rechaza la explosión (ex contradictione quodlibet) sin afirmar que haya contradicciones verdaderas; el dialeteísmo (Priest) sí lo afirma, y es una posición minoritaria. Sistemas: Jaśkowski, da Costa, LP (Priest). El caso Maxwell/Bohr ilustra la primera, no la segunda.

Frase anterior en libro.md, omitida al citar: «Ahora cabe pensar que la lógica empleada es una parte de la teoría científica. En el sentido que precede a la teoría».

Por ejemplo en el caso de la teoría de Maxwell junto con la teoría atómica de Bohr hay una contradicción evidente. Según la teoría de Maxwell los átomos se desintegrarían porque los electrones colapsarían sobre los núcleos atómicos por la interacción electromagnética, pero según la teoría de Bohr los electrones permanecen en “órbitas” estables cuantizadas. … si manejamos la contradicción mediante una lógica paraconsistente la teoría puede hacer predicciones útiles. A falta de la teoría cuántica que vendrá más de una década después. Vemos que la idea de verdad libre de contradicciones no siempre es la mejor herramienta. En ese sentido la lógica sería una rama de la matemática aplicada como sostiene Priest.

Temas a desarrollar:

logica_audio.md, l. 20 — plan del 2026-09-25

II.5 Lógicas difusa y trivalente

Redactar el apartado (plan, l. 20); hoy el ensayo solo menciona las trivaluadas de pasada (§II.6.1, §I.6).

II.6 ¿Por qué la pluralidad?

**

II.7 Pluralidad matemática

Redactar la pluralidad matemática (plan, l. 28-33):

Temas a desarrollar:

logica_audio.md, l. 28-33 — plan del 2026-09-25

II.7.1 Axiomatización y crisis de fundamentos

La relación entre lógica y matemática plantea cuestiones específicas que merecen un tratamiento aparte.^TODO: Potencia sistemas formales: intuicionista, Clasica, PA, ZF, ZFCLa incompletitud como dice Franzel ciertamente depende del sistema formal. No hay verdades no demostrables de forma general sino se restringe a incompletitud de un sistema formal.El tema que quiebra el programa de Hilbert (aunque Franzel dice que no por lo dichi mas arriba) es real. Hilbert pretendia un sistema simple y evidente que fundamentara toda la matematica. Eso no puede darse: cuaquier sistema suficientemente potente deja verdades fuera de su alcance. ¿Algo diferente a un sistema formal? Quedaria fuera del programa de Hilbert.Otra cosa es la propuesta implicita de Franzel y de los matematicos: añadamos axiomas. El programa de Hilbert requeria algo simple y evidente que requieriera justificacion. ¿Es ZFC por ejemplo tal sistema? No rotundamente.La impresión es los matemáticos quieren demostrar ciertas cosas y añaden axiomas suficientemente potentes para poder demostrarlas.Lo misma pasa con lógica clásica con intuicionista. Tercio excluso por mucho que no sea evidente según Brower los matemáticos lo añaden pq sino no pueden demostrar los teoremas que desean demostrar. En cierta forma estos dos casos vienen a decir que el fin justifica los medios y la idea de hilbert ha sido completamente por diversas razones: incompletitud, portencia axiomas específicos y axiomas lógicos.

Estos cinco párrafos son notas de trabajo sin redactar, insertadas antes de la prosa del apartado. Contienen la mejor respuesta disponible a C-02: la incompletitud es relativa a un sistema formal. Hay que:

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 logicismo tiene hoy una versión neofregeana activa (Wright, Hale: el principio de Hume y el teorema de Frege). El intuicionismo no «fracasó», sino que sobrevive como matemática constructiva y es la lógica interna de los asistentes de prueba que el propio apartado elogia: la teoría de tipos de Lean es constructiva de base y añade el axioma de elección, del que se sigue el tercio excluso. Y el formalismo fracasó en su versión finitista, no como práctica. Conviene precisar «en sus versiones más ambiciosas», que el texto ya apunta, y no apoyar en esa premisa más de lo que puede sostener.

II.7.2 Gödel y el programa de Hilbert

{#teorema-godel}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 frase «hay verdades que el sistema no puede demostrar» mezcla dos cosas: (a) verdad-en-el-sistema y (b) verdad a secas. Si la verdad de la proposición de Gödel es verdad-en-el-metamodelonuevo (otro sistema formal), entonces no hay escape del formalismo, solo jerarquía. Si es verdad a secas, ¿cómo se accede a ella? ¿Por intuición? Eso repite el problema que se pretendía resolver. Franzén documenta exhaustivamente los abusos de Gödel; el ensayo adopta exactamente uno de ellos: leer incompletitud como evidencia de que hay verdades inaccesibles a la razón formal (cuando solo muestra que ningún sistema formal es completamente autosuficiente).

Por desarrollar (procede de los temas del antiguo §3): la crítica de Wittgenstein al teorema de incompletitud. El modelo como metalenguaje es problemático: Gödel necesita hablar desde fuera del sistema para mostrar que el sistema tiene límites, pero ese «fuera» es otro sistema.

Convertir la nota anterior en uno o dos párrafos. Es el lugar natural: responde directamente a C-02, que plantea el mismo dilema (la verdad de la proposición de Gödel, ¿es verdad en otro sistema o verdad a secas?), y enlaza con las notas sobre Franzén de §II.7.1 (T-08).

II.7.3 La formalización efectiva: un fundamento elegido

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. Y el hecho mismo tiene un sabor antiplatónico: si prácticamente toda la matemática puede reescribirse como manipulación de símbolos según reglas, su práctica no necesita apelar a ningún cielo de objetos. 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.

La formalización de las matemáticas, que Hilbert concibió como programa fundacional en los años 20 y Gödel mostró incompleto en 1931, ha experimentado un giro inesperado en las últimas décadas. Los asistentes de prueba —Lean 4, Coq, Isabelle— permiten verificar mecánicamente demostraciones matemáticas con certeza absoluta: si el kernel acepta la prueba, es correcta.

La biblioteca Mathlib de Lean 4 contiene a día de hoy más de 115.000 definiciones y 232.000 teoremas formalizados, cubriendo álgebra abstracta y algebraica, teoría de categorías, análisis, topología, teoría de números, probabilidad y combinatoria. Se están formalizando activamente la demostración del Teorema de Fermat (Kevin Buzzard et al.) y el Experimento Tensorial Líquido de Scholze (completado en 2022 por Commelin et al.).

En 2024-2025 los sistemas de IA han dado un salto cualitativo: AlphaProof (DeepMind) alcanzó nivel de medalla de plata en el IMO 2024 con pruebas verificadas en Lean; en 2025 Seed-Prover y Aristotle (Harmonic) alcanzaron nivel de oro. Aristotle encontró en unas seis horas de búsqueda autónoma una solución verificada en Lean a una variante del problema abierto de Erdős nº 124.

Los datos de estos dos párrafos no tienen fuente o se quedan anticuados pronto:

Fechar cada dato («a septiembre de 2026») y citarlo. Es también la respuesta a C-06.

Reenfocar los párrafos anteriores hacia la tesis del plan: el fundamento se elige. Lean parte del cálculo de construcciones inductivas y añade axiomas (elección, extensionalidad proposicional, cocientes), con los que obtiene el tercio excluso (Diaconescu); su fuerza de consistencia equivale a la de ZFC más, para cada n finito, la existencia de n cardinales inaccesibles (Carneiro, 2019). Es un caso vivo de «no hay fundamento omnicomprensivo» (plan, l. 33): la mayor biblioteca de matemática formalizada descansa en un fundamento elegido por su utilidad. Coordinar con T-11 (fuentes y fechas) y con T-12.

II.7.4 ¿Y la intuición?

Continúa los párrafos sobre los sistemas de IA de §II.7.3:

El dato filosóficamente relevante es el que permanece fuera del sistema. Estos sistemas encuentran demostraciones —incluso a veces de problemas abiertos— pero no plantean los problemas. Las conjeturas, los objetos matemáticos nuevos, la elección de qué demostrar: todo eso viene de fuera del formalismo. La intuición del matemático —el momento genuinamente creativo— sigue sin reducirse a lo formal. Gödel lo anticipó: hay verdades que el sistema no puede demostrar pero que el matemático puede reconocer como verdaderas. {#formalismo-certifica}El formalismo certifica; no descubre.

Aristotle (2025) encontró una demostración verificada en Lean a un problema abierto de Erdős tras búsqueda autónoma. Si esto no cuenta como «descubrimiento», ¿qué significado residual quedaría para la palabra? Se puede responder que es el humano quien descubre al plantear el problema, pero entonces: (a) la afirmación original era más fuerte de lo que aquí se defiende, y (b) se requiere definir qué es «descubrir» con precisión suficiente para mantener la distinción. Sin esa definición, el párrafo es lógicamente vulnerable.

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 {#platonismo-matematico}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.

Este párrafo concede que el platonismo matemático «conserva cierta plausibilidad» en la intuición que orienta al matemático, y es el último párrafo en prosa de la Parte II. El plan de audio dice lo contrario: a la matemática «le pasa lo mismo» que a la lógica (l. 39). O la intuición es una excepción a la tesis —y entonces hay que decir por qué no reabre la puerta al platonismo—, o se reinterpreta sin platonismo: como práctica, heurística o experiencia acumulada (Lakatos), o en la línea del fundamento elegido de §II.7.3. Afecta también a T-29.

Por desarrollar (procede de O.3 y de los temas de la antigua §6.5): el caso de Ramanujan. Veía fórmulas como verdaderas antes de que existiera demostración; algunas se han probado décadas después, otras resultaron falsas. Hardy le insistía en demostrar; Ramanujan no entendía por qué. ¿Es esta la forma de saltarse un sistema formal? ¿Esta visión directa de la verdad es una forma de platonismo? ¿O simplemente un talento que el formalismo no puede capturar?

Bibliografía (Parte II):

III.2 Aproximación humana, y la matemática con ella

Temas a desarrollar:

logica_audio.md, l. 38-39 — plan del 2026-09-25

Temas a desarrollar:

logica_audio.md, l. 40-49 — plan del 2026-09-25

Fragmentos:

logica.md — sección “Negacion”

logica.md — sección “Abstracción”

{#abstraccion-predicacion}Permite pensar porque olvida detalles. Pero se pierde informacion detalle.

Lo absolutamente concreto es impensable:

libro.md — cita Dijkstra

“The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.”

Edsger W. Dijkstra, The Humble Programmer

La cita de Dijkstra captura tanto la potencia como el límite de la abstracción: crea precisión en un nivel, pero solo a costa de abandonar el nivel anterior. La escalera de abstracciones no tiene peldaño final.

Del antiguo §4:

Temas a desarrollar:

Fragmentos:

logica.md — sección “Identidad / lo real”

La identidad logica como:— cerrado, definido, limitado, perfecto, esférico, sin ambiguedad, distinto, individuado— geometria euclidiana, ortogonal, ortodoxo, rectitud, simetria, liso, arista— Unidad, Uno sin segundo— Rectitud ética, fiel a si mismo, regla— Yang— No contradicción, claridad, razonamiento estable

Por el contrario:— abierto, abierto al cambio, relacionado con todo— indefinido, infinitud de atributos, potencia, cambio— geometria no euclidea, geometria fractal, rugoso, imperfecto— categorias: objeto versus morfismos— campo, totalidad pero no Uno— Excepción, romper la regla— Uno no sabe quien es, Totalidad, fiel al universo a Dios— Ying— Contradicción, apertura, cambio

Dos columnas de asociaciones libres: cerrado/abierto, euclídeo/fractal, Yang/Yin (escrito «Ying»), regla/excepción. Como lista, expone el ensayo a la acusación de superficialidad de la amenaza «ambición desmesurada». O se convierte en un párrafo que argumente por qué la identidad lógica arrastra un imaginario (geométrico, ético), o se elimina y se conserva solo la oposición objeto/morfismo, que es la única con contenido técnico.

logica.md — sección “Más sobre el principio de identidad”

La identidad no deja de ser analoga a la participacion de la idea con lo universal.

El caballo versus la caballidad. Individuo y especie en este caso.

El ente consigo mismo. En este caso el ente como especie de si mismo. No es el Caballo pero es un caballo.

En cierta forma el ente (general) es la forma lógica mientras que el ente (real) es la forma real, degradada, inferior.

Pero opera la inversion de la que hablé. De repente nos damos cuenta que es al revés.El Ente es la condensación de los real (ente), su proyección. ¡Cómo pudimos confundirnos!El afán de la razón de enteder lo real lo cierra, lo clausura.

Fragmentos copiados de §5 al separar §5–§6 (2026-09-24); son la continuación del fragmento «Lógica / Ontología divagación» (hoy en §II.6.2; su último párrafo, en §III.3), que termina conduciendo a la mística:

logica.md — sección “Lógica / Ontología divagación”, fragmento final

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 — véase el fragmento siguiente.

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 — es el último párrafo de «Lógica / Ontología divagación», hoy en §III.3.

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

logica_v1_primera.md — lambda cálculo y tipos

Después también hay que explorar, por ejemplo, la teoría de las categorías???? Los tipos. Y bueno, lo que no serían los modelos de primer orden Entiendo que entrarían los modelos de lambda cálculo. Habría que mirar aquí también la referencia tweet Scott. ¿Modelo correcto tipos etc.? ¿Por qué no más allá?

logica_v1_primera.md — jerarquía de modelos

relaciónar jerarquía modelos con lo real. Modelo supremo Uno. Modelo inferior cada individuo. ¿Se tocan?

Índice de conceptos

Concepto Ir al texto
Principio de identidad §II.2
Principio de no contradicción §II.2
Principio del tercio excluso §II.2
Pluralidad de las lógicas §II.6
Lógica paraconsistente §II.4
Catuṣkoṭi (lógica de cuatro posiciones) §I.6
Teorema de Gödel (incompletitud) §II.7.2
Platonismo matemático §II.7.4
Abstracción y predicación infinita Anexo
«El formalismo certifica; no descubre» §II.7.4
Sustancia y atributos (ontología aristotélica) §I.1
Identidad cualitativa vs. numérica §II.2.1
Up to isomorphism / objeto matemático §II.2.1
Platonismo invertido Anexo
Haecceidad (Duns Escoto) Anexo
Esquema Lógica → metafísica → Física §II.6.3
Revisión histórica §I
Grietas de la lógica §II
Pluralidad matemática §II.7