La lgica es una ciencia formal y una rama de la filosofa que estudia los principios de la demostracin e inferencia vlida.

La palabra deriva del griego antiguo (logike), que significa dotado de razn, intelectual, dialctico, argumentativo, que a su vez viene de (logos), palabra, pensamiento, idea, argumento, razn o principio. La lgica examina la validez de los argumentos en trminos de su estructura, (estructura lgica), independientemente del contenido especfico del discurso y de la lengua utilizada en su expresin y de los estados reales a los que dicho contenido se pueda referir. Esto es exactamente lo que quiere decir que la lgica es una ciencia formal. Tradicionalmente ha sido considerada como una parte de la filosofa. Pero en su desarrollo histrico, a partir del final del siglo XIX, y su formalizacin simblica ha mostrado su ntima relacin con las matemticas; de tal forma que algunos la consideran como Lgica matemtica. En el siglo XX la lgica ha pasado a ser principalmente la lgica simblica. Un clculo definido por unos smbolos y unas reglas de inferencia.1 Lo que ha permitido un campo de aplicacin fundamental en la actualidad: la informtica. Hasta entonces la lgica no tuvo este sentido de estructura formal estricta. La tradicin aristotlica y estoica,2 mantuvo siempre una relacin con los argumentos del lenguaje natural, concediendo por tanto a los argumentos una transmisin de contenidos verdaderos. Por ello an siendo formales, no eran formalistas.3 Hoy, tras los progresos cientficos relativos a la lingstica, y el concepto semntico de verdad en su relacin con el lenguaje,4 tal relacin se trata bajo un punto de vista completamente diferente. La formalizacin estricta ha mostrado las limitaciones de la lgica tradicional interpretada actualmente como una particularidad de la lgica La lgica matemtica es una parte de la lgica y las matemticas, que consiste en el estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. La lgica matemtica tiene estrechas conexiones con la ciencias de la computacin y la lgica filosfica. La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones: lgica simblica( o logstica), lgica matemtica, lgica teortica y lgica formal.1

La lgica matemtica no es la lgica de las matemticas sino la matemtica de la lgica. Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas matemticamente.