logica formal

Historia de la lógica
Históricamente la palabra «lógica» ha ido cambiando de sentido. Comenzó siendo una modelización de los razonamientos, propuesta por los filósofos griegos, y posteriormente haevolucionado hacia diversos sistemas formales. Etimológicamente la palabra lógica deriva del término griego Λογικός logikós, que a su vez deriva de λόγος logos 'razón, palabra, discurso'.15
En unprincipio la lógica no tuvo el sentido de estructura formal estricta
Edad Antigua
La lógica, como un análisis explícito de los métodos de razonamiento, se desarrolló originalmente en trescivilizaciones de la historia antigua: China, India y Grecia, entre el siglo V y el siglo I a. C. En China no duró mucho tiempo: la traducción y la investigación escolar en lógica fue reprimida por la dinastíaQin, acorde con la filosofía legista. En India, la lógica duró bastante más: se desarrolló (por ejemplo con la nyāya) hasta que en el mundo islámico apareció la escuela de Asharite, la cual suprimióparte del trabajo original en lógica. A pesar de lo anterior, hubo innovaciones escolásticas indias hasta principios del siglo XIX, pero no sobrevivió mucho dentro de la India colonial. El tratamientosofisticado y formal de la lógica moderna aparentemente proviene de la tradición griega.
Edad Media
Con el nombre de Dialéctica en la Edad Media la Lógica mantiene la condición de ciencia propedéutica.Así se estudia en la estructura de las enseñanzas del Trivium como una de las artes liberales pero sin especiales aportaciones en la Alta Edad Media
Siglo XIX
A partir de la segunda mitad del sigloXIX, la lógica sería revolucionada profundamente. En 1847, George Boole publicó un breve tratado titulado El análisis matemático de la lógica, y en 1854 otro más importante titulado Las leyes delpensamiento. La idea de Boole fue construir a la lógica como un cálculo en el que los valores se representan mediante el 0 (falsedad) y el 1 (verdad), y a los que se les aplican operaciones matemáticas...