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

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

П слишком широкому определению, при котором определение включает в себя также и элементы, не относящиеся к определяемому понятию;

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

Вопросу точного отграничения данного понятия от всех других большое значение придавал Аристотель. В его формулировке правило соразмерности выглядит следующим образом: "Такого рода [свойства] следует, таким образом, брать до тех пор, пока не получают их как раз столько, чтобы каждое простиралось на большее, но чтобы все вместе не простирались на большее, ибо эта [совокупность свойств] необходимо есть сущность [вещи] (понятие - С.Е.)" [4, с.334]. Иными, современными словами, каждый признак (свойство по Аристотелю) из множества определяющего должен выделить некое подмножество, которое полностью включало бы в себя подмножество определяемого понятия, а пересечение подмножеств, выделяемых всеми признаками, давало нам точное подмножество определяемого понятия. При этом вовсе не обязательно, чтобы граница подмножества была описана именно теми признаками, при помощи которых мы производили процедуру выделения. Наше определение понятия не пострадает, если "уже заданные линии применить новым способом для ограничения области" [100, с. 110] нашего определяемого понятия. Что нам совершенно необходимо для соразмерности понятия, так "это его точные границы, чтобы для каждого предмета было определено, попадает он под него (понятие - С.Е.) или нет" [100, с. 99].