Разновидностью и уточнением указанной общей теории отношений является теория языковых функций. Эти функции, безусловно, являются чем-то гораздо более конкретным и более близким к языку. Чтобы соблюсти эту ясность и конкретность, нужно посмотреть, как пользуются этой категорией математики. Под функцией здесь понимается совокупность всех операций, которые произведены над независимым переменным или, как говорят в математике, над аргументом. Это гораздо ближе к языковой действительности, чем просто отношение. Ведь языковые элементы связаны между собой и не просто как тождественные, и не просто как различные, и не просто как соотносящиеся, и меньше всего здесь идет речь о родовой общности и специфическом различии. Ведь кроме отношения общего к частному и единичному и кроме отношения единичного и частного к общему существует еще множество других отношений, сконцентрированных в каком-нибудь переходе между соотносящимися элементами, т.е. в нашем случае между знаком, значением и означаемой предметностью. Так, совершенно неправильно говорят, что фонема есть не что иное, как общее языковое понятие, обобщающее собой все оттенки данного звука в реальной человеческой речи. На самом деле отношение между фонемой и фонемоидом гораздо сложнее, чем отношение между родовым и видовым понятием. Но если мы скажем, что всякий фонемоид есть функция соответствующей фонемы, то мы, конечно, займем гораздо более реалистическую позицию в языкознании, чем просто отношение рода, вида, действия, контекста или даже системы. Очень важным является то обстоятельство, что функция того или другого аргумента вовсе не является только его формой, но, будучи системой разных операций над аргументом, указывает на значение как на некоторого рода смысловую структуру. В частности, языковая функция не есть только грамматическое отношение, поскольку грамматика не есть сам язык, а пока только еще наука о языке. Поэтому, когда Айдукевич уже 40 лет назад говорил о том, что значение есть семантическая функция знака, то такого рода определение, конечно, было гораздо богаче простой теории отношения. К сожалению, и Айдукевич не избежал здесь логической ошибки idem per idem. Ведь еще нужно определить, что такое знак и что такое семантика. И понятие знака и понятие семантики многие тоже определяют при помощи понятия значения. Тут остается неясным, знак ли является функцией значения или значение является функцией знака. И притом, если говорится о семантической функции знака, то, очевидно, категории значения и семантики мыслятся разными. Но в таком случае как же можно было бы говорить о значении слова, находясь вне семантической области, и как можно было бы говорить о знаке, находясь тоже вне всякой семантики? Поэтому в указанной нами теории языковых функций имеет значение только самый принцип функции, но как мы им можем воспользоваться – этот вопрос для своего разрешения требует от нас очень больших усилий мысли. Принцип этот, повторяем, весьма значителен, поскольку от вышеприведенных общелогических теорий знака и значения он отличается математической ясностью и необходимой для языка спецификой.
Между прочим, в советской науке уже высказывалась мысль о том, что значение есть не что иное, как структура знаковой операции[107]. И это – очень важный момент для понимания как знака, так и значения. С другими столь же важными моментами мы встретимся ниже. О невозможности понимать знак атомарно, вне его реляционной связи как в отношении выражения, так и в отношении содержания слова, удачно рассуждает Ю. Лотман[108].