34 Ibid. a. 10, seq.
35 Ibid. a. 26-30: καὶ εἴ τις καθόλου πειρῷτο δεικνύναι τὰ κοινά, οἷον ὅτι ἅπαν φάναι ἢ ἀποφάναι, ἢ ὅτι ἴσα ἀπὸ ἴσων, ἢ τῶν τοιούτων ἄττα. Сравните Metaph. K. p. 1061, b. 18.
36 Aristot. Analyt. Post. I. xii, p. 77, a. 36-40; Фемистий, стр. 40.
Текст здесь очень неясен. Он продолжает отличать геометрию в особенности (также другие науки, хотя и менее подчеркнуто) от τὰ ἐν τοῖς διαλόγοις (I. xii. p. 78, a. 12).
Юлий Паций, ad Analyt. Post. I. viii. (он делит главы иначе), стр. 417, говорит: — «Differentia interrogationis dialecticæ et demonstrativæ hæc est. Dialecticus ita interrogat, ut optionem det adversario, utrum malit affirmare an negare. Demonstrator vero interrogat ut rem evidentiorem faciat; id est, ut doceat ex principiis auditori notis» (Различие между диалектическим и доказательным допросом таково. Диалектик спрашивает так, чтобы дать противнику выбор, предпочитает ли он утверждать или отрицать. Доказатель же спрашивает, чтобы сделать вещь более очевидной; то есть, чтобы научить из принципов, известных слушателю).
37 Ibid. I. xii. p. 77, b. 1-15; Фемистий, стр. 41: οὐ γὰρ ὥσπερ τῶν ἐνδόξων οἱ πολλοὶ κριταί, οὕτω καὶ τῶν κατ’ ἐπιστήμην οἱ ἀνεπιστήμονες.
38 Analyt. Post. I. xii. p. 77, b. 16-33. Суждения в пределах науки, но ложные по существу, называются Аристотелем ψευδογραφήματα (псевдографами). См. Aristot. Sophist. Elench. xi. p. 171, b. 14; p. 172, a. 1.
«L’interrogation syllogistique se confondant avec la proposition, il s’ensuit que l’interrogation doit être, comme la proposition, propre à la science dont il s’agit» (Поскольку силлогистический допрос сливается с суждением, из этого следует, что допрос должен быть, как и суждение, свойственным науке, о которой идет речь). (Бартелеми Сент-Илер, примечание, стр. 70). Допрос здесь имеет иное значение, чем то, которое он имеет в диалектике.
39 Ibid. I. xii. p. 77, b. 34 seq. Этот отрывок для меня едва понятен. Он по-разному понимается комментаторами и переводчиками. Иоанн Филопон в схолиях (стр. 217, b. 17-32, Брандис) цитирует объяснение, данное Аммонием, но отвергает это объяснение и ждет, пока другие предоставят ему лучшее. Дзабарелла (Comm. in Analyt. Post. стр. 426, 456, изд. Venet 1617) признает, что в том виде, в каком он есть, и там, где он находится, он непонятен, но переносит его в другую часть книги (в конец гл. xvii., непосредственно перед словами φανερὸν δὲ καὶ ὅτι и т. д. из гл. xviii.) и дает объяснение его в этом измененном положении. Но я не думаю, что ему удалось прояснить его.
40 Ibid. I. xii. p. 77, b. 40-p. 78, a. 13.
Знание факта и знание причины должны быть различены, и даже в рамках одной и той же науки. В некоторых силлогизмах заключение только выявляет τὸ ὅτι — реальность определенных фактов; в других оно заканчивается на τὸ διότι — утверждении причины, или «почему». Силлогизм «почему» — это тот, где средний термин является не просто причиной, а ближайшей причиной заключения. Часто, однако, следствие более известно, так что мы используем его как средний термин и заключаем от него к его взаимно обратимой причине; в этом случае наш силлогизм является только силлогизмом ὅτι; так же обстоит дело и тогда, когда мы используем в качестве среднего термина причину не ближайшую, а отдаленную, заключая от нее к следствию. Иногда силлогизмы ὅτι могут подпадать под одну науку, а силлогизмы διότι — под другую, а именно в том случае, когда одна наука подчинена другой, как оптика геометрии, а гармоника арифметике; факты оптики и гармоники принадлежат чувству и наблюдению, а их причины — математическому рассуждению. Может случиться, таким образом, что человек хорошо знает τὸ διότι, но сравнительно невежественен τοῦ ὅτι: геометр мог уделить мало внимания оптическим фактам. Познание διότι является максимумом, совершенством всего познания; и это, включая арифметические и геометрические теоремы, почти всегда достигается силлогизмами в первой фигуре. Эта фигура является наиболее истинно научной из трех; две другие фигуры зависят от нее в плане расширения и сжатия. Это, кроме того, единственная фигура, в которой могут быть получены универсальные утвердительные заключения; ибо во второй фигуре мы получаем только отрицательные заключения; в третьей — только частные. Соответственно, суждения, объявляющие сущность или определение, полученные только через универсальные утвердительные заключения, даются не иначе как в первой фигуре.
41 Ibid. I. xiii. p. 77, a. 22 seq.
42 Фемистий, стр. 45: πολλάκις συμβαίνει καὶ ἀντιστρέφειν ἀλλήλοις τὸ αἰτιον καὶ τὸ σημεῖον καὶ ἄμφω δείκνυσθαι δι’ ἀλλήλων, διὰ τοῦ σημείου μὲν ὡς τὸ ὅτι, διὰ θατέρου δὲ ὡς τὸ διότι.
«Cum enim vera demonstratio, id est τοῦ διότι, fiat per causam proximam, consequens est, ut demonstratio vel per effectum proximum, vel per causam remotam, sit demonstratio τοῦ ὅτι» (Ибо, поскольку истинное доказательство, то есть τοῦ διότι, совершается через ближайшую причину, следует, что доказательство либо через ближайшее следствие, либо через отдаленную причину является доказательством τοῦ ὅτι). (Юлий Паций, Comm. стр. 422).
М. Бартелеми Сент-Илер отмечает (примечание, стр. 82): — «La cause éloignée non immédiate, donne un syllogisme dans la seconde figure. — Il est vrai qu’Aristote n’appelle cause que la cause immédiate; et que la cause éloignée n’est pas pour lui une véritable cause» (Отдаленная, не непосредственная причина дает силлогизм во второй фигуре. — Это правда, что Аристотель называет причиной только непосредственную причину; и что отдаленная причина для него не является истинной причиной).
См. в Schol. стр. 188, a. 19, объяснение, данное Александром силлогизма τοῦ διότι.
43 Analyt. Post. I. xiii. p. 79, a. 2, seq.: ἐνταῦθα γὰρ τὸ μὲν ὅτι τῶν αἰσθητικῶν εἰδέναι, τὸ δὲ διότι τῶν μαθηματικῶν, &c. Сравните Analyt. Prior. II. xxi. p. 67, a. 11; и Metaphys. A. p. 981, a. 15.
44 Analyt. Post. I. xiv. p. 79, a. 17-32.
Как существуют некоторые утвердительные суждения, которые неделимы, т.е. имеющие утвердительные предикаты, которые принадлежат субъекту сразу, непосредственно, неделимо, — так существуют также некоторые неделимые отрицательные суждения, т.е. с предикатами, которые принадлежат субъекту отрицательно сразу, непосредственно и т.д. Во всех таких случаях нет промежуточного шага, чтобы оправдать либо утверждение предиката, либо отрицание предиката относительно данного субъекта. Это будет иметь место там, где ни предикат, ни субъект не содержатся в каком-либо высшем роде.
45 Ibid. I. xv. p. 79, a. 33-b. 22. Пункт, на котором Аристотель здесь особенно настаивает, заключается в том, что могут быть и есть непосредственные, недоказуемые, отрицательные (так же как и утвердительные) предикаты: φανερὸν οὖν ὅτι ἐνδέχεταί τε ἄλλο ἄλλῳ μὴ ὑπάρχειν ἀτόμως. (Фемистий, Paraphr. стр. 48, Шпенгель: ἄμεσοι δὲ προτάσεις οὐ καταφάσεις μόνον εἰσίν, ἀλλὰ καὶ ἀποφάσεις ὁμοίως αἳ μὴ δύνανται διὰ συλλογισμοῦ δειχθῆναι, αὗται δ’ εἰσὶν ἐφ’ ὧν οὐδετέρου τῶν ὅρων ἄλλος τις ὅλου κατηγορεῖται.) Ранее в этой главе (стр. 72, b. 19) уже было показано, что существуют утвердительные предикаты, непосредственные и недоказуемые. Это можно сравнить с тем, что Платон провозглашает в «Софисте» (стр. 253-254, seq.) о взаимообщении τῶν γενῶν καὶ τῶν εἰδῶν (родов и видов) друг с другом. Некоторые из них допускают такое взаимообщение, другие отвергают его.
Что касается как этих суждений, непосредственных и неделимых, так и суждений опосредованных и выводимых, существуют две разновидности ошибки. Вы можете ошибаться просто, по неведению, не зная лучшего и не полагая, что вы вообще знаете; или ваша ошибка может быть ложным заключением, выведенным силлогизмом через средний термин и сопровождаемым верой с вашей стороны, что вы действительно знаете. Это может происходить разными способами. Предположим, что отрицательное суждение «Никакое Б не есть А» истинно непосредственно или неделимо. Тогда, если вы заключаете, что противоположное этому («Всякое Б есть А») истинно, посредством силлогизма через средний термин В, ваш силлогизм должен быть в первой фигуре; он должен иметь ложную меньшую посылку (поскольку Б подводится под В, когда оно не содержится ни в каком высшем роде), и он может иметь обе посылки ложными. Опять же, предположим, что утвердительное суждение «Всякое Б есть А» истинно непосредственно или неделимо. Тогда, если вы заключаете, что противоположное этому («Никакое Б не есть А») истинно, посредством силлогизма через средний термин В, ваш силлогизм может быть в первой фигуре, но он может быть также во второй фигуре, причем ваше ложное заключение будет отрицательным. Если он в первой фигуре, обе его посылки могут быть ложными, или одна из них может быть ложной, любая безразлично. Если он во второй фигуре, любая посылка по отдельности может быть полностью ложной, или обе могут быть частично ложными.
46 Analyt. Post. I. xvi. p. 79, b. 23: ἄγνοια κατ’ ἀπόφασιν — ἄγνοια κατὰ διάθεσιν. См. Фемистий, стр. 49, Шпенгель. Что касается простых и некомбинированных идей, неведение невозможно как ошибочная комбинация, а только как ментальная пустота. Вы либо имеете идею и, таким образом, знаете столько истины, либо вы не имеете идеи и, таким образом, невежественны в этой степени; это единственная альтернатива. Ср. Aristot. Metaph. Θ. p. 1051, a. 34; De Animâ, III. vi. p. 430, a. 26.
47 Analyt. Post. I. xvi. p. 79, b. 29. М. Бартелеми Сент-Илер отмечает (стр. 95, n.): — «Il faut remarquer qu’Aristote ne s’occupe que des modes universels dans la première et dans la seconde figure, parceque, la démonstration étant toujours universelle, les propositions qui expriment l’erreur opposée doivent l’être comme elle. Ainsi ce sont les propositions contraires, et non les contradictoires, dont il sera question ici» (Следует заметить, что Аристотель занимается только универсальными модусами в первой и второй фигуре, потому что, поскольку доказательство всегда универсально, суждения, выражающие противоположную ошибку, должны быть такими же, как оно. Таким образом, речь здесь пойдет о противоположных суждениях, а не о противоречащих).
По той же причине третья фигура здесь не упоминается, а только первая и вторая: потому что в третьей фигуре не может быть доказано никакое универсальное заключение (Юлий Паций, стр. 431).
48 Analyt. Post. I. xvi. p. 80, a. 6-26.
49 Ibid. a. 27-b. 14: ἐν δὲ τῷ μέσῳ σχήματι ὅλας μὲν εἶναι τὰς προτάσεις ἀμφοτέρας ψευδεῖς οὐκ ἐνδέχεται — ἐπί τι δ’ ἑκατέραν οὐδὲν κωλύει ψευδῆ εἶναι.
Давайте теперь предположим, что утвердительное суждение «Всякое Б есть А» истинно, но опосредовано и выводимо через средний термин В. Если вы заключаете противоположное этому («Никакое Б не есть А») через тот же средний термин В, в первой фигуре, ваша ошибка не может возникнуть из ложности в меньшей посылке, потому что ваша меньшая (по законам фигуры) должна быть утвердительной; ваша ошибка должна возникнуть из ложной большей, потому что отрицательная большая не противоречит законам первой фигуры. С другой стороны, если вы заключаете противоположное в первой фигуре через другой средний термин, Г, либо обе ваши посылки будут ложными, либо ваша меньшая посылка будет ложной. Если вы используете вторую фигуру, чтобы заключить противоположное, обе ваши посылки не могут быть ложными, хотя любая одна из них по отдельности может быть ложной.
50 Analyt. Post. I. xvi. p. 80, b. 17-p. 81, a. 4.
51 Ibid. p. 81, a. 5-14.
Таков будет случай, когда выводимое суждение, принятое за истинное, является утвердительным, и когда, следовательно, противоположное заключение, которое вы претендуете доказать, является отрицательным. Но если выводимое суждение, принятое за истинное, является отрицательным, и если, следовательно, противоположное заключение должно быть утвердительным, — тогда, если вы попытаетесь доказать это противоположное через тот же средний термин, ваши посылки не могут быть обе ложными, но ваша большая посылка должна всегда быть ложной. Если, однако, вы попытаетесь доказать противоположное через другой и неподходящий средний термин, вы не можете обратить меньшую посылку в ее противоположную (потому что меньшая посылка должна оставаться утвердительной, чтобы вы могли прийти к какому-либо заключению вообще), но большая может быть так обращена. Если большая посылка, обращенная таким образом, будет истинной, меньшая будет ложной; если большая посылка, обращенная таким образом, будет ложной, меньшая может быть либо истинной, либо ложной. Любая одна из посылок, или обе посылки, могут таким образом быть ложными.
52 Ibid. xvii. p. 81, a. 15-20.
53 Ibid. a. 20-34. Перевод г-на Поста (стр. 65-70) очень ясен и поучителен в отношении этих двух трудных глав.
Ошибки простого неведения (не выведенные из ложного силлогизма) могут происходить от дефекта или отказа чувственного восприятия в той или иной его ветви. Ибо без ощущения не может быть индукции; и именно из индукции получаются посылки для доказательства силлогизмом. Мы не можем прийти к универсальным суждениям, даже в так называемых абстрактных науках, иначе как через индукцию частностей; равно как мы не можем доказывать иначе, как из универсалий. Индукция и доказательство — единственные два способа обучения; и частности, составляющие наши индукции, могут быть познаны только через чувство.
54 Analyt. Post. I. xviii. p. 81, a. 38-b. 9. В этой важной главе (доктрины которой более полно развернуты в последней главе Второй книги Analyt. Post.) текст Вайца не полностью согласуется с текстом Юлия Пация. В издании Фирмена Дидо текст такой же, как у Вайца; но его латинский перевод остается адаптированным к переводу Юлия Пация. Вайц дает содержание главы следующим образом (ad Organ. II. стр. 347): — «Universales propositiones omnes inductione comparantur, quum etiam in iis, quæ a sensibus maxime aliena videntur et quæ, ut mathematica (τὰ ἐξ ἀφαιρέσεως), cogitatione separantur à materia quacum conjuncta sunt, inductione probentur ea quæ de genero (e.g., de linea vel de corpore mathematico), ad quod demonstratio pertineat, prædicentur καθ’ αὑτά et cum ejus natura conjuncta sint. Inductio autem iis nititur quæ sensibus percipiuntur; nam res singulares sentiuntur, scientia vero rerum singularium non datur sine inductione, non datur inductio sine sensu» (Все универсальные суждения сравниваются индукцией, поскольку даже в тех вещах, которые кажутся наиболее далекими от чувств и которые, как математические (τὰ ἐξ ἀφαιρέσεως), отделяются мышлением от материи, с которой они соединены, индукцией доказывается то, что о роде (например, о линии или о математическом теле), к которому относится доказательство, сказывается καθ’ αὑτά (само по себе) и соединено с его природой. Индукция же опирается на то, что воспринимается чувствами; ибо единичные вещи ощущаются, знание же единичных вещей не дается без индукции, не дается индукция без чувства).
Далее Аристотель переходит к доказательству того (что он предполагал в предыдущих пассажах), что если демонстрация или силлогистический процесс возможны — если существуют какие-либо истины, считающиеся доказуемыми, — то это подразумевает необходимость первичных или предельных истин. Было разъяснено, что составными элементами, предполагаемыми в силлогизме, являются три термина и два суждения, или посылки: в большей посылке А утверждается (или отрицается) обо всех Б; в меньшей Б утверждается обо всех В; в заключении А утверждается (или отрицается) обо всех В. Теперь возможно, что существуют один или несколько предикатов выше А, но невозможно, чтобы существовал бесконечный ряд таких высших предикатов. Точно так же могут существовать один или несколько субъектов ниже В, для которых В будет предикатом; но невозможно, чтобы существовал бесконечный ряд таких низших субъектов. Подобным же образом, возможно, существуют один или несколько средних терминов между А и Б, а также между Б и В; но невозможно, чтобы существовал бесконечный ряд таких промежуточных средних терминов. Должен существовать предел для ряда — восходящего, нисходящего или промежуточного. Эти замечания не применимы к обратимым суждениям, в которых предикат соразмерен субъекту. Но они в равной степени применимы как к отрицательным, так и к утвердительным демонстрациям, и одинаково ко всем трем фигурам силлогизма.
55 Analyt. Prior. I. xxvii. p. 43, a. 38; Analyt. Post. I. ii. p. 71, b. 21.
56 Analyt. Post. I. xix. p. 81, b. 10-17.
57 Ibid. p. 81, b. 30-p. 82, a. 14.
58 Ibid. p. 82, a. 15-20. М. Бартелеми Сент-Илер, стр. 117: «Это не может применяться к обратимым терминам, потому что в терминах, которые могут быть приписаны друг другу взаимно, нельзя сказать, что существует первое или последнее относительно атрибуции».
59 Analyt. Post. I. xx., xxi. p. 82, a. 21-b. 36.
В диалектическом силлогизме достаточно, чтобы посылки были приняты или считались суждениями, непосредственно истинными, независимо от того, являются ли они таковыми в действительности; но в научном или демонстративном силлогизме они должны быть таковыми в действительности: демонстрация не является полной, если ее нельзя проследить до посылок, которые являются таким образом непосредственно или прямо истинными (без какого-либо промежуточного среднего термина). Что существуют и должны существовать такие первичные или непосредственные посылки, Аристотель теперь берется доказать с помощью некоторых диалектических доводов, а также других аналитических или научных доводов. Он сам таким образом различает их; но это различие слабо выражено и сводится, самое большее, к тому, что аналитические доводы касаются только существенной предикации и условий научной демонстрации, в то время как диалектические доводы останавливаются на них, но включают в себя нечто иное, а именно — акцидентальную предикацию. Доказательство состоит главным образом в утверждении, что если мы не допустим, что некоторые суждения являются истинными непосредственно, неделимо, недоказуемо, то определение, демонстрация и наука были бы одинаково невозможны. Если восходящий ряд предикатов бесконечен, так что мы никогда не приходим к высшему родовому предикату; если нисходящий ряд субъектов бесконечен, так что мы никогда не достигаем низшего субъекта, — никакое определение никогда не может быть достигнуто. Существенные свойства, включенные в определение, должны быть конечны по числу; и акцидентальные предикаты также должны быть конечны по числу, поскольку они не имеют существования, кроме как будучи присоединенными к какому-либо существенному субъекту, и поскольку они должны подпадать под ту или иную из девяти позднейших Категорий. Если, таким образом, два крайних члена зафиксированы и конечны — высший предикат и низший субъект, — то невозможно, чтобы между ними существовал бесконечный ряд терминов. Промежуточные термины должны быть конечны по числу. Аристотелевская теория, следовательно, заключается в том, что существуют определенные суждения, прямо и непосредственно истинные, и другие, выведенные из них путем демонстрации через средние термины. Одинаково ошибочно утверждать, что все можно доказать, и что ничего нельзя доказать.