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


Экстенсиона́л (от лат. extentio — протяжение, пространство, распространение) — термин семантики, обозначающий объём понятия, то есть множество объектов, способных именоваться данной языковой единицей (категорией). Например, в экстенсионал (категория) понятия «человек» входят все объекты, обладающие свойством «быть человеком» (Сократ — это человек, философ — это человек, мыслящее существо — это человек и т.п.).

Понятие экстенсионала было введено австрийским логиком и философом Р. Карнапом для анализа значения языковых выражений. Т. н. метод интенсионалов и экстенсионалов представляет собой модификацию и дальнейшую разработку семантической концепции немецкого математика и логика Г. Фреге.

Утверждение «Сократ — человек» можно трактовать двояко. Утверждение можно рассматривать как то, что Сократ обладает некоторым свойством «быть человеком» (Сократ есть человек). В то же время утверждение можно рассматривать как то, что индивидуум Сократ включается в класс людей (Сократ — это человек).

Пример показывает, что предикат (в данном случае «человек»), может обозначать как обладание свойством (Сократ есть человек), так и принадлежность к классу (Сократ — это человек). Класс, обозначаемый предикатным выражением, и называется собственно экстенсионалом этого выражения. То есть в данном случае «Сократ» входит в экстенсионал понятия «человек».

Таким образом экстенсионал противопоставляется интенсионалу, который обозначает совокупность свойств понятия/термина, собственно формирующих понятие/термин в представлении. То есть, более точно, экстенсионал понятия следует понимать как множество объектов, удовлетворяющих интенсионалу понятия.

Частным случаем экстенсионала является экстенсионал имени собственного. Таким единичным экстенсионалом принято считать предмет, обозначаемый этим именем.