Modus tollendo tollens
El modus tollendo tollens (latín: "el modo que, al negar, niega",[1] conocido como modus tollens,[2][3][4][5] negación del consecuente o ley de contraposición)[6] es una forma de argumento válida y una regla de inferencia en lógica proposicional. Se puede resumir como "Si P implica Q, y Q no es cierto, entonces P no es cierto".
El modus tollendo tollens es una aplicación de la verdad general de que, si una declaración es válida, también lo es su contraposición. La historia de la regla modus tollendo tollens se remonta a la antigüedad,[7] siendo los estoicos los primeros en declarar explícitamente esta forma válida de argumento.[8]
El modus tollendo tollens puede establecerse formalmente como:
donde P → Q significa "P implica Q", ¬Q significa "no es el caso de que Q" ("no Q"), ¬P significa "no P". La regla es que cada vez que P → Q y ¬Q aparezcan por sí mismas en una línea de una prueba lógica, ¬P puede ser escrito válidamente en una línea subsiguiente.
Un ejemplo simple de modus tollendo tollens es:
Si el agua hierve, entonces soltará vapor.
No suelta vapor.
Por lo tanto, no está hirviendo el agua.
En este caso, es "el agua hierve", es "suelta vapor". Dado que , es decir, "no suelta vapor", se puede concluir que , es decir, "el agua no hierve".
El modus tollendo tollens está estrechamente relacionado con otra forma de argumento válido, el modus ponendo ponens. Ambos están relacionados con dos formas no válidas de argumento o falacias: afirmación del consecuente y negación del antecedente.
Notación formal
editarLa regla del modus tollendo tollens puede escribirse de diversas formas.
Modus tollendo tollens en notación subsiguiente
editardonde es un símbolo metalógico que significa que es una consecuencia sintáctica de y en algún sistema lógico.
Modus tollendo tollens como afirmación de tautología verdad-funcional
editarEsta notación también es llamada teorema de la lógica proposicional. Se escribe:
donde y son proposiciones expresadas en algún sistema formal.
Modus tollendo tollens incluyendo supuestos
editarSe escribe:
aunque dado que la regla no cambia el conjunto de suposiciones, esto no es estrictamente necesario.
Escrituras más complejas
editarMuchas veces, se ven reescrituras más complejas que involucran modus tollendo, por ejemplo, en la teoría de conjuntos:
("P es un subconjunto de Q. x no está en Q. Por lo tanto, x no está en P.")
También en la lógica de predicados de primer orden:
("Para todo x si x es P entonces x es Q. Existe algún x que no es Q. Por lo tanto, existe algún x que no es P.")
En sentido estricto no se trata de instancias de tollendo modus, pero podrán derivarse utilizando modus tollendo tollens utilizando algunas medidas adicionales.
Explicación
editarEl argumento tiene dos premisas. La primera premisa es un condicional o sentencia "si-entonces", por ejemplo, que si p entonces q. La segunda premisa es que no es el caso de q ("no q"). A partir de estas dos premisas, se puede concluir lógicamente que no es el caso de p ("no p").
Por ejemplo:
p1: Si el perro guardián detecta un intruso, el perro guardián ladra.
p2: El perro guardián no ladró.
C: Por lo tanto, el perro guardián no detectó ningún intruso.
Suponiendo que las premisas son verdaderas (el perro ladra si detecta un intruso, y de hecho no ladra), se deduce que ningún intruso ha sido detectado. Este es un argumento válido, ya que no es posible que la conclusión sea falsa si las premisas son verdaderas. (Es concebible que haya habido un intruso que el perro no detectó, pero eso no invalida el argumento; la primera premisa es "Si el perro detecta un intruso"). El hecho importante es que el perro detecta o no detecta un intruso, no si este existe o no.
Otro ejemplo:
p1: Si yo soy el asesino del hacha, entonces sé cómo usar un hacha.
p2: No sé cómo usar un hacha.
C: Por lo tanto, yo no soy el asesino del hacha.
Relación con el modus ponens
editarCada uso de modus tollendo tollens se puede convertir a un uso de modus ponens y un uso de la transposición de la premisa de que es una implicación material. Por ejemplo:
- Si p, entonces q (premisa - implicación material)
- Si no q, entonces no p. (derivado mediante transposición)
- No q. (premisa) Por lo tanto, no p. (derivado por modus ponens)
Del mismo modo, cada uso de modus ponens se puede convertir a un uso de modus tollendo tollens y transposición.
Justificación vía tabla de verdad
editarLa validez del modus tollendo tollens puede demostrarse claramente a través de una tabla de verdad.
p | q | ¬ p | ¬ q | p → q |
---|---|---|---|---|
V | V | F | F | V |
V | F | F | V | F |
F | V | V | F | V |
F | F | V | V | V |
Como se evidencia en la tabla, no existe ejemplo de sustitución posible donde sus premisas sean verdaderas y su conclusión falsa, por lo tanto, el razonamiento es válido.
Prueba formal
editarVía silogismo disyuntivo
editarPaso | Proposición | Derivación |
---|---|---|
1 | Premisa | |
2 | Premisa | |
3 | Implicación material (1) | |
4 | Silogismo disyuntivo (2,3) |
Vía reductio ad absurdum
editarPaso | Proposición | Derivación |
---|---|---|
1 | Premisa | |
2 | Premisa | |
3 | Asunción | |
4 | Modus ponens (1,3) | |
5 | Introducción de la conjunción (2,4) | |
6 | Reductio ad absurdum (3,5) |
Véase también
editarReferencias
editar- ↑ Stone, Jon R. 1996. Latin for the Illiterati: Exorcizing the Ghosts of a Dead Language. Londres, RU: Routledge: 60. (en inglés)
- ↑ University of North Carolina, Philosophy Department, Logic Glossary. Consultado el 31 de octubre de 2007. (en inglés)
- ↑ Copi y Cohen
- ↑ Hurley
- ↑ Moore y Parker
- ↑ Sanford, David Hawley. 2003. If P, Then Q: Conditionals and the Foundations of Reasoning. Londres, RU: Routledge: 39 "[Modus] tollens is always an abbreviation for modus tollendo tollens, the mood that by denying denies. (en inglés)"
- ↑ Susanne Bobzien (2002). "The Development of Modus Ponens in Antiquity", Phronesis 47. (en inglés)
- ↑ "Stanford Encyclopedia of Philosophy: Ancient Logic: The Stoics"
Enlaces externos
editar- Modus Tollens en Wolfram MathWorld (en inglés)
- Esta obra contiene una traducción total derivada de «Modus tollens» de Wikipedia en inglés, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.