Понятие о логических парадоксах

Парадокс - это рассуждение, доказывающее как истинность, так и ложность некоторого суждения или (иными словами) до­казывающее как это суждение, так и его отрицание. Парадоксы

_________________________

'См:-.БрадисВ,. Минковский В., ХарчевА. Ошибки в математических рассу­ждениях. М., 1959; Нагибин Ф. Ф. Математическая шкатулка. М„ 1964.

²Сm.: Нагибин Ф.Ф. Математическая шкатулка. М., 1964. С. 81-82.

 

были известны еще в древности. Их примерами являются: “Куча”, “Лысый”, “Каталог всех нормальных каталогов”, “Мэр города”, “Генерал и брадобрей” и др. Рассмотрим некоторые из них.

Парадокс “Куча”. Разница между кучей и не-кучей - не в одной песчинке. Пусть у нас есть куча (например, песка). Начи­наем из нее брать каждый раз по одной песчинке, и куча остает­ся кучей. Продолжаем этот процесс. Если 100 песчинок - куча, то 99 - тоже куча и т. д. 10 песчинок - куча, 9 - куча,... 3 песчин­ки - куча, 2 песчинки - куча, 1 песчинка - куча. Итак, суть пара­докса в том, что постепенные количественные изменения (убав­ление на 1 песчинку) не приводят к качественным изменениям.

Парадокс “Лысый” аналогичен парадоксу “Куча”, т. е. раз­ница между лысым и не-лысым не в одной волосинке.