Genesis De La Logica

Génesis de la lógica

El principio de la lógica como ciencia formal se inicia en los tiempos pos de Aristóteles quien fue su fundador. ¿Por qué la lógica ocupa un lugar central en una teoría acerca de la construcción del conocimiento? Por otra parte Los tratados de lógica de Aristóteles, 384ac - 332 ac, conocidos como Organón, contienen el primer tratado sistemático de las leyes de pensamiento para la adquisición de conocimiento. Representan el primer intento serio que funda la lógica como ciencia. Aristóteles no hace de la lógica una disciplina metafísica sino que establece correspondencias recíprocas entre pensamiento lógico y estructura ontológica.

Afirmamos que el conocimiento se construye, pero ¿qué se construye?, se construyen los instrumentos que nos permiten interpretar la realidad. Estos instrumentos son las formas en que podemos organizar esa información que tenemos del mundo que tratamos de interpretar, pero esa organización supone relaciones, que a su vez se coordinan, y la coordinación de esas relaciones forma lo que entendemos por estructuras. Pues bien, esto es la Lógica.

Formalización de las Matemáticas logicas

Esta etapa se caracteriza por el resurgimiento de la formalización rigurosa de las matemáticas, que en la etapa clásica griega fue representativa. El uso de los infinitesimales fue una de las prácticas más notoria en la época renacentista, para la cual no se ofrecía una justificación. La vigorización del análisis llegó con la eliminación de los infinitesimales y la presencia de los límites como argumento. En este periodo se crea la lógica simbólica, la escuela formal, la lógica booleana, el cálculo proposicional, la inducción matemática, el cálculo de secuentes,.... Personajes muy notables de esta etapa son: Peano, Hilbert, Frege, Boole, de Morgan, Gentzen, Russell, Gödel y Whitehead. A Rusell y Gödel se deben los planteamientos de las limitantes de la lógica y de la ciencia en general.

...