La forma logica della relazione necessaria: la deduzione
Si è soliti contrappore il processo deduttivo a quello induttivo. Si tratta bensì, in entrambi i casi, di procedimenti logici, ma le conclusioni dei due processi hanno caratteristiche molto diverse. La conclusione del processo induttivo è ampliativa del contenuto informativo delle premesse. Essa è tratta per generalizzazione da casi particolari e, pertanto, non può esibire il carattere dell’universalità e della necessità, proprio perché estendere a tutti i membri di una classe (insieme) le proprietà riscontrate in uno o in alcuni membri di quella classe (insieme) costituisce un saltus logico.
Il quantificatore universale affermativo “tutti”, che pure è essenziale per formulare una legge o per configurare una categoria, non trova effettiva legittimazione dal processo generalizzante, così che la conclusione può avere solo una valenza statistica-probabilistica. Come direbbe Popper, per affermare che “tutti i cigni sono bianchi” o “tutti i corvi sono neri”, bisognerebbe osservare veramente tutti i cigni o i corvi, e questo è impossibile. Precisamente per questa ragione, Hans Reichenbach colloca l’induzione nell’ambito della “scoperta scientifica”, perché è solo mediante questo processo logico che la scienza accresce le proprie conoscenze e, quindi, va avanti, nonostante le sue conquiste siano sempre passibili di revisione.
Di contro, il processo deduttivo è strutturato in modo tale che le conclusioni cui mette capo presentano i caratteri dell’universalità e della necessità, anche se esse non sono ampliative del contenuto informativo delle premesse. Per questa ragione, Reichenbach lo considera centrale nel “contesto della giustificazione” della scoperta scientifica. Tale giustificazione si configura nel dedurre da ipotesi di leggi generali, ottenute mediante generalizzazioni induttive, asserti osservativi che vengono confrontati con l’esperienza, giacché solo il confronto empirico può “corroborare” tali ipotesi di leggi (non “verificarle”, come ci ricorda Popper) oppure “confutarle”. La deduzione degli asserti osservativi si ottiene mediante un processo che, proprio per la ragione che non è ampliativo, non fa che esplicitare ciò che è contenuto nelle premesse, così che gli asserti empirici vengono dedotti da asserti universali o, meglio, generali.