Millised on paradoksi erinevad tüübid?

On neli üldtunnustatud paradoksi tüüpi. Esimest nimetatakse tõeliseks paradoksiks ja see kirjeldab olukorda, mis lõppkokkuvõttes on loogiliselt tõene, kuid on kas mõttetu või naeruväärne. Vale olemus kujutab endast probleemi, mis tavaliselt kasutab teatud tüüpi ebaõigeid eeldusi, et õigustada tulemust, mis tegelikult on vale. Antinoomia või semantiline enesereferentsiaalne paradoks esitab tingimuste kogumi ja esitab seejärel küsimuse, mille lahendamine muutub enesele vastuoluliseks, mille tulemuseks on kehtiva vastuse puudumine. Dialetheia väidab, et nii väide kui ka selle väite vastand võivad mõlemad olla samaaegselt tõesed.

Veridaalseid paradokse määratleb tõsiasi, et olukorrale rakendatud loogika on antud kontekstis lõppkokkuvõttes tõene. Kõige kuulsam näide tõelisest probleemist on teoreetiline mees, kes on 20-aastane, kuid tal on olnud vaid viis sünnipäeva. Probleemi lahendus seisneb selles, et tema sünnipäev on hüppepäeval ja see toimub ainult kord nelja aasta jooksul. Kuigi olukord on loogiliselt õige, on väide üsna jabur.

Falsidaalse paradoksi näide on idee, et nool lastakse sihtmärgi pihta. Harjutus eeldab, et selleks, et nool sihtmärgini jõuaks, peab see sinna jõudmiseks läbima poole vahemaast. Kui see on poolel teel sihtmärgi poole, peab see nüüd sihtmärgini jõudmiseks läbima poole ülejäänud vahemaast. Iga kord, kui nool läbib poole järelejäänud vahemaast, et sihtmärki jõuda, peab see seejärel läbima poole lühemast järelejäänud vahemaast kuni lõpmatult väikese mõõtmiseni. See viiks järeldusele, et kuna nool peab alati läbima poole vahemaast, ei jõua see tegelikult kunagi sihtmärgini, mis on vale järeldus.

Antinoomia esitab väite, küsimuse või probleemi, millele terve mõistuse või etteantud reeglistiku kohaselt ei näi olevat vastust. Juuksuri paradoks, Bertrand Russelli paradoksi variatsioon, on selle näide. See antinoomia eeldab, et on linn, kus “juuksur raseerib kõik ja ainult need mehed linnas, kes end ei raseeri”. Esitatakse küsimus, kes raseerib juuksurit? Kui ta ajab end habet, siis ajab ta habet mehega, kes raseerib ennast ja rikub eeldust.

Lõpuks on dialetheia. Selle tüübi tegelikke näiteid pole, kuigi on palju filosoofilisi argumente, miks need peaksid või ei peaks eksisteerima. Üldine kontseptsioon on see, et nii tingimus kui ka tingimuse vastand võivad olla tõesed samal ajal ja eksisteerida koos.