La lógica se originó en la antigua Grecia como un método para analizar razonamientos. Aristóteles estableció la lógica como una herramienta básica para todas las ciencias. Más tarde, la lógica formal se desarrolló como un lenguaje simbólico para esquematizar el pensamiento de manera clara y evitar ambigüedades. En la actualidad, la lógica se utiliza en matemáticas, ciencias de la computación y filosofía para describir el razonamiento de manera prescript

1. La Lógica
La Lógica es un término que deriva del griego "Λογικός" (logikê-logikós), que a su vez es
logos, que significa razón. Se considera que Aristóteles fue el que fundó la Lógica como
un medio de conocimiento o Propedéutica, una herramienta básica para todas las
Ciencias. La Lógica según Immanuel Kant es una ciencia formal, es decir, aquella ciencia
que estudia las formas del pensamiento prescindiendo de todo contenido. Carl Sagan,
en su obra El Mundo y sus Demonios, presenta a la razón y el uso de la lógica como un
modelo de causas-efectos encadenados por una transformación, que dado la naturaleza
de nuestro universo, es eminentemente termodinámica.
Históricamente la palabra ha ido cambiando de sentido. Comenzó siendo una
modelizaciónde los razonamientospropuesta por los filósofosgriegos y posteriormente
ha evolucionado hacia diversos sistemas formales, relacionados con la teoría.
La lógica formal como un análisis explícito de los métodos de razonamientos se
desarrolló originalmente en tres civilizaciones 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ía Qin, acorde con la filosofía legista. En India, la lógica duró
bastante más: se desarrolló ( por ejemplo con la nyaya) 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 tratamiento sofisticado
y formal de la lógica moderna aparentemente proviene de la tradición griega.
Aristóteles fue el primero en emplear el término “Lógica” para referirse al estudio de
los argumentos dentro del lenguaje natural. En el Organon Aristóteles la define como
“el arte de la argumentación correcta y verdadera”.
Nació así la anteriormente definida “Lógica Informal”, o el estudio metódico de los
argumentos. Durante varios siglos, sólo fue investigada por la retórica, la oratoria y la
filosofía, entre otras ramas del conocimiento. Se especializó medularmente en la
identificación de falacias y paradojas, así como en la construcción correcta de
razonamientos.

2. A partir de mediados del Siglo XIX la lógica formal comenzóa ser estudiada en el campo
de las matemáticas y posteriormente por las ciencias computacionales, naciendo así la
Lógica simbólica. Ésta trata de esquematizar los pensamientos claramente usando un
lenguaje de signos propio y distinto al verbal, evitando así las ambigüedades.
Así, en la edad contemporánea, la lógica generalmente es entendida para describir
razonamientoen una forma prescripta. Esto es, describe cómo el razonardebería tomar
lugar.
Además de encontrarle múltiples e importantes usos computacionales y matemáticos a
la lógica simbólica, se ha mantenidola lógica aristotélica,la cualprincipalmentese ocupa
de enseñar el buen argumento, y es todavía enseñada con ese designio en la época
contemporánea. Para la Lógica matemática y la filosofía analítica la lógica es un objeto
de estudio en sí mismo, por lo que ésta es estudiada a un nivel más abstracto.
Existen muchos otros sistemas lógicos, como la lógica dialéctica, lógica difusa, lógica
probabilística, lógica modal y la lógica no monótona.
Martin Heidegger —discípulo de Edmund Husserl—, se aparta de estas líneas de
consideración de la lógica —aunque sin despreciarlas y comprendiendo su alcance (pero
también sus límites)—, planteando que una lógica más originaria se podría encontrar en
un plano previo a las proposiciones, sentencias, declaraciones o juicios. Tomar en cuenta
eso podría llevar a un replanteamientode la lógica de la proposicióno la lógica del juicio,
puesto que nos conduciría a movernos en las raíces de la lógica tal como ha sido
habitualmente entendida, raíces que hasta ahora han sido insuficientemente atendidas.
Para él, la lógica tendría que partir de una suficiente meditación del λόγος ( lógos), el
cual debería ser distinguido de la ratio (razón), que, en rigor, significa algo distinto.
Definiciones aplicadas
La lógica puede definirse por un lado como Ciencia y como Proceso, estudiados por la
filosofía en un Lenguaje formal.
Aplicada a las ciencias
La lógica estudia los problemas del movimiento del hombre hacia el conocimiento
certero, las leyes del origen. Para la lógica lo central es aclarar qué es una certeza y
cómo se alcanza. La lógica no entra en definir que es verdad y que es mentira, esos
conceptos al tener cierta carga moral, son competencia del razonamiento. Por tanto, la

3. ciencia no define que es verdad o mentira, define certezas, siendo estas indispensables
para todas las ciencias.
La filosofía es la disciplina que se encarga de enseñar a elaborar y proponer
metodologíasde como falsar las certezas firmes, a través de los razonamientos,ya sean
deductivos, inductivos ó abductivos