Ci sono quattro tipi di paradosso generalmente accettati. Il primo è chiamato paradosso veridico e descrive una situazione che è in definitiva logicamente vera, ma è insensata o ridicola. Uno falsidico presenta un problema che di solito utilizza un qualche tipo di assunzione errata per giustificare un risultato che è, in realtà, falso. Un’antinomia o un paradosso semantico autoreferenziale pone un insieme di condizioni e poi pone una domanda, la cui risoluzione diventa auto-contraddittoria, con conseguente mancanza di una risposta valida. Una dialetheia afferma che sia un’affermazione che l’opposto di quell’affermazione possono essere entrambe vere contemporaneamente.
I paradossi veritieri sono definiti dal fatto che la logica applicata a una situazione è in definitiva vera all’interno del contesto dato. L’esempio più famoso di problema veridico riguarda un uomo teorico che ha 20 anni ma ha avuto solo cinque compleanni. La soluzione al problema è che il suo compleanno cade in un giorno bisestile e si verifica solo una volta ogni quattro anni. Sebbene la situazione sia logicamente vera, l’affermazione è abbastanza priva di senso.
Un esempio di paradosso falsidico è l’idea di una freccia che viene lanciata contro un bersaglio. L’esercizio presuppone che, affinché la freccia raggiunga il bersaglio, dovrà percorrere metà della distanza per arrivarci. Una volta che è a metà strada verso il bersaglio, ora deve percorrere metà della distanza rimanente per raggiungere il bersaglio. Ogni volta che la freccia percorre metà della distanza rimanente per raggiungere il bersaglio, deve percorrere metà della distanza rimanente più breve, fino a misurazioni infinitamente infinitesimali. Ciò porterebbe alla conclusione che, poiché la freccia deve percorrere sempre metà della distanza, non raggiungerebbe mai il bersaglio, il che è una conclusione errata.
Un’antinomia presenta un’affermazione, una domanda o un problema che sembra non avere risposta secondo il buon senso o un insieme di regole predefinite. Il paradosso del barbiere, una variazione del paradosso di Bertrand Russell, ne è un esempio. Questa antinomia presuppone che ci sia una città in cui “il barbiere rade tutti e solo quegli uomini in città che non si radono da soli”. La domanda che si pone è chi rade il barbiere? Se si rade, allora sta radendo un uomo che si rade e viola la premessa.
Infine, c’è la dialetheia. Non ci sono esempi reali di questo tipo, sebbene ci siano molti argomenti filosofici sul perché dovrebbero o non dovrebbero esistere. Il concetto generale è che sia una condizione che l’opposto della condizione possono essere entrambi veri allo stesso tempo e coesistere insieme.