La lgica es la ciencia formal que estudia los principios de la demostracin y

la inferencia vlida.1 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.2 La lgica investiga los fundamentos 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.
Tradicionalmente se distinguen tres clases de inferencias: las deducciones, las inducciones y
las abducciones, aunque a veces se cuenta a la abduccin como un caso especial de
induccin.3 La validez o no de las inducciones es asunto de la lgica inductiva y del problema
de la induccin. Las deducciones, en cambio, son estudiadas por la mayor parte de la lgica
contempornea. En un argumento deductivamente vlido, la conclusin es una consecuencia
lgica de las premisas.4 El concepto de consecuencia lgica es, por lo tanto, un concepto
central a la lgica.4 Para estudiarlo, la lgica construye sistemas formales que capturan los
factores relevantes de las deducciones como aparecen en el lenguaje natural.5 Para entender
esto, considrese la siguiente deduccin:

1. Est lloviendo y es de da.

2. Por lo tanto, est lloviendo.
La obvia validez de este argumento no se debe al significado de las expresiones est
lloviendo y es de da, porque estas podran cambiarse por otras y el argumento
permanecer vlido. Por ejemplo:

1. Est nevando y hace fro.

2. Por lo tanto, est nevando.
En cambio, la clave de la validez del argumento reside en la expresin y. Si esta expresin
se cambia por otra, entonces el argumento puede dejar de ser vlido:

1. Est nevando o hace fro.

2. Por lo tanto, est nevando.
Las expresiones de las que depende la validez de los argumentos se llaman constantes
lgicas, y la lgica las estudia mediante sistemas formales.6 Dentro de cada sistema formal, la
relacin de consecuencia lgica se puede definir de manera precisa, generalmente por medio
de teora de modelos o por medio de teora de la demostracin.
La lgica tradicionalmente se considera una rama de la filosofa, pero desde fines 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
matemtica, un clculo definido por smbolos y reglas de inferencia, lo que ha permitido su
aplicacin a la informtica.