В дополнение к уже упоминавшейся задаче распознавания прямоугольника существует еще одна задача про воронов авторства Карла Хемпеля. Пусть мы хотим проверить свою любимую гипотезу о том, что все вороны — черные. Как мы это делаем? Мы выходим в поле, находим там воронов и смотрим, действительно ли они все черные. С другой стороны, возьмем заявление, противоположное нашей гипотезе и логически ей эквивалентное: все нечерные объекты не являются воронами. Это позволяет предположить, что орнитологические исследования можно проводить, не выходя из офиса! Мне достаточно просто смотреть на случайные объекты, отмечать про себя, что они не черные, и проверять, не являются ли они воронами. По мере работы у меня накапливаются данные о том, что все увиденные нечерные объекты — не вороны, что подтверждает мою гипотезу. Загадка в том, работает ли такой подход. Разрешается считать (для этой задачи), что я не выхожу из офиса в поля, леса или куда-то еще, чтобы наблюдать за птицами.