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