Аниций Боэций - Логические трактаты

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

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

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

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

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

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

Есть и такие условные связи, которые держатся на последовательности природы. Их тоже два вида: в одном случае следование необходимо, но само это следование получается не благодаря расположению терминов, в другом же следование получается благодаря расположению терминов. Пример первого вида, конечно, тот, когда мы говорим: если есть человек, есть животное. Ибо не потому есть животное, что есть человек, а, скорее, начало идет от рода, и причина сущности может более браться из общего, поэтому человек есть, поскольку есть животное. Ведь причина вида есть род. И тот, который говорит "потому что есть человек, есть животное", совершает правильное следование, хотя следования в смысле терминов не выходит.