Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса в отличие от паралогизма и софизма не обнаружена пока из-за несовершенства существующих методов логики^{[прояснить]}.

Различаются такие разновидности логических парадоксов, как апория и антиномия.

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

См. также

• Список парадоксов
• Парадоксы формальной логики