Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. 1

От других типов логических противоречий парадокс отличается следующим:

• Возникает при сохранении логической правильности рассуждения. 2 В то время как другие противоречия могут быть связаны с несовместимостью двух утверждений, где каждое из них оказывается ложным. 4
• На первый взгляд кажется противоречивой ситуацией, которая на самом деле имеет решение и объяснение. 4 В парадоксе может быть неожиданная, но логическая ловушка, которая приводит к неожиданному результату. 4

Различают такие разновидности логических парадоксов, как апория и антиномия. 13 Апория характеризуется наличием аргумента, противоречащего очевидному, общепринятому мнению, здравому смыслу. 1 Антиномия — наличием двух противоречащих друг другу, одинаково доказуемых суждений. 13