Определение термина "определение"

Три пути у человек, чтобы разумно поступать:

первый, самый благородный, - размышление, 

второй, самый легкий, - подражание, 

третий, самый горький, - опыт. 

Конфуций.

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

Явные и неявные определения.

Явные. Синонимические определения: А=В, А=(В и С), А=(логическая формула (B,C,D,...).

Неявные. Контекстные. Определяются посредством указания связей и отношений. А принадлежит результату функций A принадлежит F(x1. x2, ...).

Правила явного определения.

Правило соразмерности. 

Экстенсионал правой части должен соответствовать экстенсионалу правой части.

То есть A-B и B-A должны быть пустыми множествами.

Отсутствие порочного круга. 

Определение В не может содержать в правой части А.

Правило ясности понятий. 

Значение и смысл В должно быть понятно тем, для кого предназначено определение. Иначе, должно быть указано, что необходимо знать, чтобы истолковать В.

Ивин. А.А. Искусство правильно мыслить. М. Просвещение. 1986.

Титов В.Н. Выбор целей в поисковой деятельности (методы анализа проблем и поиска решений в технике). - М. "Речной порт", 1991..