полной индукцией, что все рыбы дышат жабрами, пришлось бы
выловить всех рыб, а это в принципе невозможно.
Во-вторых, даже если класс S конечен, сплошная его проверка иногда
требует таких огромных затрат, на которые общество не может пойти.
Например, для установления того, что все граждане страны испытывают
единодушное согласие по поводу какого-то важного государственного
вопроса, можно провести поголовное голосование – референдум.
Однако эта процедура требует больших затрат времени, материальных и
людских ресурсов.
Наконец, сплошная проверка бывает неприемлемой в сило того, что
ведет к уничтожению проверяемого предмета (как в примере про Ходжу
Насреддина).
Упражнение 2. Определите вид и логическое основание следующего
рассуждения. В силу чего вывод узника может оказаться ложным?
Однажды в камеру приговоренного к повешению вошли и
объявили: «Скоро вас казнят. При этом мы обещаем соблюсти три
условия. Первое – вас казнят на следующей неделе в один из дней.
Второе – накануне вечером вас предупредят, что казнь состоится
завтра на рассвете. И третье – наше предупреждение будет для вас
полной неожиданностью. Если мы не сумеем выполнить своих
обещаний, вас освободят. Приговоренный стал размышлять о своей
участи. “В воскресенье меня казнить не могут, так как, дожив до
субботы, для предупреждения останется только единственный
вечер, субботний, и, значит, предупреждение о казни уже не может
быть неожиданностью. По этой же причине меня не могут казнить
в субботу, так как, дожив до пятницы, для предупреждения
останется единственный вечер в пятницу, значит, зная об этом
заранее, оно опять не будет для меня неожиданностью. Итак,
исключаются воскресенье и суббота. Но, рассуждая аналогично, я
поочередно исключу и пятницу, и четверг, и среду, и вторник, и
понедельник. Получается, что казнь невозможна без нарушения
хотя бы одного из трех условий. Значит, меня освободят!»
§4. Неполная индукция.
Итак, имеются самые разнообразные причины, по которым сплошная
проверка бывает невозможной. В таких случаях применяется процедура
неполной обобщающей индукции.
Обобщающая индукция называется неполной, если в ней
осуществляется частичная проверка предметов исследуемого
класса.
ОПРЕДЕЛЕНИЕ