Autocontradicció
De Wikisofia
Enunciat necessàriament fals. Un enunciat és necessàriament fals quan és la negació d'una veritat analítica. Atès que les veritats analítiques poden ser simplement analítiques (explícites o implícites) o bé tautològiques, les seves negacions es classifiquen de manera semblant: autocontradicciones analítiques, que ho són per raó del seu significat (veg. exemple 1), i autocontradicciones lògiques, que ho són per la seva forma lògica (veg. exemple 2).
Comet autocontradicció, d'altra banda, aquell que accepta unes premisses i rebutja la conclusió vàlidament deduïda d'elles, o bé qui accepta premisses que impliquen una contradicció.
Per a un enunciat autocontradictori no hi ha cap interpretació de les seves lletres d'enunciat que el faci veritable. A més, de la forma [math]\displaystyle{ P\wedge¬P }[/math], paradigma d'un enunciat autocontradictori, pot deduir-se vàlidament qualsevol altre enunciat, però en cap cas tal deducció vàlida pot garantir la veritat de la conclusió (veg. exemple 3).
«Aquest nen és tot un home» és una autocontradicció semàntica explícita, només justificable metafòricament.
«L'aigua bull a 80 graus a nivell del mar» és una contradicció implícita, negació d'una veritat implícitament analítica; la que el punt d'ebullició de l'aigua –en condicions normals– és, per definició, 100 graus centígrads.
«Visc sense viure en mi», equivalent a «visc i no visc», «p i no-p», és una autocontradicció formalment falsa.
Si se suposa:
«Estudiï i no estudiï. Per tant aprovo», on p = estudiï, ¬ p = no estudiï i r = aprovo, és fàcil demostrar que la conseqüència –aquesta o qualsevol altra– es dedueix vàlidament (però inútilment, perquè en cap cas té garanties de ser veritable):
1. [math]\displaystyle{ p }[/math]
2. [math]\displaystyle{ ¬p }[/math]
3. [math]\displaystyle{ p\vee r }[/math] , addició en 1
4. [math]\displaystyle{ r }[/math], sil·logisme disjuntiu
Vegeu paradoxes de la implicació material, falsedat_lògica.