Breve reseña Histórica de la Lógica
Entre los muchos aportes que hizo Aristóteles al conocimiento abstracto, sin duda la
lógica formal - de la que fue indiscutiblemente creador - no solamente puede
considerarse el más trascendental, sino aquel en que logró mejores y mayores aciertos.
La principal aportación de Aristóteles fue la silogística, el estudio del procedimiento de
raciocinio por medio del silogismo, en que de dos premisas se deduce una conclusión;
también llamada lógica de las proposiciones o lógica “clásica”. Los filósofos ulteriores,
sobre todo los pertenecientes a la escuela estoica pre-cristiana y a la escolástica
medieval desarrollaron a fondo la lógica de las proposiciones; sistematizando y
completando la silogística aristotélica así como llegaron a desarrollar las llamadas
“lógicas modales”.
Recién en el siglo XIX puede decirse que se desarrollaron nuevas aportaciones de
importancia en el campo de la lógica, con el desenvolvimiento de la “lógica matemática”
que, a partir del antecedente del pensamiento de Leibnitz, realizaron Boole y Frege.
El filósofo y matemático alemán Gottfried Wilhelm Leibnitz (Leipzig, 1646 - Hannover,
1716) - a quien cabe considerar el creador de la lógica matemática - desarrolló la idea
de un calculus ratiocinator, mediante el cual se aplicaría un sistema de reglas a algunos
conceptos generales precisamente definidos, lo que habilitaría a operar en el campo de
las cuestiones filosóficas con los mismos procedimientos del razonamiento matemático.
Esta idea tenía implícito el concepto de crear un método equivalente al de las ciencias
exactas para alcanzar la certeza en cuanto a las cuestiones filosóficas; pero
precisamente por su estrecha vinculación con especulaciones filosóficas sobre
numerosos temas como la metafísica y la teodicea, el concepto quedó largo tiempo
olvidado.
Fue así que la lógica matemática - también llamada lógica simbólica - se desarrolló
efectivamente en el siglo XIX, especialmente a partir de George Boole (Inglaterra, 1815
- 1864), autor de la obra “Investigación de las leyes del pensamiento en que se fundan
la teorías matemáticas de la lógica y la probabilidad”, en que se originara la conocida
como “álgebra booleana”; que conjuntamente con Frege consiguió construir cálculos
lógicos rigurosamente formalizados, que permitieron aplicar a los problemas lógicos los
procedimientos matemáticos. Con ello sentaron los fundamentos operativos de la
tecnología de la moderna computación, que fueran ulteriormente desarrollados por las
teorías de Emil Post y el célebre matemático inglés Allan Mathison Turing (Inglaterra,
1912-1954), creador de la Automatic Digital Machine que por primera vez permitió
realizar cálculos mecanizado s mediante el empleo de algoritmos.
La obra culminante de la lógica simbólica, la constituye “Principia mathematica” de Sir
Bertand Russell (Inglaterra, 1872-1970) y Alfred North Whitehead (Inglaterra, 1861 -
U.S.A., 1947), realizada en tres tomos, entre los años 1910 y 1913. En esta obra, se
sustenta el concepto de que las matemáticas puras se obtienen de premisas lógicas
4
4