In dit artikel zullen we verschillende facetten van Ex falso sequitur quod libet onderzoeken, waarbij we dieper ingaan op het belang, de implicaties en de relevantie ervan op het gebied van _var2. Vanaf het begin tot de huidige evolutie heeft Ex falso sequitur quod libet een fundamentele rol gespeeld in _var3, en een grote invloed gehad op _var4. Gedurende deze analyse zullen we de verschillende perspectieven onderzoeken die naar voren zijn gekomen rond Ex falso sequitur quod libet, waarbij we de effecten ervan op _var5 en de impact ervan op _var6 in ogenschouw nemen. Met een kritische en gedetailleerde blik zullen we ons verdiepen in de meest relevante aspecten van Ex falso sequitur quod libet, en de verbanden met _var7 en de mogelijkheden ervan voor _var8 ontdekken. Via deze reis proberen we het begrip over Ex falso sequitur quod libet en de implicaties ervan in de wereld van vandaag uit te breiden.
Ex falso sequitur quod libet ("uit het ongerijmde volgt om het even wat") is een bewijsregel uit de logica.
Het ongerijmde is een tegenstrijdige bewering of een aantal beweringen die gezamenlijk tegenstrijdig zijn, bijvoorbeeld: 'Nederland is een republiek (P) en Nederland is geen republiek (¬P)'. Als P en ¬P beide waar zijn ontstaat een tegenstrijdigheid (contradictie) die, volgens ex falso...quod libet, iedere bewering geldig maakt (quod libet). Het gaat hierbij niet om een feitelijke onjuistheid, of Nederland nu wel of niet een republiek is maakt niet uit, maar om de onmogelijkheid deze zin, P & ¬P, waar te laten zijn.
Ex falso.... quod libet wordt vaak weergegeven als:
Dit laat zich lezen als: Als P onwaar is, dan kan uit P is waar alle Q (quod libet) worden afgeleid.
Een andere term voor deze redeneervorm is ex contradictione sequitur quod libet ("uit een tegenspraak volgt om het even wat"). Dit wordt vaak weergegeven als:
In de klassieke logica, maar ook in de intuïtionistische logica, zijn beide formules uit elkaar afleidbaar en dus equivalent.
Van wat is overgeleverd uit de Oudheid (Aristoteles, de Stoïcijnen) kan niet worden geconcludeerd dat deze regel toen werd erkend. Wel werden bijvoorbeeld in de dialogen van Plato contradicties in redenaties gezien als reden om die redenaties te verwerpen, maar het ex falso...quod libet werd daarbij niet aangevoerd als reden tot verwerping. De eerste die deze regel formuleerde en verdedigde was, zover bekend, in de 12e eeuw Willem van Soissons.[1][2] In recentere logische systemen zoals de propositielogica en de predicatenlogica wordt deze regel nog steeds aangenomen, alhoewel er andere stromingen zijn die de geldigheid van deze bewijsregel verwerpen: bijvoorbeeld de paraconsistente logica.
Clarence Irving Lewis heeft een gemathematiseerde reconstructie gemaakt van het "bewijs" dat Willem van Soissons heeft gegeven voor ex falso...Quod libet.
Dit gaat verkort als volgt (uitgebreidere versie bij Willem van Soissons):[3]
(1) Er is een contradictie P & ¬P waaruit volgt P
(2) Uit P volgt (P v Q)
(3) Uit P & ¬P volgt (P v Q) & ¬P
(4) Uit (P v Q) & ¬P volgt (P & ¬P) v (Q & ¬P)
Nu vervalt de eerste term (P & ¬P) omdat dit een contradictie is. Omdat dit voor onwaar wordt gehouden, is de tweede term (Q & ¬P) noodzakelijk waar.
(5) Uit (Q & ¬P) volgt Q
Want Q omvat ¬P.
(6) Uit P & ¬P volgt Q
Zie (3), (4) en (5).
Zowel bij Willem van Soissons als bij Clarence Irving Lewis wordt het "bewijs" aangevochten. Bij Willem van Soissons was dit al in de 15e eeuw het geval. [4] Bij de nieuwere bewijsvoering van Clarence Irving Lewis gaat dit als volgt. Hij moet eerst de contradictie verwerpen (zie (4) hierboven) voor hij Q of "ex falso sequitur quod libet" kan bewijzen. [5]. Zijn "bewijs" wordt zo afhankelijk van de onwaarheid van de contradictie (P & ¬P).
Ten slotte kan worden gezegd dat de bovenstaande weerlegging nog niet betekent dat "ex falso sequitur quod libet" onwaar is. Het betekent alleen dat dit invloedrijke bewijs de waarheid ervan niet kon leveren.