Paradoxii logice
Există multe paradoxuri diferite: matematice, logice, chimice, probabilistice, filosofice etc. Mai jos vom analiza unele dintre cele mai interesante paradoxuri logice.
Paradoxul corbilor.
Să presupunem că există o teorie că toate ciorile sunt negre. Conform logicii formale, această teorie este echivalentă cu teoria că toate obiectele care nu sunt negre nu sunt ciori. Dacă o persoană vede o mulțime de ciori negri, atunci încrederea că această teorie este corectă va crește. Dacă va vedea o mulțime de vaci albe, va crește încrederea că toate obiectele non-negre nu sunt ciorile și, în conformitate cu cele de mai sus, ar trebui să crească și încrederea că toate ciorile sunt negre.
Cu toate acestea, această concluzie contravine percepției intuitive a situației de către o persoană - în viața reală acest lucru nu se întâmplă. Observarea vacilor albe va spori încrederea observatorului că toate obiectele non-negre nu sunt ciorile, dar nu vor spori încrederea că toate ciorile sunt negre.
În prezent, cea mai comună metodă pentru rezolvarea acestui paradox este aplicarea teoremei Bayes.
Paradoxul unui bețiv.
În orice tavernă există cel puțin o persoană - astfel încât, dacă bea, atunci toată lumea bea.
Motivul este următorul:
Să presupunem că afirmația că toată lumea bea totul într-o tavernă este adevărată. Să deosebim între cei care beau într-o tavernă o persoană. Să o numim John. Atunci este adevărat că dacă toți beau totul, atunci John bea. Și viceversa, dacă bea Ioan, atunci beau totul.
Să presupunem acum că afirmația noastră este falsă, adică nu este adevărat că toată lumea bea totul într-o tavernă. Apoi, în tavernă există cel puțin o persoană care nu bea. Sunați-l, John, din nou. Deoarece nu este adevărat că John bea, este adevărat că dacă bea, atunci bea toată lumea. Asta este, din nou, se pare că, dacă bea Ioan, atunci beau totul.
Paradoxul unui mincinos.
"Ceea ce spun acum este fals", sau "eu mint", sau "Această afirmație este o minciună".
Aceasta este, dacă este adevărat că declarația dată este falsă, atunci declarația dată este falsă. Dacă este fals că declarația dată este falsă, atunci această afirmație este adevărată. Iar lanțul raționamentului revine la început.
Astfel, această afirmație contravine "legii terței excluse" în logica binară.
Se crede că acest paradox a fost formulat de reprezentantul școlii Megarian Evbulidom.
O propunere de acest fel nu poate fi, în principiu, dovedită sau respinsă în limbajul în care este prezentată.
Navele lui Theus.
Dacă toate părțile obiectului original au fost înlocuite, obiectul rămâne același?
Potrivit mitului grecesc, relatat de Plutarh, nava pe care Teodor a revenit de la Creta la Atena a fost păstrată de atenieni până la vremea lui Demetrius de Faler și a mers anual cu ambasada sacră la Delos. Când o repara, a înlocuit treptat panourile, până când, printre filozofi, a existat o dispută, este încă o navă sau este o altă, nouă? În plus, se pune întrebarea: în cazul construcției vechilor panouri ale celei de-a doua nave, care dintre ele va fi reală?