Нам кажется, что все это современное обилие работ по знаковой теории языка вполне дает нам право поставить кардинальный вопрос о том, что же такое, в конце концов, сам языковый знак, пусть не во всем его объеме, но, по крайней мере, в том его объеме, который состоит из истин простейших и очевиднейших. Думается, что при всех трудностях такого рода работы она все же оказывается небесполезной, поскольку хотя бы отметает то, что пока еще неочевидно, сомнительно, спорно и пока требует разного рода мало совместимых между собой решений.

Аксиома есть простое и самоочевидное суждение, не требующее для себя никаких доказательств и, наоборот, само лежащее в основе всяких доказательств определенной области знания. Сводка такого рода аксиом есть аксиоматика. Возможна ли такого рода аксиоматика в языкознании вообще и, в частности, в области знаковой теории языка? Нам думается, что при условии сознания предварительности такой аксиоматики, при условии логической скромности ее определений и при условии необходимости и желательности ее исправления, ее дальнейших пополнений и покамест еще временной и не очень надежной условности входящих в нее аксиом такая знаковая аксиоматика не только возможна, но и необходима. Окончательная аксиоматика и в языкознании и в знаковой теории языка и литературы возникнет еще очень и очень нескоро. Ставить и решать здесь какие-нибудь окончательные вопросы было бы весьма легкомысленным и вполне дилетантским занятием. Автор настоящей работы, вероятно, допустит много разного рода погрешностей, неточностей и неясностей, но в абсолютных решениях и дилетантстве этот автор, во всяком случае, не будет повинен.

К сожалению, единственный имеющийся на русском языке словарь по информатике[72] не только не ставит никаких аксиоматических целей, перечисляя все виды информатики в разбросанном виде, но и виды этих аксиом большей частью основаны на логической ошибке idem per idem. Документальная информация основана «на использовании документов»; устная информация выражена «при помощи устной речи»; письменная информация выражена «в письменном виде»; цифровая информация выражена «при помощи цифр». Таковы же определения в этом словаре семантической, входящей, выходящей, экономической, политической, библиографической информации и т.д. Везде здесь только idem per idem.

Это заставляет нас пользоваться по преимуществу основным определением информации в данном словаре:

Тут тоже не вполне понятно, почему речь идет только о пространстве и времени, почему имеются в виду только материальные объекты, а не какие-нибудь другие (например, умственные), что такое «содержание» и что такое «сообщение». Никак нельзя сказать, что употребленные термины вполне очевидны и являются первичными.

Однако составители этого словаря, вероятно, не преследовали логических целей, а больше ориентировались на общедоступный и обывательский язык, что тоже имеет свое огромное значение и не снижает ценности данного словаря. Ясно только то, что знаковая аксиоматика должна начинаться с чего-то более первичного, пусть хотя бы и банального, но зато в логическом смысле первичного и не требующего никаких доказательств. У нас могут иметь место разве только некоторые разъяснения и уточнения терминов, но никак не система доказательств смысловой теории языка, каковая система, конечно, уже не есть аксиоматика, а только то, что на этой аксиоматике основано и чем, кстати сказать, мы здесь вовсе не собираемся заниматься. Из предыдущего мы сделаем только один вывод, который и ляжет в основу нашей аксиоматики знаковой теории языка. А именно, уже с самого начала мы будем относить язык к знаковой сфере, а эту последнюю к информации, информацию же – к сфере сообщения или содержания сообщения. Все эти исходные понятия аксиоматики останутся у нас вначале без всякого определения.

Насколько трудно обойтись без логической ошибки idem per idem в определении слова «знак», показывает также словарь О.С. Ахмановой, у которой знак есть «показатель, выразитель данного языкового значения»[75], где «знак» определяется через «значение», в то время как логически нужно было бы идти в обратном порядке. Это просто означает то, что такие слова, как «знак» и «значение» в своих логических истоках просто неопределимы. Если уже и аксиомы являются такими принципами, которые не требуют доказательства, то тем более не требуют доказательства те категории, которые лежат в основе этих принципов. Так, собственно говоря, мы не определяем, что такое язык, считая такое определение излишним и слишком уж очевидным. Точно так же мы не будем определять и то, что такое сообщение или его содержание, а тем самым и то, что такое вообще информация.

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

Казалось бы, такие термины, как «первичность» или «аксиома», не должны были бы вызывать никакого сомнения у читателей. К сожалению, однако, дело обстоит совсем иначе. То, что мы считаем первичным, может показаться слишком банальным. Но ведь аксиома потому и первична, что она банальна, то есть всем понятная и не требует доказательства. Вопрос может стоять только о том, ставить ли такого рода аксиомы вначале, или ставить их в дальнейшем, или, может быть, совсем не ставить. Так как нам хотелось бы все же так или иначе распутать этот клубок первичных установок для знаковой теории, мы все же попробуем выставить на первый план эти «банальные» утверждения, хотя читатель тут же увидит, что банальность эта здесь только внешняя, а на самом деле она определяет собою целое направление в знаковой теории; и, пожалуй, даже не всякий с этим согласится, несмотря на всю банальность наших первых утверждений.

Здесь мы имеем в виду те три первичные аксиомы, без которых, как нам кажется, совершенно невозможна не только материалистическая, но и вообще реалистическая знаковая аксиоматика.