Расширение. Эта операция применяется, когда мы хотим расширить наши убеждения за счет добавления новых убеждений к уже имеющимся. При этом мы надеемся, что полученная в результате новая система убеждений будет непротиворечивой, хотя одна лишь операция расширения сама по себе, конечно, не может этого гарантировать. Обозначим операцию расширения посредством "+". Таким образом, если К – имеющаяся система убеждений, а А – некоторое высказывание, то К + А есть результат расширения К посредством высказывания А.
Сокращение. Эта операция применяется, когда мы считаем нужным отказаться от некоторого убеждения, иными словами, когда мы удаляем это убеждение из нашей системы убеждений. Эта операция обозначается посредством " ? ": К ? А есть результат сокращения системы убеждений К за счет высказывания А.
Ревизия. Эта операция применяется, если мы пришли к необходимости признать истинность некоторого высказывания, которое является несовместимым с нашей прежней системой убеждений. В этом случае мы добавляем данное высказывание к нашей системе убеждений, и одновременно осуществляем пересмотр (ревизию) наших старых убеждений с целью сделать их совместимыми с вновь принятым высказыванием. Если операцию ревизии обозначить посредством "*", то тогда К * А будет результатом ревизии системы убеждений К относительно высказывания А.
Ни одна из этих познавательных операций не сводится к простому механическому одноразовому действию. Так, например, если мы расширяем имеющуюся систему убеждений за счет некоторого высказывания, недостаточно просто добавить это высказывание к множеству старых убеждений. Ведь то, что получится в результате, также должно быть системой убеждений, то есть, по определению 1, новое множество убеждений должно быть замкнуто по отношению логического следования. Иными словами, при добавлении нового убеждения к уже имеющимся, мы должны добавить к ним также и все логические следствия, которые отсюда вытекают. С другой стороны, если мы осуществляем сокращение наших знаний, недостаточно просто удалить некоторое высказывание из нашей системы убеждений. Дело в том, что мы должны также исключить и все те высказывания, из которых удаляемое высказывание логически следует, поскольку если этого не сделать, то удаляемое высказывание фактически вовсе не будет удалено, а неявным образом сохранится в системе убеждений. Далее, если два различных высказывания совместно влекут удаляемое убеждение, то одно из этих высказываний также должно быть удалено, и здесь мы оказываемся в ситуации выбора, который далеко не всегда является тривиальным.
Очевидно, что расширение и сокращение убеждений представляют собой в значительной степени идеальные познавательные действия, которые в чистом виде встречаются довольно редко. Наиболее типичной эпистемической операцией является ревизия, и процесс развития убеждений чаще всего происходит именно путем их пересмотра. В этой связи возникает интересный теоретический вопрос – является ли ревизия независимой познавательной операцией и нельзя ли попробовать свести ее к двум другим, то есть определить ревизию через расширение и сокращение. Оказывается, что такое сведение вполне возможно. По существу, операция ревизии представляет собой некоторое комплексное действие, заключающееся в том, что субъект должен (1) включить некоторое новое высказывание А в свою систему убеждений и (2) принять все необходимые меры к тому, чтобы новая система убеждений была непротиворечивой. Первое из этих действий достигается путем расширения имеющейся системы убеждений за счет А, в то время как вторая цель может быть достигнута посредством предварительного удаления ~ А (отрицание А) из системы убеждений (сокращение). Иными словами, операция ревизии может быть эксплицирована как результат последовательного осуществления двух подопераций: (1) сокращение посредством ~ А и (2) расширение за счет А. Таким образом, приходим к следующему определению, известному в литературе как "равенство Леви":
Определение 2.К * А = (К ? ~ А ) + А.
Это определение имеет очень большое эвристическое значение, поскольку с его принятием проблема теоретической экспликации процесса изменения рациональных убеждений сводится к рассмотрению двух сравнительно простых познавательных операций – расширению и сокращению. Рассмотрим первую из этих операций. Очевидно, что расширение можно довольно легко определить, используя аппарат теории множеств. А именно, если мы хотим расширить нашу систему убеждений К за счет высказывания А, мы должны "механически" добавить это высказывание к К (осуществить теоретико-множественное объединение), а затем замкнуть получившееся множество высказываний К посредством операции замыкания Cn:
Определение 3. К + А = Cn(К E {А})
При помощи данного определения операция расширения убеждений вводится однозначным образом, не оставляя пространства для различных ее истолкований. А это значит, что вся проблема пересмотра наших убеждений фактически эквивалентна проблеме определения операции сокращения. Как ни парадоксально это звучит, но если мы хотим получить ответ на вопрос о том, каким образом осуществляется изменение (а значит и развитие) нашего знания, мы должны ответить на вопрос, как происходит сокращение наших убеждений. Принимая же оптимистическую точку зрения, в соответствии с которой в процессе развития знания происходит его рост, мы приходим к следующему кардинальному выводу: проблема роста знания сводима к проблеме сокращения убеждений. Иными словами, если мы хотим понять, как осуществляется прирост наших знаний, мы должны понять, каким образом мы отказываемся от наших убеждений. И если бы для операции сокращения удалось найти такое же четкое определение, как определение 3 для расширения, то тогда проблема теоретической экспликации механизма развития знаний была бы решена однозначным образом.
Однако установлено, что однозначно определить операцию сокращения невозможно. Основной причиной этого является отмеченная выше возможность "альтернативных ходов", неизбежное появление при осуществлении сокращения ситуации неопределенности, когда субъект оказывается перед выбором, какое из нескольких высказываний удалить из системы своих убеждений, а какое оставить, и при этом не существует никаких чисто логических предпочтений в пользу того или иного высказывания. Поэтому, возможны несколько альтернативных подходов к определению операции сокращения, в зависимости от того, насколько "радикальны" (или, наоборот, осторожны) мы хотим быть в процессе отказа от тех или иных убеждений.
Самым "перестраховочным" является так называемое "сокращение полного пересечения" (full meet contraction), которое требует удалять из систем убеждений слишком многое, даже то, что иногда желательно было бы сохранить. Например, если субъект стоит перед выбором – отказаться от одного из каких-либо двух высказываний, то сокращение полного пересечения удаляет оба эти высказывания, что далеко не всегда представляется оправданным. С другой стороны, наименее надежной операцией является так называемое "сокращение максимального выбора" (maxichoice contraction), недостаток которого состоит в том, что оно не оставляет возможности действовать достаточно осторожно. Так, если мы находимся перед выбором – удалить либо высказывание А, либо – высказывание В и при этом не имеем абсолютно никаких резонов предпочесть одно из этих высказываний другому, может оказаться полезным отбросить оба эти высказывания, чтобы быть полностью уверенным в наших убеждениях. Например, пусть мы полагали, что госпожа Иванова имеет ровно два ребенка – мальчика и девочку, а затем узнали, что на самом деле ребенок у Ивановой только один, при этом о поле ребенка ничего не было сказано. Естественно, мы не можем сохранить оба имевшиеся ранее у нас убеждения "Иванова имеет мальчика" и "Иванова имеет девочку". И хотя "объективно" одно из этих высказываний является истинным, но, поскольку мы не получили достаточно точной информации, будет разумным отбросить (по крайней мере пока, до получения необходимых уточняющих данных) оба эти убеждения и признать, что мы не уверены ни в том, что госпожа Иванова имеет мальчика, ни в том, что она имеет девочку. В рамках сокращения максимального выбора такого рода стратегия оказывается невозможной.
Поэтому наибольшее признание получила операция, называемая "сокращением частичного пересечения" (partial meet contraction), определяемая посредством некоторой функции предпочтения, отбирающей те из возможных кандидатов на сокращение, которые являются более "предпочтительными", более "достойными сохранения". При этом, сокращения полного пересечения и максимального выбора оказываются частными случаями сокращения частичного пересечения. Кроме того, свойства данной операции могут быть охарактеризованы посредством некоторого набора постулатов, которые должны для нее выполняться. Иными словами, операция частичного сокращения допускает построение определенной аксиоматической теории. Опишем кратко наиболее важные из этих постулатов, как они представлены в книге Герденфорса.[41]
1. "Постулат замыкания" (closure): если К является системой убеждений, то К ? А также есть система убеждений.
(К ? А должно быть замкнуто по отношению логического следования, если таковым является само К.)
2. "Постулат успеха" (success): если А I Cn( ? ), то А I К ? А.
(Успех сокращения, очевидно, заключается в том, что удаляемое высказывание не должно принадлежать результирующей системе убеждений. Однако, сокращение не может быть успешным, если мы попытаемся удалить из наших убеждений логически истинное высказывание (то есть закон логики). Тот факт, что высказывание А является логической теоремой можно обозначить посредством А I Cn( ? ), поэтому постулат успеха имеет в качестве условия требование, что А не является теоремой логики.)