Для формальных языков такое описание было предложено, например, К. Айдукевичем в концепции "радикального конвенционализма". Айдукевич вводит такие логические понятия языка, переводимости и т.д., которые не могут быть адекватными соответствующим понятиям лингвистики: он накладывает на них настолько жесткие ограничения, что для естественных языков они оказываются неприменимыми. Тем не менее они могут, с его точки зрения, рассматриваться как упрощенные схемы, идеализированные модели лингвистических объектов3.
Если понимать язык как систему выражений, наделенных значением, то для его однозначной характеристики необходимо и достаточно установить запас выражений, а также значения, принадлежащие выражениям в этом языке. С такой точки зрения, устанавливая значения выражений, мы тем самым устанавливаем возникающие между ними связи, на основании которых можно сформулировать некоторые правила употребления выражений, называемые правилами значения.
Рассмотрим два примера:
1. Если кто-либо, говорящий на русском языке, отказывается признать выражение "Треугольник имеет три угла", то мы с полным правом можем сделать вывод, что этот человек связывает со словами этого выражения не те значения, которые принадлежат им в русском языке. То же самое можно сказать, если кто-нибудь признает выражение "Иван старше Петра" и одновременно отрицает "Петр моложе Ивана", или же признает "Если А, то В" и предыдущий член этого выражения "А", но вместе с тем отрицает "В". Если мы пользуемся значениями, которые имеют слова этих выражений в русском языке, мы обязаны признавать выражения, вытекающие из первых.
2. Если кто-либо испытывает чувство боли и вместе с тем отказывается признать выражение "болит", то он связывает с этим словом не то значение, которое принадлежит ему в русском языке.
Отсюда можно установить следующие правила: только тот пользуется выражениями языка L в значении, которое они имеют в этом языке, кто всегда, находясь в ситуации S, готов признать выражение типа Т. Такого вида правила Айдукевич и называет правилами значения языка.
Он выделяет три вида правил:
1) аксиоматические правила значения, указывающие те выражения, отрицание которых, независимо от ситуации, в которой это отрицание происходит, указывает на нарушение присущих данному языку значений;
2) дедуктивные правила значения, выделяющие пары выражений такого вида, что, признав первое выражение, нужно быть готовым признать и второе, если не нарушать значений, присущих словам данного языка;
