Материя суждения не определяет мысли, выраженной в суждении, но она определяет те предметы и их признаки, те стороны объективной действительности, на которые направлена мысль и которые выражены в суждении. В суждении «металлы не прозрачны» материей являются понятия «металл» и «прозрачное тело». Из самой материи этого суждения не видно, какую мысль мы выразим в суждении — скажем ли мы, что металлы не прозрачны или они прозрачны, выскажем ли мы это о всех металлах или только о некоторых. Но из материи этого суждения видно, что мы высказываемся о металлах и о прозрачных телах, что речь идет именно о них.
В логике определение материи суждения имеет значение тогда, когда мы сравниваем два или несколько суждений друг с другом. В этих случаях необходимо прежде всего установить, одинакова или различна материя этих суждений, т. е. одинаковы или различны сами понятия, являющиеся в них подлежащим и сказуемым. Если эти понятия одинаковы, то следует установить, в чем различие самих этих суждений — в количестве (одно суждение общее, другое частное) или в качестве (одно суждение утвердительное, другое отрицательное), или в том и другом вместе.
§ 2. ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ
Наши мысли, выражаемые в различных суждениях, могут относиться к разным предметам, между которыми имеется связь или эта связь отсутствует. Если наши мысли относятся к различным свойствам одних и тех же предметов, а также к предметам различным, но связанным между собой некоторыми общими признаками, то соответствующие суждения будут связаны между собой, между ними будут существовать определенные отношения. По отношению друг к другу суждения могут быть: 1) тождественными, 2) совместимыми и 3) несовместимыми.
Тождественными суждениями называются суждения, в которых один термин (подлежащее или сказуемое) одинаков, а другой выражен в тождественных понятиях, при одинаковой связи обоих терминов.
Например, «человек — разумное существо» и «человек — существо, способное понимать значение своих действий и руководить ими» — тождественные суждения, так как у них одинаковое подлежащее, а их сказуемые являются тождественными понятиями (разумное существо — это и есть существо, которое способно понимать значение своих действий и руководить ими).
Совместимыми суждениями являются суждения, отличающиеся подлежащими, сказуемыми или связью между ними, если истинность одного суждения не исключает истинности другого, если оба они могут быть истинными.
Такая совместимость суждений может иметь место в двух случаях. 1) В одном суждении что-либо высказывается относительно одной части объема понятия, а в другом суждении высказывается нечто иное относительно другой части объема этого же понятия; например, «некоторые розы красные» и «некоторые розы белые» совместимы. 2) В одном суждении указываются одни признаки каких-либо предметов, а в другом суждении — другие признаки тех же предметов, например, «все металлы — элементы» и «все металлы — электропроводники»—это также совместимые суждения.
Несовместимыми суждениями являются суждения, которые исключают друг друга, которые не могут быть истинными одновременно, так что истинность одного обязательно влечет ложность другого.
Такое положение имеет место тогда, когда в отношении одних и тех же предметов что-либо утверждается и это же самое отрицается или одним и тем же предметам приписываются исключающие друг друга признаки. Например, «ртуть—металл», «ртуть—не металл»—несовместимые суждения (первое истинно, второе ложно).
Совместимые и несовместимые суждения могут быть различны в зависимости от того, имеют ли они одинаковую материю или у них разная материя.
Рассмотрим отношения совместимых и несовместимых суждений одинаковой материи.
§ 3. ЛОГИЧЕСКИЙ КВАДРАТ
Как мы уже знаем, все суждения по количеству и по качеству делятся на четыре вида: общеутвердительные — А, общеотрицательные — Е, частноутвердительные —I, частноотрицательные — О. Если взять суждения всех четырех видов, но одинаковой материи, то между ними можно установить определенные постоянные отношения. Эти отношения состоят в следующем. Если одно такое суждение истинно или ложно, это обусловливает истинность или ложность других суждений той же материи или оставляет их неопределенными. А так как истинность или ложность является необходимым свойством всякого суждения (см. главу VII), то определение такого отношения суждений имеет несомненную ценность для нашего мышления, содействует его правильности.