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 las
matemticas, 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.