Su Mama
fue enunciada primeramente por Aristóteles, quien elaboró leyes
para un correcto razonamiento silogístico.
Un silogismo es una proposiciónhecha de una de estas
cuatro afirmaciones posibles:
“Todo A es B” (universal afirmativo),
“Nada de A es B” (universal negativo),
“Algo de A es B” (particular afirmativo) o “Algo de A no es B”(particular negativo).
El sistema lógico de Russell y Whitehead cubre un espectro mayor de posibles argumentaciones que las que se pueden encontrar en la lógica silogística. Introducesímbolos para frases enteras y para las conjunciones que las unen, como “o”, “y”, “si... entonces...”. Cuenta con símbolos diferentes para el sujeto lógico y el predicado lógico de una frase; y adjudicasímbolos para distinguir las clases, para los miembros de las clases y para las relaciones de la pertenencia a una clase y la inclusión en una clase. También se aleja de la lógica clásica en sussuposiciones de la existencia respecto a las cosas aludidas en sus afirmaciones universales. La afirmación “Todo A es B” significa en lógica moderna que “Si algo es A, entonces es B”; lo que, a diferencia de lalógica tradicional, no significa que todo A existe
A la lógica formal, en su actual estado de desarrollo se le conoce como lógica simbólica o lógica matemática, nombres que hacen alusión asu uso sistemático del simbolismo y al parecido de sus procedimientos con los de la matemática (de la cual, sin embargo, no es una rama o disciplina).
Leibniz se considera el padre de la lógicamatemática. El realiza contribuciones al desarrollo de la lógica, principalmente en dos campos: aplicó con éxito métodos matemáticos a la interpretación de la silogística Aristotélica, y propuso uncálculo de la adición real mostrando qué partes del álgebra están abiertas a interpretación no aritmética.[3]
La obra de Boole (1815-1864) y Frege (1848-1925), dos de los mas importantes iniciadores...
Regístrate para leer el documento completo.