В одно холодное и дождливое утро профессор Смартсон выглянул в окно и решил, что сегодня не пойдет в университет. «Я эксперт в логике, – подумал он, – и потому все, что мне нужно для работы – это бумага, карандаши и ластик, а они есть у меня дома». Он сел у окна, потягивая свой улун «Черный дракон», и задумался: «Что бы такое изучить сегодня?» Внезапно он увидел на дереве двух черных воронов. «А все ли вороны черные? – спросил он себя, увидев третьего ворона, тоже черного. – Кажется, что так». Это утверждение можно было подтвердить или опровергнуть – но как именно? Несомненно, каждый новый черный ворон, которого он мог бы увидеть, увеличит вероятность того, что утверждение «Все вороны черные» истинно, вот только как пронаблюдать за всеми воронами в мире? Это невозможно! И тем не менее профессор Смартсон решил устроить слежку за воронами, надеясь на то, что они и правда все черные.
И вот он сидел у окна и ждал, но больше воронов поблизости не было. «Придется, наверное, выйти и поискать», – подумал он, но идея ему не особо понравилась. В конце концов, он по какой-то причине остался дома, а дождь перешел в бурю с градом. И внезапно профессора осенило! Он вспомнил, что утверждение «Все вороны черные» логически эквивалентно аргументу: «Все, что не черное – это не ворон». Не забывайте, он был профессором логики. С радостью приглашаю умных и логически мыслящих людей (подобных вам, мой дорогой читатель) поразмыслить над этим и понять, что два этих утверждения эквивалентны. Все просто и логично.
Итак, вместо того чтобы доказывать, что «все вороны черные», профессор Смартсон решил подтвердить, что «все, что не черное – это не ворон», и – подумать только! – ему даже не пришлось выходить из дома. Все, что требовалось – это отыскать все «не черные» предметы и убедиться в том, что это – не вороны. Да, дело-то ерундовое, чего там!
Наш профессор снова выглянул в окно и обнаружил бесчисленные примеры: зеленую лужайку, желтые и красные опавшие листья, пурпурную машину, мужчину с красным носом, оранжевый знак с белыми буквами, синее небо, серый дым из трубы… И вдруг – черный зонтик! Смартсон испуганно вздрогнул – но лишь на мгновение. Вскоре он пришел в себя и напомнил себе вот о чем: он ведь не говорил, что все черные предметы – это вороны! Это же глупо! Он лишь утверждал: «Все, что не черное – это не ворон!» И только!
Он успокоился и теперь, сидя в тепле и сухости, снова смотрел на улицу под окном на бесконечный поток всевозможных предметов. Они не были черными – и они не были воронами. Довольный проделанной работой, он развернулся, взял блокнот и записал: «На основе проведенного мною лично обширного исследования я могу заявить, что с практически абсолютной достоверностью все вороны черные». Что и требовалось доказать.
