Теория семантических категорий

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

Исторические предпосылки

Учение о семантических категориях восходит к Фреге и Гуссерлю. Гуссерль связывал введение такого рода категорий именно с анализом языка, а также с обоснованием "чистой логики".

Но наиболее интенсивную разработку оно получило в польской школе логики.

Лесневский использует теорию семантических категорий в исследовании оснований дедуктивных наук. По Лесневскому, типология значений интуитивно очевидный и философски необходимый шаг. Соблюдение правил теории семантических категорий — необходимое условие осмысленности выражений естественных языков. Такой подход выступает именно развитием идей Гуссерля. Как верно отмечают Френкель и Бар-Хиллел, "по Лесневскому, наша интуиция такова, что (почти) все правильно построенные выражения любого языка — как разговорного, так и искусственного — принадлежат одной и только одной из семантических категорий, составляющих потенциально бесконечную и весьма разветвленную иерархию. Иерархия эта состоит из двух основных категорий, а именно категории имен и категории предложений (в число которых всегда включаются и открытые [1])... и бесконечной совокупности функторных категорий, различаемых в зависимости от категорий и числа аргументных выражений функторов, принадлежащих этим категориям, и от категории выражений, получающегося в результате применения этих функторов к аргументам".

Тарский дает классификацию формализованных языков в зависимости от порядка и числа семантических категорий, к которым принадлежат переменные языка.

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

В 60-е гг. идея теории семантических категорий начинает разрабатываться в английской школе логики Монтегю и Крессвеллом.

Понятие семантической категории

Два выражения принадлежат к одной и той же семантической категории, если 1) имеется пропозициональная формула (предложение), содержащая одно из этих выражений, и 2) ни одна пропозициональная формула (предложение), содержащая одно из этих выражений, не теряет характера пропозициональной формулы (предложения), если одно из этих выражений заменить другим. Соответственно понятию "принадлежать к одной и той же семантической категории" все выражения языка разбиваются на непересекающиеся классы — семантические категории (категории значений). При этом смысл предложения или условие истинности предложения при такой замене могут изменяться.

Пример.

"Ручка лежит на столе".

Меняем слово "ручка" на слово "кот", получаем:

"Кот лежит на столе".

Предложение "Кот лежит на столе" также осмысленно, значит, "кот" принадлежит к той же семантической категории, что и ручка.

Дата добавления: 2015-07-16