- понятия, введенные австрийским логиком и философом Р. Карнап ом для анализа зна - чения языковых выражений. Метод И. и Э. представляет собой модификацию и дальнейшую разработку семантической концепции немецкого математика и логика Г. Фреге . Но если для Фреге исходным и основным было понятие имени , то Карнап скорее ориентировался на роль прилагательных - он анализировал предикаты. Утверждение « Сократ — человек» можно трактовать двояко. Можно считать , что это утверждение приписывает Сократу некоторое свойство « быть человеком». В то же время данное утверждение можно рассматривать как говорящее о том, что индивидуум Сократ включается в класс людей. Этот пример показывает, что предикат, в данном случае «человек», может обозначать как свойство, так и класс. Класс ы и свойства взаимосвязаны: каждое свойство задает некоторый класс и каждому классу соответствует некоторое свойство. Объекты, обладающие свойством «быть человеком», образуют класс людей; с другой стороны, класс людей характеризуется тем, что входящие в него элементы обладают свойством «быть человеком». Класс, задаваемый некоторым свойством, может быть и пустым. Большую роль в концепции Карнапа играет понятие эквивалентности. Два класса эквивалентны, если они состоят из одних и тех же элементов. Два предиката эквивалентны, если они обозначают один и тот же класс. Класс, обозначаемый предикатным выражением, называется Э. этого выражения. И. предикатного выражения Карнап называет выражаемое им свойство. Напр., Э. предиката «человек» является класс людей; его И. будет свойство «быть человеком». Предикат ы «человек» и «существо, имеющее мягкую мочку уха» будут экстенсионально эквивалентны, т. к. обозначают один и тот же класс. Предикаты «человек» и «существо, способное производить орудия труда» не только экстенсионально, но и интенсионально эквивалентны, т. к. обозначают один и тот же класс и выражают одно и то же свойство. Поскольку два предложения являются эквивалентными в том случае, когда имеют одинаковое истинностное значение, постольку Э. предложения целесообразно считать его истинностное значение. И. предложения является выражаемое им суждение , мысль . Э. собственного имени Карнап считал предмет , обозначаемый этим именем; И. имени является концепт - индивидуальное понятие. Понятия Э. и И. лежат в основе различения экстенсиональных и интенсиональных контекст ов. Экстенсиональными контекстами называют множества утверждений, в которых взаимозаменимы экстенсионально эквивалентные языковые выражения, т. е. которые учитывают лишь Э. выражений. Интенсио- нальный контекст допускает замену только интенсионально эквивалентных выражений, т. е. для него важны И. выражений (см.: Имя, Смысл , Значение ).
Что такое Интенсионал И Экстенсионал? Значение Интенсионал И Экстенсионал в словаре логики
Интенсионал И Экстенсионал - - понятия, введенные австрийским логиком и философом Р. Карнапом для анализа зна - чения языковых выражений. Метод И. и Э. представляет собой модификацию и дальнейшую разработку семантической концепции немецкого математика и логика Г. Фреге. Но если для Фреге исходным и основным было понятие имени, то Карнап скорее ориентировался на роль прилагательных - он анализировал предикаты. Утверждение «Сократ — человек» можно трактовать двояко. Можно считать, что это утверждение приписывает Сократу некоторое свойство «быть человеком». В то же время данное утверждение можно рассматривать как говорящее о том, что индивидуум Сократ включается в класс людей. Этот пример показывает, что предикат, в данном случае «человек», может обозначать как свойство, так и класс. Классы и свойства взаимосвязаны: каждое свойство задает некоторый класс и каждому классу соответствует некоторое свойство. Объекты, обладающие свойством «быть человеком», образуют класс людей; с другой стороны, класс людей характеризуется тем, что входящие в него элементы обладают свойством «быть человеком». Класс, задаваемый некоторым свойством, может быть и пустым. Большую роль в концепции Карнапа играет понятие эквивалентности. Два класса эквивалентны, если они состоят из одних и тех же элементов. Два предиката эквивалентны, если они обозначают один и тот же класс. Класс, обозначаемый предикатным выражением, называется Э. этого выражения. И. предикатного выражения Карнап называет выражаемое им свойство. Напр., Э. предиката «человек» является класс людей; его И. будет свойство «быть человеком». Предикаты «человек» и «существо, имеющее мягкую мочку уха» будут экстенсионально эквивалентны, т. к. обозначают один и тот же класс. Предикаты «человек» и «существо, способное производить орудия труда» не только экстенсионально, но и интенсионально эквивалентны, т. к. обозначают один и тот же класс и выражают одно и то же свойство. Поскольку два предложения являются эквивалентными в том случае, когда имеют одинаковое истинностное значение, постольку Э. предложения целесообразно считать его истинностное значение. И. предложения является выражаемое им суждение, мысль. Э. собственного имени Карнап считал предмет, обозначаемый этим именем; И. имени является концепт - индивидуальное понятие. Понятия Э. и И. лежат в основе различения экстенсиональных и интенсиональных контекстов. Экстенсиональными контекстами называют множества утверждений, в которых взаимозаменимы экстенсионально эквивалентные языковые выражения, т. е. которые учитывают лишь Э. выражений. Интенсио- нальный контекст допускает замену только интенсионально эквивалентных выражений, т. е. для него важны И. выражений (см.: Имя, Смысл, Значение).
Соседние слова
Что такое Индукция Математическая, Полная Математическая ИндукцияЧто значит Индукция Неполная
Что означает Индукция Полная
Значение Индукция Популярная
↑ Интенсионал И Экстенсионал ↓
Что такое Интерпретация
Что значит Интерсубъективный
Что означает Интуитивная Логика
Значение Интуиционизм
Узнайте лексическое, прямое, переносное значение следующих слов:
- Контрарная Противоположность - (от лат. contrarius противоположный) — отношение между ...
- Контрадикторная Противоположность - (от лат. contradictorius — противоречащий) — отношение между ...
- Контекст - (от лат. contextus — сцепление, соединение, связь) — ...
- Коннотация - (от лат. connotatio — добавочное значение) — дополнительные ...
- Классификация - — многоступенчатое, разветвленное деление логического объема понятия. Результатом ...
- Категория - (от греч. kategoria высказывание, обвинение, признак) — ...
- Кавычки - — в грамматике естественного языка парный знак препинания ...
- Импликация Материальная - - импликация в трактовке логики классической. Для установления истинности ...
- Иллюстрация - (от лат. illustratio прояснять) факт или ...
- Идеализация - — процесс мысленного конструирования представлений и понятий об ...
- Знание - — результат процесса познания действительности, получивший подтверждение в ...
- Закон Экспортации - Импортации - (от лат. exportare вывозить, importare — ввозить) — ...
- Закон Мышления - - термин традиционной логики, обозначавший требование к логически совершенному ...
- Закон Косвенного Доказательства - логический закон, позволяющий делать заключения об истинности ...
- Пропозициональная Связка - операция, позволяющая из данных суждений (высказываний) строить ...