Аксиомы и «теорема о невозможности» Кеннета Эрроу

«Суть этой теоремы состоит в том, что любой коллективный выбор, удовлетворяющий вполне разумным аксиомам, может обеспечить наилучшую альтернативу лишь в том случае, если он содержит черты принудительности, или диктаторства. Теорема невозможности Эрроу очень остро поставила вопрос о природе экономической науки, а вместе с ней и экономической этики. Она имеет ограничительный характер, ибо выявляет границы состоятельности экономики».

Канке В.А., Философия науки: краткий энциклопедический словарь, М., «Омега-Л», 2008 г., с. 309.

Кеннет Эрроу из Стенфордского университета поставил вопросов наиболее общем виде: можно ли создать такую систему голосования, чтобы она была одновременно рациональной (без противоречий), демократической (один человек - один голос) и решающей (позволяла осуществить выбор)?

Вместо попыток изобретения такой системы Эрроу предложил набор требований, аксиом, которым эта система должна удовлетворять. Эти аксиомы были интуитивно понятны, приемлемы с точки зрения здравого смысла и допускали математическое выражение в виде некоторых условий.

На основе этих аксиом Эрроу попытался в общем виде доказать существование системы голосования, удовлетворяющей одновременно трём перечисленным выше принципам: рациональная, демократическая и решающая.

Первая аксиома Эрроу требует, чтобы система голосования была достаточно общей для того, чтобы учитывать все возможные распределения голосов избирателей. Интуитивно это требование вполне очевидно. Заранее нельзя предсказать распределение голосов. Совершенно необходимо, чтобы система была действенной при любых предпочтениях избирателей. Эта аксиома получила название аксиомы универсальности.

Ещё более очевидной с точки зрения здравого смысла является вторая аксиома Эрроу: аксиома единогласия, в соответствии с ней необходимо, чтобы коллективный выбор повторял в точности единогласное мнение всех голосующих. Если, например, каждый из голосующих считает, что кандидат А лучше кандидата В, то и система голосования должна приводить к этому результату.

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

Часто третья аксиома Эрроу нарушается судьями в фигурном катании. Давая сравнительные оценки двум сильным фигуристам в одиночном катании, они стараются учесть возможность хорошего выступления третьего сильного кандидата, оставляя ему шансы стать победителем. Отличное выступление в произвольном катании фигуриста С, имевшего ранее не очень высокий результат в обязательной программе, может повлиять на оценки фигуристов А и В. Если А имел отличный результат в обязательной программе, судьи иногда ставят его ниже фигуриста В при примерно равном выступлении, чтобы повысить шансы фигуриста С.

Тем не менее, сама возможность предъявления требования независимости к системе голосования в качестве обязательного не вызывает сомнения.

Четвёртая аксиома Эрроу носит название аксиомы полноты: система голосования должна сравнить любую пару кандидатов, определив, кто из них лучше. При этом имеется возможность объявить двух кандидатов равнопривлекательными. Требование полноты не кажется слишком строгим для системы голосования.

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

Определив пять аксиом - желательных свойств системы голосования, Эрроу доказал, что системы, удовлетворяющие этим аксиомам, обладают недопустимым с точки зрения демократических свобод недостатком: каждая из них является правилом диктатора - личности, навязывающей всем остальным избирателям свои предпочтения.

Результаты, выявленные Эрроу, получили широкую известность. Они развеяли надежды многих экономистов, социологов, математиков найти совершенную систему голосования. Требование исключения диктатора приводит к невозможности создания системы голосования, удовлетворяющей всем аксиомам Эрроу.

Поэтому результат Эрроу называют «теоремой невозможности».

Ларичев О. И., Теория и методы принятия решений, М., «Логос», 2000 г., с.181-183.