ЭКСТЕНСИОНАЛЬНЫЕ И НЕЭКСТЕНСИОНАЛЬНЫЕ ЯЗЫКИ

от лат. extensio – протяжение, расширение) – понятия, являющиеся экспликатами традиционного (восходящего к Пор-Рояля логике) подхода к выражениям языка с т. зр. их объемной (означение) и содержательной (соозначение) характеристики. Экстенсиональным называют любой язык (формализованный или неформализованный), в к-ром постулируется тождество между объемом и содержанием понятий (предложении), или, говоря иначе, такой язык, в к-ром все контексты (понятия) сохраняют свойство п о д с т а н о в о ч н о с т и, т.е. к ним беспрепятственно применяется правило замены равного равным. Еще иначе можно сказать, что в экстенсиональных языках абстрагируются от смысла выражений, так что содержание выражения в экстенсиональном языке исчерпывается его значением. В противном случае язык называют неэкстенспональным. Напр., неэкстенсиональными являются все языки, выражения в к-рых могут быть (или являются) ф у н к ц и я м и м н е н и я, т.е. могут содержать (или содержат) такие синтаксич. члены, как "я думаю" (или "мне думается"), "я знаю", "я уверен", "припоминается" и т.д. При наличии указанных синтаксич. членов возникают т.н. косвенные контексты (косвенная речь), к к-рым не всегда применимо правило замены равного равным и, следовательно, не всегда допустимо использование синонимов. Экстенсиональные языки проще неэкстенсиональных и в этом отношении предпочтительнее. Но с т. зр. выразит. возможностей они беднее. К экстенсиональным формализованным языкам относятся, напр., язык алгебры логики, классич. предикатов исчисления и теории множеств, в к-рых в соответствии с принципом абстракции объем и содержание понятий отождествляются. Лит.: Карнап Р., Значение и необходимость, [пер. с англ.], М., 1959; его же, Introduction to semantics and formalization of logic, L., 1959; Russell В., Introduction to mathematical philosophy, L.–N. Y., 1927, ch. 17; Freudenthal H., Logique math?matique appliqu?e, P., 1958. M. Новоселов. Москва.