Scopri Intelligence & Interview di Scuola Filosofica!
Iscriviti alla Newsletter!
Consigliamo in SF – I paradossi dalla A alla Z di Michael Clark
(C) “Tutti i corvi sono neri” è logicamente equivalente a (C-) “Niente che non è nero non è un corvo”. Una penna bianca conferma (C-), ma sicuramente non conferma (C), anche se (C) dice la stessa cosa di (C-).
Il paradosso dei corvi è un classico della filosofia analitica. Da un punto di vista logico le espressioni “Tutti i corvi sono neri” e “Qualunque elemento di un insieme tale che non è nero allora non è un corvo”. In altre parole, alla proprietà “Essere corvo” segue necessariamente la proprietà “Essere nero” così vale la relazione di implicazione: Corvo(x) → Nero(x). Di conseguenza, se Nero(x) è negato, allora automaticamente è negato anche Corvo(x) se il conseguente è falso, allora deve esserlo anche l’antecedente (infatti, la proposizione sarebbe automaticamente falsa se l’antecedente fosse vero e il conseguente falso).