Este artículo puede resultar confuso o poco claro para los lectores . En particular, tiene una introducción demasiado complicada que podría simplificarse. ( Marzo de 2021 ) |
En lógica y filosofía , una falacia formal [a] es un patrón de razonamiento que se vuelve inválido debido a un defecto en su estructura lógica que puede expresarse claramente en un sistema lógico estándar, por ejemplo, la lógica proposicional . [2] Se define como un argumento deductivo que es inválido. El argumento en sí podría tener premisas verdaderas , pero aún así tener una conclusión falsa . [3] Por lo tanto, una falacia formal es una falacia en la que la deducción sale mal y ya no es un proceso lógico . Esto puede no afectar la verdad de la conclusión, ya que la validez y la verdad están separadas en la lógica formal.
Si bien un argumento lógico es un non sequitur si, y solo si, es inválido, el término "non sequitur" se refiere típicamente a aquellos tipos de argumentos inválidos que no constituyen falacias formales contempladas por términos particulares (por ejemplo, afirmar el consecuente ). En otras palabras, en la práctica, "non sequitur" se refiere a una falacia formal sin nombre.
Un caso especial es una falacia matemática , una prueba matemática intencionalmente inválida , a menudo con un error sutil y de algún modo oculto. Las falacias matemáticas suelen crearse y exhibirse con fines educativos, y suelen adoptar la forma de pruebas falsas de contradicciones obvias .
Una falacia formal se contrasta con una falacia informal , que puede tener una forma lógica válida y, sin embargo, ser errónea porque una o más premisas son falsas. Una falacia formal, sin embargo, puede tener una premisa verdadera, pero una conclusión falsa.
This section needs additional citations for verification. (May 2010) |
“¡Faltan algunas de las pruebas clave, están incompletas o incluso son falsas! ¡Eso demuestra que tengo razón!” [4]
"El veterinario no encuentra ninguna explicación razonable de por qué murió mi perro. ¡Miren! ¡Miren! ¡Eso demuestra que lo envenenaste! ¡No hay otra explicación lógica!" [5]
En el sentido más estricto, una falacia lógica es la aplicación incorrecta de un principio lógico válido o la aplicación de un principio inexistente:
Esto es falaz.
De hecho, no existe ningún principio lógico que diga:
Una manera fácil de demostrar que la inferencia anterior no es válida es mediante diagramas de Venn . En lenguaje lógico, la inferencia no es válida, ya que, al menos bajo una interpretación de los predicados, no preserva la validez.
A menudo, a las personas les resulta difícil aplicar las reglas de la lógica. Por ejemplo, una persona puede decir que el siguiente silogismo es válido, cuando en realidad no lo es:
"Esa criatura" puede ser un pájaro, pero la conclusión no se sigue de las premisas. Algunos otros animales también tienen picos, por ejemplo: un pulpo y un calamar tienen picos, algunas tortugas y cetáceos tienen picos. Los errores de este tipo ocurren porque las personas invierten una premisa. [6] En este caso, "Todos los pájaros tienen picos" se convierte en "Todos los animales con pico son pájaros". La premisa invertida es plausible porque pocas personas conocen casos de criaturas con pico además de los pájaros, pero esta premisa no es la que se dio. De esta manera, la falacia deductiva se forma por puntos que pueden parecer lógicos individualmente, pero cuando se colocan juntos se demuestra que son incorrectos.
En el lenguaje cotidiano, un non sequitur es una afirmación en la que la parte final no tiene ninguna relación con la primera parte, por ejemplo:
La vida es vida y la diversión es diversión, pero todo es tan tranquilo cuando los peces de colores mueren.
— Al oeste con la noche , Beryl Markham [7]