Lógica

Ir a la navegaciónIr a la búsqueda

La lógica es la ciencia formal y rama estricta tanto de la filosofía como de las matemáticas que
estudia los principios de la demostración y la inferencia válida,1 las falacias, las paradojas y la
noción de verdad.2 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 λόγος (lógos),
«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. La inferencia es el proceso por el cual se derivan conclusiones a
partir de premisas.3 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.4 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. En
un argumento deductivamente válido, la conclusión es una consecuencia lógica de las
premisas.5 El concepto de consecuencia lógica es, por lo tanto, un concepto central a la
lógica.5 Para estudiarlo, la lógica construye sistemas formales que capturan los factores
relevantes de las deducciones como aparecen en el lenguaje natural.6 Para entender esto,
considérese la siguiente deducción:

Está lloviendo y es de día.

Por lo tanto, está lloviendo.

La obvia validez de este argumento no se debe al significado de las expresiones «está

lloviendo» y «es de día», porque estas podrían cambiarse por otras y el argumento permanecer
válido. Por ejemplo:

Está nevando y hace frío.

Por lo tanto, está nevando.

En cambio, la clave de la validez del argumento reside en la expresión «y». Si esta expresión se
cambia por otra, entonces el argumento puede dejar de ser válido:

Está nevando o hace frío.

Por lo tanto, está nevando.

Las expresiones de las que depende la validez de los argumentos se llaman constantes lógicas,
y la lógica las estudia mediante sistemas formales.7 Dentro de cada sistema formal, la relación
de consecuencia lógica se puede definir de manera precisa, generalmente por medio de teoría
de modelos o por medio de teoría de la demostración.

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. En el siglo XX la lógica ha pasado a ser principalmente 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.