Ci sono diversi tipi di paradosso. Da un lato, un paradosso è una dichiarazione di conclusione che sembra contraddittoria o assurdo, ma è proprio vero. Questo è stato classificato dal filosofo e logico W. V. Quine come un paradosso veridica . Un esempio è l'adagio, "E 'meglio dare che nel ricevere. " Appare evidente che i vantaggi di ricevere inevitabilmente superiori agli eventuali vantaggi di dare, ma molte persone trovano che, contrariamente alle aspettative, non è la loro esperienza.

Ecco un altro esempio. Nel operetta The Pirates of Penzance di WS Gilbert e Sir Arthur Sullivan, il giovane Frederic è a contratto a una banda di pirati fino al suo 21 ° compleanno. Purtroppo per lui, il contratto non ha detto fino all'età di 21 anni, che è solo una differenza significativa quando il tuo compleanno è il Leap Year's Day, 29 febbraio-ma la sua era. Di conseguenza, benché avesse vissuto 21 anni al momento del ricorso dell'operetta, era invecchiato-dal suo compleanno-in un po 'più di 5 e non libera della sua insenatura.

Un paradosso è anche una dichiarazione di conclusione che, nonostante un argomento apparentemente valida sulla base di premesse accettabili dietro di essa, porta a una conclusione che è priva di senso o fallaci. Il paradosso di Zenone di movimento è un esempio. Bollito giù, la logica del paradosso di Zenone è che non si può raggiungere un determinato punto B da A, perché prima di raggiungere B si deve arrivare a metà strada verso B, e prima di ottenere a metà strada B si deve arrivare a metà strada per metà a B, e così su. Presentato come passaggio di un numero infinito di punti per raggiungere una destinazione, il movimento è fatto di sembrare impossibile. Questo è quello che Quine chiama un paradosso falsidical : uno che entrambi sembra essere, ed è, sotto esame, false.

In aggiunta, un paradosso è una dichiarazione in cui nessun valore di verità può essere assegnato. Le frasi, "Questa affermazione è falsa", e "Io sono un bugiardo", sono alcuni esempi.

1. Questa affermazione è falsa. 2 bis. Supponiamo che 1 è vero. Contraddizione: se è vero che è falso, allora non è falsa. 1. Questa affermazione è falsa. 2b. Supponiamo che 1 è falso. 3b. Richiamare l'opposto di 1: questa affermazione è vera. contraddizione: una dichiarazione non può essere vero e falso. nbsp; nbsp; nbsp; nbsp;

Questo tipo di paradosso è stato chiamato da Quine un'antinomia , che si spiega come un paradosso in cui la ragione corretta applicazione raggiunge un risultato di auto-contraddittorio.