materiales

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 premisasse 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ásticamedieval 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”.
El filósofo ymatemático alemán Gottfried Wilhelm Leibniz (Leipzig, 1646 - Hannover, 1716) - a quien cabe considerar el creador de la lógica matemática - desarrolló la idea de uncalculus ratiocinator, mediante elcual 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 delrazonamiento 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 precisamentepor 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énllamada 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 pensamientoen 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...