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

§8. (1) Определение понятий

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

Наверное, самый поучительный в этом отношении урок доставили многовековые стремления математиков доказать постулат о параллельных, закончившиеся созданием неевклидовых геометрий. Уже после того, как была позади долгая стадия поисков и сомнений, и предстояло осмысливать достигнутые необычные результаты, неожиданно обнаружилось, что в доказательствах не было самого главного - определения того, о чем шла речь в первую очередь, то есть определения прямой линии. И поскольку это так, в него автоматически превратились аксиомы, на которые опиралось доказательство: 1) между двумя точками можно провести прямую линию и притом только одну, 2) прямая - кратчайшее расстояние между точками. Все причудливые построения, допускающие несколько параллельных прямых, проходящих через одну и ту же точку (пространство Лобачевского), или, наоборот, не допускающие ни одной (пространство Римана), в логическом отношении совершенно безупречны, но они, оказывается, относятся не к прямой в обычном смысле этого слова, а к кратчайшей линии между двумя точками, которую можно провести между ними только одну. Иными словами, неевклидовы геометрии говорят о пространствах, в которых линии обладают только этими двумя свойствами и не имеют больше никаких иных. Очистить наши представления о линиях от наслоений чувственного опыта и провести строгую дедукцию с такими искусственно созданными понятиями могли лишь гениальные математические умы, настоящие титаны мысли. Однако в дальнейшем обнаружилось, что полученные результаты имеют простое наглядное представление. Линии, удовлетворяющие только названным выше аксиомам, скажем, на шаре представляют собой всем известные меридианы, и среди них действительно нет и не может быть таких, которые не пересекаются (нет параллельных, как этого и требует геометрия Римана). А на так называемой псевдосфере такие же линии могут, наоборот, не пересекаться вообще (у каждой есть много параллельных - геометрия Лобачевского).

Неевклидовы геометрии - не единственный случай, когда побочный результат научных поисков стал главным достижением. Но факт остается фактом: появились они из-за того, что не было и нет определения прямой и точки. Более того, такие определения невозможно сформулировать, так как не существует ничего более простого, чем они.

Разумеется, далеко не всегда отсутствие определения может столь радикально обогатить наши привычные представления. Гораздо чаще нежелание обстоятельно продумать и сформулировать точную дефиницию порождает бестолковое топтание на месте. Во избежание недоразумений, для достижения точности и полной ясности в рассуждениях, выводах, доказательствах, при анализе высказываний и тем более в спорах определения совершенно необходимы. Они вообще представляют собой один из атрибутов научного знания. Нельзя было бы создать ни одной теории без строго определенных понятий и категорий. Ими обязательно пользуется каждая наука. Однако теория самого определения разрабатывается только в логике. В ней формулируются правила определения понятий и указываются возможные ошибки, когда эти правила не соблюдаются. Кроме того, логика выявляет виды определения и тех приемов, которые могут его заменить, когда строгая формулировка затруднительна или вообще невозможна.

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

В определениях через ближайший род и видовое отличие очень четко задаются соотношения понятий по объему. Благодаря этому с ними легче всего совершать логические операции и процедуры. Вообще всякая наука стремится к тому, чтобы скомпоновать всю совокупность своих понятий в единую систему, составленную из нескольких последовательно нисходящих родовидовых ярусов: самые фундаментальные понятия разветвляются на некоторое число видов, те в свою очередь дробятся на подвиды и так далее. Обычно это удается достигнуть в более или менее полной форме в относительно законченных разделах научного знания, когда выявлены существенные необходимые связи, пронизывающие всю толщу изучаемых явлений, процессов, а также взаимодействий и взаимовлияний между ними, в которых они участвуют. В этом случае каждое из изучаемых данной наукой явлений вписано в общую картину в качестве всесторонне изученного фрагмента, становится понятным и прогнозируемым: известны факторы, под влиянием которых оно преобразуется, и одновременно точно установлены и легко прослеживаются следствия, которые вызывает само данное явление.

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