Екстенсіональність - це

(Від лат. Extensio - протяг, розширення). властивість підстановлювальний, що виявляється в збереженні значень (обсягів) виразами к.л. мови щодо можливих (в даному мовою) перетворень цих виражень. Оскільки підстановлювальний обумовлена ​​тотожністю, Е. передбачає абстракцію ототожнення виразів, прийняту в тій чи іншій мові, і відповідно вказує на інтервал цієї абстракції. Так, напр .. ототожнюються класи і визначають їх властивості, відносини і відповідності. предикати і т. п. Якщо пропозиції мови ототожнюються з їх денотативному (істінностной) значенням (див. Денотат). то властивістю Е. володіють тільки ті новествоват. синтаксич. конструкції мови, які не містять пропозицій, що виражають непряму або пряму мову. Це обумовлено тим, що операції перетворення пропозицій в пряму або непряму мову, а також модальні операції незберігають відносини равнообразності пропозицій - їх тотожності по істинності значення. Така, зокрема, ситуація в природ. мовах, яким властиві непрямі контексти (в них равнообразності недостатньо, щоб визначається нею ставлення вважати тотожністю). Навпаки, в мовах класичні. логіки, де підходящим вибором універсуму міркування (предметної області) непрямі контексти виключаються, а всі операції над висловлюваннями зберігають відношення равнообразності, саме останнім ставлення виявляється єдностей. ставленням тотожності. Т. о .. в теоретико-мно-дружність. логіці і заснованих на ній теоріях Е. виразів забезпечується за рахунок неявного постулату про нерозрізненості равнооб'ёмних властивостей (або обсягу і змісту понять). У мові самої теорії множин цей постулат формулюється вже явно у вигляді аксіоми, або принципу, Е. (равнроб'ёмності). будь-мно-дружність повністю визначається завданням його елементів. Наук. мова. який будується відповідно до принципу, еквівалентним принципом Е. зв. екстенсіональним мовою. В іншому випадку мова зв. неекстенсіональним, або інтенсіональні (див. Інтенсіональні). У екстенсиональних мовах абстрагуються від психологічний. і прагма-тич. відтінків сенсу виразів, тому вони простіше інтенсіональних і в цьому відношенні переважніше, однак з т. зр. висловить. можливостей екстенсіональності мови біднішими: їх інформаці. завдання повністю обмежені предметним (модельним) аспектом значення. Крім мов логіки, до екстенсіональним форма-лізов. мов відносяться мови математики, хімії, мови програмування.

Філософський енциклопедичний словник. - М. Радянська енциклопедія. Гл. редакція: Л. Ф. Іллічов, П. Н. Федосєєв, С. М. Ковальов, В. Г. Панов. 1 983.

Екстенсіональності (від лат. Extensio - протяг, розширення) - заменяемость рівних (синонімічних) виразів стосовно контекстів і мов. Контексти, що задовольняють правилам заміни рівних, названі екстенсіональності; так само названі і мови, все контексти яких екстенсіональності. В іншому випадку говорять про неекстенсіональності (або Інтенсіональні) мов і контекстів.

Екстенсіональність не є абсолютним лінгвістичним властивістю, а передбачає ту чи іншу абстракцію ототожнення мовних виразів, матеріалізовану в відповідних правилах заміни рівних. Якщо визначається правилами рівність є внутрішньою характеристикою мови (незалежної від позамовних фактів), то заміна рівних не має обмежень і допустима в будь-яких контекстах. Такі, зокрема, графічне рівність виразів або синтаксична синонімія, по відношенню до яких кожна мова екстенсіоналу. Якщо ж поняття про рівне вводиться з урахуванням якої мається на увазі (хоча, можливо, і довільної) моделі як референційна еквівалентність. то екстенсіональність зберігається не для всіх контекстів. Обмеження на застосування правила заміни рівних в цьому випадку виникають тому, що референція, будучи функцією сенсу, може змінитися в результаті заміни рівних за предметним значенням, але нерівних за змістом. Тому до; яа: тенсіональним природно відносити лише такі контексти, в яких сенс не керує референцией, а до інтенсіональні, - навпаки, такі, в яких референція управляє змістом. У число останніх включають зазвичай деякі модальні і все епістеміческіе контексти, контексти думки, а також пряму і непряму мову; в число перших - все контексти, позбавлені будь-якої "особистісного забарвлення". Хоча екстенсіональність додає мові деякі переваги обчислення (і витонченість симетрії істиннісних значень його виразів щодо перетворень синонімії), екстенсіональності мови, звичайно, по своїх виразних можливостях біднішими інтенсіональних, т. К. В них абстрагуються від психологічних і прагматичних аспектів повідомлень.