Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
Enunciado necesariamente falso. Un enunciado es necesariamente falso cuando es la negación de una verdad analítica. Dado que las verdades analíticas pueden ser simplemente analíticas (explícitas o implícitas) o bien tautológicas, sus negaciones se clasifican de modo parecido: autocontradicciones analíticas, que lo son por razón de su significado (
onMouseOver="m = window.open('aut-56y9.htm','PopUp','width=300,height=250,menubar=no'); return true;"
onMouseOut=" m.window.close(); return true;">ver ejemplo), y autocontradicciones lógicas, que lo son por su forma lógica (
onMouseOver="m = window.open('aut-56ya.htm','PopUp','width=300,height=150,menubar=no'); return true;"
onMouseOut=" m.window.close(); return true;">ver ejemplo).
Comete autocontradicción, por lo demás, aquel que acepta unas premisas y rechaza la conclusión válidamente deducida de ellas, o bien quien acepta premisas que implican una contradicción.
Para un enunciado autocontradictorio no hay ninguna interpretación de sus letras de enunciado que lo haga verdadero. Además, de la forma
P
^ ¬P, paradigma de un enunciado autocontradictorio, puede deducirse válidamente cualquier otro enunciado, pero en ningún caso tal deducción válida puede garantizar la verdad de la conclusión (
onMouseOver="m = window.open('aut-56yb.htm','PopUp','width=300,height=380,menubar=no'); return true;"
onMouseOut=" m.window.close(); return true;">ver ejemplo).
Ver paradojas de la implicación material.