Задача эта в некотором — и существенном — смысле подобна той задаче, над которой бьются конструкторы машин-переводчиков. Понимание смысла текста, которое играет роль критерия языкового отбора, эти конструкторы пытаются заменить чисто формальным алгоритмическим «ситом» (машина должна переводить не в силу того, что понимает текст, а потому что смысловым значениям удается сопоставить чисто формальные — синтаксически-морфологические или фонетические — аспекты языковых высказываний), подобно этому и мы хотели бы заменить критерии людей-ученых какими-то поддающимися автоматизации внесознательными критериями, благодаря которым все «познавательно ценное» систематически отбиралось бы. Ученые, занимающиеся философией науки, вызывают у конструкторов довольно устойчивое раздражение и даже злость. Эти ученые высказывают чрезвычайно обильные и даже весьма четкие мнения о логике научного познания, о теоретико-познавательной эвристике или, наконец, о том, «чем являются» научные теории, но вместе с тем они не приходят ни к каким окончательным определениям, которые могли бы реально помочь конструкторам. Путь реальных уточнений, по которому шло множество ученых, — пожалуй, с Поппером во главе, ибо это он заменил в соответствии с подлинным положением вещей эмпирическую «проверяемость» эмпирической же «фальсифицируемостью» (опровержимостью), — привел к констатации того, что теоретические термины из эмпирических фактов вывести не удается, то есть что нет в фактах абсолютно ничего такого, что вынуждало бы нас к принятию тех, а не иных «сущностей» (вроде, например, «амплитуды вероятности»). Теоретическая трактовка фактов — это такое их обобщение, которое не является ни полностью произвольным (в смысле радикального конвенционализма), ни полностью детерминированным (в смысле наивной индукции).
Таким образом, мы опять очутились на кратчайшем пути к тому, чтобы утонуть в рассуждениях о проблемах, над которыми долгие века бьется философия, а именно: присутствуют ли «universalia in rebus»[221] и если да, то в какой мере. И этот извечный спор между номинализмом, реализмом и концептуализмом становится капканом для ни в чем не повинных конструкторов, а единственная возможность бежать от размышления над этими достопочтенными проблемами — это маневр, выводящий на позиции спасительного эмпиризма.
Тела действуют друг на друга материально, энергетически, а также информационно. Результатом действия является изменение состояния. Если я брошусь на землю потому, что кто-то крикнул «Ложись!», то перемена моего положения вызвана поступившей информацией; если же я упаду потому, что на меня обрушатся тома энциклопедии, то изменение будет вызвано материальным воздействием. В первом случае я не был вынужден упасть, во втором — был вынужден. Материально-энергетические действия детерминированы, тогда как информационные вызывают лишь изменения некоторых распределений вероятностей.
Так, по крайней мере, все это выглядит при очень нестрогом обобщении. Информационные действия изменяют распределения вероятностей в границах, установленных материально-энергетическими условиями. Если мне крикнут «Лети!», я этого не сделаю, даже если бы хотел. Информация будет передана, но не претворена в жизнь. Она изменит состояние моего мозга, но не моего тела. Я пойму, что мне сказано, но не смогу этого выполнить. Таким образом, язык обладает аспектом операциональным и аспектом «дискурсивным» (мыслительным). Будем отправляться от этого положения. Под языком будем понимать множество состояний, выделенное из множества «всех возможных состояний», то есть подмножество этого последнего множества, в котором совершен отбор по принципу какого-то «нечто» (некоего X). Для данного языка X — это переменная, принимающая различные значения в определенных пределах. О каком «подмножестве состояний» идет речь? Мы сэкономим немало слов, обратившись к примеру. Иное такое подмножество, уже не языковое, содержит всевозможные траектории тел в Солнечной системе. Хотя множество таких траекторий бесконечно, легко заметить, что они не являются произвольными (невозможны, например, квадратные траектории). Тела ведут себя так, словно на их движения наложены определенные
