Pongamos por un momento que hablo de lógica. En lógica se dice que hay verdades de razón (que se refieren a sintaxis y lógica interna de una proposición pero no dicen nada de la realidad) y verdades de hecho (portadas por proposiciones que se refieren a la realidad, a los hechos del mundo). Pues bien, la lógica afirma que las tautologías (las proposiciones que siempre son verdaderas se combinen como se combinen sus elementos internos) solo se pueden sustentar en verdades de razón. Pero la idea contenida en la expresión "Moriré algún día", no puede ser acaso transformada en una tautología? El lógico dirá que cómo sabes que morirás algún día. El lógico dice esas cosas. Para entenderlo mejor, se puede reformular diciendo que vivimos en una clase de mundo posible que forma parte de un conjunto de mundos posibles, en los que en alguno puede no ser cierto que muera algún día. Pero si concedes la posibilidad de que "Moriré algún día" sustente en efecto una tautología (es decir, que es una verdad indubitable), entonces es efectivamente así. Y si lo aceptas como tal, se cuela con este la biología (la biología humana), y la física y la química y con ellas todos los hechos de la realidad. Con lo que no habría diferencia entre verdades de hecho y verdades de razón. Y una de las bases de la lógica se tambalearía. No sería gracioso? No, no es gracioso.