интенсионал и экстенсионал

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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Игры ⚽ Поможем написать реферат

Полезное


Смотреть что такое "интенсионал и экстенсионал" в других словарях:

  • ИНТЕНСИОНАЛ —     ИНТЕНСИОНАЛ одно из основных понятий логической семантики, вводимое как одно из уточнений понятия смысла. Существуют различные методы семантического анализа смысла и значения десигнативных выражений. Г. Фреге выделяет два аспекта содержания… …   Философская энциклопедия

  • ВОЗМОЖНЫЙ МИР (ВОЗМОЖНЫЕ МИРЫ) — широкое распространение данного понятия связано с проблемами квантификации модальных контекстов в системах модальной и интенсиональной логики, в которых оно полагается в качестве интуитивного (формально не определяемого и не конкретизируемого)… …   Современный философский словарь

  • экстенсиональный контекст — предложение или совокупность взаимосвязанных предложений, говорящих только об экстенсионалах входящих в них выражений. Критерием для отличения экстенсиональных контекстов от неэкстенсиональных является принцип взаимозаменимости: если при замене… …   Словарь терминов логики

  • интенсиональная логика —         ИНТЕНСИОНАЛЬНАЯ ЛОГИКА (от лат. intension усиление) область символической логики, в которой формализуют понятие смысла языкового выражения. Традиция различать смысл (англ. sense, meaning; нем. Sinn) и значение (англ. reference,… …   Энциклопедия эпистемологии и философии науки

  • ИНТЕНСИОНАЛЬНАЯ ЛОГИКА —     ИНТЕНСИОНАЛЬНАЯ ЛОГИКА область неклассических логик, в которой используется понятие смысла языкового выражения в целях анализа широкого класса контекстов естественного языка. Логический анализ понятия смысла языкового выражения предполагает… …   Философская энциклопедия

  • ЗНАЧЕНИЕ — содержание, обозначенное тем или иным языковым выражением словом, предложением, знаком и т.п. Вопрос о З. языковых выражений исследуется лингвистикой, семиотикой и логической семантикой. Различают предметное, смысловое и экспрессивное З. языковых …   Философская энциклопедия

  • Понятие — Понятие  1) мысль, отражающая в обобщённой форме предметы и явления действительности посредством фиксации их свойств и отношений; последние (свойства и отношения) выступают в понятии как общие и специфические признаки, соотнесённые с классами… …   Лингвистический энциклопедический словарь

  • СЕМАНТИКА — раздел семиотики, в котором изучаются значение и смысл различных знаковых форм, в т. ч. и языковых знаков и выражений. Выделение С. в качестве части семиотики, наряду с теорией синтаксиса синтактикой и теорией употребления знаков прагматикой… …   Современный философский словарь

  • НАЗВАНИЕ — языковое выражение, применяемое для обозначения (именования, называния) – и тем самым выделения, и фиксирования – вещей, свойств, отношений и т.п. Н. обычно предполагает наличие нек рого – конкретного или абстрактного, реального или воображаемого …   Философская энциклопедия

  • АНТИНОМИИ ОТНОШЕНИЯ ИМЕНОВАНИЯ —     АНТИНОМИИ ОТНОШЕНИЯ ИМЕНОВАНИЯ антиномии, возникающие в ситуациях именования при применении правила замены равного равным (принципа взаимозаменимости).     Напр., в предложении “Птолемей считал, что Солнце вращается вокруг Земли”, замена… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»