ЭКСТЕНСИОНАЛЬНОСТЬ
ЭКСТЕНСИОНАЛЬНОСТЬ
- объемность; сведение содержания, понятий, утверждений, контекстов к их объемам. Экстенсионалом языкового выражения в логике называют обозначаемый им объект или класс объектов. Экстенсионалом собственного имени является обозначаемый им объект; экстенсионалом общего имени будет класс обозначаемых им объектов; экстенсионалом предикатного выражения называют класс предметов, обладающих соответствующим свойством, и т. п.
Экстенсиональный контекст
- предложение или совокупность взаимосвязанных предложений, говорящих только об экстенсионалах входящих в них выражений. Критерием для отличения экстенсиональных контекстов от неэкстенсиональных является принцип взаимозаменимости: если при замене двух выражений с одним и тем же экстенсионалом в некотором предложении это предложение остается истинным, то, значит, мы имеем дело с экстенсиональным контекстом. Если при такой замене истинное предложение превращается в ложное, значит, контекст неэкстенсионален. Напр., выражения "высочайшая вершина мира" и "Эверест" обозначают один и тот же объект, т. е. имеют один и тот же экстенсионал. Рассмотрим истинное предложение "Высочайшая вершина мира находится в Гималаях". Если в этом предложении мы заменим выражение "высочайшая вершина мира" экстенсионально эквивалентным выражением "Эверест", то предложение останется истинным: "Эверест находится в Гималаях". Следовательно, это предложение экстенсионально: для него важен только экстенсионал входящих в него выражений. Рассмотрим другое истинное предложение: "Н. не знал, что Эверест является высочайшей вершиной мира". Если мы проведем в нем замену, аналогичную предыдущей, то получим: "Н. не знал, что Эверест является Эверестом". Последнее предложение явно ложно, следовательно, контекст неэкстенсионален. Для него важны не только экстенсионалы входящих в него выражений, но и их интенсионалы, смыслы (см.: Имя, Интенсионал и экстенсионал).
Источник: Словарь по логике
ЭКСТЕНСИОНАЛЬНОСТЬ
от лат. extensio - протяжение, расширение), свойство подстановочности, проявляющееся в сохранении значений (объемов) выражениями к.-л. языка относительно возможных (в данном языке) преобразований этих выражений. Поскольку подстановочность обусловлена тождеством, Э. предполагает абстракцию отождествления выражений, принятую в том или ином языке, и соответственно указывает на интервал этой абстракции. Так, напр., отождествляются классы и определяющие их свойства, отношения и соответств. предикаты и т. п. Если предложения языка отождествляются по их денотативному (истинностному) значению (см. Денотат), то свойством Э. обладают только те новествоват. синтаксич. конструкции языка, к-рые не содержат предложений, выражающих косвенную или прямую речь. Это обусловлено тем, что операции преобразования предложений в прямую или косвенную речь, а также модальные операции не сохраняют отношения равнообразности предложений - их тождества по истинностному значению. Такова, в частности, ситуация в естеств. языках, к-рым свойственны косвенные контексты (в них равнообразности недостаточно, чтобы определяемое ею отношение считать тождеством). Напротив, в языках классич. логики, где подходящим выбором универсума рассуждения (предметной области) косвенные контексты исключаются, а все операции над высказываниями сохраняют отношение равнообразности, именно последнее отношение оказывается единств. отношением тождества. Т. о., в теоретико-множеств. логике и основанных на ней теориях Э. выражений обеспечивается за счет неявного постулата о неразличимости равнообъемных свойств (или объема и содержания понятий). В языке самой теории множеств этот постулат формулируется уже явно в виде аксиомы, или принципа, Э. (равнробъемности): любое множество полностью определяется заданием его элементов. Науч. язык, к-рый строится в соответствии с принципом, эквивалентным принципу Э., наз. экстенсиональным языком. В противном случае язык наз. неэкстенсиональным, или интенсиональным (см. Интенсиональность). В экстенсиональных языках абстрагируются от психологич. и прагматич. оттенков смысла выражений, поэтому они проще интенсиональных и в этом отношении предпочтительнее, однако с т. зр. выразит. возможностей экстенсиональные языки беднее: их информац. задачи всецело ограничены предметным (модельным) аспектом значения. Кроме языков логики, к экстенсиональным формализов. языкам относятся языки математики, химии, языки программирования.
Источник: Советский философский словарь
ЭКСТЕНСИОНАЛЬНОСТЬ
от лат. extensio — протяжение, расширение) - заменяемость равных (синонимичных) выражений применительно к контекстам и языкам. Контексты, удовлетворяющие правилам замены равных, названы экстенсиональными; так же названы и языки, все контексты которых экстенсиональны. В противном случае говорят о неэкстенсиональности (или интенсиональности) языков и контекстов.
Экстенсиональность не является абсолютным лингвистическим свойством, а предполагает ту или иную абстракцию отождествления языковых выражений, материализованную в соответствующих правилах замены равных. Если определяемое правилами равенство является внутренней характеристикой языка (независимой от внеязыковых фактов), то замена равных не имеет ограничений и допустима в любых контекстах. Таковы, в частности, графическое равенство выражений или синтаксическая синонимия, по отношению к которым каждый язык экстенсионален. Если же понятие о равном вводится с учетом подразумеваемой (хотя, быть может, и произвольной) модели как референциальная эквивалентность, то экстенсиональность сохраняется не для всех контекстов. Ограничения на применение правила замены равных в этом случае возникают оттого, что референция, являясь функцией смысла, может измениться в результате замены равных по предметному значению, но неравных по смыслу. Поэтому к ;яа:тенсиональным естественно относить лишь такие контексты, в которых смысл не управляет референцией, а к интенсиональным, — напротив, такие, в которых референция управляет смыслом. В число последних включают обычно некоторые модальные и все эпистемические контексты, контексты мнения, а также прямую и косвенную речь; в число первых — все контексты, лишенные какой-либо «личностной окраски». Хотя экстенсиональность придает языку некоторые преимущества исчисления (и изящество симметрии истинностных значений его выражений относительно преобразований синонимии), экстенсиональные языки, конечно, по своим выразительным возможностям беднее интенсиональных, т. к. в них абстрагируются от психологических и прагматических аспектов сообщений.
Лит.: Карнап Р. Значение и необходимость, пер. с англ. М., 1959; Тондл Л. Проблемы семантики, пер. с чеш. М., 1975; Фреге Г. Смысл и денотат, пер. с нем.— В кн.: Семиотика и информатика. М., 1977, вып. 8; Кринке С. Загадка контекстов мнения, пер. с англ.— В кн.: Новое в зарубежной лингвистике. М., 1986, вып. 18; Рассел Б. Исследование значения и истины, пер. с англ. М., 1999.
М. М. Новоселов
Экстенсиональность не является абсолютным лингвистическим свойством, а предполагает ту или иную абстракцию отождествления языковых выражений, материализованную в соответствующих правилах замены равных. Если определяемое правилами равенство является внутренней характеристикой языка (независимой от внеязыковых фактов), то замена равных не имеет ограничений и допустима в любых контекстах. Таковы, в частности, графическое равенство выражений или синтаксическая синонимия, по отношению к которым каждый язык экстенсионален. Если же понятие о равном вводится с учетом подразумеваемой (хотя, быть может, и произвольной) модели как референциальная эквивалентность, то экстенсиональность сохраняется не для всех контекстов. Ограничения на применение правила замены равных в этом случае возникают оттого, что референция, являясь функцией смысла, может измениться в результате замены равных по предметному значению, но неравных по смыслу. Поэтому к ;яа:тенсиональным естественно относить лишь такие контексты, в которых смысл не управляет референцией, а к интенсиональным, — напротив, такие, в которых референция управляет смыслом. В число последних включают обычно некоторые модальные и все эпистемические контексты, контексты мнения, а также прямую и косвенную речь; в число первых — все контексты, лишенные какой-либо «личностной окраски». Хотя экстенсиональность придает языку некоторые преимущества исчисления (и изящество симметрии истинностных значений его выражений относительно преобразований синонимии), экстенсиональные языки, конечно, по своим выразительным возможностям беднее интенсиональных, т. к. в них абстрагируются от психологических и прагматических аспектов сообщений.
Лит.: Карнап Р. Значение и необходимость, пер. с англ. М., 1959; Тондл Л. Проблемы семантики, пер. с чеш. М., 1975; Фреге Г. Смысл и денотат, пер. с нем.— В кн.: Семиотика и информатика. М., 1977, вып. 8; Кринке С. Загадка контекстов мнения, пер. с англ.— В кн.: Новое в зарубежной лингвистике. М., 1986, вып. 18; Рассел Б. Исследование значения и истины, пер. с англ. М., 1999.
М. М. Новоселов
Источник: Новая философская энциклопедия