§ 4. Как всякая деятельность мышления, определение может быть правильным и неправильным. Правильное определение, т. е. определение, указывающее существенные признаки понятия, выражается в форме предложения, в котором подлежащее есть само определяемое понятие, сказуемое же содержит в себе перечисление существенных признаков определяемого. Логическое определение не есть простое пояснение значения слова — вроде тех, которые содержатся в толковых словарях, например в толковом словаре Ушакова. Логическое определение не есть и простая подстановка одного слова вместо другого. Логическое определение раскрывает для мысли признаки, которые мыслятся наукой в содержании понятия.
§ 5. Мы уже знаем, что объём понятия находится в обратном отношении с его содержанием, указанным в определении. В зависимости от того, какие существенные признаки мыслятся в содержании понятия, объём этого понятия будет бо́льшим или меньшим. Но именно потому, что объём каждого понятия ограничивается содержанием понятия, определение должно быть таково, чтобы оно точно указывало тот объём, который мыслится в данном понятии.
Поэтому первое условие правильности определения состоит в его соразмерности. Определение называется соразмерным, если объём определяющего понятия в точности равен объёму понятия определяемого. В определении «квадрат есть прямоугольник, у которого все стороны равны», объёмы определяемого («квадрат») и определяющего («прямоугольник, у которого все стороны равны») в точности равны друг другу: все квадраты суть такие прямоугольники, и все такие прямоугольники суть квадраты.
Определение, в котором требование соразмерности не соблюдено, будет неправильным определением. Рассмотрим, например, определение «квадрат есть четырёхугольник, у которого все стороны равны». Определение это неверно, так как несоразмерно: ромб — тоже равносторонний четырёхугольник. Ошибочность этого определения в том, что при его посредстве нельзя точно отличить квадрат от ромбоида. Определение, в котором объём определяющего больше объёма определяемого, называется чересчур широким.
Несоразмерное определение может быть и чересчур узким. Так называется определение, в котором объём определяющего оказывается меньшим сравнительно с объёмом определяемого. Например, определение «энергия есть способность производить полезную работу» есть также несоразмерное, но при этом чересчур узкое определение. И действительно, объём определяющего оказался здесь меньшим сравнительно с объёмом определяемого: определяющее указывает на способность производить полезную работу, в то время как в действительности понятие энергии означает способность производить всякую работу, будет ли она полезной или бесполезной.
Второе условие правильного определения состоит в том, что определение не должно заключать в себе круга. Кругом называется такой способ определения, когда понятие как будто определяется посредством другого понятия, однако это другое понятие таково, что оно само может сделаться понятным только через определяемое. Таково, например, определение «величина есть всё то, что можно увеличивать и уменьшать». Здесь понятие величины раскрывается посредством понятия увеличения и уменьшения, однако это понятие в свою очередь разъясняется только посредством понятия величины. И действительно, увеличение и уменьшение есть не что иное, как изменение величины.
Особо явный случай круга в определении образует тавтология. Так называется определение, в котором определяющее представляет простое повторение того, что мыслится в определяемом. В такой явной форме тавтология хотя и редко, но встречается. В одной плохой книжке по истории музыки автор, желая пояснить, в чём сущность музыкального стиля Мейербера, писал: «Стиль Мейербера — это настоящий мейерберовский стиль». Определение это — яркий пример тавтологии.