Текст книги "Удивительная логика"

Все писатели – люди, но не все люди – писатели
(Отношения между понятиями)

Понятия бывают совместимыми и несовместимыми.

Совместимыми называются понятия, объемы которых имеют общие элементы, каким-либо образом соприкасаются. Например, понятия спортсмен и американец совместимые, так как их объемы имеют общие элементы или объекты: есть такие спортсмены, которые являются американцами, и наоборот, есть такие американцы, которые являются спортсменами.

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

Совместимые понятия могут находиться в отношениях равнозначности, пересечения и подчинения.

Понятия находятся в отношении равнозначности в том случае, если их объемы полностью совпадают. Например, равнозначными будут понятия квадрат и равносторонний прямоугольник, ведь любой квадрат – это равносторонний прямоугольник, а любой равносторонний прямоугольник – это квадрат.

В логике отношения между понятиями принято изображать с помощью круговых схем Эйлера[2]2
  Леонард Эйлер – известный математик XVIII в.


[Закрыть]. Объемы понятий на них изображаются отдельными кругами. Взаимное расположение кругов на схеме показывает то или иное отношение между понятиями: они могут полностью совпадать, или пересекаться, или не соприкасаться, или один круг может располагаться внутри другого. Так, отношение равнозначности между понятиями квадрат (К) и равносторонний прямоугольник (Р. п.) изображается схемой, на которой два круга, обозначающие два равных объема, полностью совпадают (рис. 1).

Понятия находятся в отношении пересечения, когда их объемы совпадают только частично. Например, пересекающимися будут понятия школьник (Ш) и спортсмен (С): есть такие школьники, которые являются спортсменами, и есть такие спортсмены, которые являются школьниками; но в то же время школьник может не быть спортсменом, так же как и спортсмен может не быть школьником. На схеме Эйлера отношение пересечения изображается двумя пересекающимися кругами (рис. 2). Заштрихованная часть показывает частично совпадающие объемы двух понятий.

Понятия находятся в отношении подчинения, когда объем одного из них обязательно больше объема другого и полностью его в себя включает (один объем как бы подчиняется другому). Например, в отношении подчинения находятся понятия карась (К) и рыба (Р), так как все караси – это обязательно рыбы, но рыбами являются не только караси, есть и другие виды рыб. Таким образом, объем понятия карась является меньшим по отношению к объему понятия рыба и полностью в него включается (подчиняется ему). В отношении подчинения понятия с меньшим объемом называются видовыми, а с большим – родовыми. На схеме Эйлера отношение подчинения изображается двумя кругами, один из которых располагается внутри другого (рис. 3).

Отношениями равнозначности, пересечения и подчинения исчерпываются все случаи совместимости между понятиями.

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

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

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

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

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

Отношениями соподчинения, противоположности и противоречия исчерпываются все случаи несовместимости между понятиями.

Итак, в логике выделяется шесть вариантов отношений между понятиями. Любые два понятия обязательно находятся в одном из шести указанных случаев отношений. Например, понятия писатель и россиянин находятся в отношении пересечения, писатель и человек – подчинения, Москва и столица России – равнозначности, Москва и Санкт-Петербург – соподчинения, мокрая дорога и сухая дорога – противоположности, Антарктида и материк – подчинения, Антарктида и Африка – соподчинения и т. д.

Если два понятия обозначают часть и целое, например месяц и год, то они находятся в отношении соподчинения, хотя может показаться, что между ними отношение подчинения, ведь месяц входит в год. Однако если бы понятия месяц и год были подчиненными, то тогда надо было бы утверждать, что месяц – это обязательно год, а год – это не обязательно месяц (вспомним отношение подчинения на примере понятий карась и рыба: карась – это обязательно рыба, но рыба – это не обязательно карась). Месяц – это не год, а год – это не месяц, но и то, и другое – отрезок времени, следовательно, понятия месяц и год, как и понятия книга и страница книги, автомобиль и колесо автомобиля, молекула и атом, находятся в отношении соподчинения, поскольку часть и целое – не то же самое, что вид и род.

До сих пор круговыми схемами Эйлера мы изображали в основном отношения между двумя понятиями, но это можно сделать для большего числа понятий. Например, отношения между понятиями боксер (Б), негр (Н) и человек (Ч) изображаются следующей схемой Эйлера (рис. 7).

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

Рассмотрим отношения между понятиями дедушка (Д), отец (О), мужчина (М), человек (Ч) с помощью схемы Эйлера (рис. 8).

Указанные четыре понятия находятся в отношении последовательного подчинения: дедушка – это обязательно отец, а отец – не обязательно дедушка; любой отец – это обязательно мужчина, однако не всякий мужчина является отцом; наконец, мужчина – это обязательно человек, но человеком может быть не только мужчина.

От рода к виду и обратно
(Ограничение и обобщение понятий)

Видовые и родовые понятия тесно связаны между собой логическими операциями ограничения и обобщения.

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

Если к содержанию понятия геометрическая фигура (Г. ф.) прибавить признак иметь равные стороны и прямые углы, то оно превратится в понятие квадрат (К), которое будет видовым по отношению к исходному родовому понятию геометрическая фигура (рис. 10).

Обобщение понятия – это логическая операция перехода от видового понятия к родовому с помощью исключения из его содержания какого-либо признака (или нескольких признаков). Содержание понятия, лишенное каких-то признаков, уменьшается, но при этом автоматически увеличивается объем понятия, которое из видового становится родовым или обобщается. Например, если от содержания понятия биология (Б) отбросить признак изучать различные формы жизни, то оно превратится в понятие наука (Н), которое будет родовым по отношению к исходному видовому понятию биология (рис. 11).

Если от содержания понятия атом водорода (А. в.) отбросить признак иметь один электрон, то оно превратится в понятие атом химического элемента (А. х. э.), которое будет родовым по отношению к исходному видовому понятию атом водорода (рис. 12).

Ограничения и обобщения понятий складываются в логические цепочки, в которых каждое понятие (за исключением начального и конечного) является видовым по отношению к одному соседнему понятию и родовым по отношению к другому. Например, если последовательно обобщать понятие Солнце, то получится следующая цепочка: Солнце → звезда → небесное тело → физическое тело → форма материи. В этой цепочке понятие звезда является родовым по отношению к понятию Солнце, но видовым по отношению к понятию небесное тело; так же понятие небесное тело является родовым по отношению к понятию звезда, но видовым по отношению к понятию физическое тело, и т. д. Движение по нашей цепочке от понятия Солнце к понятию форма материи представляет собой серию последовательных обобщений, а движение в обратном направлении – серию ограничений. Если изобразить отношения между понятиями из указанной цепочки на схеме Эйлера, то получатся круги, последовательно располагающиеся один в другом: самый маленький будет соответствовать понятию Солнце, а самый большой – понятию форма материи.

Пределом цепочки ограничения любого понятия всегда будет какое-либо единичное понятие, а пределом цепочки обобщения, как правило, будет какое-либо широкое, философское понятие, например: объект мироздания, форма материи или форма бытия.

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

Итак, почти любое понятие (за исключением единичных и широких, философских) можно как ограничить, так и обобщить. Другими словами, подобрать для него как видовое понятие, так и родовое. Например, ограничением понятия человек (Ч) будет понятие спортсмен (С) или писатель, или мужчина, или молодой человек и т. п., а его обобщением будет понятие живое существо (Ж. с.) (рис. 13).

Лев – это царь зверей
(Определение понятия)

Определение понятия – это логическая операция, которая раскрывает содержание понятия. Определения бывают явными и неявными.

Явное определение непосредственно раскрывает содержание понятия, дает прямой ответ на вопрос, чем является объект, который оно обозначает. Например: Термометр – это физический прибор, предназначенный для измерения температуры – явное определение.

Неявное определение раскрывает содержание понятия не прямо, а косвенно, с помощью контекста, в котором это понятие употребляется. Например, из фразы: Во время этого грандиозного эксперимента сверхточные термометры зафиксировали температуру в 1000 °С – косвенно следует ответ на вопрос: Что такое термометр? – т. е. вытекает неявное определение этого понятия. Понятно, что определениями в полном смысле этого слова надо считать явные определения. В дальнейшем речь пойдет именно о них.

Определения бывают реальными и номинальными.

Реальное определение раскрывает содержание понятия, обозначающего какой-то объект, т. е. оно отнесено к объекту. Например: Термометр – это физический прибор, предназначенный для измерения температуры, – реальное определение.

Номинальное определение (от лат. nomen – «имя») раскрывает значение термина, которым выражено какое-либо понятие, т. е. оно отнесено к термину (слову).

Например: Слово «термометр» обозначает физический прибор, предназначенный для измерения температуры, – номинальное определение.

Как видим, принципиальной разницы между реальными и номинальными определениями не существует. Они различаются, как правило, по форме, но не по сути.

Существует несколько способов определения понятия, но среди них особо выделяется классический способ – когда определяемое понятие подводится под ближайшее к нему родовое понятие, после чего следует указание на его видовое отличие. Например, определение: Астрономия – это наука о небесных телах построено по классическому способу. В нем определяемое понятие астрономия сначала подводится под ближайшее к нему родовое понятие наука (астрономия – это обязательно наука, но наука – это не обязательно астрономия), а потом указывается на видовое отличие астрономии от других наук: о небесных телах. Фактически все определения, встречающиеся в научной, учебной и справочной литературе, например в толковых словарях, построены по классическому способу.

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

Давая определение понятию квадрат, мы могли бы подвести его под более близкое родовое понятие прямоугольник, и тогда определение получилось бы следующим: Квадрат – это прямоугольник, у которого все стороны равны.

Однако верно и приведенное выше определение квадрата, которое также раскрывает содержание соответствующего понятия.

Существует несколько логических правил составления определений. Нарушение хотя бы одного из них приводит к тому, что содержание понятия не будет раскрыто и определение станет неверным. Рассмотрим эти правила.

1. Определение не должно быть широким, т. е. определение не должно превышать своим объемом определяемое понятие. Например, определение Солнце – это небесное тело является широким, так как определение небесное тело по объему намного больше определяемого понятия Солнце. Из приведенного определения не вполне понятно, что такое Солнце, ведь небесное тело – это и планета, и комета и т. п. В данном случае можно также сказать, что, пользуясь классическим способом определения, мы подвели определяемое понятие Солнце под родовое понятие небесное тело, но не сделали второй шаг – не указали на видовое отличие.

Примеры широких определений:

• Лошадь – это млекопитающее позвоночное животное.

• Кость – это орган, обладающий сложным строением.

• Барометр – это метеорологический измерительный прибор.

2. Определение не должно быть узким, т. е. определение не должно быть по своему объему меньше определяемого понятия. Например, определение Геометрия – это наука о треугольниках является узким. Геометрия – действительно наука о треугольниках, но не только о них, а в нашем примере определение получилось по объему меньше определяемого понятия, в результате чего из него не совсем ясно, что такое геометрия, содержание понятия не раскрывается.

Примеры узких определений:

• Птица – это животное, имеющее крылья и умеющее летать.

• Революция – это крупное историческое событие, в результате которого в обществе меняется политическая власть.

• Феодализм – это общественный строй, основанный на эксплуатации.

Как видим, ошибка узкого определения противоположна ошибке широкого определения. Если определение не должно быть широким и не должно быть узким, то каким же тогда оно должно быть? Оно должно быть соразмерным, т. е. понятие и его определение должны быть равны друг другу. Вернемся к определению Астрономия – это наука о небесных телах, которое является соразмерным. В этом примере определяемое понятие астрономия и определение наука о небесных телах находятся в отношении равнозначности: астрономия – это именно наука о небесных телах, а наука о небесных телах – это только астрономия.

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

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

Однако наверняка найдутся люди, которые скажут, что из определения Клеветник – это человек, который занимается клеветой, вполне понятно, и кто такой клеветник, и что такое клевета. Они могут так утверждать только потому, что им ранее было известно значение слов клеветник и клевета. Станет ли понятно, что такое экзистенциализм из следующего кругового определения: Экзистенциализм – это философское направление XX веке, в котором ставятся и всесторонне рассматриваются различные экзистенциальные вопросы и проблемы! Узнаем ли мы, что такое синергетика, благодаря такому круговому определению: Синергетика – это раздел современного естествознания, который изучает разнообразные синергетические явления и процессы!

Примеры определений, в которых есть круг:

• Творческое мышление – это мышление, которое обеспечивает решение творческих задач.

• Фильтрование – это процесс разделения какого-либо вещества с помощью специального приспособления – фильтра.

• Сверхпроводник – это вещество, обнаруживающее явление сверхпроводимости.

4. Определение не должно быть двусмысленным, т. е. в нем нельзя употреблять слова (термины) в переносном значении. Вспомним хорошо знакомое с детства определение Лев – это царь зверей. В данном определении слово царь используется в переносном значении, но у него есть и прямое значение. Получается, что в определении употребляется одно слово, а возможных значений у него два, т. е. определение является двусмысленным (вновь нарушается логический закон тождества: одно слово, два значения: 1 ≠ 2). Двусмысленность вполне уместна в качестве художественного приема, но в определении она недопустима, поскольку содержание понятия в данном случае не раскрывается.

Примеры двусмысленных определений:

• Собака – это друг человека (двусмысленное определение).

• Математика – это гимнастика ума (двусмысленное определение).

• Краткость – это сестра таланта.

5. Определение не должно быть сложным и непонятным. Иначе говоря, оно должно быть коммуникабельным, т. е. понятным для своего адресата – человека, которому оно предназначено. Рассмотрим следующее определение: Энтропия – это термодинамическая функция, характеризующая часть внутренней энергии замкнутой системы, которая не может быть преобразована в механическую работу. Это определение взято не из научного доклада и не из докторской диссертации, а из учебника для студентов гуманитарных специальностей[3]3
  Концепции современного естествознания. Под ред. В. Н. Лавриненко и В. П. Ратникова. – М.: ЮНИТИ, 1997. С. 264.


[Закрыть]. Данное определение не широкое и не узкое, в нем нет круга и двусмысленности, оно верно и с научной точки зрения. Это определение кажется безупречным с тем только исключением, что оно является сложным и непонятным, или некоммуникабельным для людей, которые не занимаются специально естественными науками, т. е. для большинства из нас. Определение должно быть понятным для того, кому оно адресовано, иначе при всей своей формальной правильности оно не будет раскрывать содержания понятия для своего адресата.

Примеры некоммуникабельных определений:

• Суффикс – это выделяющаяся в составе словоформы послекорневая аффиксальная морфема.

• Жизнь – это активный процесс поддержания и самовоспроизведения специфической структуры, происходящий с потреблением энергии, получаемой извне.

6. Определение не должно быть только отрицательным.

Например, определение Квадрат – это не треугольник является только отрицательным. Квадрат – это действительно не треугольник, но данное определение не раскрывает содержание понятия квадрат, ведь, указав на то, чем не является объект, обозначенный определяемым понятием, мы не сказали, чем же он является (окружность, трапеция, пятиугольник – это тоже не квадраты). Определение может быть отрицательным в том случае, когда оно дополнено положительной частью. Например, является правильным определение Квадрат – это не треугольник, а прямоугольник, у которого все стороны равны. Примеры только отрицательных определений:

Извлечение квадратного корня – это математическое действие, которое не является ни умножением, ни делением, ни возведением в степень.

Человек не является ни птицей, ни рыбой.