Некоторые выражения мысли кажутся на первый взгляд тавтологиями, но в действительности не являются тавтологиями. Существует, например, французская поговорка «на войне как на войне» (à la guerre comme à la guerre). Выражение это вовсе не есть определение, а потому не есть и тавтология. Выражение это означает приблизительно следующее: на войне не приходится проявлять мягкости в отношении врага, как не приходится ждать и себе пощады от врага, т. е. война есть война со всеми своими последствиями.
Третье условие правильного определения: определение не должно быть только отрицательным. Отрицательным называется такое определение, в котором указано только, какие признаки не принадлежат данному понятию, но не указывается, какие признаки принадлежат ему. Так, определение «паук — не насекомое» есть отрицательное определение. В нём имеется только указание на то, что существенные признаки понятия «насекомое» не совпадают с существенными признаками понятия «паук».
В самом деле: с точки зрения зоологии и пауки и насекомые принадлежат к членистоногим, но при этом пауки относятся к хелицероносным членистоногим, а насекомые — к трахейнодышащим членистоногим. Отношение между этими двумя группами такое же, как отношение, например, между остроугольными и прямоугольными треугольниками. И те и другие — треугольники, но отсюда не следует, что остроугольные треугольники суть прямоугольные.
Из отрицательного определения понятия «паук» никак нельзя узнать, каковы же будут существенные признаки паука. Поэтому такое определение мало пригодно для расширения действительного знания о предмете. Отрицательное определение ограничивается областью признаков невыясненных. Вопрос, где, среди каких именно признаков следует искать те, которые образуют положительное содержание понятия о предмете, остаётся без рассмотрения.
Отрицательное определение встречается иногда в самых серьёзных научных изложениях. Например, в книге знаменитого древнего математика Евклида «Начала» имеется такое определение понятия точки: «Точка есть то, что не имеет частей»1. Определение это — явно отрицательное. Вызвано оно тем, что точка есть элемент пространства настолько простой и однородный, что всякая попытка найти в нём какие-нибудь части, которые могли бы служить для мысли положительными признаками понятия, не удаётся.
Отрицательным определением, подобным евклидову определению точки, является, например, имеющееся у Стэвина определение понятия твёрдого тела: «Твёрдое тело есть такое, которое не является ни жидким, ни текучим, не растворяется в воде и не испаряется в воздухе»2.
Однако некоторые отрицательные выражения, не будучи определениями, имеют вполне определённый смысл.
Возможность круга в определении, а также возможность отрицательных определений в мышлении даже крупных учёных доказывает не только то, что и крупные учёные могут иногда делать логические ошибки. Появление в мышлении тавтологий и отрицательных определений доказывает, что некоторые понятия с трудом поддаются определению. Таковы понятия, посредством которых мыслятся наиболее простые, «сами собой разумеющиеся» предметы, свойства предметов, действия. Попытка определить такие понятия приводит к тому, что мы или не узнаём из определения ничего нового (как это бывает при тавтологии), или узнаём то, что характеризует не положительно, но лишь отрицательно (как это бывает при отрицательном определении).
Поэтому, приступая к рассмотрению понятия, необходимо исследовать, допускает ли данное понятие определение или же попытка определить его приведёт лишь к тому, что на место ясного мы поставим менее ясное.
Четвёртым условием правильности определения является ясность определения, т. е. отсутствие в нём всякой двусмысленности. Многие выражения, например сравнения, будучи чрезвычайно картинными, образными и ценными для выражения чувства, для познания, однако, не являются вовсе определениями, так как не указывают существенных признаков предмета.
§ 6. Из всех возможных логических ошибок определения самая важная — ошибка чересчур широкого и чересчур узкого определения. В первом случае ошибка состоит в том, что в перечне признаков пропускается какой-либо необходимый существенный признак. Во втором случае, напротив, в содержание определяемого понятия вводится излишний признак, являющийся существенным только для некоторых предметов, мыслимых в понятии. В первом случае содержание определяемого понятия становится на один признак меньше, зато объём его мыслится большим. Во втором случае, напротив, в содержании определяемого предмета становится на один признак больше, зато объём понятия мыслится меньшим.
Определение через ближайший род и через видообразующее отличие
§ 7.Так как определение понятия состоит в установлении его существенных признаков, то правила определения должны, очевидно, заключать в себе указание приёмов, посредством которых могут быть найдены именно существенные, а не иные признаки определяемого понятия.
Во многих случаях перечисление всех таких признаков — слишком продолжительное занятие. Существует способ определения понятия без подробного перечисления всех его существенных признаков. Состоит этот способ в том, что указывается, во-первых, ближайший род, к которому это определяемое понятие принадлежит, и, во-вторых, указывается особый признак (или признаки), посредством которого данное понятие, как вид, отличается от всех других видов указанного рода.
Признак этот называется «видовым отличием» или «видообразующим отличием», самый же указанный приём определения в целом называется определением «через ближайший род и через видовое отличие».
Определение через ближайший род и видообразующее отличие применяется всюду там, где предыдущее исследование выяснило, что определяемое понятие есть понятие о предмете, принадлежащем к одному из видов некоторого рода. Другими словами, определение этого типа применяется к понятиям, входящим в систему отношений вида к роду и обратно. Таковы многие понятия математических, физико-химических и биологических наук. Так, рефлекс определяется в биологии как «непременная закономерная реакция организма на внешний агент, которая осуществляется при помощи определённого отдела нервной системы» 1.
Определение это есть определение через ближайший род и видообразующее отличие. Согласно этому определению, ближайшим родом для понятия о рефлексе является род реакций организма на внешний агент. Рефлекс есть один из видов таких реакций. Но определение не только указывает ближайший род, к которому принадлежит определяемое понятие. Определение указывает также, какими признаками определяемое понятие отличается как вид от других видов того же рода. Принадлежа к роду реакций организма на внешний агент, рефлекс отличается от других реакций организма тем, что это — 1) реакция непременная, 2) реакция закономерная и 3) реакция, осуществляемая при помощи определённого отдела нервной системы. Три этих признака составляют вместе видообразующее отличие, т. е. то, чем рефлекс как особый вид реакций организма на внешний агент отличается от других видов того же рода.
Генетическое определение
§ 8. Определение через ближайший род и видообразующее отличие предполагает, что определяемое понятие есть понятие о предмете, который 1) уже возник и существует и который связан определённым отношением принадлежности к другому классу предметов, заключающему его в себе так, как род заключает вид. При этом способ возникновения предмета не отмечается в самом определении.
Но определение может рассматривать предмет и по способу его возникновения или образования. При этом признаки содержания понятия, которые в обычном определении перечисляются или указываются как уже существующие, здесь рассматриваются как обусловленные самим способом возникновения предмета.
Так, например, круг можно определить как фигуру, получающуюся в результате вращения отрезка прямой вокруг одного из его концов в плоскости.
Определения этого типа называются генетическими от слова «генезис», означающего «возникновение».
§ 9. Генетические определения указывают такой способ происхождения или образования предмета, который представляется как всегда возможный. Таково только что приведённое определение круга. Всякий круг можно мыслить как возникший по способу, указанному в этом определении.
Генетические определения основываются на том, что, указывая на возможный способ образования или производства предмета, определения эти тем самым указывают и на свойства возникшего таким образом предмета
Ограничение понятия
§ 10. Включение в содержание понятия нового признака обычно приводит к тому, что объём понятия сужается, ограничивается. Но если включаемый в содержание понятия новый признак не принадлежит к числу существенных, но выводится из существенных, то добавление такого признака не изменяет объёма понятия. Так, например, если к числу существенных признаков понятия «квадрат» — к прямоугольности и равносторонности — мы добавим признак равенства диагоналей, то от этого добавления объём понятия «квадрат» не станет ни бо́льшим, ни меньшим. В этом случае объём понятия не изменится, так как не изменилось его содержание. И действительно, добавленный нами признак есть признак новый, но не существенный, так как он может быть выведен как следствие из уже установленных ранее существенных признаков понятия «квадрат».
Напротив, если присоединяемый к содержанию понятия новый признак не принадлежит всем предметам, мыслимым в объёме понятия, то добавление такого признака ведёт к тому, что объём понятия сужается. Так, если к числу признаков растения мы добавим признак размножения посредством спор, то мы сузим объём мыслимого в этом случае понятия растения, ограничив его споровыми растениями и исключив из него цветковые. Логическая операция, состоящая в прибавлении к содержанию понятия нового признака, наличие которого в содержании понятия сужает его объём, называется