2. Определение должно быть соразмерным. Объемы определяющего и определяемого понятий должны быть одинаковыми. Когда у понятий один и тот же объем, но они задаются через разные признаки, то такие понятия равнозначны. Совершенно очевидно, что определяющее и определяемое понятия должны быть именно таковыми. Только в этом случае знание об одном из них можно переносить на другое, и при этом, с одной стороны, не произойдет переноса сделанных утверждений на лишние, не входящие в соответствующий объем предметы, с другой стороны, и упущено ничего не будет.
Нарушение этого правила ведет к трем разновидностям ошибок:
1) слишком узкому определению, когда объем определяющего понятия уже, чем определяемого. Спутник Земли – Луна. Однако, кроме Луны, у Земли есть другие, как естественные, так и искусственные, спутники;
2) слишком широкому определению. Планета – это звездный объект. На первый взгляд утверждение правильно, но на самом деле не все звездные объекты – планеты;
3) слишком широким определением в одном отношении и слишком узким в другом: «животное – живой организм, живущий в лесу».
3. Определение не должно быть тавтологичным, т. е. не должно образовывать круга. Примером тавтологичных выражений является понятие «круглый круг». В таких выражениях вместо объяснения или определения нужных нам явлений дается ничего не говорящая фраза, в которой просто повторяется то, что уже и без того известно или даже прямо выражено в названии.
Тавтологии бывают прямые (явные) и скрытые. Выше был описан пример явной тавтологии. В скрытой же определяющее понятие отличается от определяемого, однако его задание само требует обращения к этому определяемому. Скрытой тавтологией является мифическое утверждение, что Земля держится на трех китах, а киты в свою очередь живут в воде, которая находится на Земле.
4. Определение не должно быть отрицательным. В отрицательных определениях не даются признаки предмета, а указывается, каких признаков нет.
Однако у этого правила есть исключения: «несовершеннолетний – не несущий ответственности за свои поступки, не достигший определенного возраста». Причем с такими понятиями можно работать, совершать над ними логические операции, применять к ним логические законы точно так же, как и по отношению к понятиям, заданным через ближайший род и видовое отличие. Надо сказать, что такие понятия имеются в разных науках и образуют целый устойчивый класс. Иногда их даже указывают среди видов понятий как их особую разновидность.