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