La duda epistemológica

Kleene pone en primer plano la tensión entre teoría y demostración: sentía reparos porque, desde su formación como lógico, la certeza proviene de pruebas formales y muchas cuestiones filosóficas rehúyen ese tipo de verificación. Su inquietud alude también al problema de la subdeterminación: distintas teorías pueden acomodar los mismos datos y reclamar igual legitimidad. El trasfondo histórico lo conecta con la tradición analítica y con la era de la lógica formal, donde la exigencia de demostración deja en evidencia la fragilidad de certezas no contrastables.

Consecuencias para pensar

La consecuencia práctica es una actitud crítica pero no paralizante: aceptar que algunas afirmaciones filosóficas no puedan someterse a prueba rigurosa obliga a priorizar claridad conceptual, coherencia interna y fecundidad explicativa. Esa limitación sugiere pluralismo epistemológico y prudencia al construir sistemas explicativos, promoviendo el diálogo entre rigor formal y criterios heurísticos que guíen qué teorías merecen mayor grado de creencia.