 |
 |
|
 |
|
|
ЭКСТЕНСИОНАЛЬНОСТЬ |
| Социологический Энциклопедичечкий Словарь |
| ЭКСТЕНСИОНАЛЬНОСТЬ (от лат. extensio - протяжение, расширение) - англ. extensionality; нем. Ехtensionalitat. Свойство подстановочности, проявляющееся в сохранении значений (объемов) выражениями к.-л. языка относительно возможных (в данном языке) преобразований этих выражений; предполагает абстракцию отождествлению выражений, принятую в том или ином языке, и, соответственно, указывает на интервал этой абстракции. см. ИНТЕНСИОНАЛЬНОСТЬ. |
| Философский энциклопедический словарь 2 |
(от лат. extensio — протяжение, расширение), свойство подстановочности, проявляющееся в сохранении значений (объёмов) выражениями к.л. языка относительно возможных (в данном языке) преобразований этих выражений. Поскольку подстановочность обусловлена тождеством, Э. предполагает абстракцию отождествления выражений, принятую в том или ином языке, и соответственно указывает на интервал этой абстракции. Так, напр., отождествляются классы и определяющие их свойства, отношения и соответств. предикаты и т. п. Если предложения языка отождествляются по их денотативному (истинностному) значению (см. Денотат), то свойством Э. обладают только те новествоват. синтаксич. конструкции языка, которые не содержат предложений, выражающих косвенную или прямую речь. Это обусловлено тем, что операции преобразования предложений в прямую или косвенную речь, а также модальные операции не сохраняют отношения равнообразности предложений — их тождества по истинностному значению. Такова, в частности, ситуация в естеств. языках, которым свойственны косвенные контексты (в них равнообразности недостаточно, чтобы определяемое ею отношение считать тождеством). Напротив, в языках классич. логики, где подходящим выбором универсума рассуждения (предметной области) косвенные контексты исключаются, а все операции над высказываниями сохраняют отношение равнообразности, именно последнее отношение оказывается единств. отношением тождества. Т. о., в теоретико-мно-жеств. логике и основанных на ней теориях Э. выражений обеспечивается за счёт неявного постулата о неразличимости равнообъёмных свойств (или объёма и содержания понятий). В языке самой теории множеств этот постулат формулируется уже явно в виде аксиомы, или принципа, Э. (равнробъёмности): любое мно-жество полностью определяется заданием его элементов. Науч. язык, который строится в соответствии с принципом, эквивалентным принципу Э., наз. экстенсиональным языком. В противном случае язык наз. неэкстенсиональным, или интенсиональным (см. Интенсиональность). В экстенсиональных языках абстрагируются от психологич. и прагма-тич. оттенков смысла выражений, поэтому они проще интенсиональных и в этом отношении предпочтительнее, однако с т. зр. выразит. возможностей экстенсиональные языки беднее: их информац. задачи всецело ограничены предметным (модельным) аспектом значения. Кроме языков логики, к экстенсиональным форма-лизов. языкам относятся языки математики, химии, языки программирования.
Карнап Р., Значение и необходимость, пер. с англ., М., 195Я; Фреге Г., Смысл и денотат, пер. с нем., в кн.: Семиотика и информатика, в. 8, ?., 1977. |
|
|
|
|
|
|
|
|
 |
|
 |
|
|
