LÓGICA

                                               Lógica

Lógica es la ciencia formal que estudia los principios de la demostración y la inferencia válida. La palabra "lógica" deriva del griego antiguo logiké, que significa " dotado de razón intelectual, dialéctico, argumentativo", que a su vez viene de logos, "palabra, pensamiento, idea, argumento, razón o principio".

Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. Que es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia  formal, como la matemática, en vez de una ciencia empírica. 

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. Es un argumento deductivamente válido, la conclusión es una consecuencia lógica de las premisas. El concepto de consecuencia lógica es, por lo tanto, un concepto central de la lógica.

La lógica tradicionalmente se considera una rama de la filosofía, pero desde fines del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática.

Además de las inferencias la lógica estudia las falacias, las paradojas, y la noción de la verdad.