Основные правила определений

Формулируя определения, придерживаются ряда правил. Назовем основные.

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

Например, несоразмерно такое определение квадрата: «Квадратом называется четырехугольник, у которого все стороны равны». Действительно, объем определяемого понятия – множество квадратов. Объем определяющего понятия – множество четырехугольников, все стороны которых равны, а это множество ромбов. Но не всякий ромб есть квадрат, т.е. объемы определяемого и определяющего понятия не совпадают, и, следовательно, данное определение несоразмерно.

2.  В определении (или их системе) не должно быть порочного круга.

Это означает, что нельзя определять понятие через само себя (в определяющем не должно содержаться определяемого термина) или определять его через другое, которое, в свою очередь, определять через него.

Например, содержат порочный круг определения: «Равные треугольники – это треугольники, которые равны», «Касательная к окружности – это прямая, которая касается окружности».

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

Например, если определить окружность как границу круга, а круг как часть плоскости, ограниченную окружностью, то мы будем иметь порочный круг в определениях данных понятий.

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

Например, нельзя определять прямоугольник как параллелограмм с прямым углом, если понятие «параллелограмм» еще не рассмотрено.

К условиям ясности определения относят также рекомендацию включать в видовое отличие лишь столько свойств, сколько необходимо и достаточно для выделения определяемых объектов из объема родового понятия.

Рассмотрим, например, такое определение прямоугольника: «Прямоугольником называется четырехугольник, у которого все углы прямые и противоположные стороны равны».

Нетрудно убедиться в том, что это определение соразмерное и в нем нет порочного круга. Но можно доказать, что свойство «в прямоугольнике противоположные стороны равны» вытекает из свойства «в прямоугольнике все углы прямые». В этом случае считают, что в данном определении прямоугольника второе свойство избыточное.

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

Для обеспечения ясности определения важно также наличие понятия, родового по отношению к определяемому. Пропуск родового понятия делает определение несоразмерным. Неприемлемо, например, такое определение квадрата: «Квадрат – это когда все стороны равны».

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

Например, если для определения квадрата в качестве родового выбрать понятие «четырехугольник», то тогда надо будет включать в видовое отличие два свойства: «иметь все прямые углы» и «иметь все равные стороны». В результате получим определение: «Квадратом называется четырехугольник, у которого все углы прямые и все стороны равны».

Если же в качестве родового выбрать ближайшее для квадрата родовое понятие – прямоугольник, то получим более короткое определение квадрата: «Квадратом называется прямоугольник, у которого все стороны равны».

4. Одно и то же понятие определить через род и видовое отличие, соблюдая сформулированные выше правила, можно по-разному. Так, квадрат можно определить как:

а)  прямоугольник, у которого соседние стороны равны;

б)  прямоугольник, у которого диагонали взаимно перпендикулярны;

в)  ромб, у которого есть прямой угол;

г)  параллелограмм, у которого все стороны равны, а углы прямые.

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

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

Завершая рассмотрение определений понятий через род и видовое отличие, назовем ту последовательность действий, которую мы должны соблюдать, если хотим воспроизвести определение знакомого понятия или построить определение нового:

1.     Назвать определяемое понятие (термин).

2.     Указать ближайшее родовое (по отношению к определяемому) понятие.

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

4.     Проверить, выполнены ли правила определения понятия (соразмерно ли оно, нет ли порочного круга и т.д.).