Evolucion De La Logica
Aristóteles, en respuesta a la necesidad de construirargumentos, para defender o refutar pensamientos de los demás, creo métodos sistemáticos para analizar y evaluar dichos argumentos, para lo cual desarrollo la lógica proposicional estableciendoprocedimientos para determinar la verdad o falsedad de proposiciones compuestas.
Posteriormente, el matemático Gottfried Leibniz fue el primero en intentar reformar la lógica clásica, planteando que ladependencia lógica entre proposiciones es demostrada reduciendo argumentos complejos en simples, para lo cual propuso representar el conocimiento, en una forma que pudiera ser usado por unrazonamiento mecánico y a este esquema lo llamo una característica universal.
Luego, como resultado del ingenio del matemático ingles George Boole en compañía de Augustus de Morgan hizo notar el parentescoentre las operaciones lógicas con las matemáticas, pues a partir de los operadores aritméticos de adición, multiplicación y sustracción crearon los operadores lógicos equivalentes de unión, interseccióny negación; además formularon los principios del razonamiento simbólico y el análisis lógico. A Boole se le atribuye la invención de las tablas de verdad para comprobar la veracidad de proposicionescompuestas.
Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead, quienes codificaron la lógica simbólica en su presente forma definiéndola como la “Ciencia de todas las operacionesconceptuales posibles”, por esta razón la fundación de la lógica formal moderna se le atribuye a ellos. La claridad y generalidad, la consigue en la medida en que el usuario se familiariza con los...
Regístrate para leer el documento completo.