Новая философская энциклопедия - понятие

Понятие (наряду с суждением и научной теорией) — одна из основных форм отражения мира на рациональной, логической ступени познания. Понятия представляют собой идеальные сущности, продукты мыслительной деятельности человека. В естественном языке понятия выражаются посредством описательных терминов вида «объект из универсума (рода) U, обладающий признаком А» (первую часть этой конструкции называют родовым термином, а вторую — видовым отличием), а в прикладном языке логики предикатов они могут быть представлены выражениями типа , где — переменная (или кортеж переменных) по объектам из универсума, a — запись признака, на основе которого производится обобщение объектов. Логическая форма понятия получается замещением в каждого нелогического термина параметром соответствующей семантической категории.

Каждое понятие имеет две основные логические характеристики — экстенсиональную (объем) и интенсиональную (содержание). Объем понятия — класс объектов, выделяемых из универсума и обобщаемых в данном понятии (обозначается как WotA(a) или (а: А(а)}). Отдельные объекты из данного класса называются элементами объема понятия. Содержание понятия aA(ct) — признак A(a), с помощью которого производится выделение и обобщение объектов.

В современной теории понятия различают фактические и логические его содержание и объем. Фактическое содержание понятия   — та информация, которую имеет выражение А(а) с учетом значений входящих в его состав нелогических терминов. Логическое содержание данного понятия — это информация А(а) без учета значений входящих в него дескриптивных терминов, т. е. информация, которую содержит логическая форма  выражения А(а).

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