„Hamisból minden következik” változatai közötti eltérés

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló
Hkbot (vitalap | szerkesztései)
a Bottal végzett egyértelműsítés: Russell –> Bertrand Russell
26. sor:
Azaz ha egy érvelés során egy 'A' mondatot elfogadunk, de elfogadjuk a tagadását, vagyis 'nem A'-t is, akkor innentől kezdve akármelyik 'B' mondatot el kell fogadnunk. Az 'A és nem A' ''ellentmondás''ból ugyanis bármi és bárminek az ellenkezője is következik.
 
A sémának nagy tudományelméleti jelentőssége van. Ha klasszikus logikát fogadunk el és egy tudományos elméletben ellentmondásra jutunk, akkor ez (elvileg) teljesen hasznavehetetlenné teszi az elméletet, mert minden kijelentés automatikusan igaz lesz. Ilyen ellentmondásra (antinómiára) lelt [[Bertrand Russell|Russell]] a [[Cantor]]-féle [[naiv halmazelmélet]]ben.
 
==Bizonyítások==