Υπάρχουν διάφοροι τύποι παραδόξων, συμπεριλαμβανομένων των αληθοφανών και ψευδεπίγραφων παραδόξων και της αντινομίας. Στην πρώτη περίπτωση, μια τέτοια δήλωση φαίνεται αντιφατική είναι στην πραγματικότητα αληθινή. Ένα ψεύτικο παράδοξο περιλαμβάνει μια δήλωση που φαίνεται αληθινή, αλλά που οδηγεί σε ένα παράλογο συμπέρασμα. Η αντινομία είναι μια δήλωση που δεν έχει λογική απάντηση. Ο φιλόσοφος και λογικός WV Quine ονόμασε αυτές τις διαφορετικές κατηγορίες.
Η παροιμία, «Είναι καλύτερο να δίνεις παρά να παίρνεις», είναι ένα αληθινό παράδοξο. Φαίνεται προφανές ότι τα οφέλη από τη λήψη αναπόφευκτα υπερτερούν των πιθανών πλεονεκτημάτων της προσφοράς, αλλά πολλοί άνθρωποι διαπιστώνουν ότι, αντίθετα με τις προσδοκίες, αυτή δεν είναι η εμπειρία τους.
Ένα άλλο παράδειγμα δίνεται στην οπερέτα The Pirates of Penzance των WS Gilbert και Sir Arthur Sullivan. Ένας νεαρός άνδρας, ο Φρέντερικ, έχει προσληφθεί σε μια ομάδα πειρατών μέχρι τα 21α γενέθλιά του και όχι μέχρι τα 21 του χρόνια. Δυστυχώς για αυτόν, τα γενέθλιά του είναι την ημέρα του δίσεκτου έτους, 29 Φεβρουαρίου. Κατά συνέπεια, παρόλο που είχε ζήσει 21 χρόνια στο σημείο της δράσης της οπερέτας, ήταν ηλικίας – στα γενέθλιά του – λίγο πάνω από τα 5 και όχι απαλλαγμένος από το συμβόλαιό του.
Ένα ψευδεπίγραφο παράδοξο είναι μια δήλωση συμπερασμάτων που, παρά ένα φαινομενικά έγκυρο επιχείρημα που βασίζεται σε αποδεκτές προϋποθέσεις πίσω από αυτό, οδηγεί σε ένα συμπέρασμα που είναι παράλογο ή εσφαλμένο. Το παράδοξο κίνησης του Ζήνωνα είναι ένα παράδειγμα. Συνολικά, η λογική αυτού του παραδείγματος είναι ότι δεν μπορείτε να φτάσετε σε ένα δεδομένο σημείο Β από το Α, γιατί πριν φτάσετε στο Β πρέπει να φτάσετε στα μισά του δρόμου προς το Β και πριν φτάσετε στα μισά του δρόμου στο Β πρέπει να φτάσετε στα μισά του δρόμου στο μισό του δρόμου προς το Β, και έτσι επί. Παρουσιάζεται ως το πέρασμα ενός άπειρου αριθμού σημείων για να φτάσετε σε έναν προορισμό, η κίνηση φαίνεται να φαίνεται αδύνατη.
Η αντινομία είναι μια δήλωση στην οποία δεν μπορεί να αποδοθεί τιμή αλήθειας. όταν ο λόγος εφαρμόζεται σωστά, φτάνει σε ένα αυτοαντιφατικό αποτέλεσμα. Οι προτάσεις «Αυτή η δήλωση είναι ψευδής» και «Είμαι ψεύτης» είναι παραδείγματα.
Αυτή η πρόταση είναι ψευδής. Ας υποθέσουμε ότι το 1 είναι αληθές. Αντίφαση: Αν είναι αλήθεια ότι είναι λάθος, τότε δεν είναι λάθος.
Αυτή η πρόταση είναι ψευδής. Υποθέστε ότι το 1 είναι ψευδές. Επικαλέστε το αντίθετο του 1: Αυτή η πρόταση είναι αληθής. Αντίφαση: Μια πρόταση δεν μπορεί να είναι και αληθής και ψευδής.