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

1. Определение не должно быть широким, т. е. определение не должно превышать своим объёмом определяемое понятие. Например, определение: «Солнце – это небесное тело», – является широким: определение «небесное тело» по объёму намного больше определяемого понятия «Солнце». Из приведённого определения не вполне понятно, что такое Солнце, ведь небесное тело – это и планета, и комета и т. п. В данном случае можно также сказать, что, пользуясь классическим способом определения, мы подвели определяемое понятие «Солнце» под родовое понятие «небесное тело», но не сделали второй шаг – не указали на его видовое отличие.

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

Как видим, ошибка узкого определения противоположна ошибке широкого определения. Если определение не должно быть широким и не должно быть узким, то каким же тогда оно должно быть? Оно должно быть соразмерным, т. е. понятие и его определение должны быть равны друг другу. Вернёмся к определению: «Астрономия – это наука о небесных телах», – которое является соразмерным. В этом примере определяемое понятие «астрономия» и определение: «…наука о небесных телах» находятся в отношении равнозначности: астрономия – это именно наука о небесных телах, а наука о небесных телах – это только астрономия. Определение является соразмерным тогда, когда между его первой частью (определяемым понятием) и второй (определением) можно поставить знак « = ». Если же между первой и второй частью определения ставится знак « > » или « < », то оно является ошибочным – широким или узким соответственно. В данном случае мы видим проявление одного из основных законов логики – закона тождества.

3. В определении не должно быть круга, т. е. в определении нельзя употреблять понятия, которые являются определяемыми. Например, в определении: «Клеветник – это человек, который занимается клеветой», – присутствует круг, поскольку понятие «клеветник» определяется через понятие «клевета», т. е. фактически – через само себя. Если бы, услышав приведённое определение, мы спросили, что такое клевета, нам могли бы ответить: «Клевета – это то, чем занимается клеветник». Присутствующий в определении круг (или тавтология, с греч. – повтор) приводит к тому, что содержание понятия не раскрывается, и определение является ошибочным. Однако наверняка найдутся люди, которые скажут, что из определения: «