Tutti i corvi sono neri. E come dice lo scienziato, questa affermazione è vera fino a prova contraria.

Il logico, invece, dice qualcosa in più: ogni volta che troviamo un oggetto non-nero che non è un corvo, si avvalora l’ipotesi che tutti i corvi sono neri. All’inizio ero un po’ perplesso, ma poi pensandoci, mi sono reso conto che la cosa funziona.

Insomma: A implica B equivale a dire che non-B implica non-A.

Se piove, allora prendo l’ombrello. Quindi se non prendo l’ombrello, significa che non piove. Giusto?

Ebbene, fino a un po’ di tempo fa ero molto scettico che internet fosse il giusto candidato al premio Nobel per la Pace. Siamo davvero sicuri che internet implichi pace?

Ebbene sì.

I recenti conflitti in Egitto e Libia ne sono la prova. Basta rovesciare l’affermazione (mantenendone il valore di verità): non pace implica non internet.

Logico, no?