Словарь логики - экстенсиональность
Экстенсиональность
объемность; сведение содержания, понятий, утверждений, контекстов к их объемам. Экстенсионалом языкового выражения в логике называют обозначаемый им объект или класс объектов. Экстенсионалом собственного имени является обозначаемый им объект; экстенсионалом общего имени будет класс обозначаемых им объектов; экстенсионалом предикатного выражения называют класс предметов, обладающих соответствующим свойством, и т.
п. — предложение или совокупность взаимосвязанных предложений, говорящих только об экстенсионалах входящих в них выражений. Критерием для отличения экстенсиональных контекстов от неэкстенсиональных является принцип взаимозаменимости: если при замене двух выражений с одним и тем же экстенсионалом в некотором предложении это предложение остается истинным, то, значит, мы имеем дело с экстенсиональным контекстом. Если при такой замене истинное предложение превращается в ложное, значит, контекст неэкстенсионален. Напр., выражения «высочайшая вершина мира» и «Эверест» обозначают один и тот же объект, т. е. имеют один и тот же экстенсионал. Рассмотрим истинное предложение «Высочайшая вершина мира находится в Гималаях».Если в этом предложении мы заменим выражение «высочайшая вершина мира» экстенсионально эквивалентным выражением «Эверест», то предложение останется истинным: «Эверест находится в Гималаях». Следовательно, это предложение экстенсионально: для него важен только экстенсионал входящих в него выражений. Рассмотрим другое истинное предложение: «Н.
не знал, что Эверест является высочайшей вершиной мира». Если мы проведем в нем замену, аналогичную предыдущей, то получим: «Н. не знал, что Эверест является Эверестом». Последнее предложение явно ложно, следовательно, контекст неэкстенсионален. Для него важны не только экстенсионалы входящих в него выражений, но и их интенсионалы, смыслы (см.
: Имя, Интенсионал и экстенсионал). .
Вопрос-ответ:
Самые популярные термины
1 | 372 | |
2 | 371 | |
3 | 363 | |
4 | 339 | |
5 | 338 | |
6 | 335 | |
7 | 328 | |
8 | 325 | |
9 | 324 | |
10 | 323 | |
11 | 319 | |
12 | 316 | |
13 | 313 | |
14 | 313 | |
15 | 311 | |
16 | 309 | |
17 | 309 | |
18 | 308 | |
19 | 306 | |
20 | 299 |