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

Определения подразделяются на:

а) явные, в которых чётко выделены определяемое и определяющие понятия (например, определение через ближайший род и видовое отличие);

б) неявные, которые строятся по принципу замены одного понятия другим с более широким объёмом и окончание цепочки есть неопределяемое понятие, т.е. формально-логическое определение (например, квадрат – ромб с прямым углом; ромб – параллелограмм с равными смежными сторонами; параллелограмм – четырёхугольник, с попарно параллельными сторонами; четырёхугольник – фигура, состоящая из 4 углов, 4 вершин, 4 сторон). В школьных определениях чаще всего практикуется первый способ, схема которого такова: имеем множества и некоторое свойство тогда

где , ;

Основное требование при построение определений: определяемое множество должно быть подмножеством минимального множества. Например, сравним два определения: (1) Квадрат есть ромб с прямым углом; (2) Квадрат есть параллелограмм с равными сторонами и прямым углом (избыточное).

Всякое определение есть решение задачи на “доказательство существования”. Например, прямоугольный треугольник есть треугольник с прямым углом; его существование – построение.