Однако, ценность, как и истина, является не свойством, а отношением между мыслью и действительностью.

Утверждение и его объект могут находиться между собой в двух противоположных отношениях: истинностном и ценностном. В первом случае отправным пунктом сопоставления является объект, утверждение выступает его описанием и характеризуется с точки зрения истинностных понятий. Во втором случае исходным является утверждение, функционирующее как оценка, стандарт, план. Соответствие ему объекта характеризуется в оценочных понятиях.

Позитивно ценным является объект, соответствующий высказанному о нем утверждению, отвечающий предъявленным к нему требованиям.

Понимание истины как соответствия утверждений описываемым ими ситуациями – это так называемое «классическое» её определение. Определение ценности как соответствия самих объектов утверждениям о них также восходит к античности и с таким же правом может быть названо классическим.

Ценность, как и истина, не существует вне связи мысли и действительности.

К примеру, сопоставляются строящийся город и его план. Если за исходное принимается сам город, то несоответствие плана городу должно характеризоваться как ложность плана, а соответствие – как его истинность. Если же за исходное принимается план, то город рассматривается как его реализация и расхождение между планом и городом оценивается как недостаток города, а соответствие его плану – как его достоинство. План, соответствующий городу, является истинным; город, отвечающий плану, является хорошим, т.е. таким, каким он должен быть.

Ещё один пример возможности двух разных направлений соответствия между словами и миром. Предположим, что некий покупатель наполняет в супермаркете свою тележку, ориентируясь на имеющийся у него список. Другой человек, наблюдающий за ним, составляет список отобранных им предметов. При выходе из магазина в руках у покупателя и его наблюдателя могут оказаться два одинаковых списка, имеющих совершенно разные функции. Цель списка покупателя в том, чтобы, так сказать, приспособить мир к словам; цель списка наблюдателя – привести слова в согласие с действительностью. Для покупателя отправным пунктом служит список; мир, преобразованный в соответствии с последним, будет позитивно ценным (хорошим). Для наблюдателя исходным является мир; список, соответствующий ему, будет истинным. Если покупатель допускает ошибку, для её исправления он предпринимает предметные действия, видоизменяя плохой, не отвечающий списку мир. Если ошибается наблюдатель, он вносит изменения в ложный, не согласующийся с миром список.

Цель описания – сделать так, чтобы слова соответствовали миру, цель оценки – сделать так, чтобы мир отвечал словам. Это – две диаметрально противоположные функции. Очевидно, что они не сводимы друг к другу. Нет оснований также считать, что описательная функция языка является первичной или более фундаментальной, чем его оценочная функция.

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

Из грамматики хорошо известно деление предложений на части речи – существительное, прилагательное, глагол и т.д. Деление языковых выражений на семантические категории, широко используемое в логике, напоминает это грамматическое подразделение и в принципе произошло из него. На этом основании теорию семантических категорий иногда называют «логической грамматикой». Её задача – предотвращать смешение языковых выражений разных типов, которое ведёт к образованию бессмысленных выражений, подобных «Квадратичность пьёт воображение» или «Если дует ветер, то звезда».

Идея семантических категорий была выдвинута в начале этого века Э.Гуссерлем, называвшим их «категориями значения». Как логико-философская доктрина, имеющая обширные приложения в исследованиях языка, теория категорий была детально развита польскими логиками С.Лесневским, К.Айдукевичем и А.Тарским.

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

Например, имена Сократ и Платон относятся к одной и той же семантической категории: замена одного из них другим в любом осмысленном предложении даёт опять-таки осмысленное предложение. Скажем, предложение «Платон был учителем Аристотеля» является осмысленным и истинным. Получаемое из него путём замены предложение «Сократ был учителем Аристотеля» будет ложным, но осмысленным.

Выражения же «Сократ» и «стоит» принадлежат разным семантическим категориям, поскольку из предложения «Сократ стоит» при замене слова «стоит» словом «Сократ» образуется выражение «Сократ Сократ», не являющееся вообще предложением.

Ещё несколько примеров. Выражения «либо …, либо …» и «если …, то …» относятся к одной и той же категории, так как при преобразовании, допустим, предложения «Либо идёт дождь, либо дует ветер» в предложение «Если идёт дождь, то дует ветер» осмысленность сохраняется. Слова «больше» и «старше» также принадлежат одной и той же семантической категории, поскольку всякое предложение, осмысленное с одним из этих слов, будет осмысленным и с другим.

Выражения же «больший» и «либо» относятся к разным категориям: замена первого выражения вторым в осмысленном, хотя и ложном, предложении «Мадрид больше Парижа» даёт бессмысленное целое «Мадрид либо Парижа». Сходным образом, замена «либо» на «каждый» ведёт к превращению осмысленного предложения в бессмысленное, и поэтому «либо» и «каждый» принадлежат разным семантическим категориям.

Очевидно, что осмысленность не тождественна истинности. Имеют смысл, а значит являются осмысленными, не только истинные, но и ложные высказывания.

Согласно теории семантических категорий, каждое правильно построенное выражение языка принадлежит одной и только одной из семантических категорий. В принципе этих категорий бесконечное число, и они составляют весьма разветвлённую иерархию.

В неё входят две основные категории и бесконечная совокупность так называемых функторных категорий. К основным относятся категория имён и категория предложений (высказываний), включающие также имена и предложения с переменными (подобные «брат некоторого S» и «Если Аристотель был учеником Платона, то A», где S – какое-то имя, а A – предложение). Функторные категории различаются в зависимости от того, к чему применяется операция, называемая функтором, и что возникает в результате её применения.

К примеру «Солнце» – это имя, «Солнце греет» – предложение. Слово «есть» – функтор, образующий предложение из двух других предложений и т.д.

Имеются функторы, преобразующие имена в предложения, предложения в предложения, имена в имена и предложения в имена. Имеются также более сложные функторы, преобразующие одни функторы в другие.

В разных языках число семантических категорий является разным. Существуют, например, языки с одной-единственной категорией имён, и имеются языки с несколькими категориями имён.