Краткий курс логики: Искусство правильного мышления   ::   Гусев Дмитрий Алексеевич

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

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