Bienvenidos a nuestra web

LA EVOLUCION HISTORICA DEL PENSAMIENTO

LOGICO - MATEMATICO

El pensamiento lógico-matemático reúne una serie de aspectos recurrentes que son identificables a lo largo de su historia. Desde los resultados incipientes de la aritmética pitagórica y de la geometría euclídea, hasta los desarrollos modernos de los correspondientes sistemas abstractos de la aritmética de Peano-Gödel y de la geometría de Hilbert, las ciencias deductivas exhiben una tradición de pensamiento sólidamente fundada en el valor epistémico de la prueba clásica.

Esta progresión no ha estado exenta de crisis abruptas y convulsas derivadas de la tensión que origina el intento de expandir el conocimiento, como cuando un nuevo descubrimiento matemático pone en entredicho lo que hasta entonces era considerado verdadero. Paradojas tales como la derivada del descubrimiento de la inconmensurabilidad de la diagonal con el lado de un cuadrado en los tiempos pitagóricos, o las derivadas del descubrimiento de algunas contradicciones en la moderna teoría de conjuntos, dan cuenta también de esta tensión.

La lógica estudia la forma del razonamiento. La lógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas, sin embargo, se usa en forma constante para realizar cualquier actividad en la vida. Lógica matemática fue el nombre dado por Giuseppe Peano para esta disciplina.

En esencia, es la lógica de Aristóteles, pero desde el punto de vista de una nueva notación, más abstracta, tomada del álgebra. Previamente ya se hicieron algunos intentos de tratar las operaciones lógicas formales de una manera simbólica por parte de algunos filósofos matemáticos como Leibniz y Lambert, pero su labor permaneció desconocida y aislada.  Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemático para modelar operaciones lógicas.