Ex falso sequitur quod libet: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
+ |
0 bron(nen) gered en 1 gelabeld als onbereikbaar #IABot (v1.5) |
||
Regel 1:
'''''Ex falso sequitur quod libet''''' ("uit het ongerijmde volgt om het even wat") is een [[wiskundig bewijs|bewijsregel]] uit de [[logica]].
In de klassieke termenlogica is de regel al te vinden, voor het eerst bij [[Aristoteles]]. Ook in recentere logische systemen zoals de [[propositielogica]] wordt deze regel nog steeds aangenomen, alhoewel er [[intuïtionisme|intuïtionistische]] en andere [[constructivisme (wiskunde)|constructivistische]] stromingen zijn die het principe van de [[wet van de uitgesloten derde]] (''tertium non datur'') verwerpen en daarom ook de [[Geldigheid en gezondheid|geldigheid]] van deze bewijsregel kunnen betwijfelen.<ref>[http://www.phil.uu.nl/~jvisser/exfalso/index.html Ex falso ... sequitur quodlibet]{{dode link|datum=september 2017 |bot=InternetArchiveBot }}, Universiteit Utrecht, Departement Filosofie en Religiewetenschap.</ref>
De regel is af te leiden uit de bewijsregel [[bewijs uit het ongerijmde]] (''reductio ad absurdum''), die in de klassieke propositielogica geldt. De regel moet in strikte zin zo gelezen worden dat uit een [[contradictie|innerlijk tegenstrijdige]] bewering, dus niet slechts een feitelijk onware, elke willekeurige uitspraak afgeleid kan worden. Een andere term voor deze redeneervorm is ''ex contradictione sequitur quod libet'' ("uit een tegenspraak volgt om het even wat"), soms wordt het ook de ''onzinregel'' genoemd.
| |||