Falacias formales

Una falacia formal es un patrón de razonamiento deductivo inválido cuya falla reside exclusivamente en la estructura lógica de sus premisas y conclusión, y no en la veracidad o falsedad de su contenido empírico. Se trata de un argumento que aparenta seguir una regla de inferencia legítima, pero cuya forma sintáctica viola las leyes de la deducción formal.

En el marco de la lógica proposicional, un razonamiento válido se expresa como una tautología condicional al relacionar la conjunción de las premisas con la conclusión mediante una implicación (→). En una deducción correcta, la conclusión es necesariamente verdadera siempre que todas las premisas sean simultáneamente verdaderas.

Por el contrario, el esquema condicional asociado a una falacia formal nunca constituye una tautología. Al ser evaluado mediante métodos semánticos, el argumento resulta en una contingencia o en una contradicción, lo que demuestra la existencia de al menos una asignación de valores de verdad donde las premisas son verdaderas y la conclusión resulta falsa.

Dentro del cálculo proposicional, las falacias formales más recurrentes son la afirmación del consecuente, la negación del antecedente, el falso silogismo disyuntivo (o afirmación de una disyunción inclusiva) y la negación errónea de una conjunción.

Este tipo de errores suele originarse al distorsionar patrones válidos del razonamiento deductivo. Por ejemplo, la afirmación del consecuente imita incorrectamente la estructura del modus ponens, mientras que la negación del antecedente surge de una aplicación defectuosa del modus tollens.

Principales falacias formales

Las falacias formales más frecuentes surgen al alterar la dirección lógica de las implicaciones condicionales o al interpretar de manera errónea conectivas como la disyunción y la conjunción. A continuación, analizamos las estructuras inválidas más comunes junto con su notación condicional y ejemplos representativos en el lenguaje cotidiano y en el ámbito matemático.

Afirmación del consecuente

La afirmación del consecuente ocurre cuando se asume que la veracidad del consecuente implica necesariamente la verdad del antecedente. Este razonamiento confunde una condición suficiente con una condición necesaria, simulando de forma incorrecta el esquema del modus ponens.

Su estructura condicional se formaliza mediante la proposición [(p → q) ∧ q] → p. Dado que el consecuente puede derivarse de causas ajenas a p, el argumento no garantiza la validez de la conclusión.

Ejemplo 1

• Premisa 1: Si llueve intensamente, la calle se moja.
• Premisa 2: La calle está mojada.
• Conclusión: Por lo tanto, llueve intensamente.

El razonamiento es inválido porque la calle pudo haberse mojado por otras razones, como el paso de un camión de limpieza o una fuga de agua.

Ejemplo 2

• Premisa 1: Si un estudiante obtiene un promedio perfecto, recibe una beca de honor.
• Premisa 2: El estudiante recibió una beca de honor.
• Conclusión: Por lo tanto, obtuvo un promedio perfecto.

Esta deducción es falaz, ya que la institución educativa puede conceder becas de honor por méritos deportivos, artísticos o de investigación.

Ejemplo 3

• Premisa 1: Si un cuadrilátero es un cuadrado, entonces sus diagonales son perpendiculares.
• Premisa 2: Las diagonales de este cuadrilátero son perpendiculares.
• Conclusión: Por lo tanto, el cuadrilátero es un cuadrado.

En este caso geométrico, la conclusión no se sigue necesariamente, pues la figura en cuestión podría tratarse de un rombo no equilátero o de un cometa.

Negación del antecedente

La negación del antecedente consiste en suponer que la falsedad del antecedente obliga a que el consecuente sea igualmente falso. En este esquema se comete el error de imitar de forma defectuosa la regla del modus tollens.

La notación condicional de esta falacia se expresa como [(p → q) ∧ ¬p] → ¬q. El hecho de que no ocurra la condición suficiente p no impide que q sea verdadero por otros factores.

Ejemplo 1

• Premisa 1: Si una persona vive en Madrid, entonces vive en España.
• Premisa 2: Carlos no vive en Madrid.
• Conclusión: Por lo tanto, Carlos no vive en España.

La conclusión resulta formalmente inválida porque Carlos puede residir perfectamente en ciudades como Barcelona, Sevilla o Valencia sin haber pisado Madrid.

Ejemplo 2

• Premisa 1: Si el motor del vehículo se queda sin combustible, el automóvil se apaga.
• Premisa 2: El motor no se quedó sin combustible.
• Conclusión: Por lo tanto, el automóvil no se apagará.

El argumento falla debido a que el vehículo puede detenerse por múltiples averías independientes, como una falla en la batería o un problema en el alternador.

Ejemplo 3

• Premisa 1: Si un número entero n es divisible por 6, entonces n es un número par.
• Premisa 2: El número 8 no es divisible por 6.
• Conclusión: Por lo tanto, el número 8 no es un número par.

El razonamiento no es válido porque 8 es efectivamente un número par, a pesar de que no cumple la condición previa de ser divisible por 6.

Afirmación de una disyunción incluyente

La afirmación de una disyunción incluyente o falso silogismo disyuntivo se produce al descartar una proposición luego de verificar la verdad de otra con la que comparte una disyunción débil (∨). El error lógico radica en tratar una disyunción inclusiva como si se tratara de una disyunción fuerte o exclusiva (⊻).

Formalmente, su esquema condicional se representa mediante [(p ∨ q) ∧ p] → ¬q. Como ambas componentes pueden coexistir como verdaderas, la afirmación de una no refuta a la otra.

Ejemplo 1

• Premisa 1: Para postular al puesto se requiere tener título universitario o hablar inglés fluido.
• Premisa 2: El postulante tiene título universitario.
• Conclusión: Por lo tanto, el postulante no habla inglés fluido.

El argumento es erróneo porque la disyunción no es excluyente: el candidato puede poseer el título universitario y además hablar un inglés fluido.

Ejemplo 2

• Premisa 1: El restaurante ofrece servicio de entrega a domicilio o atención presencial en el salón.
• Premisa 2: El restaurante ofrece atención presencial en el salón.
• Conclusión: Por lo tanto, el restaurante no ofrece servicio de entrega a domicilio.

La deducción no se sostiene ya que ambos canales comerciales pueden operar simultáneamente en el mismo establecimiento.

Ejemplo 3

• Premisa 1: Un número real x cumple que x > 0 o x < 5.
• Premisa 2: Para x = 3 se cumple que x > 0.
• Conclusión: Por lo tanto, no se cumple que x < 5.

La inferencia es falsa debido a que para el valor x = 3 se satisfacen de forma simultánea ambas desigualdades en la recta real.

Negación de una conjunción

La negación de una conjunción es una falacia formal en la que, sabiendo que una conjunción es falsa y que uno de sus miembros no se cumple, se concluye erróneamente que el otro debe ser verdadero. Este fallo proviene de una aplicación incorrecta de las leyes de De Morgan sobre la conjunción negada.

La estructura condicional corresponde a [¬(p ∧ q) ∧ ¬p] → q. Dado que la negación de una conjunción equivale a ¬p ∨ ¬q, es perfectamente posible que ambas proposiciones sean falsas a la vez.

Ejemplo 1

• Premisa 1: Es imposible que un teléfono esté apagado y transmitiendo datos al mismo tiempo.
• Premisa 2: El teléfono no está apagado.
• Conclusión: Por lo tanto, el teléfono está transmitiendo datos.

La deducción es inválida porque el teléfono puede estar encendido en modo reposo sin realizar ninguna transferencia de datos.

Ejemplo 2

• Premisa 1: No es verdad que el sospechoso haya estado en el banco y en el aeropuerto a las 10:00.
• Premisa 2: El sospechoso no estuvo en el banco a las 10:00.
• Conclusión: Por lo tanto, el sospechoso estuvo en el aeropuerto a las 10:00.

El argumento comete una falacia formal, pues el sospechoso pudo haberse encontrado en su domicilio o en cualquier otro sitio a esa hora.

Ejemplo 3

• Premisa 1: Para un punto del plano no se cumple simultáneamente que x = 0 e y = 0.
• Premisa 2: Se verifica que x ≠ 0.
• Conclusión: Por lo tanto, necesariamente se cumple que y = 0.

La conclusión es falsa porque un punto con coordenadas (2, 4) satisface la premisa inicial sin requerir que su componente en y sea nula.

Tabla resumen de falacias formales

En la siguiente tabla sintetizamos las falacias formales más habituales, su estructura simbólica en formato condicional y vertical, junto con el error deductivo cometido frente a la regla válida que imitan.

Falacia formal	Formato condicional	Formato vertical	Error cometido
Afirmación del consecuente	[(p → q) ∧ q] → p	$$\begin{matrix} p \rightarrow q \\ q \\ \hline \therefore p \end{matrix}$$	Confunde una condición suficiente con una necesaria. Imita erróneamente al modus ponens.
Negación del antecedente	[(p → q) ∧ ¬p] → ¬q	$$\begin{matrix} p \rightarrow q \\ \neg p \\ \hline \therefore \neg q \end{matrix}$$	Asume que negar la condición suficiente anula el resultado. Imita incorrectamente al modus tollens.
Afirmación de una disyunción incluyente	[(p ∨ q) ∧ p] → ¬q	$$\begin{matrix} p \lor q \\ p \\ \hline \therefore \neg q \end{matrix}$$	Trata una disyunción inclusiva como exclusiva. Imita de forma defectuosa al silogismo disyuntivo.
Negación de una conjunción	[¬(p ∧ q) ∧ ¬p] → q	$$\begin{matrix} \neg(p \land q) \\ \neg p \\ \hline \therefore q \end{matrix}$$	Aplica de manera errónea las leyes de De Morgan al asumir que descartar un término afirma el otro.

Demostración de invalidez mediante tablas de verdad

La invalidez lógica de cualquier falacia formal puede demostrarse de manera concluyente mediante la construcción de su tabla de verdad. A diferencia de las reglas de inferencia legítimas, cuyo condicional asociado produce una tautología, las falacias formales arrojan una contingencia o contradicción.

Para comprobar que un esquema deductivo es inválido, basta con hallar al menos una combinación de valores de verdad donde todas las premisas sean simultáneamente verdaderas pero la conclusión resulte ser falsa. Esta asignación actúa como un contraejemplo formal que quiebra la validez del razonamiento.

Demostración de la afirmación del consecuente

Para analizar la falacia de afirmación del consecuente, evaluamos la estructura condicional [(p → q) ∧ q] → p. En este esquema unimos las dos premisas mediante una conjunción y establecemos a la variable p como la conclusión del argumento.

p	q	p → q	(p → q) ∧ q	[(p → q) ∧ q] → p
V	V	V	V	V
V	F	F	F	V
F	V	V	V	F
F	F	V	F	V

El fallo estructural queda al descubierto en la tercera fila de la tabla, correspondiente a los valores p = F y q = V. En dicho caso, la premisa condicional p → q es verdadera y la segunda premisa q también es verdadera, lo que hace que el antecedente global (p → q) ∧ q sea verdadero.

Sin embargo, la conclusión p es falsa. Al presentarse una implicación con antecedente verdadero y consecuente falso, la columna principal arroja un valor falso (F), demostrando que la afirmación del consecuente no es una regla válida.

Demostración de la negación del antecedente

En el caso de la negación del antecedente, examinamos la expresión formal [(p → q) ∧ ¬p] → ¬q. Evaluamos el impacto que produce negar la condición suficiente inicial sobre el valor de verdad del consecuente negado.

p	q	¬p	¬q	p → q	(p → q) ∧ ¬p	[(p → q) ∧ ¬p] → ¬q
V	V	F	F	V	F	V
V	F	F	V	F	F	V
F	V	V	F	V	V	F
F	F	V	V	V	V	V

Al igual que en el caso anterior, observamos el quiebre lógico en la tercera fila, donde p = F y q = V. Bajo esta asignación, la implicación p → q resulta verdadera y la negación del antecedente ¬p es asimismo verdadera, haciendo que la conjunción de las premisas sea completamente verdadera.

A pesar de esto, la conclusión esperada ¬q es falsa. La aparición de este valor falso en la columna final confirma que el argumento genera una contingencia y, por lo tanto, carece de validez deductiva.

Diferencia entre falacias formales y falacias informales

Para comprender la naturaleza de los errores deductivos, es fundamental distinguir entre las fallas atribuibles a la estructura lógica y aquellas originadas en el contenido semántico del argumento.

Una falacia formal ocurre exclusivamente en el plano sintáctico. El error no depende del significado de las palabras ni de la veracidad empírica de los hechos, sino de un esquema de inferencia inválido que rompe las reglas del cálculo proposicional.

En cambio, una falacia informal (o falacia material) presenta una estructura que puede parecer convincente, pero su falla radica en la ambigüedad del lenguaje, premisas falsas, datos irrelevantes o desvíos pragmáticos en el discurso.

Entre las falacias informales más conocidas encontramos:

• Falacia ad hominem: consiste en descalificar a la persona que emite el argumento en lugar de refutar la proposición en cuestión.
• Falacia del hombre de paja: distorsiona o caricaturiza la postura del oponente para atacar una versión falsa y más sencilla de vencer.
• Falacia ad populum: defiende la verdad de una afirmación únicamente porque una gran cantidad de personas cree en ella.
• Falacia de falsa causa: asume que un evento es consecuencia directa de otro solo por haber ocurrido previamente de forma sucesiva.

Veamos un ejemplo comparativo para clarificar este contraste. Si afirmamos que «Si llueve, el suelo se moja; el suelo está mojado, por lo tanto llueve», estamos ante una falacia formal porque la estructura [(p → q) ∧ q] → p es inválida en cualquier sistema deductivo.

Por otro lado, si decimos «Ese teorema matemático debe ser falso porque el matemático que lo propuso me cae mal», el error no es algebraico ni estructural, sino un ataque personal directo que constituye una falacia informal.

En el siguiente cuadro comparativo resumimos los criterios fundamentales que diferencian ambos tipos de falacias.

Criterio	Falacias formales	Falacias informales
Origen del error	Estructura sintáctica y reglas deductivas.	Contenido semántico, contexto y ambigüedad.
Ámbito de estudio	Lógica proposicional y matemática formal.	Retórica, pragmática y lógica no formal.
Método de detección	Tablas de verdad y leyes lógicas.	Análisis del contexto y sentido de los enunciados.
Independencia del contenido	Totalmente independiente del significado.	Depende directamente del contenido y contexto.