Nuevas reflexiones sobre la "adaequatio"

Un enunciado de confirmación posee un carácter lógico, esto es, contiene "a priori" la implicación de un hecho observable confirmatorio en una proposición de tipo teórico o hipotético. Afirmar que, según "C", "E confirma H", donde "E" es una experiencia, "H" una hipótesis y "C" el enunciado que las vincula implicativamente, no requiere experiencia ulterior y se sigue de la propia inteligibilidad del enunciado. Es "C" en este sentido una tautología, ya que de la descripción de lo que se afirma sobre el mundo se sigue que, cuando tal se da en la realidad, la proposición afirmativa es verdadera. Si quiero probar que "A ciertas cosas de la naturaleza, como las celdas de las colmenas de abejas o el cristal de roca, convienen los predicados que concebimos contenidos en la noción de hexágono", el enunciado de confirmación se limitará a constatar el vínculo necesario, de identidad lógica, entre lo afirmado "ex hypothesi" y lo verificado de hecho, es decir, entre lo hexagonal en la proposición teórica y lo hexagonal en el mundo. Luego, en tanto que un enunciado tautológico "C" puede contener la descripción de un hecho empírico "E" y llevarnos a la conclusión de ser verdadero un enunciado no tautológico teórico "H", no es cierto que las verdades analíticas o de razón no puedan generar verdades sintéticas o de hecho. Por el contrario, las presuponen a todas, si bien exigen condiciones externas o razones suficientes para que lo hipotético devenga efectivo (con Kant: la existencia no es un predicado). Ahora bien, el mundo es al mismo tiempo el conjunto de todos los enunciados no tautológicos y de todos los hechos empíricos sobre los que puedan pronunciarse dichos enunciados. Por consiguiente, la verdad de los mismos no se encuentra en el mundo, ya que nada en él puede confirmar "a priori" la concordancia de lo razonable con lo razonado salvo en base a puras apariencias. La proposición "Toda descripción lógicamente idéntica a lo descrito es verdadera" no es más que una paráfrasis de "A = A", y sólo en este sentido la adaequatio puede reconciliarse con las primeras nociones lógicas.