Идея семантических категорий была выдвинута в начале этого века Э.Гуссерлем, называвшим их «категориями значения». Как логико-философская доктрина, имеющая обширные приложения в исследованиях языка, теория категорий была детально развита польскими логиками С.Лесневским, К.Айдукевичем и А.Тарским.
Подразделение речевых оборотов на семантические категории производится в зависимости от того, что эти обороты означают. Два выражения считаются относящимися к одной и той же семантической категории рассматриваемого языка, если замена одного из них другим в произвольном осмысленном предложении не превращает это предложение в бессмысленное. Наоборот, два выражения всегда относятся к разным категориям, если подстановка одного из них вместо другого ведёт к утрате осмысленности.
Например, имена Сократ и Платон относятся к одной и той же семантической категории: замена одного из них другим в любом осмысленном предложении даёт опять-таки осмысленное предложение. Скажем, предложение «Платон был учителем Аристотеля» является осмысленным и истинным. Получаемое из него путём замены предложение «Сократ был учителем Аристотеля» будет ложным, но осмысленным.
Выражения же «Сократ» и «стоит» принадлежат разным семантическим категориям, поскольку из предложения «Сократ стоит» при замене слова «стоит» словом «Сократ» образуется выражение «Сократ Сократ», не являющееся вообще предложением.
Ещё несколько примеров. Выражения «либо …, либо …» и «если …, то …» относятся к одной и той же категории, так как при преобразовании, допустим, предложения «Либо идёт дождь, либо дует ветер» в предложение «Если идёт дождь, то дует ветер» осмысленность сохраняется. Слова «больше» и «старше» также принадлежат одной и той же семантической категории, поскольку всякое предложение, осмысленное с одним из этих слов, будет осмысленным и с другим.
Выражения же «больший» и «либо» относятся к разным категориям: замена первого выражения вторым в осмысленном, хотя и ложном, предложении «Мадрид больше Парижа» даёт бессмысленное целое «Мадрид либо Парижа». Сходным образом, замена «либо» на «каждый» ведёт к превращению осмысленного предложения в бессмысленное, и поэтому «либо» и «каждый» принадлежат разным семантическим категориям.
Очевидно, что осмысленность не тождественна истинности. Имеют смысл, а значит являются осмысленными, не только истинные, но и ложные высказывания.
Согласно теории семантических категорий, каждое правильно построенное выражение языка принадлежит одной и только одной из семантических категорий. В принципе этих категорий бесконечное число, и они составляют весьма разветвлённую иерархию.
В неё входят две основные категории и бесконечная совокупность так называемых функторных категорий. К основным относятся категория имён и категория предложений (высказываний), включающие также имена и предложения с переменными (подобные «брат некоторого S» и «Если Аристотель был учеником Платона, то A», где S – какое-то имя, а A – предложение). Функторные категории различаются в зависимости от того, к чему применяется операция, называемая функтором, и что возникает в результате её применения.
К примеру «Солнце» – это имя, «Солнце греет» – предложение. Слово «есть» – функтор, образующий предложение из двух других предложений и т.д.
Имеются функторы, преобразующие имена в предложения, предложения в предложения, имена в имена и предложения в имена. Имеются также более сложные функторы, преобразующие одни функторы в другие.
В разных языках число семантических категорий является разным. Существуют, например, языки с одной-единственной категорией имён, и имеются языки с несколькими категориями имён.
В обычном языке нет таких жёстких границ между речевыми оборотами как те, которые предполагаются теорией семантических категорий. Кроме того, может оказаться, что в языках разных народов границы между выражениями проводятся по разному. Скажем, в русском языке говорить о «каждом Аристотеле» не вполне естественно. Но из этого ещё не следует, что и в любом другом языке этот оборот будет резать слух.
Ограниченная применимость теории семантических категорий к естественным языкам не исключает, разумеется, что с её помощью нельзя получить интересных наблюдений и заключений, относящихся к этим языкам.
Оставляя в стороне сложные и спорные детали теории семантических категорий, можно ограничиться выделением трех основных категорий языковых выражений: имён, предложений (высказываний) и функторов.