En la lógica de proposiciones , modus tollens ( / m oʊ d ə s t ɒ l ɛ n z / ) ( MT ), también conocido como modus tollens tollendo ( América para "modo que al negar niega") [1] y negar la consecuente , [2] es una forma de argumento deductivo y una regla de inferencia . Modus tollenstoma la forma de "Si P, entonces Q. No Q. Por lo tanto, no P." Es una aplicación de la verdad general de que si un enunciado es verdadero, también lo es su contrapositivo . La forma muestra que la inferencia de P implica Q a la negación de Q implica que la negación de P es un argumento válido .
La historia de la regla de inferencia modus tollens se remonta a la antigüedad. [3] El primero en describir explícitamente la forma del argumento modus tollens fue Theophrastus . [4]
Modus tollens está estrechamente relacionado con el modus ponens . Hay dos formas de argumentación similares, pero inválidas : afirmar el consecuente y negar el antecedente . Ver también contraposición y prueba por contrapositivo .
Explicación
La forma de un argumento modus tollens se asemeja a un silogismo , con dos premisas y una conclusión:
- Si P , entonces Q .
- No Q .
- Por lo tanto, no P .
La primera premisa es una condicional ( "if-then") reclamación, tales como P implica Q . La segunda premisa es una afirmación de que Q , el consecuente de la afirmación condicional, no es el caso. A partir de estas dos premisas se puede concluir lógicamente que P , el antecedente de la afirmación condicional, tampoco es el caso.
Por ejemplo:
- Si el perro detecta un intruso, ladrará.
- El perro no ladró.
- Por lo tanto, el perro no detectó ningún intruso.
Suponiendo que las dos premisas son verdaderas (el perro ladrará si detecta un intruso y, de hecho, no ladrará), se deduce que no se ha detectado ningún intruso. 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". Lo importante es que el perro detecte o no no detectar un intruso, no si hay uno.)
Otro ejemplo:
- Si soy el asesino del hacha, entonces puedo usar un hacha.
- No puedo usar un hacha.
- Por lo tanto, no soy el asesino del hacha.
Otro ejemplo:
- Si Rex es un pollo, entonces es un pájaro.
- Rex no es un pájaro.
- Por tanto, Rex no es un pollo
Relación con el modus ponens
Cada uso de modus tollens puede convertirse en un uso de modus ponens y un uso de transposición a la premisa, que es una implicación material. Por ejemplo:
- Si P , entonces Q . (premisa - implicación material)
- Si no Q , entonces no P . (derivado por transposición)
- No Q . (premisa)
- Por lo tanto, no P . (derivado de modus ponens )
Asimismo, cada uso de modus ponens puede convertirse en un uso de modus tollens y transposición.
Notación formal
La regla del modus tollens se puede establecer formalmente como:
dónde representa el enunciado "P implica Q". significa "no es el caso de que Q" (o en resumen "no Q"). Entonces, cuando sea "" y ""cada uno aparece por sí mismo como una línea de prueba , entonces""se puede colocar válidamente en una línea posterior.
La regla del modus tollens se puede escribir en notación secuencial :
dónde es un símbolo metalogico que significa quees una consecuencia sintáctica de y en algún sistema lógico ;
o como el enunciado de una tautología funcional o teorema de lógica proposicional:
dónde y son proposiciones expresadas en algún sistema formal ;
o incluyendo supuestos:
aunque dado que la regla no cambia el conjunto de supuestos, esto no es estrictamente necesario.
A menudo se ven reescrituras más complejas que involucran modus tollens , 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. y no es Q. Por lo tanto, y no es P.")
Estrictamente hablando, estos no son casos de modus tollens , pero pueden derivarse de modus tollens utilizando algunos pasos adicionales.
Justificación mediante tabla de verdad
La validez del modus tollens se puede demostrar claramente a través de una tabla de verdad .
pag | q | p → q |
---|---|---|
T | T | T |
T | F | F |
F | T | T |
F | F | T |
En casos de modus tollens asumimos como premisas que p → q es verdadero y q es falso. Solo hay una línea de la tabla de verdad, la cuarta línea, que satisface estas dos condiciones. En esta línea, p es falso. Por lo tanto, en todos los casos en los que p → q es verdadero yq es falso, p también debe ser falso.
Prueba formal
Vía silogismo disyuntivo
Paso | Proposición | Derivación |
---|---|---|
1 | Dado | |
2 | Dado | |
3 | Implicación material (1) | |
4 | Silogismo disyuntivo (3,2) |
Via reductio ad absurdum
Paso | Proposición | Derivación |
---|---|---|
1 | Dado | |
2 | Dado | |
3 | Suposición | |
4 | Modus ponens (1,3) | |
5 | Introducción a la conjunción (2,4) | |
6 | Reductio ad absurdum (3,5) | |
7 | Introducción condicional (2,6) |
Por contraposición
Paso | Proposición | Derivación |
---|---|---|
1 | Dado | |
2 | Dado | |
3 | Contraposición (1) | |
4 | Modus ponens (2,3) |
Correspondencia a otros marcos matemáticos
Cálculo de probabilidades
Modus tollens representa una instancia de la ley de probabilidad total combinada con el teorema de Bayes expresado como:
,
donde los condicionales y se obtienen con (la forma extendida del) teorema de Bayes expresado como:
y .
En las ecuaciones anteriores denota la probabilidad de , y denota la tasa base (también conocida como probabilidad previa ) de. La probabilidad condicional generaliza el enunciado lógico , es decir, además de asignar VERDADERO o FALSO también podemos asignar cualquier probabilidad al enunciado. Asumir que es equivalente a siendo VERDADERO, y que es equivalente a siendo FALSO. Entonces es fácil ver que Cuándo y . Esto es porque así que eso en la última ecuación. Por lo tanto, los términos del producto en la primera ecuación siempre tienen un factor cero de modo que que es equivalente a siendo FALSO. Por tanto, la ley de la probabilidad total combinada con el teorema de Bayes representa una generalización del modus tollens . [5]
Lógica subjetiva
Modus tollens representa una instancia del operador de abducción en lógica subjetiva expresada como:
,
dónde denota la opinión subjetiva sobre , y denota un par de opiniones condicionales binomiales, según lo expresado por la fuente . El parámetrodenota la tasa base (también conocida como la probabilidad previa ) de. La opinión marginal secuestrada sobre se denota . La opinión condicional generaliza el enunciado lógico , es decir, además de asignar VERDADERO o FALSO la fuente puede asignar cualquier opinión subjetiva al enunciado. El caso donde es una opinión VERDADERA absoluta es equivalente a la fuente Diciendo que es VERDADERO, y el caso donde es una opinión FALSA absoluta es equivalente a la fuente Diciendo que Es falso. El operador de abducciónde la lógica subjetiva produce una opinión abducida FALSA absoluta cuando la opinión condicional es VERDADERO absoluto y la opinión consecuente es FALSO absoluto. Por tanto, la abducción lógica subjetiva representa una generalización tanto del modus tollens como de la Ley de probabilidad total combinada con el teorema de Bayes . [6]
Ver también
- Evidencia de ausencia
- Frases latinas
- Modus operandi - Hábitos de trabajo
- Modus ponens - Regla de inferencia lógica
- Modus vivendi : un arreglo que permite que las partes en conflicto coexistan en paz
- No lógico
- Prueba por contradicción : forma de prueba indirecta que establece la verdad o validez de una proposición
- Prueba por contrapositivo
- Lógica estoica : sistema de lógica proposicional desarrollado por los filósofos estoicos
Notas
- ^ Piedra, Jon R. (1996). Latín para los Illiterati: exorcizar los fantasmas de una lengua muerta . Londres: Routledge. pag. 60 . ISBN 978-0-415-91775-9.
- ^ Sanford, David Hawley (2003). Si P, entonces Q: condicionales y los fundamentos del razonamiento (2ª ed.). Londres: Routledge. pag. 39. ISBN 978-0-415-28368-7.
[Modus] tollens es siempre una abreviatura de modus tollendo tollens, el estado de ánimo que al negar niega.
- ^ Susanne Bobzien (2002). "El desarrollo de Modus Ponens en la antigüedad" , Phronesis 47.
- ^ "Lógica antigua: precursores de Modus Ponens y Modus Tollens " . Enciclopedia de Filosofía de Stanford .
- ↑ Audun Jøsang 2016: p.2
- ↑ Audun Jøsang 2016: p.92
Fuentes
- Audun Jøsang, 2016, Lógica subjetiva; Un formalismo para el razonamiento bajo incertidumbre Springer, Cham, ISBN 978-3-319-42337-1
enlaces externos
- Modus Tollens en Wolfram MathWorld