Отношениями соподчинения, противоположности и противоречия исчерпываются все случаи несовместимости между понятиями.
Итак, в логике выделяется шесть вариантов отношений между понятиями. Для удобства их запоминания они представлены в табл. 2.
Любые два сравнимых понятия обязательно находятся в одном из шести указанных случаев отношений. Например, понятия «писатель» и «россиянин» находятся в отношении пересечения, «писатель» и «человек» – подчинения, «Москва» и «столица России» – равнозначности, «Москва» и «Санкт-Петербург» – соподчинения, «мокрая дорога» и «сухая дорога» – противоположности, «Антарктида» и «материк» – подчинения, «Антарктида» и «Африка» – соподчинения и т. д. Надо обратить внимание на то, что если два понятия обозначают часть и целое, например «месяц» и «год», то они находятся в отношении соподчинения, хотя может показаться, что между ними отношение подчинения, ведь месяц входит в год.
Однако если бы понятия «месяц» и «год» были подчинёнными, то тогда надо было бы утверждать, что месяц – это обязательно год, а год – это не обязательно месяц (вспомним отношение подчинения на примере понятий «карась» и «рыба»: карась – это обязательно рыба, но рыба – это не обязательно карась). Месяц – это не год, а год – это не месяц, но и то, и другое – отрезок времени, следовательно, понятия «месяц» и «год», так же, как и понятия «книга» и «страница книги», «автомобиль» и «колесо автомобиля», «молекула» и «атом», находятся в отношении соподчинения, т. к. часть и целое – не то же самое, что вид и род.
Как нам уже известно, отношения между понятиями изображаются круговыми схемами Эйлера. Причём до сих пор мы изображали схематично отношения между двумя понятиями, но это можно сделать и с большим числом понятий.
Например, отношения между понятиями «боксёр» (Б), «негр» (Н) и «человек» (Ч) изображаются следующей схемой Эйлера (рис. 7).
Взаимное расположение кругов показывает, что понятия «боксёр» и «негр» находятся в отношении пересечения: боксёр может быть негром и может им не быть, а негр также может быть боксёром и может им не быть, а понятия «боксёр» и «человек», так же как понятия «негр» и «человек», находятся в отношении подчинения: любой боксёр и любой негр – это обязательно человек, но человек может не быть ни боксёром, ни негром.
Рассмотрим отношения между понятиями «дедушка» (Д), «отец» (О), «мужчина» (М), «человек» (Ч) с помощью схемы Эйлера (рис. 8).
Указанные четыре понятия находятся в отношении последовательного подчинения: дедушка – это обязательно отец, а отец – не обязательно дедушка; любой отец – это обязательно мужчина, однако не всякий мужчина является отцом; наконец, мужчина – это обязательно человек, но человеком может быть не только мужчина.
Отношения между понятиями «хищник» (Х), «рыба» (Р), «акула» (А), «пиранья» (П), «щука» (Щ), «живое существо» изображаются следующей схемой Эйлера (рис. 9).
Попробуйте самостоятельно прокомментировать эту схему, установив все имеющиеся на ней виды отношений между понятиями.
Подытоживая всё сказанное, отметим, что отношения между понятиями – это отношения между их объёмами. Значит, для того чтобы можно было установить отношения между понятиями, их объём должен быть резким, а содержание, соответственно, ясным, т. е. эти понятия должны быть определёнными.
Проверьте себя:
1. Какие понятия называются в логике совместимыми, а какие – несовместимыми? Приведите по пять примеров совместимых и несовместимых понятий.
2. В каких отношениях могут быть совместимые понятия? Что представляют собой отношения равнозначности, пересечения и подчинения между понятиями? Что такое видовые и родовые понятия?
3. В каких отношениях могут быть несовместимые понятия? Что представляют собой отношения соподчинения, противоположности и противоречия между понятиями? Чем отличается противоположность от соподчинения и противоречие от противоположности?
4. Каким образом изображаются отношения между понятиями?
5. В каком отношении находятся понятия, обозначающие часть и целое? Почему между этими понятиями не может быть отношения подчинения?
6. Определите, в каких отношениях находятся следующие понятия: двоечник и студент, композитор и человек, город и деревня, Антарктида и ледовый материк, небесное тело и звезда, треугольник и сторона треугольника, школа №5 и учебное заведение, майор и россиянин, знаменитый человек и немецкий писатель, дом и крыша дома, собака и кошка, умный человек и неумный человек, монарх и самодержец, физика и химия, геометрия и тригонометрия, столица и населённый пункт, книга и интересная книга, телевизор и планета солнечной системы, растение и крапива, окружность и круг, Николай II и последний русский царь, олимпийские игры и спортивные состязания.
1.4. Ограничение и обобщение понятия
Видовые и родовые понятия тесно связаны между собой логическими операциями ограничения и обобщения.
Ограничение понятия – это логическая операция перехода от родового понятия к видовому с помощью прибавления к его содержанию какого-либо признака (или нескольких признаков).
Вспомним об обратном отношении между объёмом и содержанием понятия: чем больше объём, тем меньше содержание, и наоборот. Ограничение понятия, или переход от родового понятия к видовому – это уменьшение его объёма, а значит – увеличение содержания. Вот почему при добавлении каких-либо признаков к содержанию понятия автоматически уменьшается его объём. Например, если к содержанию понятия «физический прибор» (Ф. п.) прибавить признак «измерять напряжение электрического тока», то оно превратится в понятие «вольтметр» (В), которое будет видовым по отношению к исходному родовому понятию «физический прибор» (рис. 10).
Так же, если к содержанию понятия «геометрическая фигура» (Г. ф.) прибавить признак «иметь равные стороны и прямые углы», то оно превратится в понятие «квадрат» (К), которое будет видовым по отношению к исходному родовому понятию «геометрическая фигура» (рис. 11).
Обобщение понятия – это логическая операция перехода от видового понятия к родовому с помощью исключения из его содержания какого-либо признака (или нескольких признаков). Содержание понятия, лишённое каких-то признаков, уменьшается, но при этом автоматически увеличивается объём понятия, которое из видового становится родовым или обобщается. Например, если от содержания понятия «биология» (Б) отбросить признак «изучать различные формы жизни», то оно превратится в понятие «наука» (Н), которое будет родовым по отношению к исходному видовому понятию «биология» (рис. 12).
Так же, если от содержания понятия «атом водорода» (А. в.) отбросить признак «иметь один электрон», то оно превратится в понятие «атом химического элемента» (А. х. э.), которое будет родовым по отношению к исходному видовому понятию «атом водорода» (рис. 13).
Ограничения и обобщения понятий складываются в логические цепочки, в которых каждое понятие (за исключением начального и конечного) является видовым по отношению к одному соседнему понятию и родовым по отношению к другому. Например, если последовательно обобщать понятие «Солнце», то получится следующая цепочка: Солнце → звезда → небесное тело→ → физическое тело → форма материи. В этой цепочке понятие «звезда» является родовым по отношению к понятию «Солнце», но видовым по отношению к понятию «небесное тело»; так же понятие «небесное тело» является родовым по отношению к понятию «звезда», но видовым по отношению к понятию «физическое тело» и т. д. Движение по нашей цепочке от понятия «Солнце» к понятию «форма материи» представляет собой серию последовательных обобщений, а движение в обратном направлении – серию ограничений. Если изобразить отношения между понятиями из указанной цепочки на схеме Эйлера, то получатся круги, последовательно располагающиеся один в другом: самый маленький будет обозначать понятие «Солнце», а самый большой – «форма материи».
