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:

Est lloviendo y es de da.

Por lo tanto, est lloviendo.