Il "Paradosso del Corvo" di Hempel (1945): secondo le leggi ferree della logica matematica, se vuoi dimostrare scientificamente che "tutti i corvi sono neri" senza uscire di casa a cercare uccelli, ti basta guardare sul tuo tavolo una "mela verde" (o una scarpa bianca) perché ogni oggetto non nero che non è un corvo conferma la regola!
Approfondimento
Negli anni Quaranta il grande filosofo della scienza tedesco **Carl Gustav Hempel** formulò un paradosso logico talmente brillante e spiazzante da mettere in crisi il modo stesso in cui gli scienziati definiscono cosa sia una "prova empirica": il celebre **"Paradosso del Corvo"** (o *Paradosso della conferma di Hempel*).
Partiamo da un'ipotesi scientifica semplicissima che vogliamo verificare: **«Tutti i corvi sono neri»** (che in logica formale si scrive: *se un oggetto è un corvo, allora è nero*). Come fa un biologo normale a raccogliere prove a favore di questa legge? Prende il binocolo, va in campagna, osserva un corvo nero dopo l'altro (primo corvo nero, centesimo corvo nero, millesimo corvo nero) e ogni nuovo corvo nero osservato aumenta la nostra fiducia che l'affermazione *"tutti i corvi sono neri"* sia vera.
Fin qui tutto fila. Ma in logica matematica esiste una legge aurea inviolabile chiamata **"legge di contrapposizione"**: ogni affermazione del tipo *"Se A allora B"* è logicamente identica al 100 per cento alla sua forma contrapposta *"Se NON è B, allora NON è A"*. Ad esempio, dire *"Se sei a Torino, allora sei in Piemonte"* equivale esattamente a dire *"Se NON sei in Piemonte, allora NON sei a Torino"*: sono due modi diversi di dire la stessa identica verità.
Applichiamo ora questa legge logica alla nostra frase sui corvi: affermare che **«Tutti i corvi sono neri»** è logicamente identico al 100 per cento ad affermare che **«Tutte le cose che NON sono nere, NON sono corvi»**!
Ed ecco che scatta il cortocircuito di Hempel: se per confermare la frase *"Tutte le cose non-nere sono non-corvi"* basta trovare nel mondo un oggetto che non sia nero e verificare che non sia un corvo, allora io posso fare "ornitologia da salotto" senza mai uscire di casa sotto la pioggia! Mi basta guardare sul tavolo della mia cucina una **mela verde**, un **cigno bianco**, un **flamingo rosa** o una **scarpa gialla**: poiché quella mela è *non-nera* ed è effettivamente un *non-corvo*, per il principio di equivalenza logica **la vista di una mela verde sul tavolo è una prova scientifica che conferma che tutti i corvi del mondo sono neri**!
Come hanno risolto i logici e gli statistici questo paradosso? Attraverso la probabilità bayesiana (spiegata dal matematico I.J. Good): tecnicamente Hempel ha ragione e guardare una mela verde fornisce davvero un briciolo di conferma logica (perché esclude che quell'oggetto non-nero sul tavolo sia un corvo verde che smentirebbe la regola!); tuttavia, poiché nell'universo gli oggetti "non-neri" sono miliardi di miliardi mentre i corvi sono pochissimi, il peso statistico aggiunto dall'osservazione di una mela verde è infinitesimale (quasi zero), mentre osservare direttamente un corvo aumenta la probabilità in modo immenso.
Partiamo da un'ipotesi scientifica semplicissima che vogliamo verificare: **«Tutti i corvi sono neri»** (che in logica formale si scrive: *se un oggetto è un corvo, allora è nero*). Come fa un biologo normale a raccogliere prove a favore di questa legge? Prende il binocolo, va in campagna, osserva un corvo nero dopo l'altro (primo corvo nero, centesimo corvo nero, millesimo corvo nero) e ogni nuovo corvo nero osservato aumenta la nostra fiducia che l'affermazione *"tutti i corvi sono neri"* sia vera.
Fin qui tutto fila. Ma in logica matematica esiste una legge aurea inviolabile chiamata **"legge di contrapposizione"**: ogni affermazione del tipo *"Se A allora B"* è logicamente identica al 100 per cento alla sua forma contrapposta *"Se NON è B, allora NON è A"*. Ad esempio, dire *"Se sei a Torino, allora sei in Piemonte"* equivale esattamente a dire *"Se NON sei in Piemonte, allora NON sei a Torino"*: sono due modi diversi di dire la stessa identica verità.
Applichiamo ora questa legge logica alla nostra frase sui corvi: affermare che **«Tutti i corvi sono neri»** è logicamente identico al 100 per cento ad affermare che **«Tutte le cose che NON sono nere, NON sono corvi»**!
Ed ecco che scatta il cortocircuito di Hempel: se per confermare la frase *"Tutte le cose non-nere sono non-corvi"* basta trovare nel mondo un oggetto che non sia nero e verificare che non sia un corvo, allora io posso fare "ornitologia da salotto" senza mai uscire di casa sotto la pioggia! Mi basta guardare sul tavolo della mia cucina una **mela verde**, un **cigno bianco**, un **flamingo rosa** o una **scarpa gialla**: poiché quella mela è *non-nera* ed è effettivamente un *non-corvo*, per il principio di equivalenza logica **la vista di una mela verde sul tavolo è una prova scientifica che conferma che tutti i corvi del mondo sono neri**!
Come hanno risolto i logici e gli statistici questo paradosso? Attraverso la probabilità bayesiana (spiegata dal matematico I.J. Good): tecnicamente Hempel ha ragione e guardare una mela verde fornisce davvero un briciolo di conferma logica (perché esclude che quell'oggetto non-nero sul tavolo sia un corvo verde che smentirebbe la regola!); tuttavia, poiché nell'universo gli oggetti "non-neri" sono miliardi di miliardi mentre i corvi sono pochissimi, il peso statistico aggiunto dall'osservazione di una mela verde è infinitesimale (quasi zero), mentre osservare direttamente un corvo aumenta la probabilità in modo immenso.
