Geldigheid en gezondheid

Uit Wikipedia, de vrije encyclopedie

Een geldige redenering is in de logica en argumentatieleer een redenering die qua vorm voldoet aan de voorwaarden van een goede deductieve redenering. Dat wil zeggen dat de conclusie noodzakelijk volgt uit de premissen.

Het is niet noodzakelijk voor een geldige redenering dat de premissen an sich waar zijn: als de vorm van de redenering zelf maar klopt. Een redenering die én geldig is én waarvan de premissen evident waar zijn noemt men gezond.

Voorbeeld:

A. Lucretius is een filosoof.

B. Alle filosofen zijn onbetrouwbaar.

C. Dus: Lucretius is ook onbetrouwbaar.

Deze redenering is geldig omdat, als je de premissen A en B voor waar aanneemt, de conclusie C noodzakelijk volgt. Zij is echter niet gezond omdat de premisse B niet evident waar is.

Voorbeeld:

A. Een cirkel heeft geen hoeken.

B. Een vierkant heeft vier hoeken.

C. Dus: een cirkel kan geen vierkant zijn.

Deze redenering is zowel geldig als gezond.