Итак, они [53] в своих описаниях говорят, что знак есть посылка, которая является управляющей в правильном умозаключении, открывая тем самым следствие. Они говорят, что есть и много других определений правильного умозаключения, но из всех реально одно, притом небесспорное, а именно то, которое будет предложено. Ведь всякое умозаключение или начинается с истинного и кончается истинным, или начинается с ложного и кончается ложным, или начинается с истинного и кончается ложным, или начинается с ложного и кончается истинным.
197
Начинаясь с истинного, кончается истинным следующее умозаключение: "Если боги существуют, то мир управляется промыслом божьим"; начинаясь с ложного, кончается ложным: "Если земля летает, то земля имеет крылья"; начинаясь с ложного, кончается истинным: "Если земля летает, то она существует"; начинаясь с истинного, кончается ложным: "Если такой-то движется, то он гуляет", когда он не гуляет, а только движется.
При наличии четырех структур умозаключения, когда последнее начинается с истинного и кончается истинным, или когда начинается с ложного и кончается ложным, или когда начинается с ложного и кончается истинным, или, наоборот, начинается с истинного и кончается ложным, они говорят, что умозаключение, составленное первыми тремя способами, истинно (когда, начинаясь с истинного, кончается истинным - оно истинно; когда начинается с ложного и кончается ложным - опять истинно; точно так же, когда начинается с ложного и кончается истинным) и становится ложным только по одному способу, когда, начинаясь с истинного, кончается ложным. При таком положении дела надо искать, говорят они, знак не в этом порочном умозаключении, а в безукоризненном, ибо знаком называется большая посылка в правильном умозаключении. Но так как правильное умозаключение не одно, но их три, а именно: от истинного к истинному, от ложного к ложному и от ложного к истинному, то следует рассмотреть, во всех ли правильных умозаключениях следует искать знак, или в некоторых, или в одном каком-либо из них.
Следовательно, если знак должен быть истинным и указывать на истинное, он не будет находиться ни в умозаключении от ложного к ложному, ни от ложного к истинному. Остается, следовательно, ему находиться в умозаключении от истинного к истинному, так, как будто бы существовал в наличности он один и обозначенный им предмет. Поэтому когда говорят, что знак является утверждением в качестве предпосылки в правильном умозаключении, то это надо будет понимать так, что он есть предпосылка только в умозаключении от истинного к истинному.
