Состояние постмодерна - [21]

Глава 11 Исследование и его легитимность через результативность

Вернемся к науке и рассмотрим вначале прагматику исследования. В основных своих регламентациях она переживает сегодня два главных изменения: обогащение аргументации и усложнение предъявления доказательств.

Аристотель, Декарт, Стюарт Милль, не считая других, раз за разом пытались установить правила, по которым высказывание, имеющее денотативное значение, может встречать поддержку адресата.[137] Научное исследование не слишком принимает в расчет эти правила. Как мы уже сказали, оно может использовать и использует языки, демонстративные свойства которых, по-видимому не в ладах с доводами классиков.

Башляр подводил им итог, но теперь его список уже неполон.[138]

Однако использование этих языков не хаотично, а подчиняется условию, которое можно назвать прагматическим, а именно: формулировать собственные правила и требовать от адресата принимать их. Выполняя это условие, определяют аксиоматику включающую определение символов, которые будут использоваться в предлагаемом языке; форму которую должны соблюдать выражения этого языка, чтобы быть принятыми (ясно сформулированные выражения); операции, которые допускаются над этими выражениями, что и определяют, собственно говоря, аксиомы.[139]

Но как мы можем знать, что должна содержать аксиоматика или что она содержит? Только что перечисленные нами условия формальны. Должен существовать метаязык, определяющий удовлетворяет или нет формальным условиям аксиоматики тот или иной язык Такой метаязык есть язык логики.

Здесь требуется уточнение. Начинает ли ученый с установления аксиоматики, чтобы затем извлекать из нее высказывания, которые будут в ней приемлемыми, или, напротив, он начинает с того, что устанавливает факты и формулирует высказывания о них, а потом пытается обнаружить аксиоматику языка, которую использовал, чтобы сформулировать высказывания, — здесь не логическая, а только эмпирическая альтернатива. Конечно же, она очень важна для исследователя или философа, но вопрос об обоснованности высказываний одинаково встает в обоих случаях.[140]

Правильнее ставить вопрос в отношении легитимации: с помощью каких критериев логик определяет требуемые от аксиоматики свойства? Существует ли модель научного языка? Единственная ли она? Поддается ли проверке? От синтаксиса формальной системы[141] требуются в целом следующие свойства: обоснованность (например, необоснованная в отношении отрицания система предполагала бы существование в самой себе как суждение, так и его противоположность), синтаксическая завершенность (система теряет свою обоснованность, если к ней добавляется еще какая-либо аксиома), определенность (существует действенная процедура, позволяющая определить относится или нет данное суждение к системе) и независимость одних аксиом от других. Г+дель на деле установил существование в арифметической системе суждения, которое не является ни доказуемым, ни опровержимым внутри системы, что привело к выводу о том, что арифметическая система не удовлетворяет требованиям завершенности.[142]

Если генерализовать данное свойство, то нужно признать существование внутренних ограничений формализма.[143] Для логика эти ограничения означают, что используемый в описании искусственного языка метаязык — это «естественный» или «повседневный» язык; он универсален, поскольку все другие языки можно перевести на него; но не обоснован в отношении отрицания, поскольку допускает образование парадоксов.[144]

Отсюда, вопрос о легитимации знания нужно ставить по-другому. Когда заявляют, что высказывание, имеющее денотативный характер, истинно, то предполагают, что аксиоматическая система, в которой оно определенно и доказуемо, была сформулирована, что она известна собеседникам и принята ими, как безусловно наиболее удовлетворительная. Именно в таком духе развивалась, например, математика группы Бурбаки.[145] Однако мы можем найти подобные наблюдения и в других областях: своим статусом они обязаны существованию языка, правила функционирования которого сами не могут быть доказаны, но составляют предмет консенсуса между экспертами. Эти правила являются требованиями, по крайней мере, некоторые из них. А требование — разновидность предписания.

Необходимая для принятия научного высказывания аргументация оказывается, таким образом, подчиненной «первоначальному» принятию правил (в действительности постоянно обновляемому в силу принципа рекурсивности), которые устанавливают средства аргументации. Отсюда замечательные свойства этого знания: гибкость его средств, т. е. множественность его языков; его характер парадигматической игры, приемлемость применяющихся в ней «приемов» (введение новых суждений), которая зависит от предварительной договоренности между партнерами. Отсюда же и различие между двумя видами «прогресса» в знании: первый связан с новым «приемом» (новой аргументацией) в рамках установленных правил, а второй — с изобретением новых правил и, следовательно, с изменением игры.[146]

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