ASPECTOS GENERALES SOBRE LA LÓGICA
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal
que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la
noción de verdad.3
La lógica se divide en varias categorías según su campo de estudio. La lógica filosófica estudia el
concepto y la definición, la enunciación o proposición y la argumentación utilizando los métodos y
resultados de la lógica moderna para el estudio de problemas filosóficos. La lógica matemática
estudia la inferencia mediante sistemas formales como la lógica proposicional, la lógica de primer
orden y la lógica modal. La lógica informal se enfoca en el desarrollo lingüístico de los
razonamientos y sus falacias. La lógica computacional es la aplicación de la lógica matemática a las
ciencias de la computación.
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India
y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en
el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora
también se considera parte de las matemáticas, e incluso una ciencia formal independiente.
No existe un acuerdo universal sobre la definición exacta o los límites de la lógica. Sin embargo, el
ámbito de la lógica (interpretada en sentido amplio) incluye:
La clasificación de los argumentos.
El análisis sistemático de las formas lógicas.
El estudio sistemático de la validez de las inferencias deductivas.
La fuerza de las inferencias inductivas.
El estudio de los argumentos defectuosos, como las falacias.
El estudio de las paradojas lógicas.
El estudio de la sintaxis y la semántica de los lenguajes formales.
El estudio de los conceptos de sentido, denotación y verdad.
Históricamente, la lógica se ha estudiado principalmente en filosofía desde la antigüedad, en
matemáticas desde mediados del siglo XIX y en informática desde mediados del siglo XX. Más
recientemente, la lógica también se ha estudiado en lingüística y en ciencias cognitivas. En general,
la lógica sigue siendo un área de estudio fuertemente interdisciplinaria.
Etimología y acepciones
La palabra «lógica» deriva del griego antiguo λογική logikḗ, que significa «dotada de razón,
intelectual, dialéctica, argumentativa» y que a su vez viene de λόγος (lógos), «palabra,
pensamiento, idea, argumento, razón o principio».78i
En el lenguaje cotidiano, expresiones como «lógica» o «pensamiento lógico» aportan también un
sentido alrededor de un «pensamiento lateral» comparado, haciendo los contenidos de la
afirmación coherentes con un contexto, bien sea del discurso o de una teoría de la ciencia, o
simplemente con las creencias o evidencias transmitidas por la tradición cultural.
Del mismo modo existe el concepto sociológico y cultural de lógica como por ejemplo «lógica
deportiva», que en general, podríamos considerar como «lógica cotidiana» - también conocida
como «lógica del sentido común».
En estas áreas la «lógica» suele tener una referencia lingüística en la pragmática.
Un argumento en este sentido tiene su «lógica» cuando resulta convincente, razonable y claro; en
definitiva cuando cumple una función de eficacia. La habilidad de pensar y expresar un argumento
así corresponde a la retórica, cuya relación con la verdad es una relación probable.
Temas
Inferencia
Esta sección es un extracto de Inferencia.
La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas o hipótesis
iniciales. Cuando una conclusión se sigue de sus premisas o hipótesis de partida, por medio de
deducciones lógicas válidas, se dice que las premisas implican (infieren) la conclusión.
La inferencia es el objeto de estudio tradicional de la lógica, así como la vida es el objeto de
estudio de la biología. 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 (retórica). Por esto se construyen
sistemas lógicos que capturan los factores relevantes de las deducciones que aparecen en el
lenguaje natural.
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. Las
inducciones se estudian desde la lógica inductiva y el problema de la inducción. Las deducciones,
en cambio, son estudiadas por la mayor parte de la lógica contemporánea.
En las investigaciones sobre la inteligencia artificial, la inferencia es la operación lógica utilizada en
los motores de inferencia de los sistemas expertos.
Validez
Esta sección es un extracto de Validez
En lógica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la
conclusión. Si la conclusión es una consecuencia lógica de las premisas, se dice que el argumento
es deductivamente válido.13 Algunos consideran estas dos nociones idénticas y usan ambos
términos indistintamente. Otros, sin embargo, consideran que puede haber argumentos que no
sean deductivamente válidos, como las inducciones. En cualquier caso, de las inducciones a veces
se dice que son buenas o malas, en vez de válidas o inválidas.
Ejemplos de argumentos deductivamente válidos son los siguientes:
Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.
Si no es lunes, entonces es martes.
No es lunes.
Por lo tanto, es martes.
Todos los planetas giran alrededor del Sol.
Marte es un planeta.
Por lo tanto, Marte gira alrededor del Sol.
Para que un argumento sea lo que le da principalmente la validez a un argumento es la seguridad
con lo que lo dice la persona y que tenga razón con lo que dice deductivamente válido, no es
necesario que las premisas o la conclusión sean verdaderas. Sólo se requiere que la conclusión sea
una consecuencia lógica de las premisas. La lógica formal exige únicamente una relación
condicional entre las premisas y la conclusión. Esto es: que si las premisas son verdaderas,
entonces la conclusión también lo es (esta es la caracterización semántica de la noción de
consecuencia lógica); o alternativamente: que la conclusión sea deducible de las premisas
conforme a las reglas de un sistema lógico (esta es la caracterización sintáctica de la noción de
consecuencia lógica). Si un argumento, además de ser válido, tiene premisas verdaderas, entonces
se dice que es sólido.
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.14
Falacias
Esta sección es un extracto de Falacia.
En lógica, una falacia (del latín fallacia ‘engaño’) es un argumento que parece válido, pero no lo es.
Algunas falacias se cometen intencionadamente para persuadir o manipular a los demás, mientras
que otras se cometen sin intención debido a descuidos o ignorancia. En ocasiones las falacias
pueden ser muy sutiles y persuasivas, por lo que se debe poner mucha atención para detectarlas.
Que un argumento sea falaz no implica que sus premisas o su conclusión sean falsas ni que sean
verdaderas. Un argumento puede tener premisas y conclusión verdaderas y aun así ser falaz. Lo
que hace falaz a un argumento es la invalidez del argumento en sí. De hecho, inferir que una
proposición es falsa porque el argumento que la contiene por conclusión es falaz es en sí una
falacia conocida como argumento ad lógica.
El estudio de las falacias se remonta por lo menos hasta Aristóteles, quien en sus Refutaciones
sofísticas identificó y clasificó trece clases de falacias. Desde entonces se han agregado a la lista
cientos de otras falacias y se han propuesto varios sistemas de clasificación.
Las falacias son de interés no solo para la lógica, sino también para la política, la retórica, el
derecho, la ciencia, la religión, el periodismo, la mercadotecnia, el cine y, en general, cualquier
área en la cual la argumentación y la persuasión sean de especial relevancia.
Paradojas
Esta sección es un extracto de Paradoja.
El cubo imposible es un objeto paradójico.
Una paradoja (del latín paradoxa, ‘lo contrario a la opinión común’) o antilogía es una idea
lógicamente contradictoria u opuesta a lo que se considera verdadero a la opinión general.También
se considera paradoja a una proposición en apariencia falsa o que infringe el sentido común, pero
no conlleva una contradicción lógica, en contraposición a un sofisma, que solo aparenta ser un
razonamiento válido. Algunas paradojas son razonamientos en apariencia válidos, que parten de
premisas en apariencia verdaderas, pero que conducen a contradicciones o situaciones contrarias
al sentido común. En la retórica, es una figura de pensamiento que consiste en emplear
expresiones o frases que implican contradicción. Las paradojas son estímulo para la reflexión y a
menudo los filósofos se sirven de ellas para revelar la complejidad de la realidad. La paradoja
también permite demostrar las limitaciones de la comprensión humana; la identificación de
paradojas basadas en conceptos que a simple vista parecen sencillos y razonables ha impulsado
importantes avances en la ciencia, la filosofía y las matemáticas.
