El origen de la lgica como ciencia formal se remonta a los
tiempos de Aristteles, quien fue su creador. Sin embargo, el gran filsofo de estagira no empleo este trmino para referir a esta ciencia, sino que aluda a ella usando la palabra analtica (del griego analysis: solucin, resolucin; fin, en el sentido del trmino). Es por esta razn que los escritos fundamentales del rganon aristotlico (conjunto de sus investigaciones sobre la lgica) reciben el nombre de analticos. No se sabe exactamente por quien ni en qu poca ha sido empleada la palabra lgica en el sentido moderno. Segn indicacin del boecio el trmino lgica pudo haber sido creado por los comentadores de Aristteles para oponer al rganon de este a la dialctica estoica. En todo caso esta palabra fue empleada por cicern (siglo I a.c.); el empleo de este trmino es corriente desde los estoicos (siglo III a.c.): los teoremas lgicos, las leyes lgicas, como una de las tres especies de la filosofa. La palabra lgica proviene del vocablo griego logos y este de la voz legein. Las significaciones respectivas son muchas y variadas. En el pensamiento griego el significado de la palabra logos desborda el campo lgico, llega a los terrenos metafsicos; as la uso, por ejemplo Herclito. Logos traduca una nocin muy profunda que representa un principio de validez universal, pues sealaba que toda la realidad se hallaba penetrada de l por esta misma razn volva inteligibles todas las cosas. Por su parte, Gabriel gracia morente afirma que el griego conceba el logos como aquella razn fundamental o formula racional definitoria que explica el que es de algo. Justamente, ste es uno de los sentidos que, por ejemplo, platn adjudica a dicho trmino en la parte final del teeteto, al intentar definir el conocimiento. Nos parece que esta significacin metafsica
del logos sirvi de base para crear la lgica como un
instrumento del pensamiento. En efecto, si la realidad es inteligible, entonces es posible buscar un mtodo de pensar que haga evidente esa inteligibilidad. Igualmente, logos significa palabra, es decir, el lenguaje que traduca el pensamiento ya ordenado por la norma racional. Siguiendo este camino naci la lgica en el pensamiento griego. A travs de la palabra que expresaba pensamiento correcto se poda organizar una ciencia que garantizara la inteligibilidad de las cosas. Por su puesto que la lgica fue afinando su significacin hasta convertirse en el instrumento del pensar correcto de que habla Aristteles. La lgica matemtica se inicia con George boole. En 1854 publica (las leyes del pensamiento) que pone mate a una disciplina, la lgica, que hasta entonces se estudiaba en retorica y filosofa. El siguiente paso se da en 1910 con principia matemtica de whitehead y Russell donde se deriva toda la matemticas a partir de un conjunto de axiomas y lgica booleana. Para terminar la lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto. La lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilizacin de los mismos.