INTRODUCCIÓN A LÓGICA MATEMÁTICA
Aristóles |
El trabajo de Aristóteles contiene el
primer tratado sistemático de las leyes de pensamiento para la
adquisición de conocimiento. Representan el primer intento serio que
funda la lógica como ciencia.
George Boole |
La disciplina de la lógica matemática recibió este nombre gracias a Giuseppe Peano, quien
reformó y complementó la lógica tradicional Aristotélica, obteniendo un
instrumento apropiado para investigar sobre los fundamentos de la
matemática. El tradicional desarrollo de la lógica enfatizaba su centro
de interés en la forma de argumentar, mientras que la actual lógica
matemática lo centra en un estudio combinatorio de los contenidos.