Lógica

La lógica es el estudio de los principios de la inferencia válida. Una inferencia es un proceso o acto en el que a partir de la evidencia provista por un grupo de premisas, se afirma una conclusión. Tradicionalmente se distinguen tres clases de inferencias: las deducciones, las inducciones y las abducciones, aunque a veces se cuenta a la abducción como un caso especial de inducción. La validez o no de las inducciones es asunto de la lógica inductiva y del problema de la inducción. Las deducciones, en cambio, son estudiadas por la mayor parte de la lógica contemporánea. Cuando un argumento es deductivamente válido, se dice que la conclusión es una consecuencia lógica de las premisas. El concepto de consecuencia lógica es, por lo tanto, un concepto central a la lógica.