Среди суждений иные являются простыми, иные – непростыми (так говорят последователи Хрисиппа, Архедема, Афинодора, Антипатра и Криния). Простые – это те, которые состоят из неразноречивого суждения, например: «Стоит день»; непростые – это те, которые состоят из одного или нескольких разноречивых суждений; из одного, например: «Если стоит день, [то стоит день]»; из нескольких, например: «Если стоит день, то светло». Простые суждения бывают отрицательные, неопределенно-отрицательные, ограничительные, утвердительные, указательные, неопределенные. Непростые суждения бывают условные, утвердительно-условные, соединительные, разъединительные, причинные, сравнительные к большему и к меньшему.
…Отрицательное суждение – например, «Не день стоит». Разновидностью этого является дважды отрицательное суждение: это отрицание отрицания, например: «Не день не стоит», то есть «День стоит». Неопределенно-отрицательное суждение состоит из отрицательной частицы и сказуемого, например: «Никто не ходит». Ограничительное суждение состоит из ограничительной частицы и суждения, которое было бы возможно, например: «Не добрый он человек». Утвердительное суждение состоит из прямого падежа и сказуемого, например: «Дион гуляет». Указательное суждение состоит из указательного слова в прямом падеже и сказуемого, например: «Он гуляет». Неопределенное суждение состоит из неопределенных частиц и сказуемого, например: «Некто ходит», «Такой-то движется».
Среди непростых суждений условное суждение образуется союзом «если», который означает, что второе суждение следует из первого, например: «Если стоит день, то светло». (Так пишут Хрисипп в «Диалектике» и Диоген в «Учебнике диалектики».) Утвердительно-условное суждение состоит из двух суждений, связанных союзом «поскольку», например: «Поскольку стоит день, то светло»; этот союз означает, что второе суждение следует из первого, а первое достоверно. Соединительное суждение образуется каким-нибудь соединительным союзом, например: «И день стоит, и светло». Разъединительное суждение образуется разъединительным союзом «или», например: «Или день стоит, или ночь», – этот союз означает, что одно из этих суждений ложно. Причинное суждение соединяется союзом «так как», например: «Так как стоит день, то светло», – здесь первое как бы служит причиной для второго. Сравнительное суждение к большему образуется связкой, изъясняющей большее, и союзом «чем» между двумя суждениями, например: «День больше, чем ночь». Сравнительное суждение к меньшему образуется противоположным образом, например: «Ночь меньше, чем день».
Некоторые из суждений противоположны друг другу по истинности или ложности. Это бывает, когда одно отрицает другое, например: «Стоит день» и «Не стоит день». Условное суждение бывает истинно, если противоположность заключению противоречит началу; например, суждение «Если стоит день, то светло» истинно, потому что противоположность заключению «не светло» противоречит началу «стоит день». А ложно оно бывает, если противоположность заключению не противоречит началу, например: «Если стоит день, то Дион гуляет» – ложно, потому что «Дион не гуляет» не противоречит началу «стоит день». Утвердительно-условное суждение истинно, если исходит из истинного суждения и имеет вытекающее заключение, например: «Поскольку стоит день, то солнце стоит над землей»; ложно, если исходит из ложного суждения или имеет невытекающее заключение, например: «Поскольку стоит ночь, то Дион гуляет», когда на самом деле стоит день. Причинное суждение истинно, если исходит из истинного суждения, имеет вытекающее заключение, однако начальное суждение из заключения не вытекает: так, из суждения «стоит день» вытекает суждение «светло», но из суждения «светло» не следует «стоит день»; а ложно-причинное суждение, если оно или исходит из ложного суждения, или имеет невытекающее значение, или же начало и заключение вообще не согласованы, например: «Так как стоит ночь, то Дион гуляет».
Вероятное суждение – это такое, которое заставляет соглашаться, например: «Кто кого родила, та тому мать»; но данное суждение ложно, потому что курица яйцу не мать. Кроме того, суждения бывают возможные и невозможные, необходимые и не необходимые. Возможное суждение – это такое, истинность которого можно показать, если обстоятельства не препятствуют его истинности, например: «Диокл жив»; невозможное – это такое, истинность которого нельзя показать, например: «Земля летает». Необходимое суждение – это такое суждение, которое истинно и ложность которого нельзя показать, а если можно, то ложность эта вызвана лишь внешними обстоятельствами, например: «Добродетель полезна»; не необходимое суждение – это такое, которое истинно, но может быть ложно даже независимо от внешних обстоятельств, например: «Дион гуляет». Разумное суждение – это такое, которое имеет больше оснований быть истинным, чем ложным, например: «Завтра я буду жив». Есть также и другие разновидности суждений, обращения суждений и переходы их от истинности к ложности, о которых мы сейчас расскажем пространнее.
Рассуждение (logos) – это то, что состоит из большой посылки, малой посылки и вывода (так говорят последователи Криния), например: «Если стоит день, то светло; но стоит день; стало быть, светло». Большая посылка здесь – «Если стоит день, то светло»; малая посылка – «стоит день»; вывод – «стало быть, светло». Свернутость (tropos) – это как бы общее очертание рассуждения, например: «Если есть первое, то есть и второе; но первое есть; стало быть, есть и второе». Свернутое рассуждение (logotropos) – это рассуждение, составленное со свертыванием, например: «Если Платон жив, то Платон дышит; но первое есть; стало быть, и второе есть». Свернутое рассуждение введено для того, чтобы в длинных сочетаниях суждений не произносить малую посылку и вывод, когда они длинные, а кратко говорить: «Первое есть, стало быть, и второе есть».
Рассуждения бывают без заключения и с заключением. Рассуждения без заключения – это те, в которых противоположность выводу не противоречит сочетанию посылок, например: «Если стоит день, то светло; но стоит день; стало быть, Дион гуляет». Рассуждения с заключением бывают или просто рассуждения с заключением, без особого имени, или же умозаключения. Умозаключения – это те, которые или непосредственно недоказуемы, или сводятся какой-нибудь посылкой к непосредственно недоказуемым, например: «Если Дион гуляет, стало быть, Дион движется». Просто рассуждения с заключением – это те, которые приводят к выводу, но не путем умозаключения, например: «День и ночь не могут быть одновременно; но стоит день; стало быть, ночь не стоит». Мнимые умозаключения – это те, которые по всему виду близки к умозаключению, но к выводу не приводят, например: «Если Дион – лошадь, то Дион – живое существо; но Дион – не лошадь; стало быть, Дион – не живое существо».
Далее, рассуждения бывают истинные и ложные. Истинные – это те, которые приводят к выводу из истинных посылок, например: «Если добродетель полезна, то порок вреден; [но добродетель полезна; стало быть, порок вреден]». Ложные – это те, в которых какие-нибудь из посылок или ложны, или не имеют заключения, например: «Если стоит день, то светло; но стоит день; стало быть, Дион жив». Далее, рассуждения бывают возможные и невозможные, необходимые и не необходимые.
Далее, рассуждения бывают недоказуемые, то есть не требующие указания [на предмет]. Разные писатели перечисляют их по-разному; так, Хрисипп различает их пять и полагает, что из них сплетается всякое рассуждение. Черпаются они и из рассуждений с заключениями, и из умозаключений, и из свернутых рассуждений. Первое рассуждение, не требующее доказательства, – это такое, в котором большая посылка – условное суждение, малая посылка – его начальное суждение, а вывод – его заключение; например: «Если первое есть, то и второе есть; но первое есть; стало быть, и второе есть». Второе рассуждение, не требующее доказательства, – это такое, в котором большая посылка – условное суждение, малая посылка противоположна его заключению, а вывод противоположен его началу, например: «Если стоит день, то светло; но стоит ночь; стало быть, день не стоит». В самом деле, здесь малая посылка образует противоположность к заключению, а вывод – к началу. Третье рассуждение, не требующее доказательства, – это такое, в котором большая посылка – двухчленное отрицание, малая посылка – один из его членов, вывод – противоположность другому члену, например: «Платон не может быть сразу и жив и мертв; но Платон мертв; стало быть, Платон не жив». Четвертое рассуждение, не требующее доказательства, – это такое, в котором большая посылка – разделительное суждение, малая посылка – один из его членов, вывод – противоположность другому члену, например: «Есть или первое, или второе; но есть первое; стало быть, нет второго». Пятое рассуждение, не требующее доказательства, – это такое, в котором большая посылка – разделительное суждение, малая посылка – противоположность одному из его членов, а вывод – второй его член, например: «Или день стоит, или ночь; ночь не стоит; стало быть, стоит день».
