Lógica

La lógica es la ciencia formal que estudia los principios de la demostración y

la inferencia válida.1 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.2 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.3 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.4 El concepto de consecuencia lógica es, por lo tanto, un concepto
central a la lógica.4 Para estudiarlo, la lógica construye sistemas formales que capturan los
factores relevantes de las deducciones como aparecen en el lenguaje natural.5 Para entender
esto, considérese la siguiente deducción:

1. Está lloviendo y es de día.

2. 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:

1. Está nevando y hace frío.

2. 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:

1. Está nevando o hace frío.

2. 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.6 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.
Además de las inferencias, la lógica estudia las falacias, las paradojas y la noción de verdad.7

Índice
[ocultar]
 1Acepciones
o 1.1Ciencia argumentativa y propedéutica
o 1.2Ciencia del pensar
o 1.3Lógica como pensamiento informal
 2Sistemas formales
o 2.1Lógicas clásicas
o 2.2Lógicas no clásicas
o 2.3Lógicas modales
 3Ramas de la lógica
o 3.1Lógica filosófica
o 3.2Lógica matemática
o 3.3Lógica computacional
 4Metalógica
o 4.1Consistencia
o 4.2Decidibilidad
o 4.3Completitud
 5Falacias
 6Paradojas
 7Historia
o 7.1Lógica aristotélica
 8Véase también
 9Referencias
 10Bibliografía adicional
 11Enlaces externos

Acepciones[editar]
Ciencia argumentativa y propedéutica[editar]
El término «lógica», se encuentra en los antiguos peripatéticos y estoicos como una teoría de
la argumentación o argumento cerrado.8De este modo la forma argumentativaresponde
al principio de conocimiento que supone que representa adecuadamente la realidad.9 Por ello,
sin perder su condición de formalidad, no son formalistas y no acaban de desprenderse de las
estructuras propias del lenguaje.10
Ciencia del pensar[editar]
Gottfried Leibniz (1646-1716).

Los filósofos racionalistas, sin embargo, al situar el origen de la reflexión filosófica en la c