Логика. Том 1. Учение о суждении, понятии и выводе

Если утверждение является как следствие отрицания – «если А не имеет силы, то имеет силу В», то в основе этого суждения непосредственно или посредственно всегда лежит то уразумение, что из различных исключающих друг друга возможных гипотез одна необходимо является значимой, т. е. то уразумение, которое высказывается в разделительном суждении. Но ложно, что суждение «если А не имеет силы, то имеет силу В» будто бы уже эквивалентно разделительному «или имеет силу А или В»⁷⁵.

13. Отрицание условного суждения может заключаться только в уничтожении предиката, который оно высказывает, т. е. в уничтожении необходимого следствия. Суждение «В не есть необходимое следствие суждения А», т. е. если А имеет силу, то на этом основании не имеет еще силы также и В (если даже А имеет силу, то В не должно, однако, иметь силы), – это суждение есть противоречивая противоположность суждения «если А имеет силу, то имеет силу и В»⁷⁶), – как, обратно, отрицание утверждения «если А имеет силу, то отсюда не следует, что имеет силу В» приводит к суждению «если А имеет силу, то имеет силу В».

14. Условные суждения вида «если А имеет силу и В имеет силу, и С имеет силу, то имеет силу D» не могут быть обозначаемы как союзные (копулятивные) условные суждения. Ибо здесь не высказывается о различных отношениях, что они суть необходимые следствия, как в суждении «Как в том случае, если А есть, так и в том, если В есть, так и в том, если С есть, то есть и D». Только это суждение является союзным (копулятивным); а первое лишь указывает одно основание, которое состоит только из нескольких предпосылок и поэтому не может быть разложено на несколько условных суждений.

15. Только в том случае, если имеется в виду значение той возможности, которая сводится к частичному основанию (§ 34, 6), с каждой частью основания может быть связана возможность следствия. «Если Луна находится в соединении или противостоянии и вместе с тем узел лунного пути находится вблизи линии соединения Солнца и Земли, то возникают затмения» – это может быть развито в два суждения: «Если Луна находится в соединении или противостоянии, то могут наступать затмения»; «если узел лунного пути находится вблизи линии соединения Солнца и Земли, то могут возникать затмения». То же самое «мочь» наступает и в том случае, если протазис выражает незначимость суждения, которое могло бы уничтожить аподозис: «Если испускание солнечной теплоты не уменьшается, то органическая жизнь на Земле может продолжаться безгранично».

III. РАЗДЕЛИТЕЛЬНОЕ СУЖДЕНИЕ

§ 37

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

1. Если гипотеза «А есть В» недостоверна, то ближайшим выражением этого служит то, что ни ее утверждение, ни ее отрицание не могут быть выполнены; я стою перед нерешенным выбором. Но я знаю, что если утверждение истинно, то отрицание ложно, и наоборот; и что если утверждение ложно, то отрицание истинно, и обратно.

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