El gran matematico Gottfried Leibniz en 1646 fue el primero en intentar reformar la lógica clásica, planteando que la dependencia 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 un razonamiento mecánico y a éste esquema (lógica simbólica) lo llamó una característica universal.
El proceso de la logica continuo en el siglo XIX. En 1847 el matematico ingles George Boole en compañía de Augustus de Morgan hizo notar el parentesco entre 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ón y 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 proposiciones compuestas.
Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en su obra “Principio Matemático”, quienes codificaron la lógica simbólica en su presente forma definiéndola como la Ciencia de todas las operaciones conceptuales posibles”, por esta razon la fundacion de la logica formal moderna se le atribuye a ellos.
Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en su obra “Principio Matemático”, quienes codificaron la lógica simbólica en su presente forma definiéndola como la Ciencia de todas las operaciones conceptuales posibles”, por esta razon la fundacion de la logica formal moderna se le atribuye a ellos.
Conectivos Lógicos
Estos terminos de enlace reciben el nombre de
LENGUAJE NATURAL LENGUAJE FORMAL
Estos terminos de enlace reciben el nombre de
LENGUAJE NATURAL LENGUAJE FORMAL
y ᴧ Conjunción
o v Disyunción
No ~ Negación
Si … entonces → Condicional
Si y solo si ↔ Bicondicional
Si y solo si ↔ Bicondicional
No hay comentarios:
Publicar un comentario