Hay cuatro tipos de paradojas generalmente aceptadas. La primera se llama paradoja verídica y describe una situación que, en última instancia, es lógicamente verdadera, pero que no tiene sentido o es ridícula. Una falsa presenta un problema que suele utilizar algún tipo de suposición incorrecta para justificar un resultado que es, en realidad, falso. Una antinomia o paradoja semántica autorreferencial establece un conjunto de condiciones y luego hace una pregunta, cuya resolución se vuelve autocontradictoria, lo que resulta en la falta de una respuesta válida. Una dialetheia establece que tanto una declaración como lo opuesto a esa declaración pueden ser simultáneamente verdaderas.
Las paradojas verídicas se definen por el hecho de que la lógica aplicada a una situación es, en última instancia, verdadera dentro del contexto dado. El ejemplo más famoso de un problema verídico involucra a un hombre teórico que tiene 20 años pero solo ha cumplido cinco. La solución al problema es que su cumpleaños es un día bisiesto y solo ocurre una vez cada cuatro años. Aunque la situación es lógicamente cierta, la afirmación es bastante absurda.
Un ejemplo de paradoja falsa es la idea de que se dispara una flecha a un objetivo. El ejercicio asume que, para que la flecha alcance el objetivo, tendrá que recorrer la mitad de la distancia para llegar allí. Una vez que esté a mitad de camino hacia el objetivo, ahora debe viajar la mitad de la distancia restante para alcanzar el objetivo. Cada vez que la flecha atraviesa la mitad de la distancia restante para alcanzar el objetivo, debe viajar la mitad de la distancia restante más corta, hasta mediciones infinitesimales. Esto llevaría a la conclusión de que, dado que la flecha siempre debe recorrer la mitad de la distancia, nunca llegaría al objetivo, lo cual es una conclusión falsa.
Una antinomia presenta una afirmación, pregunta o problema que parece no tener respuesta de acuerdo con el sentido común o un conjunto de reglas predefinidas. La paradoja del barbero, una variación de la paradoja de Bertrand Russell, es un ejemplo de esto. Esta antinomia supone que hay un pueblo en el que “el barbero afeita a todos y solo a los hombres del pueblo que no se afeitan”. La pregunta que se plantea es ¿quién afeita al barbero? Si se afeita solo, entonces está afeitando a un hombre que se afeita y viola la premisa.
Finalmente, está la dialetheia. No hay ejemplos reales de este tipo, aunque hay muchos argumentos filosóficos de por qué deberían o no existir. El concepto general es que tanto una condición como lo opuesto a la condición pueden ser verdaderas al mismo tiempo y coexistir juntas.