- объемность; сведение содержания, понятий, утверждений, контекстов к их объемам. Экстенсионалом языкового выражения в логике называют обозначаемый им
объект или
класс объектов. Экстенсионалом собственного имени является обозначаемый им объект; экстенсионалом общего имени будет класс обозначаемых им объектов; экстенсионалом предикатного выражения называют класс предметов, обладающих соответствующим
свойством, и т. п. Экстенсиональный
контекст -
предложение или совокупность взаимосвязанных предложений, говорящих только об экстенсионалах входящих в них выражений. Критерием для отличения экстенсиональных контекстов от неэкстенсиональных является
принцип взаимозаменимости: если при замене двух выражений с одним и тем же экстенсионалом в некотором предложении это предложение остается истинным, то, значит, мы имеем дело с экстенсиональным контекстом. Если при такой замене
истинное предложение превращается в ложное, значит, контекст неэкстенсионален. Напр., выражения "высочайшая вершина мира" и "Эверест" обозначают
один и тот же объект, т. е. имеют один и тот же экстенсионал. Рассмотрим истинное предложение "Высочайшая вершина мира находится в Гималаях". Если в этом предложении мы заменим
выражение "высочайшая вершина мира" экстенсионально эквивалентным выражением "Эверест", то предложение останется истинным: "Эверест находится в Гималаях". Следовательно, это предложение экстенсионально: для него важен только экстенсионал входящих в него выражений. Рассмотрим другое истинное предложение: "Н. не знал, что Эверест является высочайшей вершиной мира". Если мы проведем в нем замену, аналогичную предыдущей, то получим: "Н. не знал, что Эверест является Эверестом". Последнее предложение явно ложно, следовательно, контекст неэкстенсионален. Для него важны не только экстенсионалы входящих в него выражений, но и их интенсионалы,
смыслы (см.: Имя,
Интенсионал и экстенсионал).
