Состояние постмодерна

Лиотар Жан-Франсуа

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

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

140

Blanche R. Op. cit. Chapitre V.

Правильнее ставить вопрос в отношении легитимации: с помощью каких критериев логик определяет требуемые от аксиоматики свойства? Существует ли модель научного языка? Единственная

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

141

Martin R. Logique contemporaine et formalisation. Paris: PUF, 1964. P. 33–41; 122sq.

142

Godel К. Ueber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme // Monatschrift fur Mathematik und Physik. j38, 1931. Более доступное изложение теоремы Геделя содержится в книге: Lacombe D. Les idees actuellcs sur la structure des mathematiques // Notion de structure et structure de la connaissance. Paris: Albin Michel, 1957. P. 39–160.

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

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

143

Ladriere J. Les limitations internes des formalismes. Louvain&Paris, 1957.

144

Tarski A. Logique, semantique, metamathematique. T.1. Paris: Armand Colin, 1972. Descles J. P. & Guentcheva-Descles Z. Metalangue, metalangage, metalingvistique // Documents de travail. Universita di Urbino. j60–61, 1977.

145

Bourbaki N. Les elements des mathematiques. Paris: Hermann, 1940. Отдаленные точки соприкосновения с этой работой в виде первых попыток доказать отдельные «постулаты» можно найти в евклидовой геометрии. См. об этом: Brunschvicg L. Les etapes de la philosophie mathematique. Paris: PUF, 3-e ed., 1947.

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

146

Kuhn Th. The Structure… Loc. cit.

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

147

Классификацию логико-математических парадоксов можно найти

в книге: Ramsey F. P. The Foundations of Mathematics and Other Logical Essays. N. Y.: Harcourt, Brace&Co., 1931.

Следующий важный аспект исследования ведет нас совсем в другом направлении и касается приведения доказательства. В принципе, оно составляет часть аргументации, призванной сделать приемлемым новое высказывание: свидетельство или вещественное доказательство в случае правовой риторики. [148] Но оно поднимает специальную проблему: ведь именно с ним референт («реальность») извлекается и цитируется в споре между учеными.

Мы сказали, что вопрос доказательства составляет проблему, заключающуюся в необходимости доказать доказательство. Можно, по меньшей мере, сделать публичными средства доказательства, — способ, которым другие ученые могут убедиться в результатах через повторение процесса, приведшего к ним. Вместе с тем, предъявить доказательство значит заставить констатировать факт. Но что есть акт констатации? Регистрация факта глазами, ушами, органами чувств? [149] Чувства обманывают, они ограничены в пространстве и в различительных возможностях.

148

Аристотель. Риторика. Т. II.

149

Это проблема свидетельства или исторического источника является также проблемой того, как стал известен некий факт: по слухам или был увиден. Различие появляется у Геродота. См.: Hartog Fr. Herodote rapsode et arpenteur // Herodote. j9, decembre 1977. P. 56–63.

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

150

Gehlen A. Die Technik in der Sichtweise der Anthropologie // Anthropologische Forschung. Hambourg, 1961.

151

Leroi-Gourhan A. Milieu et technique. Paris: Albin Michel, 1945; id. Le geste et la parole. T. 1. Technique et Langage. Paris: Albin Michel, 1964.

Это позднее определение технической компетенции. Изобретения делаются уже давно, хотя и урывками, случайно, в связи с другими исследованиями; они интересовали в большей степени (или в равной мере) искусство (technai), чем науку. Так, в классической Греции не устанавливали прямой связи между знанием и техникой. [152] В XVI и XVII веках работы разработчики еще демонстрируют любопытство и артистическую выдумку. [153] Так продолжается до конца XVIII века. [154] Можно даже настаивать на том, что и в наши дни существует «дикая» активность в техническом изобретательстве, подчас в любительских поделках, и она не нуждается в научной аргументации. [155]

152

Vemant J. P. Mythe et pensee chez les Grecs. Paris: Maspero, 1965. (section 4: Le travail et la pensee technique).

153

Baltrusaitis J. Anamorphoses, ou magie artificielle des effets merveilleux. Paris: O. Perrin, 1969.

154

Mumford L. Technics and civilization. N. Y., 1934; Gille B. Histoire des techniques. Paris: Gallimard, 1978.

155

Удивительный пример этого рассмотрен в: Mulkay M. & Edge D. О. Cognitive, Technical and Social Factors in the Growth of Radioastronomy // Social Science Information. 1973. Р. 25–61 (об использовании радиолюбителей для проверки некоторых приложений теории относительности).

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

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