Защищая свою позицию по этому вопросу, Аристотель отрицает (то, что, по его словам, утверждают его оппоненты), что все события происходят по необходимости. Он указывает на общеизвестный факт, что мы привычно обдумываем и советуемся и что событие часто меняется в зависимости от того, принимаем ли мы тот или иной образ действий; чего не могло бы быть (утверждает он), если бы событие могло быть объявлено заранее суждением, с необходимостью или определенно истинным. Что Аристотель понимает под необходимостью, однако, в конечном счете есть не что иное, как постоянная последовательность или соединение, мыслимое им как необходимое, потому что фиксированные цели, к которым стремится Природа, могут быть достигнуты только определенными фиксированными средствами. Этому он противопоставляет Спонтанность и Случай, возмущающие силы, по сути непостоянные и нерегулярные; допуская, конечно, возможность их фиксации, когда они уже произвели эффекты в прошлом, но бросая вызов всякой способности предсказания в отношении тех эффектов, которые они произведут в будущем. Отсюда возникает радикальное различие, которое он проводит в логике между истинностью суждений, относящихся к прошлому (или настоящему) и к будущему.
Но это логическое различие не может быть поддержано, потому что его метафизическая доктрина (на которой оно основано) относительно по сути нерегулярного или случайного не является защитимой. Его оппоненты отказались бы признать, что существует какая-либо сила, по сути или сама по себе нерегулярная, случайная и непредсказуемая. 21 Совокупность Природы состоит из множества последовательностей, каждая из которых постоянна и регулярна, хотя они перемешаны, взаимодействуют и конфликтуют друг с другом таким образом, что результирующие эффекты трудно отнести к их соответствующим причинам и их нельзя рассчитать заранее, за исключением самых высоких научных усилий; часто — никакими научными усилиями. Мы должны отбросить гипотезу Аристотеля, предполагающую силы, по сути нерегулярные и непредсказуемые, как в отношении прошлого, так и в отношении будущего. Прошлое было вызвано силами, которые все регулярны, как бы многообразны и противоречивы они ни были, и будущее будет вызвано подобными же силами: нет такого принципиального различия, какое Аристотель проводит между суждениями о прошлом и суждениями о будущем.
21 Стоики противостояли Аристотелю в этом пункте. Они не признавали никакой логической разницы в характере антифазиса, применяется ли он к прошлому и настоящему или к будущему. Никострат защищал тезис Аристотеля против них. См. Схолии Симпликия к «Категориям», p. 87, b. 30-p. 88, a. 24. αἱ γὰρ εἰς τὸν μέλλοντα χρόνον ἐγκλινόμεναι προτάσεις οὔτε ἀληθεῖς εἰσὶν οὔτε ψευδεῖς διὰ τὴν τοῦ ἐνδεχομένου φύσιν.
Замечания Гоббса по вопросу, обсуждаемому здесь Аристотелем, заслуживают того, чтобы их процитировать («De Corpore», часть II, гл. X, § 5):—
«Но здесь, возможно, кто-то спросит, являются ли необходимыми те будущие вещи, которые называются контингентными. Я говорю поэтому, что в целом все контингентные вещи имеют свои необходимые причины, но называются контингентными по отношению к другим событиям, от которых они не зависят; как дождь, который будет завтра, будет необходимым, то есть исходящим из необходимых причин; но мы думаем и говорим, что это происходит случайно, потому что мы еще не воспринимаем причины этого, хотя они существуют сейчас. Ибо люди обычно называют случайным или контингентным то, чью необходимую причину они не воспринимают; и точно так же они привыкли говорить о вещах прошлых, когда, не зная, было ли сделано что-то или нет, они говорят, что возможно, это никогда не было сделано».
«Поэтому все суждения относительно будущих вещей, контингентных или неконтингентных — как это: «Завтра будет дождь», или это: «Завтра взойдет солнце» — являются либо с необходимостью истинными, либо с необходимостью ложными; но мы называем их контингентными, потому что мы еще не знаем, истинны они или ложны; тогда как их истинность зависит не от нашего знания, а от предшествования их причин. Но есть некоторые, кто, хотя и признают это целое суждение «Завтра либо будет дождь, либо не будет дождя» истинным, все же не хотят признавать его части, как «Завтра будет дождь» или «Завтра не будет дождя», истинными сами по себе; потому что они говорят, что ни то, ни другое не является истинным определенно. Но что такое «определенно истинное», как не истинное в силу нашего знания, или очевидно истинное? И поэтому они говорят лишь то, что еще не известно, истинно это или нет; но они говорят это более туманно и затемняют очевидность истины теми же словами, которыми пытаются скрыть собственное невежество».
Сравните также более полное разъяснение предмета, данное г-ном Джоном Стюартом Миллем в его «Системе логики», кн. III, гл. xvii, § 2:— «Событие, происходящее случайно, может быть лучше описано как совпадение, из которого у нас нет оснований выводить единообразие; возникновение события при определенных обстоятельствах, без того, чтобы у нас были основания на этом основании делать вывод, что оно произойдет снова при этих обстоятельствах. Это, однако, при внимательном рассмотрении подразумевает, что перечисление обстоятельств не является полным. Каким бы ни был факт, поскольку он произошел однажды, мы можем быть уверены, что если бы все обстоятельства повторились, он произошел бы снова; и не только если все, но существует некоторая конкретная часть этих обстоятельств, от которой явление неизменно зависит. Однако с большинством из них оно не связано каким-либо постоянным образом: его соединение с ними называют эффектом случая, чисто случайным. Случайно соединенные факты по отдельности являются следствием причин, а следовательно, и законов; но разных причин и причин, не связанных никаким законом. Поэтому неверно говорить, что какое-либо явление порождено случаем; но мы можем сказать, что два или более явлений соединены случайно, что они сосуществуют или следуют друг за другом только случайно».
Существует, действительно, одно различие между выводами о прошлом и выводами о будущем, которое, возможно, способствовало предложению, хотя и не оправдает позицию, изложенную здесь Аристотелем. В отношении дизъюнкции — «Завтра будет морское сражение, или не будет морского сражения» — ничего более надежного, чем вывод или предвосхищение, невозможно: предвосхищение проницательного человека с полным знанием с большей вероятностью окажется верным, чем предвосхищение глупого человека с малым знанием; однако оба они являются лишь предвосхищениями, неверифицируемыми в настоящий момент. Но если мы обратимся к другой дизъюнкции — «Вчера было морское сражение, или не было морского сражения» — мы уже не в том же положении. Два спорщика, предполагаемые заявляющими так, могли находиться далеко и не иметь иных средств решения сомнения, кроме вывода. Но вывод здесь не является неверифицируемым: существуют или могут существовать свидетели или наблюдатели двух флотов, которые могут дать прямое подтверждение реальности и могут либо подтвердить, либо опровергнуть вывод, отрицательный или утвердительный, сделанный отсутствующим. Таким образом, суждение «Вчера было морское сражение» или другое, «Вчера не было морского сражения», будет верифицируемым или определенно истинным. Существует, конечно, много выводов о прошлом, в отношении которых невозможно получить прямые доказательства. Тем не менее, это случайность; ибо такие прямые доказательства всегда можно предположить или представить как способные быть доставленными в суд. Но в отношении будущего верификация исключена; мы ограничены областью вывода, хорошо или плохо обоснованного. Здесь, следовательно, мы имеем существенное различие между прошлым и будущим. Оно, вероятно, присутствовало в уме Аристотеля, хотя он неверно понимает реальный масштаб его действия и делает его подчиненным своей еще более всеобъемлющей классификации различных одновременных сил (регулярных и нерегулярных), которые, как он предполагает, пронизывают Космос.
В рассматриваемом нами трактате он далее переходит к изложению того, какая расстановка отрицательной частицы составляет специальное или законное отрицание любого данного утверждения, или каковы реальные формы суждения, находящиеся в противоречивой оппозиции к некоторым другим формам, чтобы составить один антифазис. 22 Простейшее суждение должно включать существительное и глагол, либо определенные, либо неопределенные: «не-человек» — это образец неопределенного существительного, «не-бежит» — неопределенного глагола. В любом одном суждении должен быть один субъект и один предикат; даже неопределенное существительное или глагол означают, в некотором смысле, одну вещь. Каждое утверждение включает существительное или неопределенное существительное с глаголом; специальное соответствующее или противоречащее отрицание (составляющее антифазис вместе с первым) включает существительное (или неопределенное существительное) с неопределенным глаголом. Простейшее суждение —
Affirmative.
Contradictory Negative.
Est homo … … … … Non est homo.
Est non homo … … … … Non est non homo.
Здесь только две пары антитетических суждений, или один кватернион. Вышеприведенное является неопределенным суждением (которое может быть либо общим, либо нет). Когда мы универсализируем его или превращаем в общее суждение, мы имеем —
Affirmative.
Contradictory Negative.
Est omnis homo … … … … Non est omnis homo.
Est omnis non homo … … … … Non est omnis non homo.
22 Aristot. De Interpr. p. 19, b. 5, seq.
Вышеприведенные являются образцами наименьшего суждения; но когда мы рассматриваем более крупные суждения, такие как те (называемые tertii adjacentis), где есть два термина помимо «есть», расстановка отрицательной частицы становится более сложной и требует более полного разъяснения. Возьмем в качестве примера утверждение «Есть справедливый человек», истинное отрицание этого — «Не есть справедливый человек». В этих двух суждениях «человек» является субъектом; но мы можем присоединить к нему отрицание, и мы можем рассматривать «не-человек», не менее чем «человек», как отдельный субъект для предикации, утвердительной или отрицательной. Далее, мы можем присоединить «есть» и «не есть» либо к «справедливый», либо к «не-справедливый» в качестве предиката суждения, с «человеком» или «не-человеком» в качестве субъекта. Мы получим таким образом двойной способ антитезиса, или два отдельных кватерниона, каждый из которых содержит две пары противоречащих суждений. Вторая пара первого кватерниона не будет находиться в том же отношении, что и вторая пара второго кватерниона, к суждению, только что упомянутому, а именно — (A) «Есть справедливый человек»; с его отрицанием, (B) «Не есть справедливый человек». 23
23 Aristot. De Interpr. p. 19, b. 19. ὅταν δὲ τὸ ἔστι τρίτον προσκατηγορῆται, ἤδη διχῶς λέγονται αἱ ἀντιθέσεις· λέγω δὲ οἷον ἔστι δίκαιος ἄνθρωπος · τὸ ἔστι τρίτον φημὶ συγκεῖσθαι ὄνομα ἢ ῥῆμα ἐν τῇ καταφάσει. ὥστε διὰ τοῦτο τέτταρα ἔσται ταῦτα, ὧν τὰ μὲν δύο πρὸς τὴν κατάφασιν καὶ ἀπόφασιν ἕξει κατὰ τὸ στοιχοῦν ὡς αἱ στερήσεις, τὰ δὲ δύο, οὔ. [λέγω δὲ ὅτι τὸ ἔστιν ἢ τῷ δικαίῳ προσκείσεται ἢ τῷ οὐ δικαίῳ], ὥστε καὶ ἡ ἀπόφασις. τέτταρα οὖν ἔσται. νοοῦμεν δὲ τὸ λεγόμενον ἐκ τῶν ὑπογεγραμμένων. В этом отрывке слова, которые я заключил в скобки, изменены Вайтцем: я изложу сейчас, что я думаю о его изменении. Вслед за этими словами должна была быть, и, кажется, из Аммония (Schol. p. 121, a. 20) следует, что когда-то была, схема или таблица, располагающая четыре суждения в порядке и расположении, которые мы читаем в «Первой Аналитике» (I. xlvi. p. 51, b. 37), и которым я буду здесь следовать. Но никакой такой таблицы сейчас в нашем тексте нет; у нас есть только перечисление четырех суждений в другом порядке, а затем ссылка на «Аналитику».
Сначала предположим «человека» в качестве субъекта. Тогда мы имеем
(QUATERNION I.)
(A) Est justus homo … … … … (B) Non est justus homo.
(D) Non est non justus homo … … … … (C) Est non justus homo.
Рассматривая отношение, которое последние два из этих четырех суждений (C и D) имеют к первым двум (A и B), простому утверждению и отрицанию, мы видим, что B является законным отрицанием A, а D — отрицанием C. Мы далее видим, что B является следствием C, а D — следствием A, но не vice versâ: то есть, если C истинно, B должно определенно быть истинным; но мы не можем сделать вывод, что если B истинно, то C также должно быть истинным: в то время как если A истинно, D также должно быть истинным; но D может, возможно, быть истинным, даже если A не истинно. Другими словами, отношение D к A и C к B такое же, как если бы привативный термин «несправедливый» был подставлен вместо «не-справедливый»; т.е. если суждение C («Есть несправедливый человек») истинно, то другое суждение B («Не есть справедливый человек») должно определенно быть истинным, но вывод не будет справедлив в обратную сторону; в то время как если суждение A («Есть справедливый человек») истинно, то должно быть также истинным сказать D («Не есть несправедливый человек»), но не vice versâ. 24
24 Ссылаясь на слова, процитированные в предыдущем примечании, я толкую τὰ δὲ δύο, οὔ так же, как Боэций (II. pp. 384-385), а не в согласии с Аммонием (Schol. p. 122, a. 26, Br.), которому, однако, следуют и Юлий Паций, и Вайтц (p. 344). Я считаю невозможным, чтобы эти слова, τὰ δὲ δύο, οὔ, могли означать (как думает Аммоний) сами κατάφασις и ἀπόφασις, поскольку именно то, что Аристотель утверждает, есть отношение этих слов πρὸς τὴν κατάφασιν καὶ ἀπόφασιν, т.е. к утверждению и отрицанию, от которых начали —
(A) Est justus homo … … … … (B) Non est justus homo.
Как слова τὰ μὲν δύο относятся ко второй противоречащей паре (то есть C и D) в первом кватернионе, так слова τὰ δὲ δύο, οὔ обозначают вторую противоречащую пару (G и H) во втором кватернионе. Хотя G и H включены во второй кватернион, они здесь обозначены отрицательным отношением (τὰ δὲ δύο, οὔ), которое они имеют к A и B, первой противоречащей паре первого кватерниона. διχῶς λέγονται αἱ ἀντιθέσεις (строка 20) объясняется и иллюстрируется строкой 37 — αὗται μὲν οὖν δύο ἀντίκεινται, ἄλλαι δὲ δύο πρὸς τὸ οὐκ ἄνθρωπος ὡς ὑποκείμενόν τι προστεθέν. Наконец, Аристотель прямо заявляет, что второй кватернион будет стоять независимо и сам по себе (p. 20, a. 1), заметив его в начале только в отношении к первому.
Таков результат, полученный, когда мы берем «человека» в качестве субъекта суждения; мы получаем четыре суждения, из которых два последних (C и D) относятся к двум первым (B и A) в том же отношении, как если бы они (C и D) были привативными суждениями. Но если вместо «человека» мы возьмем «не-человека» в качестве субъекта суждения («справедливый» или «не-справедливый» являются предикатами, как и раньше), мы получим тогда две другие пары противоречащих суждений; и вторая пара этого нового кватерниона не будет находиться в том же отношении к этим же суждениям B и A. Мы тогда обнаружим, что вместо B и A у нас есть другое отрицание и другое утверждение в качестве соответствующих коррелятов к третьему и четвертому суждениям. Новый кватернион суждений с «не-человеком» в качестве субъекта будет выглядеть так —
(QUATERNION II.)
(E) Est justus non homo … … … … (F) Non est justus non homo.
(H) Non est non justus non homo … … … …
(G) Est non justus non homo.25
Здесь мы видим, что суждения G и H не находятся к B и A в тех же отношениях, что C и D к B и A; но что они находятся в том же отношении к двум совершенно другим суждениям, F и E. То есть, если вместо «не-справедливый» в суждениях G и H мы подставим привативный термин «несправедливый» (превращая таким образом G в «Есть несправедливый не-человек», а H в «Не есть несправедливый не-человек»), отношение G, когда оно таким образом изменено, к F, и отношение H, когда оно таким образом изменено, к E, будет таким же, как было раньше. Или, другими словами, если G истинно, F будет определенно истинным, но не vice versâ; и если E истинно, H будет определенно истинным, но не vice versâ.
25 Aristot. De Interpr. p. 19, b. 36. αὗται μὲν οὖν δύο ἀντίκεινται (две пары — A B и C D — первого кватерниона), ἄλλαι δὲ δύο πρὸς τὸ οὐκ ἄνθρωπος ὡς ὑποκείμενόν τι προστεθέν·
(E) ἔστι δίκαιος οὐκ ἄνθρωπος … … … … (F) οὐκ ἔστι δίκαιος οὐκ ἄνθρωπος.
(H) οὐκ ἔστιν οὐ δίκαιος οὐκ ἄνθρωπος … … … … (G) ἔστιν οὐ δίκαιος οὐκ ἄνθρωπος.
πλείους δὲ τούτων οὐκ ἔσονται ἀντιθέσεις. αὗται δὲ χωρὶς ἐκείνων αὐταὶ καθ’ ἑαυτὰς ἔσονται, ὡς ὀνόματι τῷ οὐκ ἄνθρωπος χρώμεναι. Вторая αὗται намекает на этот последний кватернион, ἐκείνων — на первый. Я, как и в предыдущем случае, транспонировал суждения три и четыре этого второго кватерниона, чтобы отношение G к F и H к E можно было легче различить.
Мало в Аристотеле глав более неясных и озадачивающих, чем десятая глава «Об истолковании». Таковой ее находили Александр, Гермин, Порфирий, Аммоний и все схоласты. Аммоний (Schol. pp. 121, 122, Br.) сообщает об этих сомнениях и жалуется на нее как на загадку, почти неразрешимую. Трудности остаются даже после длинного примечания Вайтца и буквального перевода М. Бартелеми Сент-Илера.
Суждения, которые мы до сих пор изучали, были неопределенными; то есть они могли быть общими или нет. Но если мы присоединим к ним знак общности и истолкуем их как общие, все, что мы сказали о них, по-прежнему оставалось бы истинным, за исключением того, что суждения, которые диаметрально (или диагонально) противоположны, не были бы оба истинными во многих случаях. Так, возьмем первый кватернион суждений, в котором «есть» присоединено к «человеку», и истолкуем эти суждения как общие. Они будут выглядеть так —
(A) Omnis est homo justus … … … … (B) Non omnis est homo justus.
(D) Non omnis est homo non justus … … … … (C) Omnis est homo non justus.
В этих суждениях, как и в других, упомянутых ранее, то же отношение преобладает между C и B, и между A и D; если C истинно, B также истинно, но не vice versâ; если A истинно, D также будет истинным, но не vice versâ. Но суждения, диагонально противоположные, не будут так часто одинаково истинными: 26 так, если A истинно («Всякий человек есть справедливый»), C не может быть истинным («Всякий человек есть несправедливый»); тогда как в предыдущем кватернионе суждений (неопределенных, и поэтому способных быть истолкованными как не общие) A и C могли оба быть одинаково истинными. 27