Парадо́кс (др.-греч. παράδοξος — «неожиданный; странный», от др.-греч. παρα — «против, вопреки» и др.-греч. δόξα — «мнение; представление; предположение») в широком смысле — высказывание, мнение, рассуждение, которое расходится с общепринятым мнением и кажется нелогичным или противоречащим здравому смыслу (зачастую лишь при поверхностном понимании)[1].
В логике «парадоксом» называют формально-логические противоречия, которые возникают при сохранении логической правильности рассуждения[1]. Парадокс возникает, когда два взаимоисключающих (противоречащих) суждения оказываются в равной мере доказуемыми.
Логический парадокс — противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса объясняется неверным выбором логических посылок, например, когда речь идёт о предметах, не имеющих чёткого определения (см. стрела Зенона).
Современные науки, использующие логику в качестве инструмента познания, нередко наталкиваются на теоретические противоречия либо на противоречия следствий из теории с вербализованными результатами опыта, эксперимента. Это бывает обусловлено логическими ошибками в построении суждений, несовершенством существующих в настоящее время научных методов или недостаточной точностью используемых в опытах инструментов, а также неадекватностью принятой идеализации, то есть неверной аксиоматизацией теорий.
Наличие парадокса стимулирует к новым исследованиям, более глубокому осмыслению теории, её «очевидных» постулатов и нередко приводит к полному её пересмотру.
Примерами парадоксов в науке могут служить Парадокс Рассела, Парадокс Банаха — Тарского, Парадокс Смейла, Парадокс Хаусдорфа, ЭПР-парадокс, Космологические парадоксы.