Парадокс - это высказывание или мысль, поражающая своей неожиданностью, противоречивостью традиционному взгляду на вещи и здравому смыслу. Не смотря на то, что парадокс противоречит законам логики, он может наблюдаться в реальности.
Логическая ошибка парадокса, в отличие от софизмов, не доказана и не может быть обнаружена никаким способом в пределах существующих методов логики. Вот несколько интересных парадоксов: Парадокс всемогущего (иногда называется парадоксом Бога) - "Может ли всемогущее существо сотворить камень настолько тяжёлый, что будет не в силах поднять его". Подвох заключается в том, что если оно сможет создать такой камень, то перестанет быть всемогущим, поскольку не сможет поднять его. Если же не сможет сотворить такой камень, значит оно не был всемогущим изначально. Парадокс всеведения родственен парадоксу всемогущества и указывает на противоречие между всемогуществом и всеведением. Одна из его формулировок такова: "Либо всевидящее существо знает, что оно сделает завтра, либо имеет власть сделать то, что захочет". Парадокс лжеца - Лжец говорит: "То, что я утверждаю сейчас, ложно". Это высказывание принципиально не может быть ни доказано, ни опровергнуто в рамках логики. Поскольку если оно истинно, то одновременно и ложно, и в то же время, если оно ложно, то истинно. Таким образом оно противоречит закону исключённого третьего в двоичной логике. Апория Зенона "Стрела" - апория, в отличие от парадокса, это логически верное утверждение, которое, однако, не наблюдается на практике. Древнегреческий философ Зенон сформулировал несколько апорий направленных на отрицание принципиальной возможности движения. Вот одна из них: "Возьмём стрелу, летящую с большой скоростью, и рассмотрим в бесконечно малый момент времени. Она неподвижна. Возьмём любой другой бесконечно малый момент времени - в нём стрела тоже неодвижна. Поскольку стрела неподвижна в каждый момент времени, значит она неподвижна во все моменты времени, следовательно движения не существует". Таким образом Зенон показывает логическую невозможность представления некой величины, как суммы бесконечного количества неделимых частей.
