Логический парадокс — противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса объясняется неверным выбором логических посылок, например, когда речь идёт о предметах, не имеющих чёткого определения (см. стрела Зенона).

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

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

Виды апорий

• Парадокс лжеца — семейство логических парадоксов, классический вариант которого гласит: «Я лгу», или, более точно: «Данное утверждение — ложно». Если предположить, что утверждение истинно, то, поскольку оно гласит свою ложность, оно — ложно, что является противоречием. Напротив, если предположить его ложность, то оно соответствует тому, что само гласит, а потому истинно, что также является противоречием. Подобные парадоксу лжеца утверждения часто использовали на протяжении истории философии — он был известен древним грекам и использован как головоломка средневековыми логиками, а также стал основополагающим объектом исследования современной логики.
• Парадокс кучи — логический парадокс, сформулированный Евбулидом из Милета (IV век до н. э.), связанный с неопределённостью предиката «быть кучей». Формулировка парадокса основана на базисной предпосылке, согласно которой одно зёрнышко не образует кучи и индуктивной предпосылке, по которой добавление одного зёрнышка к совокупности, кучей не являющейся, несущественно для образования кучи. При принятии этих предпосылок никакая совокупность из сколь угодно большого количества зёрен не будет образовывать кучи, что противоречит представлению о существовании кучи из зёрен. Парадокс используют как одно из обоснований рассмотрения нечёткой логики.

(из Википедии)