Словарь логики - поиск
ключевые слова (используйте * для поиска по части слова)

Экстенсиональность

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