- объемность; сведение содержания, понятий, утверждений, контекстов к их объемам. Экстенсионалом языкового выражения в логике называют обозначаемый им объект или класс объектов. Экстенсионалом собственного имени является обозначаемый им объект; экстенсионалом общего имени будет класс обозначаемых им объектов; экстенсионалом предикатного выражения называют класс предметов, обладающих соответствующим свойством, и т. п. — предложение или совокупность взаимосвязанных предложений, говорящих только об экстенсионалах входящих в них выражений. Критерием для отличения экстенсиональных контекстов от неэкстенсиональных является принцип взаимозаменимости: если при замене двух выражений с одним и тем же экстенсионалом в некотором предложении это предложение остается истинным, то, значит, мы имеем дело с экстенсиональным контекстом. Если при такой замене истинное предложение превращается в ложное, значит, контекст неэкстенсионален. Напр., выражения «высочайшая вершина мира» и «Эверест» обозначают один и тот же объект, т. е. имеют один и тот же экстенсионал. Рассмотрим истинное предложение «Высочайшая вершина мира находится в Гималаях». Если в этом предложении мы заменим выражение «высочайшая вершина мира» экстенсионально эквивалентным выражением «Эверест», то предложение останется истинным: «Эверест находится в Гималаях». Следовательно, это предложение экстенсионально: для него важен только экстенсионал входящих в него выражений. Рассмотрим другое истинное предложение: «Н. не знал, что Эверест является высочайшей вершиной мира». Если мы проведем в нем замену, аналогичную предыдущей, то получим: «Н. не знал, что Эверест является Эверестом». Последнее предложение явно ложно, следовательно, контекст неэкстенсионален. Для него важны не только экстенсионалы входящих в него выражений, но и их интенсионалы, смыслы (см.: Имя, Интенсионал и экстенсионал).
Если Вы искали другое значение слова/фразы Экстенсиональность, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Экстенсиональность ищут определения этих слов:
Экзистенциальное Высказывание — (от лат. existentia - существование) — высказывание о существовании к.-л. предметов и явлений, напр.: «Жизнь на Марсе существует», «Существуют ядовитые грибы» и т. п. Для выражения таких высказываний в формальном языке используется квантор...
Эквивалентность — или: Равнозначность, - общее название отношений, являющихся рефлексивными, симмет- ричными и транзитивными (см.: Отношение типа равенства). Таковы, напр., отношения равночисленности, подобия, изоморфизма и др. В логике Э. — сложное высказывание...
Эквивокация — — логическая ошибка, заключающаяся в том, что одно и то же слово используется в разных значениях в одном рассуждении. Слова естественного языка, как правило, многозначны, поэтому всегда существует опасность совершить Э. в рассуждении или в...
Функтор — — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак «+» можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние...
Формализация — (от лат. forma — вид, образ) — отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и отношениям ставятся в соответствие некоторые устойчивые, хорошо обозримые и отождествимые материальные...
Экстенсиональность — - объемность; сведение содержания, понятий, утверждений, контекстов к их объемам. Экстенсионалом языкового выражения в логике называют обозначаемый им объект или класс объектов. Экстенсионалом собственного имени является обозначаемый им объект;...
Юма Принцип — — принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую...
Эвристика — (от греч. heurisko - отыскиваю, открываю) - совокупность приемов и методов, облегчающих и упрощающих решение познавательных, конструктивных, практических задач. Э. называют также специальную научную область, изучающую специфику творческой...
Формализация — (от лат. forma — вид, образ) — отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и отношениям ставятся в соответствие некоторые устойчивые, хорошо обозримые и отождествимые материальные...
Экзистенциальное Высказывание — (от лат. existentia - существование) — высказывание о существовании к.-л. предметов и явлений, напр.: «Жизнь на Марсе существует», «Существуют ядовитые грибы» и т. п. Для выражения таких высказываний в формальном языке используется квантор...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку: