Первое требование, предъявляемое к правильности определения – соразмерность определяемого и определяющего понятий по объему

Второе требование запрещает логический круг в определении. Нарушение этого требования сводится к тому, что определяемое понятие (дефиниецдум) определяется через определяющее понятие (дефиниенс), а последнее, в свою очередь, определяется через дефиниендум. Эта ошибка именуется как логический круг в определении (или тавтология), когда определяется "то же через то же" (по латыни: idem per idem).

Конечно, при формулировке подобных ошибочных определений используются другие слова, но смысл их остается тем же самым. Иногда такие определения, к сожалению, встречаются и в учебниках. Мы уже приводили пример в гл. 1, когда логику определяли как науку о правильном мышлении, но в дальнейшем выяснилось, что под правильным мышлением подразумевалось мышление, подчиняющееся законам логики. Обычно логические круги в определении допускаются тогда, когда определяемому понятию трудно найти определяющее понятие. Так происходит при определении весьма широких понятий (или категорий). В связи с этим, например, возможность иногда определяют как то, что может быть, а может и не быть, случайность – как то, что может произойти, а может и не произойти или случиться, количество – как то, что может быть измерено или выражено числом, хотя число служит для количественной характеристики объектов.

Третье требование постулирует, чтобы определения не были отрицательными.

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

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

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