Всякий силлогизм получается из определенных и соответственно расположенных посылок. Всякая же посылка есть либо предложение категорическое, которое также называется предикативным, либо гипотетическое, называемое также условным. Предикативное предложение - это такое предложение, в котором что-либо предицируется о чем-то другом, например: человек есть животное (homo animal est). Гипотетическое - то, которое с некоторым условием сообщает, что нечто будет иметь место, если будет иметь место что-то другое: если есть день, то есть свет (si dies est, lux est). Гипотетические предложения состоят из категорических (как станет ясно чуть позже), а следовательно, ясно, что силлогизм, состоящий из категорических посылок, именуется категорическим, то есть предикативным, а силлогизм, состоящий из гипотетических посылок, называется гипотетическим. Стало быть, чтобы понять, чем отличаются эти силлогизмы, нужно прежде всего рассмотреть различие в природе этих предложений. Ведь кажется, что в некоторых посылках предикативное предложение отличается от условного только способом выражения, например, если кто-то захочет сказать: человек есть животное, то он может это же высказать и другим способом: если есть человек, то он есть животное. Эти предложения отличаются именно по способу выражения, но, как кажется, обозначают одно и то же. Итак, прежде всего следует сказать, что смысл предикативного предложения заключается не в условии, а только в предикации, между тем как в предложении гипотетическом смысл следствия возникает из условия. Далее, предикативное предложение есть простое предложение, а условное предложение может получиться только в том случае, если оно будет составлено из предикативных предложений, например: "если есть день, то есть свет", "есть день" и "есть свет" суть два предикативных, то есть простых предложения. К этому следует добавить то, что более всего обнаруживает свойства предикативных и гипотетических предложений: в предикативном предложении один термин - субъект, другой предикат, и то, что в предикативном предложении полагается в качестве подлежащего, очевидно, принимает имя того, что в данном предложении предицируется. Таким образом, получаем: человек есть животное, где человек - подлежащее, животное сказуемое, и человек принимает имя животного, потому что полагается, что человек сам по себе есть животное.

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

В категорическом предложении субъект принимает имя сказуемого, в условном выражается мысль, что только тогда что-либо есть, когда будет другое, даже если они не принимают имена друг друга. Те силлогизмы, в которых есть утверждающие предложения, мы называем утверждающими, а те, в которых первое предложение - гипотетическое, называем гипотетическими силлогизмами. Простые силлогизмы исследованы нами в двух книгах, теперь исследуем непростые. Непростые силлогизмы называются гипотетическими, или по-латыни условными (conditionales). Они называются не простыми, поскольку сами состоят из простых, и в этих последних разъясняются, в особенности, когда первые из этих предложений по свойственному им следованию из категорических, т. е. простых, начинают силлогизм. Ведь первая посылка гипотетического силлогизма, если сомневаются, верна ли она, доказывается утвердительным заключением. Вторая же посылка во многих видах таких силлогизмов усматривается утвердительной, а также и заключение. К примеру, когда говорим, "если день, то светло". Вторая посылка – "притом день" - утвердительная и, если требуется, доказывается утвердительным силлогизмом - "светло". Значит, заключение, в свою очередь, следует утвердительное.

Кроме того, всякое условное предложение, как сказано, составляется из предикативных, поскольку если и достоверность берется из них, из них же - и порядок частей, то необходимо, чтобы категорические силлогизмы доставляли силу вывода гипотетическим силлогизмам. А так как мы ведем речь о гипотетических силлогизмах, то следует вспомнить, что такое гипотеза. Ведь гипотеза, откуда взято название силлогизма, выражается двумя способами (как полагает Евдем): 1) гипотезой считается нечто такое, что в силу взаимообусловленности своих частей не может привести к иному следствию, кроме как к тому, что вывод не сводился к одному из терминов; 2) либо гипотезой считается обусловленное следствие, которое выражается конъюнкцией или дизъюнкцией. Пример первого предложения, когда мы указываем, что все телесные вещи состоят из материи и формы. Далее мы предполагаем то, чего не может быть по природе вещей, то есть, отделяем (если не на деле, то по крайней мере в мысли) всякую форму от подлежащей ей материи. И так как уже ничего из вещей телесных не останется, мы полагаем доказанным и очевидным, что субстанция телесных вещей образуется соединением того, что будучи отделенным и удаленным от них, приводит к их уничтожению.

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

Непростые предложения всегда даются со связью: "если есть человек, то есть животное, если есть тройное, то есть неравное" и т. д. Ибо эти излагаются так, что если будет что-либо одно, то последует другое. Или: "если есть человек, то не есть лошадь", - здесь таким же способом отрицается. Кроме связки если (si) могут использовать когда (cum): "когда есть человек, есть животное". Те же, которые отличаются от этих простых, суть те, в которых говорится, что что-либо есть либо не есть, если что-либо будет либо не будет. Или когда мы говорим: "если он есть человек, то он не есть лошадь", в свою очередь, это предложение излагается таким же способом с отрицанием, каким выше излагалось в утверждении, ибо здесь говорится: "если есть этот, то не есть тот" и др. тем же способом. Могут иногда высказываться и таким способом: "потому что есть это, есть то", "потому что он есть человек, он животное", "потому что он есть человек, он не есть лошадь"; таковое высказывание имеет то же значение (ту же силу), что и такие: "если он есть человек, он животное", "если он есть человек, он не есть лошадь".

Гипотетические предложения получаются также благодаря дизъюнкции: "или это есть, или то есть". Не то же самое должно видеть в таком предложении и в том, о котором сказано выше: "если есть то, то не есть это", ибо оно возникло не благодаря дизъюнкции, а благодаря отрицанию. Всякое же отрицание бесконечно, и потому может быть и в противоположных, и в середине противоположных, и в несравнимых (я называю несравнимыми те, которые настолько различны по себе... как, к примеру, земля, огонь, одежда и пр.) А именно, "если белое, то не черное", "если белое, то не красное", "если наука, то не человек". А те, в которых есть дизъюнкция, необходимо излагаются так: "или есть день, или ночь"; потому что если все те (условные) предложения, которые высказаны с отрицанием, мы переведем в дизъюнкцию соответствующим образом, то вывод не получится. Потому что, если кто-то скажет, например, "либо белый, либо черный", "либо белый, либо красный", "либо наука, либо человек", может ли случиться, чтобы ничего из них не было. А поскольку сказано, что "si" и "cum" обозначают одну и ту же связь, в гипотетических предложениях излагается, что условия могут быть двух видов: первое согласно привходящему, второе, чтобы имелась бы какая-нибудь последовательность природы. Согласно привходящему (условию), когда говорим так: "когда огонь горячий, небо шарообразно". Ибо не потому, что огонь горячий, небо шарообразно. Это предложение означает, что, в то время, когда огонь горячий, и небо шарообразно.