Логика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Оставляя в стороне сложные и спорные детали теории семантических категорий, можно ограничиться выделением трех основных категорий языковых выражений: имен, предложений (высказываний) и функторов.

Именами являются языковые выражения, подстановка которых в форму "S есть Р" вместо переменных S и Р дает осмысленное предложение.