8.1.4 Logica deduttiva
I due tipi di ragionamento che consentono di trarre conclusioni dalle premesse sono il ragionamento induttivo e il ragionamento deduttivo.
Il metodo induttivo si serve di premesse particolari per raggiungere una conclusione generale. I ragionamenti induttivi non possono garantire logicamente la verità di una conclusione, in quanto esiste il rischio di una generalizzazione ovvero una forma di astrazione per cui le proprietà comuni di affermazioni specifiche sono formulate come concetti generali.
Il metodo deduttivo procede all’inverso, partendo da principi generali per raggiungere una conclusione specifica: da una regola generale (relazione di implicazione), applicata a un fatto specifico (antecedente), si ha una conclusione certa (conseguente). Se la premessa è vera lo è anche la conclusione.