ЛОГИКА: читать книгу онлайн полностью и бесплатно

§ 22. Сравнимые понятия могут быть по содержанию либо совместимыми между собой, либо несовместимыми или противоположными. Совместимыми называются два таких понятия, в содержании которых нет признаков, исключающих возможность полного или частичного совпадения объёмов этих понятий. Так, понятие «орудие» и понятие «гаубица» имеют различное содержание. Но в то же время в содержании этих двух понятий нет таких признаков, которые были бы несовместимы, т. е. исключали бы возможность совпадения их объёмов. Поэтому, как бы ни различались между собой предметы этих понятий, не исключена возможность, что существуют такие предметы, которые одновременно принадлежат объёму как одного, так и другого понятия. В самом деле: в числе орудий имеются гаубицы, а гаубицы, в свою очередь, входят в число орудий. Другой пример согласимых понятий — понятие «паразиты» и понятие «растения». При всём различии в содержании этих понятий в них нет признаков, которые исключали бы для растения возможность быть паразитом. И действительно: некоторые растения (например, омела) суть паразиты, и некоторые паразиты суть растения. Иными словами, объёмы совместимых понятий могут, хотя бы в известной своей части, совпадать между собой.

§ 23. Для большей наглядности отношения между объёмами понятий изображаются в логике посредством кругов. Каждый отдельный предмет, принадлежащий объёму данного понятия, изображается посредством точки, помещённой либо внутри круга, либо на его окружности (см. рис. 1).

Рис. 1

Так как в объём понятия входит вся совокупность предметов класса и так как круг (рис. 1) имеет на своей поверхности любое количество точек, то круг, нарисованный для представления объёма понятия, наглядно изображает любое число предметов одного и того же класса. Если объём одного понятия составляет часть объёма другого понятия, иначе говоря, целиком входит в объём другого понятия, то объём первого понятия изображается посредством круга, нарисованного внутри большего круга и целиком помещающегося на его площади.

Например, отношение между объёмами понятий «орудие» и «гаубица» может быть изображено так, как оно представлено на рис. 2.

Рис. 2

Здесь объём понятия «гаубица» изображён посредством меньшего круга В, а объём понятия «орудие» — посредством большего круга А. При этом меньший круг В целиком помещается внутри большего круга А. Рисунок этот показывает, что все гаубицы суть орудия, или, иначе говоря, что все предметы, входящие в объём понятия В, принадлежат вместе с тем и объёму понятия А.

Иногда объёмы двух понятий, А и В, частично совпадают. Это происходит в тех случаях, когда часть предметов, входящих в объём понятия А (но не все предметы, составляющие , объём понятия А), входит также и в объём понятия В. Наглядно отношение между объёмами таких понятий изображается посредством двух перекрещивающихся , кругов (см. рис. 3).

Рис. 3

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

Если ни один предмет, принадлежащий объёму понятия А, не может одновременно принадлежать объёму понятия В, то отношение между объёмами таких двух понятий изображается при помощи двух кругов, помещённых один вне другого так, что ни одна точка, лежащая на площади одного круга, не может оказаться лежащей на площади другого круга (см. рис. 4).

Рис. 4

Например, отношение между объёмами понятий «острый угол» и «тупой угол» может быть представлено так, как оно представлено на рис. 4: сразу видно, что ни один острый угол не может быть тупым углом и, наоборот, ни один тупой угол не может быть острым.

§ 24. В отличие от совместимых понятий, несовместимыми называются два таких понятия, в содержании которых имеются признаки, исключающие возможность не только полного, но и частичного совпадения объёмов обоих понятий. Таковы, например, понятия «больной» и «здоровый». Невозможно найти такой предмет, который одновременно принадлежал бы к объёму обоих этих понятий. Иными словами, объёмы таких понятий не могут даже частично совпадать между собой.

Так как объёмы несовместимых понятий не могут совпадать между собой даже частично, то отношение между объёмами таких понятий изображается так, как это представлено на рис. 4, — в виде двух кругов, лежащих один вне другого.

§ 25. И класс совместимых понятий и класс понятий несовместимых в свою очередь заключают в себе каждый дальнейшие подразделения.

Совместимые понятия бывают либо равнозначащие, либо подчинённые друг другу, либо перекрещивающиеся.

Равнозначащими понятиями называются такие понятия, у которых содержание заключает в каждом из них различные признаки, однако признаки эти так связаны между собой, что в силу этой связи объёмы таких понятий совпадают, оказываются тождественными. Таковы, например, понятие перпендикуляра, восстановленного в плоскости круга к конечной точке его радиуса, и понятие неограниченной прямой, имеющей то же направление и проходящей через ту же точку окружности круга. Оба эти понятия имеют в своём содержании различные признаки, но один и тот же объём, так как такой перпендикуляр и такая прямая совпадают. Или, например, понятие «основатель науки логики» и «философ — воспитатель Александра Македонского». И здесь признаки, входящие в содержание этих двух понятий, различны, но объёмы обоих понятий совпадают, так как основателем науки логики и философом — воспитателем Александра Македонского был один и тот же человек, а именно греческий философ Аристотель.

Наглядно отношение между объёмами равнозначащих понятий изображается так, как оно представлено на рис. 5.

Рис. 5

Здесь буквы А и В, помещённые внутри одного и того же круга, обозначают, что у понятий А и В содержание различно, но объём — один и тот же.

§ 26. Второй вид совместимых понятий составляют подчинённые понятия. Отношение подчинения понятий — одно из самых важных в логике. Рассмотрим пример такого отношения. Пусть имеются два понятия: понятие «треугольник» и понятие «прямоугольный треугольник». Очевидно, оба они — понятия совместимые, так как в содержании обоих нет признаков, исключающих совпадение объёмов этих понятий: некоторые треугольники являются прямоугольными треугольниками. Рассмотрим теперь ближе отношение между этими понятиями. Всё, что мыслится в содержании понятия «треугольник», очевидно, полностью входит и в содержание понятия «прямоугольный треугольник» и есть часть этого последнего. В самом деле: в содержание понятия «прямоугольный треугольник» входят, во-первых, все без исключения признаки, образующие содержание понятия «треугольник», и, во-вторых, кроме них ещё некоторые другие, которые свойственны только одним прямоугольным треугольникам и которыми прямоугольные треугольники отличаются от всех остальных треугольников. Так обстоит дело с содержанием этих двух понятий.

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

Такое отношение совместимости, как отношение между понятиями «прямоугольный треугольник» и «треугольник», называется подчинением понятий. Отношение подчинения есть отношение частного понятия к понятию более общему, и обратно: отношение понятия более общего к понятию более частному. При этом более частное понятие «прямоугольный треугольник» называется подчинённым, а более общее — «треугольник» — подчиняющим.

Отношение между объёмами подчинённых одно другому понятий изображается посредством двух кругов, из которых один целиком помещается внутри другого (см. рис. 2).