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

ЭКСТЕНСИОНАЛЬНЫЕ И НЕЭКСТЕНСИОНАЛЬНЫЕ ЯЗЫКИ
ЭКСТЕНСИОНА́ЛЬНЫЕ И НЕЭКСТЕНСИОНА́ЛЬНЫЕ ЯЗЫКИ
(от лат. 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. Новосёлов. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


.

Игры ⚽ Нужно сделать НИР?

Полезное


Смотреть что такое "ЭКСТЕНСИОНАЛЬНЫЕ И НЕЭКСТЕНСИОНАЛЬНЫЕ ЯЗЫКИ" в других словарях:

  • ЛОГИЧЕСКИЙ АТОМИЗМ — учение о том, что реальность состоит из некоторых неанализируемых логических атомов, из которых строятся все др. онтологические сущности и положения дел. Термин введен в 1918 5. Расселом, который и развивал это учение вместе со своим учеником Л.… …   Философская энциклопедия

  • ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… …   Философская энциклопедия

  • СИНОНИМЫ — (от греч. συνώνυμος – одноименный) в л о г и к е – два или более (графически) различных выражения к. л. (формализованного) языка, обозначающие, или называющие (при интерпретации этого языка), один и тот же объект (или др. словами, имеющие одно и… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»