В одно холодное и дождливое утро профессор Смартсон выглянул в окно и решил, что сегодня не пойдет в университет. «Я эксперт в логике, – подумал он, – и потому все, что мне нужно для работы – это бумага, карандаши и ластик, а они есть у меня дома». Он сел у окна, потягивая свой улун «Черный дракон», и задумался: «Что бы такое изучить сегодня?» Внезапно он увидел на дереве двух черных воронов. «А
И вот он сидел у окна и ждал, но больше воронов поблизости не было. «Придется, наверное, выйти и поискать», – подумал он, но идея ему не особо понравилась. В конце концов, он по какой-то причине остался дома, а дождь перешел в бурю с градом. И внезапно профессора осенило! Он вспомнил, что утверждение «Все вороны черные» логически эквивалентно аргументу: «Все, что не черное – это не ворон». Не забывайте, он был профессором логики. С радостью приглашаю умных и логически мыслящих людей (подобных вам, мой дорогой читатель) поразмыслить над этим и понять, что два этих утверждения эквивалентны. Все просто и логично.
Итак, вместо того чтобы доказывать, что «все вороны черные», профессор Смартсон решил подтвердить, что «все, что не черное – это не ворон», и – подумать только! – ему даже не пришлось выходить из дома. Все, что требовалось – это отыскать все «не черные» предметы и убедиться в том, что это – не вороны. Да, дело-то ерундовое, чего там!
Наш профессор снова выглянул в окно и обнаружил бесчисленные примеры: зеленую лужайку, желтые и красные опавшие листья, пурпурную машину, мужчину с красным носом, оранжевый знак с белыми буквами, синее небо, серый дым из трубы… И вдруг – черный зонтик! Смартсон испуганно вздрогнул – но лишь на мгновение. Вскоре он пришел в себя и напомнил себе вот о чем: он ведь не говорил, что все черные предметы – это вороны! Это же глупо! Он лишь утверждал: «Все, что не черное – это не ворон!» И только!
Он успокоился и теперь, сидя в тепле и сухости, снова смотрел на улицу под окном на бесконечный поток всевозможных предметов. Они не были черными – и они не были воронами. Довольный проделанной работой, он развернулся, взял блокнот и записал: «На основе проведенного мною лично обширного исследования я могу заявить, что с практически абсолютной достоверностью все вороны черные». Что и требовалось доказать.
Сумеете ли вы показать, в чем ошибся профессор Смартсон? И ошибся ли он?
8. Продается, продается… продано!
Краткое введение в теорию аукционов
Изначально эта последовательная игра называлась «Торги за доллар», но, чтобы сделать ее чуть более интересной (в конце концов, с инфляцией доллар уже не тот), будем говорить о банкноте $100. Мнения о том, кто на самом деле создал эту игру, разнятся. Говорят, ее в 1950 г. изобрели Мартин Шубик, Ллойд Шепли и Джон Нэш. В любом случае Шубик, американский экономист, преподающий в Йельском университете, в 1971 г. написал статью, в которой эта игра обсуждалась[19]
.Правила очень просты. На аукцион выставляется банкнота номиналом $100 – и уходит тому, кто предложил наивысшую цену. В то же время тот, кто внес второе по ценности предложение, тоже должен выплатить предложенную им сумму, но не получает ничего. Звучит просто, правда?