December 17th, 2013

moose, transparent

о логике и лифте

Это случилось сегодня вечером. Я уходил домой с работы. Спустился в лобби, зашел в кабинку лифта на подземную парковку, нажал на номер этажа -4. Вслед за мной в лифт зашли еще три человека: долговязый молодой человек с адвокатским портфелем, дама средних лет в деловом костюме и с бежевой сумочкой через плечо, и плотно сбитый мужик с щетиной сисадмина. Я стоял к ним спиной в ту секунду, что они входили, не успел еще обернуться лицом к двери, как требует этикет - и потому не видел, кто из них нажал на какой этаж, но когда обернулся, увидел, что кроме -4 нажаты еще -3 и -2.

Дверь закрылась и лифт поехал вниз. Я думал - четыре человека на три этажа, кто выйдет вместе с кем? Может, один из них на минус четвертый вместе со мной? Лифт остановился на -2, и из него вышли долговязый адвокат и дама с сумочкой. Ага, подумал я, значит сисадмин на минус третий, а на минус четвертый я один. Двери уже начали закрываться, но тут дама вернулась и втиснулась обратно. Она вышла машинально, понял я, ей не на -2 на самом деле. Интересно, куда ей на самом деле. Ну что ж, поехали дальше. Остановились на минус третьем, дама вышла, и сисадмин... и вот тут я сильно удивился: почему-то сисадмин не вышел вместе с ней, как же так? Алгоритм дал какой-то странный сбой! Те несколько секунд, что лифт ехал на минус четвертый, я разбирался в том, что произошло, и наконец до меня дошло как раз в ту секунду, что двери раскрылись.

Я допустил ошибку в своих умозаключениях - в чем она заключалась? Когда я думал, что дама вышла на минус втором, я резонно заключил из этого, что сисадмин выйдет на минус третьем. Но когда оказалось, что этот факт был неверен, дама вернулась - я не отменил это умозаключение, и не вернул в своем уме сисадмину "свободу выбора" выходить как на -3, так и на -4. Мне это даже не пришло в голову. Я думал, что рассуждаю совершенно логично, и учитываю все факты по мере их поступления, но я ошибался.

Интересно, есть ли какое-то формальное название у ошибки такого рода. По-видимому, учесть последствия нового факта легче и естественнее, чем "откатить ситуацию" и отменить последствия оказавшегося ложным старого факта. Ведь дело тут именно в откате, а не просто в учете новой информации. Из факта "дама не выходит на минус втором этаже" не следует никаких последствий для сисадмина, кроме "он может выйти на минус 3-м, а может и на минус 4-м" - но это и так самоочевидно из ситуации, поэтому непонятно, зачем нужно специально это себе говорить. Нужно именно отменить уже существующее более узкое следствие "сисадмин выйдет на минус 3-м".

Меня подмывает назвать это "ошибкой осадочка" - помните, как в анекдоте, ложки нашли, но осадочек остался? Так и тут. Но по-моему, это название не переводится на другие языки.