Теория справедливого общества и история о достойном обществе
Я всячески избегал называть свои рассуждения о достойном обществе «теорией». «Теория» есть понятие достаточно размытое. Мне бы хотелось сказать пару слов и об использовании этого термина, особенно в связи со словосочетанием «теория справедливости» (в ролзовском его смысле). Цель этих замечаний – подчеркнуть тот статус, который имеет для меня этот очерк достойного общества.
Любая система, претендующая на то, чтобы называться теорией, основывается на одной из двух математических моделей. Одна из них гильбертианская, другая – гёделианская. Что я имею в виду? Гильбертианская модель математики основана на представлении о том, что всю математику можно разделить на две части. Одна – понятная и постижимая на интуитивном уровне. Эта часть включает в себя конечные натуральные числа. Другая постижима только в формальном, синтаксическом аспекте смысла, через ее логические связи с интуитивно постижимой частью, из которой она выводится. Этой моделью пользуются логические позитивисты, особенно Райхенбах и Карнап, для того чтобы выстроить теорию научного знания. Таким образом, каждая научная теория, заслуживающая этого названия, состоит из двух компонентов. Один – основанный на наблюдении, постижимый полностью и напрямую. Второй, теоретический компонент постигается через правила, которые связывают его с первым.
Гёделианская модель, которая лежит в основании ролзовской теории справедливости, основана на знаменитой теореме Гёделя о неполноте. При доказательстве этой теоремы мы допускаем, что у нас есть полный, независимый от теории перечень истинных арифметических утверждений. Параллельно мы имеем систему аксиом (арифметических или логических), из которой выводятся арифметические теоремы. Вопрос заключается в том, будет ли набор теорем, логически выводимых из данных нам аксиом, идентичен перечню истинных утверждений, существование которого мы допустили в самом начале. Знаменитый ответ, который Гёдель дал на этот вопрос, гласит, что эти два перечня идентичны между собой не будут (он привел истинное высказывание, которое не может быть выведено из аксиом).
Гёделианская структура была взята за основу Хомски при создании теории, претендующей на статус эмпирической. Хомски допустил, что, с одной стороны, мы можем создать полный, независимый от теории перечень всех предложений нашего языка, которые, с нашей точки зрения, будут грамматически верными. С другой стороны, у нас есть грамматика, правилами которой мы пользуемся для построения грамматически правильных предложений. Затем мы сравниваем предложения, построенные по грамматическим правилам, с предложениями из первого списка. Мы можем делать заключения относительно того, насколько данная грамматическая система представляет собой адекватную теорию нашего языка, отталкиваясь от степени совпадения предложений, построенных в соответствии с грамматическими нормами, и предложений из списка тех, что мы интуитивно сочли грамматически верными. В принципе, предполагается, что грамматику надлежит адаптировать таким образом, чтобы она покрывала весь список интуитивно сгенерированных предложений, но при случае можно с полным на то основанием изменить порядок этой зависимости. Таким образом, теория иногда ведет нас к корректировке наших интуитивных суждений – в тех случаях, когда данное конкретное суждение не согласуется с другими, нам же принадлежащими.