Implicazioni logiche

Se domani inizio l'attività di tutorato presso il corso di Laurea in Scienze della Comunicazione e se il corso di Laurea in Scienze della Comunicazione è costituito dal 80% di donne, allora se la prima asserzione implica la seconda, le conclusioni sono che ho una probabilità pari all'80% di conoscere donne. Questo è un esempio di implicazione logica per deduzione.

Poichè tutte le ragazze di Scienze della Comunicazione sono carine, noi abbiamo una legge del tipo: tutte le ragazze di sdc sono carine. Ma se qualche ragazza, nei prossimi giorni, si presenta nel mio ufficio e valuto che ella non è carina, allora la legge decade immediatamente. Questo è un tipico esempio di inferenza per induzione. Quindi la pretesa di verità dell'induzione ha come limite una smentita che può verificarsi anche su un solo esempio.

Se ipotizzo che l'80% delle ragazze di Scienze della Comunicazione sono carine, quindi suppongo una legge generale, e ridiscendo successivamente per provare questi dati, avendone effettivamente un riscontro nella realtà, allora posso creare una legge per abduzione che afferma che l'80% delle ragazze del corso di Laurea in Scienze della Comunicazione sono carine.

Facendo queste considerazioni posso concludere sulla stessa linea di Socrate:

noi sappiamo che tutte le donne sono strane, poi sappiamo che le persone strane sono donne, quindi la scoperta che le donne sono tutte donne non ci dà nessuno stupore.