Bij het onderzoeken van de geldigheid van redeneringen maak je
van een redenering een soort optelsom. Dan kun je, nog los van
de waarheid van de beweringen (premissen), bepalen of de
redenering in orde is . En dan heb je dus tóch een instrument om te bepalen of iets wetenschappelijk solide is...
(Zoals je al hebt gelezen: geldigheid
is iets heel anders dan waarheid).