HISTORIA

EL NOMBRE FUE DADO POR GIUSEPPE PEANO, ES ESENCIA DE LA LOGICA DE ARISTOTELES DESDE UN PUNTO DE VISTA MAS ABSTRACTO,

GEORGE BOOLE Y AUGUSTUS DE MORGAN A MEDIADOS DEL SIGLO XIX DIERON MODELOS DE OPERACIONES LOGICAS OBTENIENDO UN INSTRUMENTO PARA INVESTIGAR FUNDAMENTOS  DE LA MATEMATICA.

EL METODO TRADICIONAL SE ENFOCABA EN LA FORMA DE ARGUMENTAR Y EL ACTUAL SE ENFATIZA EN UN ESTUDIO COMBINATORIO DE LOS CONTENIDOS.
LA LOGICA NACIO COMO UN INTENTO DE MECANIZAR LOS PROCESOS INTELECTIVOS DEL RAZONAMIENTO, Y SE DESARROLLO A PARTIR DE LA CONFLUENCIA DE MATEMATICAS, INGENIERIA Y LINGUISTICA.
EL COMIENZO DE LA APORTACION DE LA INGENIERIA A LA LOGICA FUE EN 1938 CUANDO CLAUDE E. SHANNON OBSERVO QUE LAS FUNCIONES REALIZADAS POR CIRCUITOS COMBINATORIOS, INICIALMENTE CONSTRUIDOS CON RELES, SE PODIAN REPRESENTAR CON LA NOTACION SIMBOLICA DE DEL ALGEBRA DE BOOLE, A MEDIADOS DE LA DECADA DE LOS 50, D.A HUFFMAN EXTENDIO ESTE TRABAJO A LOS CIRCUITOS SECUENCIALES, Y LA CONTRIBUCION DE LA LINGUISTICA LLEGA A FINALES DE  DE LOS 50 DONDE NOAM CHOMSKY CON SU TEORIA DE LAS GRAMATICAS FORMALES ESTABLECE LAS BASES DE LA LINGUISTICA MATEMATICA E INICIA EL CAMINO HACIA LA FORMALIZACION EN LA DESCRIPCION DE LOS LENGUAJES NATURALES.