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).