Удивительная логика - Гусев Дмитрий Алексеевич (книги бесплатно без регистрации txt) 📗
В логике отношения между понятиями принято изображать с помощью круговых схем Эйлера [2]. Объемы понятий на них изображаются отдельными кругами. Взаимное расположение кругов на схеме показывает то или иное отношение между понятиями: они могут полностью совпадать, или пересекаться, или не соприкасаться, или один круг может располагаться внутри другого. Так, отношение равнозначности между понятиями квадрат (К) и равносторонний прямоугольник (Р. п.) изображается схемой, на которой два круга, обозначающие два равных объема, полностью совпадают (рис. 1).
![Удивительная логика - i_002.png](https://goldenlib.ru/frontend/web/pic/1/6/5/7/4/5/165745/1368294846/i_002.png)
Понятия находятся в отношении пересечения, когда их объемы совпадают только частично. Например, пересекающимися будут понятия школьник (Ш) и спортсмен (С): есть такие школьники, которые являются спортсменами, и есть такие спортсмены, которые являются школьниками; но в то же время школьник может не быть спортсменом, так же как и спортсмен может не быть школьником. На схеме Эйлера отношение пересечения изображается двумя пересекающимися кругами (рис. 2). Заштрихованная часть показывает частично совпадающие объемы двух понятий.
Понятия находятся в отношении подчинения, когда объем одного из них обязательно больше объема другого и полностью его в себя включает (один объем как бы подчиняется другому). Например, в отношении подчинения находятся понятия карась (К) и рыба (Р), так как все караси – это обязательно рыбы, но рыбами являются не только караси, есть и другие виды рыб. Таким образом, объем понятия карась является меньшим по отношению к объему понятия рыба и полностью в него включается (подчиняется ему). В отношении подчинения понятия с меньшим объемом называются видовыми, а с большим – родовыми. На схеме Эйлера отношение подчинения изображается двумя кругами, один из которых располагается внутри другого (рис. 3).
![Удивительная логика - i_003.png](https://goldenlib.ru/frontend/web/pic/1/6/5/7/4/5/165745/1368294846/i_003.png)
Отношениями равнозначности, пересечения и подчинения исчерпываются все случаи совместимости между понятиями.
Несовместимые понятия могут находиться в отношениях соподчинения, противоположности и противоречия.
Понятия находятся в отношении соподчинения, когда их объемы не имеют общих элементов, но в то же время входят в объем какого-то третьего понятия, родового для них (совместно ему подчиняются). Например, понятия сосна (С) и береза (Б) являются соподчиненными: ни одна сосна не может быть березой, и наоборот, но и множество всех сосен, и множество всех берез включается в более широкий объем понятия дерево (Д). На схеме Эйлера отношение соподчинения изображается несоприкасающимися кругами (рис. 4).
Понятия находятся в отношении противоположности, если они обозначают какие-то взаимоисключающие признаки, крайние состояния чего-либо, между которыми, однако, всегда есть некий средний, переходный вариант. Например, противоположными являются понятия высокий человек (В. ч.) и низкий человек (Н. ч.) Третьим (переходным) вариантом между ними будет понятие человек среднего роста. На схеме Эйлера отношение противоположности изображается двумя несоприкасающимися кругами, которые находятся как бы на разных полюсах (рис. 5).
![Удивительная логика - i_004.png](https://goldenlib.ru/frontend/web/pic/1/6/5/7/4/5/165745/1368294846/i_004.png)
Поскольку объемы противоположных понятий не соприкасаются, это отношение отчасти похоже на соподчинение. Однако понятия, находящиеся в отношении соподчинения, обозначают просто различные объекты разных видов и одного рода, но не противоположные друг другу. Не можем же мы утверждать, что сосна является противоположностью березы, а береза – противоположностью сосны: это просто разные деревья, и не более того. В то же время высокий человек представляет собой противоположность низкого человека, и наоборот. Так же противоположными будут понятия темная комната и светлая комната, горячая вода и холодная вода, белый лист и черный лист, глубокая речка и мелкая речка и т. п.
Понятия находятся в отношении противоречия, если одно из них представляет собой отрицание другого, причем в отличие от противоположных понятий между противоречащими понятиями не может быть третьего (среднего) варианта. Например, в отношении противоречия находятся понятия высокий человек (В. ч.) и невысокий человек (Нв. ч.). В том случае, когда одно понятие является отрицанием другого, третий вариант автоматически исключается: и низкий человек, и человек среднего роста – это невысокий человек. На схеме Эйлера отношение противоречия изображается одним кругом, поделенным на две части, которые обозначают противоречащие понятия (рис. 6).
Отношениями соподчинения, противоположности и противоречия исчерпываются все случаи несовместимости между понятиями.
Итак, в логике выделяется шесть вариантов отношений между понятиями. Любые два понятия обязательно находятся в одном из шести указанных случаев отношений. Например, понятия писатель и россиянин находятся в отношении пересечения, писатель и человек – подчинения, Москва и столица России – равнозначности, Москва и Санкт-Петербург – соподчинения, мокрая дорога и сухая дорога – противоположности, Антарктида и материк – подчинения, Антарктида и Африка – соподчинения и т. д.
Если два понятия обозначают часть и целое, например месяц и год, то они находятся в отношении соподчинения, хотя может показаться, что между ними отношение подчинения, ведь месяц входит в год. Однако если бы понятия месяц и год были подчиненными, то тогда надо было бы утверждать, что месяц – это обязательно год, а год – это не обязательно месяц (вспомним отношение подчинения на примере понятий карась и рыба: карась – это обязательно рыба, но рыба – это не обязательно карась). Месяц – это не год, а год – это не месяц, но и то, и другое – отрезок времени, следовательно, понятия месяц и год, как и понятия книга и страница книги, автомобиль и колесо автомобиля, молекула и атом, находятся в отношении соподчинения, поскольку часть и целое – не то же самое, что вид и род.
До сих пор круговыми схемами Эйлера мы изображали в основном отношения между двумя понятиями, но это можно сделать для большего числа понятий. Например, отношения между понятиями боксер (Б), негр (Н) и человек (Ч) изображаются следующей схемой Эйлера (рис. 7).
Взаимное расположение кругов показывает, что понятия боксер и негр находятся в отношении пересечения: боксер может быть негром и может им не быть, а негр также может быть боксером и может им не быть, а понятия боксер и человек, так же как понятия негр и человек, находятся в отношении подчинения: любой боксер и любой негр – это обязательно человек, но человек может не быть ни боксером, ни негром.
Рассмотрим отношения между понятиями дедушка (Д), отец (О), мужчина (М), человек (Ч) с помощью схемы Эйлера (рис. 8).
![Удивительная логика - i_005.png](https://goldenlib.ru/frontend/web/pic/1/6/5/7/4/5/165745/1368294846/i_005.png)
Указанные четыре понятия находятся в отношении последовательного подчинения: дедушка – это обязательно отец, а отец – не обязательно дедушка; любой отец – это обязательно мужчина, однако не всякий мужчина является отцом; наконец, мужчина – это обязательно человек, но человеком может быть не только мужчина.
От рода к виду и обратно (Ограничение и обобщение понятий)
Видовые и родовые понятия тесно связаны между собой логическими операциями ограничения и обобщения.
Ограничение понятия – это логическая операция перехода от родового понятия к видовому с помощью прибавления к его содержанию какого-либо признака (или нескольких признаков). Вспомним об обратном отношении между объемом и содержанием понятия: чем больше объем, тем меньше содержание, и наоборот. Ограничение понятия, или переход от родового понятия к видовому, – это уменьшение его объема, а значит – увеличение содержания. Вот почему при добавлении каких-либо признаков к содержанию понятия автоматически уменьшается его объем. Например, если к содержанию понятия физический прибор (Ф. п.) прибавить признак измерять напряжение электрического тока, то оно превратится в понятие вольтметр (В), которое будет видовым по отношению к исходному родовому понятию физический прибор (рис. 9).
2
Леонард Эйлер – известный математик XVIII в.