Определение понятий

Понятия не являются врожденными или автоматически приобрета­емыми в опыте. Они - продукт специальной умственной деятельности, которую мы будем называть определением (конструированием).

Определить понятие в общем случае означает за­дать (выяснить) его универсум, содержание и объ­ем

Определяя понятия, мы, с одной стороны, придаем словам нужное значение (указываем класс вещей, к которым они относятся), а с дру­гой - познаем суть вещей (разъясняем их сущность).

Понятие, которое требуется определить, часто называют дефиниен- думом (от лат. definiendum),сокращенно dfd.Понятия, с помощью кото­рых конструируется дефиниендум, соответственно называют дефиниен- сом (от лат. definiens),сокращенно dfn.Дефиниенс состоит из родового понятия и ограничивающих его видовых понятий (рис. 2.7).

Рис. 2.7. Состав дефиниенса

Процесс определения понятий удобно представить в виде следующе­го алгоритма.

Алгоритм процесса определения понятий

1. Сравниваем вещь, понятие о которой необходимо сконструиро­вать, с другими вещами подобного рода и определяем родовое понятие, а также множество необходимых признаков, ограничивающих его.

2. Находим соответствующий родовому понятию универсум.

3. Строим дерево определения согласно следующим правилам.

3.1. Каждый видовой признак разбивает универсум на два класса - выполняющий его свойства и выполняющий свойства его дополнения.

3.2. Новый шаг разбиения всегда начинается с класса, соответс­твующего предыдущему видовому признаку. Классы, являющиеся до­полнениями, в разбиении универсума более не участвуют. Число шагов разбиения должно быть равно числу видовых признаков. Общее число результатов разбиения универсума равно 2ⁿ,где n- число видовых при­знаков. Число фактически полученных классов равно n + 1.

4. Устанавливаем достаточность видовых признаков. Критерием до­статочности служит равенство dfd = dfn,согласно которому dfdи dfnяв­ляются необходимыми и достаточными друг для друга.

Практически достаточность проверяется перестановкой местами dfd и dfn.Если при этом не возникает искажений смысла, дефиниендум и де- финиенс считаются эквивалентными, а определение корректным. В про­тивном случае имеет место либо dfd>dfn,либо dfddfn,тогда имеет место слишком узкое определе­ние. Это означает, что dfnсодержит только достаточные признаки как, например, в определении «сладости - это конфеты», поскольку ясно, что вещь может быть сладкой, но при этом не быть конфетой.

Если истинно dfd