La UNESCO oficializó esta efeméride en colaboración con el Consejo Internacional de Filosofía y Ciencias Humanas, con el objetivo de llamar la atención, tanto de la comunidad científica interdisciplinaria como del público general sobre la importancia histórica, teórica y práctica de esta disciplina. En este aspecto la UNESCO sostiene que este día busca profundizar el compromiso con el desarrollo del conocimiento y la ética, reafirmando la confianza en la razón humana.
Esta fecha converge en la vida de Alfred Tarski y Kurt Gödel, dos pilares fundamentales del siglo XX. Tarski, lógico, matemático y filósofo polaco, nació el 14 de enero de 1901. Sus contribuciones abarcan la teoría de modelos, la lógica polivalente y, de manera crucial, considerado un hito de filosofía analítica la teoría semántica de la verdad. Sus trabajos establecieron bases formales para discutir conceptos como la verdad y la consecuencia lógica dentro de sistemas lingüísticos estructurados.
Por otro lado, Kurt Gödel, lógico y matemático austríaco, falleció el 14 de enero de 1978. Gödel revolucionó el campo con sus teoremas de incompletitud, publicados en 1931. Estos teoremas demostraron límites intrínsecos en todo sistema formal suficientemente complejo, estableciendo que hay proposiciones verdaderas que no pueden ser demostradas dentro del propio sistema.
La resolución 40/C74 de la UNESCO, que establece los propósitos de esta celebración busca fomentar la cooperación internacional, promover el desarrollo de la lógica en la investigación y la enseñanza. Asimismo, apoyar la labor de asociaciones, universidades e instituciones vinculadas al tema. Un aspecto central es mejorar la comprensión pública sobre cómo la lógica influye en la ciencia, la tecnología y la innovación.
El documento también vincula la lógica con la construcción de una cultura de paz, diálogo y entendimiento mutuo, fundamentada en el avance de la educación y la ciencia. Sostiene que en un mundo de discursos fragmentados y desinformación, el ejercicio del razonamiento lógico se presenta como una herramienta para el análisis crítico.
La lógica es una ciencia formal que estudia los principios del razonamiento válido, la inferencia, la demostración, las falacias y la noción de verdad. Tradicionalmente una rama de la filosofía, su naturaleza es profundamente interdisciplinaria. Su utilidad trasciende el ámbito teórico, pues se considera la columna vertebral del desarrollo científico y tecnológico.
Desde la UNESCO catalogan la lógica como «más vital que nunca para nuestras sociedades y economías». La informática, la inteligencia artificial, las tecnologías de la información y la comunicación que estructuran la vida contemporánea se basan en fundamentos lógicos y algorítmicos. Cada línea de código, cada protocolo de comunicación, aplica principios de lógica.
Para ilustrar su esencia, los juegos y acertijos de lógica son métodos pedagógicos de mucha utilidad. Permiten ejercitar el pensamiento deductivo e inductivo fuera de contextos académicos especializados. Un ejemplo de ello es el problema del “Camino del monje” de certeza lógica. Independientemente de la velocidad o las pausas, si un monje asciende un día y desciende al siguiente empezando a la misma hora, existe al menos un punto del camino por el que pasará a la misma hora ambos días.
Una demostración elegante consiste en imaginar a dos monjes, uno subiendo y otro bajando en el mismo día. Es inevitable que se crucen en algún punto y hora específicos. Esto prueba que, en el escenario original, el monje único debe haber estado en ese punto a la misma hora en días consecutivos.
En un contexto donde la toma de decisiones se ve influenciada por enormes volúmenes de datos y algoritmos, comprender los fundamentos del razonamiento lógico es una competencia cívica. Honrar esta fecha, es reconocer el andamiaje racional que permite el progreso del conocimiento y subyace a las herramientas que definen nuestra era.
