Non sequitur (lógica)

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En lógica, non sequitur (del latín «no se sigue») es una falacia en la cual la conclusión no se deduce (no se sigue) de las premisas. En sentido amplio, se aplica a cualquier razonamiento inconsecuente. La conclusión desmesurada y la petición de principio son también tipos de non sequitur.

Ejemplos[editar]

Un ejemplo de non sequitur es el siguiente:

  1. Si soy humano, entonces soy mamífero.
  2. Soy mamífero.
  3. Por lo tanto, soy humano.

Este argumento tiene la siguiente forma:

  1. Si A, entonces B
  2. B
  3. Por lo tanto, A

Dado que la primera premisa es un condicional, que depende de A para poder llegar a B, y la segunda premisa es el consecuente del condicional de la primera premisa, o sea B, entonces no se puede concluir A de ninguna manera. Esto se entiende porque la primera premisa es un condicional, lo cual significa que el antecedente es suficiente para el consecuente, pero no viceversa.

Un ejemplo más evidente es el siguiente:

  1. Si estoy en Kioto, entonces estoy en Japón.
  2. Estoy en Japón.
  3. Entonces, estoy en Kioto.

En el primer ejemplo, aunque las premisas sean verdaderas, la conclusión puede ser falsa, porque no todos los mamíferos son humanos. En el segundo ejemplo, aunque es correcto que Kioto está en Japón, no siempre que se está en Japón se está en Kioto.


Véase también[editar]