La lgica es una ciencia formal que estudia los principios de

la demostracin e inferencia vlida. La palabra deriva del griego antiguo logik, que
significa dotado de razn, intelectual, dialctico, argumentativo, que a su vez viene de
(lgos), palabra, pensamiento, idea, argumento, razn o principio.
As como el objeto de estudio tradicional de la qumica es la materia, y el de
la biologa la vida, el de la lgica es la inferencia. La inferencia es el proceso por el cual se
derivan conclusiones a partir de premisas.1 La lgica investiga los principios por los cuales
algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es
por su estructura lgica, y no por el contenido especfico del argumento o el lenguaje
utilizado. Por esta razn la lgica se considera una ciencia formal, como la matemtica, en
vez de una ciencia emprica.
La lgica tradicionalmente se consider una rama de la filosofa. Pero desde finales del
siglo XIX, su formalizacin simblica ha demostrado una ntima relacin con
lasmatemticas, y dio lugar a la lgica matemtica. En el siglo XX la lgica ha pasado a
ser principalmente la lgica simblica, un clculo definido por smbolos y reglas de
inferencia, lo que ha permitido su aplicacin a la informtica. Hasta el siglo XIX, la lgica
aristotlica y estoica mantuvieron siempre una relacin con los argumentos formulados
en lenguaje natural. Por eso aunque eran formales, no eran formalistas.2 Hoy esa relacin
se trata bajo un punto de vista completamente diferente. La formalizacin estricta ha
mostrado las limitaciones de la lgica tradicional o aristotlica, que hoy se interpreta como
una parte pequea de la lgica de clases.