назад Оглавление вперед


[Старт] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [ 17 ] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223] [224] [225] [226] [227] [228] [229] [230] [231] [232]


17

сформированным, то на разделение доходов между союзниками будут* оказывать существенное влияние другие союзы, в которые каждый из них мог бы вступить. Таким образом, только эти три объединения и их дележи образуют в совокупности некоторое разумное целое, которое определяет все свои детали и само по себе обладает устойчивостью. Именно эта совокупность является подлинно значимым объектом, гораздо более значимым, чем составляющие его дележи. Даже если один из этих дележей будет фактически осуществлен, т. е. будет фактически образовано некоторое-конкретное объединение, другие дележи будут «потенциальным» образом присутствовать: хотя они и не реализовались, но они все же существенно* повлияли на формирование и определение реальной действительности.

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

4.3.4. Точные критерии, характеризующие систему дележей как решение нашей проблемы, имеют, разумеется, математический характер. Поэтому за четким и исчерпывающим рассмотрением мы должны отослать читателя к последующему математическому развитию теории. Точное* определение сформулировано в п. 30.1.1. Тем не менее мы дадим здесь предварительное качественное описание. Мы надеемся, что это поможет пониманию идей, на которых основано количественное рассмотрение. Кроме того, при этом более отчетливо будет обрисовано место наших рассмотрений в общей структуре социальных теорий.

4.4. Нетранзитивное понятие «превосходства» , или «доминирования»

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

*) Они снова могут включать компенсации между партнерами в коалиции, как это описывалось в п. 4.3.2.



*) То есть когда оно имеет место в своей математически точной форме, которая будет дана нами в п. 30.1.1.

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

3) Математическая теория упорядочения довольно проста. Она дает более глубокое понимание этих условий, чем любое словесное рассмотрение. Необходимые математические сведения можно найти в п. 65.3.

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

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

Мы предпочитаем использовать вместо термина «превосходство» с его многочисленными ассоциациями другое слово, более подходящее в качестве технического термина. Когда имеет место описанное выше отношение между двумя дележами х и у мы будем говорить, чтоа; доминирует у.

Если переформулировать несколько более тщательным образом то, что мы вправе ожидать от решения, состоящего из одного дележа, то можно сказать, что такой дележ должен доминировать все остальные и не должен сам доминироваться никаким другим дележом.

4.4.2. Понятие доминирования, сформулированное - или скорее намеченное - выше, носит, очевидно, характер некоторого упорядочения, аналогичного вопросу о предпочтении или же о размере в любой количественной теории. Понятие решения, состоящего из единственного дележа 2), соответствует понятию первого элемента в условиях этого упорядочения 3).

Поиск такого первого элемента был бы правдоподобным, если бы рассматриваемое упорядочение, т. е. понятие доминирования, обладало бы важным свойством транзитивности; иначе говоря, если бы из того, что х доминирует у, а у доминирует z, следовало бы, что х доминирует z. В этом случае мы могли бы действовать следующим образом: начиная с произвольного х, искать у, которое доминирует х; если подобное у существует, то взять его и искать z, которое доминирует у; если такое z существует, то взять его и искать и, которое доминирует z, и т. д. В большинстве практических проблем имеются хорошие шансы на то, что либо этот процесс закончился за конечное число шагов нахождением элемента w> не доминируемого никаким другим, либо же последовательность х, у, z, и, . . . будет продолжаться бесконечно, но эти х, у, z, и, . . . будут стремиться к предельному элементу w, не доминируемому никаким другим. При этом, благодаря указанной выше транзитивности, окончательное w будет в любом из этих случаев доминировать все ранее полученные х, у, z, и, . . .

Мы не будем здесь входить в более тонкие детали, которые могли бы и должны были бы быть затронуты при более подробном рассмотрении.



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

В случае, когда транзитивность не имеет места, положение дел становится совершенно иным. В этом случае любая попытка достижения «оптимума» путем последовательных улучшений может оказаться тщетной. Может случиться, что х доминируется элементом у, у доминируется элементом z, a z в свою очередь доминируется элементом х 1).

4.4.3. В действительности отношение доминирования, на котором мы основываемся, не является транзитивным. В нашем пробном описании этого понятия мы указывали, что х доминирует г/, когда существует группа участников, каждый из которых предпочитает свою индивидуальную ситуацию в х соответствующей ситуации в г/, причем эти участники убеждены в том, что, действуя как одна группа, т. е. как некоторый союз, они могут провести свои предпочтения в жизнь. Подробно мы рассмотрим эти вопросы в п. 30.2. Мы будем называть эту группу участников «эффективным множеством» для доминирования х над у. Но если х доминирует у и у доминирует z, то эффективные множества для этих двух доминирований могут быть непересекающимися, и поэтому никаких заключении по поводу отношения между z ж х сделать нельзя. Может случиться даже, что z доминирует х при помощи некоторого третьего эффективного множества, быть может, не пересекающегося с первыми двумя.

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

4.5. Точное определение решения

* 4.5.1. Таким образом, наша задача состоит в замене понятия оптимума, т. е. первого элемента, некоторым другим понятием, которое может взять на себя его функции в состоянии статического равновесия. Это становится необходимым потому, что первоначальное понятие стало несостоятельным. Впервые мы подметили его провал на конкретном примере игры трех лиц в пп. 4.3.2, 4.3.3. Однако теперь мы получили возможность более глубокого проникновения в причины его неудачности: эти причины

*) В случае транзитивности это невозможно, так как - если есть нужда в доказательстве - х никогда не доминирует себя. Действительно, если, скажем, у доминирует х, z доминирует у ж х доминирует z, то из транзитивности мы можем заключить, что х доминирует х.

[Старт] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [ 17 ] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223] [224] [225] [226] [227] [228] [229] [230] [231] [232]