Modus tollendo ponens

Solo disponible en BuenasTareas
  • Páginas : 2 (400 palabras )
  • Descarga(s) : 0
  • Publicado : 6 de septiembre de 2010
Leer documento completo
Vista previa del texto
Modus tollendo ponens
En lógica, el silogismo disyuntivo, históricamente conocido como modus tollendo ponens (en latín, modo que negando afirma) o MTP, es una forma válida de argumento:
O es elcaso que A, o es el caso que B
No A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del silogismo disyuntivo podría ser:
O es de día o es de noche.
No es de día.
Por lo tanto,es de noche.
Otra manera de presentar el silogismo disyuntivo es:

Y aún otra manera es a través de la notación del cálculo de secuentes:

En lógica proposicional su representación sería lasiguiente :
Modus tollendo tollens
En lógica, el modus tollendo tollens (en latín, modo que negando niega), también llamado modus tollens y generalmente abreviado MTT o MT, es una regla de inferenciaque tiene la siguiente forma:
Si A, entonces B
No B
Por lo tanto, no A
Por ejemplo, un razonamiento que sigue la forma del modus tollens podría ser:
Si está soleado, entonces es de día.
No esde día.
Por lo tanto, no está soleado.
Otra manera de presentar el modus tollens es:

Y aún otra manera es a través de la notación del cálculo de secuentes:

En lógica proposicional surepresentación sería la siguiente :
Falsacionismo
El modus tollens es central al modelo falsacionista de la ciencia propuesto por Karl Popper en su libro La lógica de la investigación científica. SegúnPopper, la ciencia nunca puede confirmar definitivamente una hipótesis, pero sí puede refutarla definitivamente deduciendo una consecuencia observable de la misma y mostrando que dicha consecuencia nose cumple. Este procedimiento de refutación sigue la forma de un modus tollens:
La hipótesis H implica la consecuencia observable O.
La consecuencia observable O no es el caso.
Por lo tanto, lahipótesis H tampoco es el caso.
La validez de este razonamiento contrasta con la invalidez de los intentos de confirmación de una hipótesis:
La hipótesis H implica la consecuencia observable O....
tracking img