En la lógica de proposiciones , modus ponens ( / m oʊ d ə s p oʊ n ɛ n z / ; MP ), también conocido como modus ponens ponendo ( América para "modo que afirmando afirma") [1] o eliminación implicación o afirmando el antecedente , [2] es una forma de argumento deductivo y una regla de inferencia . [3] Se puede resumir como " Pimplica Q. P es cierto. Por tanto, Q también debe ser cierta ".
Modus ponens está estrechamente relacionado con otra forma válida de argumento, modus tollens . Ambos tienen formas aparentemente similares pero inválidas, como afirmar el consecuente , negar el antecedente y evidencia de ausencia . El dilema constructivo es la versión disyuntiva del modus ponens . El silogismo hipotético está estrechamente relacionado con el modus ponens y, a veces, se lo considera un "doble modus ponens ".
La historia del modus ponens se remonta a la antigüedad . [4] El primero en describir explícitamente la forma del argumento modus ponens fue Theophrastus . [5] Junto con el modus tollens , es uno de los patrones estándar de inferencia que se puede aplicar para derivar cadenas de conclusiones que conduzcan al objetivo deseado.
Explicación
La forma de un argumento modus ponens se asemeja a un silogismo , con dos premisas y una conclusión:
- Si P , entonces Q .
- P .
- Por lo tanto, Q .
La primera premisa es una condicional ( "if-then") reclamación, a saber, que P implica Q . La segunda premisa es una afirmación de que P , el antecedente de la afirmación condicional, es el caso. A partir de estas dos premisas se puede concluir lógicamente que Q , el consecuente de la afirmación condicional, también debe ser el caso.
Un ejemplo de un argumento que se ajusta a la forma modus ponens :
- Si hoy es martes, John se irá a trabajar.
- Hoy es martes.
- Por tanto, John se pondrá manos a la obra.
Este argumento es válido , pero no influye en si alguna de las afirmaciones del argumento es realmente cierta ; para que modus ponens sea un argumento sólido , las premisas deben ser verdaderas para cualquier instancia verdadera de la conclusión. Un argumento puede ser válido pero, no obstante, erróneo si una o más premisas son falsas; si un argumento es válido y todas las premisas son verdaderas, entonces el argumento es sólido. Por ejemplo, John podría ir a trabajar el miércoles. En este caso, el razonamiento por el que John va a trabajar (porque es miércoles) no es sólido. El argumento solo es sólido los martes (cuando John va a trabajar), pero es válido todos los días de la semana. Se dice que un argumento proposicional que utiliza modus ponens es deductivo .
En cálculos secuenciales de conclusión única , modus ponens es la regla de corte. El teorema de eliminación de cortes para un cálculo dice que toda demostración que involucre a Cortar se puede transformar (generalmente, mediante un método constructivo) en una demostración sin Cortar, y por lo tanto, Cortar es admisible .
La correspondencia Curry-Howard entre pruebas y programas se refiere modus ponens para aplicación de función : si f es una función de tipo P → Q y x es de tipo P , entonces fx es de tipo Q .
En inteligencia artificial , el modus ponens a menudo se denomina encadenamiento directo .
Notación formal
La regla del modus ponens puede escribirse en notación secuencial como
donde P , Q y P → Q son declaraciones (o proposiciones) en un lenguaje formal y ⊢ es un símbolo metalógico que significa que Q es una consecuencia sintáctica de P y P → Q en algún sistema lógico .
Justificación mediante tabla de verdad
La validez del modus ponens en la lógica clásica de dos valores puede demostrarse claramente mediante el uso de una tabla de verdad .
pag | q | p → q |
---|---|---|
T | T | T |
T | F | F |
F | T | T |
F | F | T |
En instancias de modus ponens asumimos como premisas que p → q es verdadero y p es verdadero. Sólo una línea de la tabla de verdad, la primera, satisface estas dos condiciones ( p y p → q ). En esta línea, q también es cierto. Por lo tanto, siempre que p → q sea verdadero y p sea verdadero, q también debe ser cierto.
Estado
Si bien el modus ponens es una de las formas de argumento más comúnmente utilizadas en lógica, no debe confundirse con una ley lógica; más bien, es uno de los mecanismos aceptados para la construcción de pruebas deductivas que incluye la "regla de definición" y la "regla de sustitución". [6] Modus ponens permite eliminar un enunciado condicional de una prueba o argumento lógico (los antecedentes) y, por lo tanto, no llevar estos antecedentes hacia adelante en una cadena de símbolos cada vez más larga; por esta razón, el modus ponens se denomina a veces la regla del desapego [7] o la ley del desapego . [8] Enderton, por ejemplo, observa que "modus ponens puede producir fórmulas más cortas a partir de fórmulas más largas", [9] y Russell observa que "el proceso de inferencia no puede reducirse a símbolos. Su único registro es la ocurrencia de ⊦q [el consecuente] ... una inferencia es la caída de una premisa verdadera; es la disolución de una implicación ". [10]
Una justificación para la "confianza en la inferencia es la creencia de que si las dos primeras afirmaciones [los antecedentes] no son erróneas, la afirmación final [la consecuente] no es errónea". [10] En otras palabras: si un enunciado o proposición implica un segundo, y el primer enunciado o proposición es verdadero, entonces el segundo también es verdadero. Si P implica Q y P es verdadera, entonces Q es verdadera. [11]
Correspondencia a otros marcos matemáticos
Cálculo de probabilidades
Modus ponens representa una instancia de la Ley de probabilidad total que para una variable binaria se expresa como:
,
donde por ejemplo denota la probabilidad de y la probabilidad condicional generaliza la implicación lógica . Asumir que es equivalente a siendo VERDADERO, y que es equivalente a siendo FALSO. Entonces es fácil ver que Cuándo y . Por tanto, la ley de la probabilidad total representa una generalización del modus ponens . [12]
Lógica subjetiva
Modus ponens representa una instancia del operador de deducción binomial en lógica subjetiva expresada como:
,
dónde denota la opinión subjetiva sobre como lo expresa la fuente , y la opinión condicional generaliza la implicación lógica . La opinión marginal deducida sobre se denota por . El caso donde es una opinión VERDADERA absoluta sobre es equivalente a fuente Diciendo que es VERDADERO, y el caso donde es una opinión FALSA absoluta sobre es equivalente a fuente Diciendo que Es falso. El operador de deducciónde la lógica subjetiva produce una opinión deducida VERDADERA absoluta cuando la opinión condicional es VERDADERO absoluto y la opinión antecedente es VERDADERO absoluto. Por tanto, la deducción lógica subjetiva representa una generalización tanto del modus ponens como de la Ley de probabilidad total . [13]
Supuestos casos de fracaso
Filósofos y lingüistas han identificado una variedad de casos en los que el modus ponens parece fallar. Vann McGee identificó un famoso contraejemplo putativo , quien argumentó que el modus ponens puede fallar para los condicionales cuyos consecuentes son en sí mismos condicionales. [14]
- Cualquiera de Shakespeare o Hobbes escribió Hamlet .
- Si Shakespeare o Hobbes escribieron Hamlet , si Shakespeare no lo hizo, Hobbes lo hizo.
- Por tanto, si Shakespeare no escribió Hamlet , lo hizo Hobbes.
Dado que Shakespeare escribió Hamlet , la primera premisa es cierta. La segunda premisa también es cierta, ya que partir de un conjunto de posibles autores limitado solo a Shakespeare y Hobbes y eliminar uno de ellos deja solo al otro. Sin embargo, la conclusión puede parecer falsa ya que descartar a Shakespeare como autor de Hamlet dejaría numerosos candidatos posibles, muchos de ellos alternativas más plausibles que Hobbes.
La forma general de contraejemplos de tipo McGee para modus ponens es simplemente, por lo tanto ; no es imprescindible queser una disyunción, como en el ejemplo dado. Que este tipo de casos constituyan fallas del modus ponens sigue siendo una opinión minoritaria entre los lógicos, pero las opiniones varían sobre cómo deben resolverse los casos. [15] [16] [17]
En la lógica deóntica , algunos ejemplos de obligación condicional también plantean la posibilidad de que falle el modus ponens . Estos son casos en los que la premisa condicional describe una obligación basada en una acción inmoral o imprudente, por ejemplo, "Si Doe asesina a su madre, debe hacerlo con gentileza", por lo que la dudosa conclusión incondicional sería "Doe debe asesinar gentilmente a su madre". mamá." [18] Parece deducirse que si Doe de hecho está asesinando gentilmente a su madre, entonces, por modus ponens , está haciendo exactamente lo que debería, incondicionalmente, hacer. Aquí nuevamente, la falla del modus ponens no es un diagnóstico popular, pero a veces se argumenta a favor. [19]
Posibles falacias
La falacia de afirmar el consecuente es una mala interpretación común del modus ponens . [20]
Ver también
- Desprendimiento condensado
- Frases latinas
- Modus tollens - Regla de inferencia lógica
- Modus vivendi : un arreglo que permite que las partes en conflicto coexistan en paz
- Lógica estoica : sistema de lógica proposicional desarrollado por los filósofos estoicos
- " Lo que la tortuga le dijo a Aquiles - Diálogo alegórico de Lewis Carroll"
Referencias
- ^ Piedra, Jon R. (1996). Latín para los Illiterati: exorcizar los fantasmas de una lengua muerta . Londres: Routledge. pag. 60 . ISBN 0-415-91775-1.
- ^ "Referencia de Oxford: afirmando el antecedente" . Referencia de Oxford .
- ^ Enderton 2001: 110
- ^ Susanne Bobzien (2002). "El desarrollo de Modus Ponens en la antigüedad", Phronesis 47, No. 4, 2002.
- ^ "Lógica antigua: precursores de Modus Ponens y Modus Tollens " . Enciclopedia de Filosofía de Stanford .
- ↑ Alfred Tarski, 1946: 47. También Enderton 2001: 110ff.
- ↑ Tarski, 1946: 47.
- ^ "Modus ponens - Enciclopedia de las matemáticas" . encyclopediaofmath.org . Consultado el 5 de abril de 2018 .
- ^ Enderton 2001: 111
- ↑ a b Whitehead y Russell, 1927: 9
- ^ Jago, Mark (2007). Lógica formal . Humanidades-Ebooks LLP . ISBN 978-1-84760-041-7. Enlace externo en
|publisher=
( ayuda ) - ↑ Audun Jøsang, 2016: 2
- ^ Audun Jøsang 2016: 92
- ^ Vann McGee (1985). "Un contraejemplo de Modus Ponens", The Journal of Philosophy 82, 462–471.
- ^ Sinnott-Armstrong, Moor y Fogelin (1986). "Una defensa de Modus Ponens", The Journal of Philosophy 83, 296–300.
- ^ DE Over (1987). "Suposición y los supuestos contraejemplos del Modus Ponens", Análisis 47, 142-146.
- ^ Bledin (2015). "Modus Ponens Defended", The Journal of Philosophy 112, 462–471.
- ^ "Lógica deóntica" . 21 de abril de 2010 . Consultado el 30 de enero de 2020 . Enciclopedia de Filosofía de Stanford .
- ^ Por ejemplo, por Kolodny y MacFarlane (2010). "Ifs and Oughts", The Journal of Philosophy 107, 115-143.
- ^ "Falacias | Enciclopedia de Filosofía de Internet" . iep.utm.edu . Consultado el 6 de marzo de 2020 .
Fuentes
- Herbert B. Enderton, 2001, Una introducción matemática a la lógica, segunda edición , Harcourt Academic Press, Burlington MA, ISBN 978-0-12-238452-3 .
- Audun Jøsang, 2016, Lógica subjetiva; Un formalismo para el razonamiento bajo incertidumbre Springer, Cham, ISBN 978-3-319-42337-1
- Alfred North Whitehead y Bertrand Russell 1927 Principia Mathematica a * 56 (Segunda edición) edición de bolsillo de 1962, Cambridge en University Press, Londres, Reino Unido. Sin ISBN, sin LCCCN.
- Alfred Tarski 1946 Introducción a la lógica y a la metodología de las ciencias deductivas 2ª edición, reimpreso por Dover Publications, Mineola NY. ISBN 0-486-28462-X (pbk).
enlaces externos
- "Modus ponens" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
- Modus ponens en PhilPapers
- Modus ponens en Wolfram MathWorld