Определение не должно содержать круг.

При нарушении данного правила возникает ошибка «круг в определении». Суть этой ошибки заключается в том, что Dfd определяется через Dfn, а Dfn непосредственно или опосредованно определяется через Dfd.

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

Разновидностью круга в определении является ошибка, называемая «тавтологией», или на латыни «то же, через то же самое» («idem per idem»).

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

Например, «Государство – это организация государственной власти», «История – это нака об исторических событиях», «Комичное – это все то, что является смешным», «Возможность – это все то, что может быть».

Определение по возможности не должно быть отрицательным.

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

Например, «Геология – это не география», «Республика – это форма правления, которая не является монархией».

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

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