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

Можно, следовательно, установить следующее: значимость суждения никогда не может выводиться из одного-единственного суждения, но для этого всегда требуются по крайней мере две посылки.

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

Это последнее является собственным носителем перехода от одной достоверности к другой на основании того закона, что вместе с (условным) основанием утверждается следствие, вместе с следствием уничтожается основание¹¹⁶.

6. Условное суждение, которым посредствуется вывод, может в свою очередь быть выведенным и опосредствованным; и притом суждение, что X есть необходимое следствие А, может быть познано как необходимое в том случае, если X есть следствие следствия А. Когда, следовательно, имело бы значение

Если А имеет силу, то имеет силу М.

Если М имеет силу, то имеет силу X, отсюда следует.

_________________________________________

Если А имеет силу, то имеет силу X.

Тот принцип, который лежит в основании этого вывода, дан вместе с понятием самого следствия; его можно формулировать таким образом: «следствие следствия есть следствие основания»¹¹⁷.

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

I. Если А имеет силу, то имеет силу В.

Если В имеет силу, то имеет силу С.

Если С имеет силу, то имеет силу D.

___________________________

Если А имеет силу, то имеет силу D.

II. Если С имеет силу, то имеет силу D.

Если В имеет силу, то имеет силу С.

Если А имеет силу, то имеет силу В.

____________________________

Если А имеет силу, то имеет силу D.

Порядок посылок в первом случае ниспускается до все дальнейших и дальнейших следствий (эписиллогистически), во втором случае он возвращается к более далеко лежащим основаниям (просиллогистически).

§ 50. Условный вывод посредством подстановки

В то время как при смешанном условном выводе условное правило позволяет выводить только одно определенное суждение из одного же другого определенного суждения, – в то же время условное правило может применяться к неопределенно многим суждениям, если следствие связано лишь с тем, что определенный предикат приписывается какому-либо, какому угодно субъекту. В этом случае имеет место подведение, или подстановка, определенного субъекта (πρόσληψις) в меньшей посылке, дабы получить вывод.

1. Если бы дело шло только о том, чтобы установить в общей формуле те существенные условия, какие должен выполнить всякий процесс вывода, именно тем, что значимость одного суждения он выводит из значимости другого, – в таком случае логическая теория процесса вывода была бы уже закончена.

Но эта формула условного вывода страдает таким недостатком, который существенно умаляет ее ценность. Именно если бы процесс вывода мог совершаться только по этой формуле, то для всякого выведения простого суждения из другого было бы необходимо особенное правило и мы, следовательно, имели бы столько же правил, сколько было бы случаев применения; а для всякого выведения условного суждения нужны были бы даже два дальнейших суждения. Далее, чтобы сделать какой-либо вывод, все должно было бы уже мыслиться готовым, что делает возможным переход от одного суждения к другому, и тем самым был бы невозможен действительный прогресс в процессе суждения, истинно синтетический акт суждения. Все, что является истинноценным в процессе нашего мышления, переход к новым суждениям, – все это условный вывод в установленной выше наипростейшей форме всегда предполагает уже в существенном как совершившееся. Ибо как раз познание того, что одно суждение необходимо зависит от другого, есть то самое, чего мы прежде всего ищем.