1. Est bonum. 2. Non est bonum.
4. Non est non bonum. 3. Est non bonum.
№ 1 — утвердительное; № 3 — утвердительное (ἐκ μεταθέσεως); № 2 и 4 — отрицательные. Везде, где № 1 сказуемо, № 4 также будет сказуемо; везде, где № 3 сказуемо, № 2 также будет сказуемо — но ни в одном случае vice versâ. 89 Ошибки часто возникают из-за неправильного выставления двух противоречащих суждений.
89 Analyt. Prior. I. xlvi. p. 51, b. 5, ad finem. См. выше, гл. IV, стр. 118, seq.
ГЛАВА VI.
ANALYTICA PRIORA II.
Вторая книга Analytica Priora, по-видимому, задумана главным образом с прицелом на диалектику и софистику, тогда как первая книга была больше направлена на доказательство. 1 Аристотель начинает вторую книгу с краткого повторения того, что он изложил в первой; а затем переходит к рассмотрению некоторых других свойств силлогизма. Общие силлогизмы (те, в которых заключение общее), говорит он, всегда имеют более одного заключения; частные силлогизмы иногда, но не всегда, имеют более одного заключения. Если заключение общее, оно всегда может быть обращено — просто, когда оно отрицательное, или per accidens, когда оно утвердительное; и его обращение, полученное таким образом, будет доказано теми же посылками. Если заключение частное, оно будет просто обратимым, когда оно утвердительное, и его обращение, полученное таким образом, будет доказано теми же посылками; но оно не будет обратимым вовсе, когда оно отрицательное, так что доказанным заключением будет только оно само в единственном числе. 2 Более того, в общих силлогизмах первой фигуры (Barbara, Celarent) любое из частных, охватываемых меньшим термином, может быть подставлено вместо меньшего термина в качестве субъекта заключения, и доказательство будет оставаться в силе в отношении них. Так, опять же, все или любые из частных, охватываемых средним термином, могут быть введены в качестве субъекта заключения вместо меньшего термина; и заключение все равно останется истинным. Во второй фигуре изменение допустимо только в отношении тех частных, которые охватываются субъектом заключения или меньшим термином, а не (по крайней мере, в силу силлогизма) в отношении тех, которые охватываются средним термином. Наконец, везде, где заключение частное, изменение допустимо, хотя и не по причине силлогизма в отношении частных, охватываемых средним термином; оно не допустимо в отношении меньшего термина, который сам является частным. 3
1 Это замечание древних схолиастов. См. Schol. p. 188, a. 44, b. 11.
2 Analyt. Prior. II. i. p. 53, a. 3-14.
3 Analyt. Prior. II. i. p. 53, a. 14-35. М. Бартелеми Сент-Илер, следуя Пацию, справедливо отмечает (примечание, стр. 203 его перевода), что правило относительно частных нарушается в случаях Baroco, Disamis и Bocardo.
О главе в целом он замечает (примечание, стр. 204): — «Эта теория различных заключений, явных или скрытых, одного и того же силлогизма, особенно полезна в диалектике, в дискуссии; где нужно уделять величайшее внимание тому, что предоставляется противнику, явно или неявно». Это иллюстрирует наблюдение, процитированное в предыдущем примечании из схолиастов.
Аристотель до сих пор рассматривал силлогизм с точки зрения его формальных характеристик: теперь он делает важное наблюдение, которое касается его материи. Формально говоря, две посылки всегда предполагаются истинными; но в любом реальном случае силлогизма (форма и материя вместе) возможно, что одна или обе могут быть ложными. Теперь Аристотель отмечает, что если обе посылки истинны (силлогизм правилен по форме), заключение по необходимости должно быть истинным; но если одна или обе посылки ложны, заключение не обязательно должно быть также ложным. Посылки ложны, заключение тем не менее может быть истинным; но оно будет истинным не по причине или вследствие посылок. 4
4 Analyt. Prior. II. ii. p. 53, b. 5-10: ἐξ ἀληθῶν μὲν οὖν οὐκ ἔστι ψεῦδος συλλογίσασθαι, ἐκ ψευδῶν δ’ ἔστιν ἀληθές, πλὴν οὐ διότι ἀλλ’ ὅτι· τοῦ γὰρ διότι οὐκ ἔστιν ἐκ ψευδῶν συλλογισμός· δι’ ἣν δ’ αἰτίαν, ἐν τοῖς ἑπομένοις λεχθήσεται.
Истинное заключение истинно не по причине этих ложных посылок, а по причине некоторых других посылок, которые истинны и которые могут быть представлены для его доказательства. Сравните Analyt. Poster. I. ii. p. 71, b. 19.
Во-первых, он хотел бы доказать, что если посылки истинны, заключение также должно быть истинным; но доказательство, которое он дает, не кажется более очевидным, чем само probandum. Предположим, что если А существует, В также должно существовать: из этого следует (аргументирует он), что если В не существует, то и А не может существовать; что он объявляет как reductio ad absurdum, видя, что это противоречит фундаментальному допущению существования А. 5 Здесь probans действительно столь же очевиден, как и probandum, но вовсе не более очевиден; тот, кто оспаривает последнее, будет оспаривать и первое. Ничего не выигрывается в плане доказательства, делая одно из них зависимым от другого. Оба они одинаково самоочевидны; то есть, если человек колеблется признать любое из них, у вас нет средств устранить его сомнения, кроме как пригласить его испытать общую максиму на стольких частных случаях, сколько он пожелает, и увидеть, не остается ли она верной без единого исключения.
5 Ibid. II. ii. p. 53, b. 11-16.
В отношении случая, выдвинутого здесь в качестве иллюстрации, у Аристотеля есть наблюдение, которое показывает его стремление поддерживать характерные принципы силлогизма; одним из которых он объявил — что ничто меньшее, чем три термина и два суждения, не может оправдать вывод от посылок к заключению. В данном случае он предположил: если А существует, то В должно существовать; давая только одну посылку в качестве основания для вывода. Это (добавляет он) не противоречит тому, что было изложено ранее; ибо А в рассматриваемом нами случае представляет два суждения, взятые в соединении. 6 Здесь он дал тип гипотетического рассуждения; не признавая его разновидностью per se и не прослеживая его в различных формах (как это делали его преемники после него), а сводя его к категорическому силлогизму. 7 Однако он очень ясно передает кардинальный принцип всякого гипотетического вывода — что если антецедент истинен, консеквент также должен быть истинным, но не vice versâ; если консеквент ложен, антецедент также должен быть ложным, но не vice versâ.
6 Analyt. Prior. II. ii. p. 53, b. 16-25. τὸ οὖν Ἀ ὥσπερ ἓν κεῖται, δύο προτάσεις συλληφθεῖσαι.
7 Следует отметить, что Аристотель использует слово κατηγορικός не в том смысле, который оно приобрело впоследствии, как антитеза ὑποθετικός в применении к суждению и силлогизму, а в смысле утвердительного в противоположность στερητικός.
Изложив принцип, что заключение может быть истинным, хотя одна или обе посылки ложны, Аристотель переходит к подробной иллюстрации его применения к каждой из трех силлогистических фигур. 8 Ни одна часть Analytica не прослежена более ясно, чем изложение этого важнейшего логического учения.
8 Analyt. Prior. II. ii.-iv. p. 53, b. 26-p. 57, b. 17. В конце (p. 57, a. 36-b. 17) общее учение суммируется.
Возможно (продолжает он, опять же довольно подробно), инвертировать силлогизм и доказывать по кругу. То есть вы можете взять заключение в качестве посылки для нового силлогизма вместе с одной из старых посылок, переставив ее термины; и таким образом вы можете доказать другую посылку. Вы можете делать это последовательно, сначала с большей, чтобы доказать меньшую; затем с меньшей, чтобы доказать большую. Каждая из посылок будет таким образом по очереди сделана доказанным заключением; и круг будет полным. Но это может быть сделано идеально только в Barbara, и когда, кроме того, все три термина силлогизма взаимно соответствуют друг другу или соразмерны по значению; так что каждая из двух посылок допускает простое обращение. Во всех остальных случаях процесс кругового доказательства, где он вообще возможен, более или менее несовершенен. 9
9 Ibid. II. v.-viii. p. 57, b. 18-p. 59, a. 35.
Показав таким образом, при каких условиях заключение может быть использовано для доказательства посылок, Аристотель переходит к изложению того, путем какой трансформации оно может быть использовано для их опровержения. Это он называет обращением силлогизма; крайне неудобное использование термина «обращение» (ἀντιστρέφειν), поскольку он уже приписал этому же термину более одного другого значения, отличных и различных, в логической процедуре. 10 Что это здесь означает — это реверсирование заключения, чтобы заменить его либо на противное, либо на противоречащее; затем использование этого реверсированного суждения в качестве новой посылки вместе с одной из предыдущих посылок, чтобы опровергнуть другую из предыдущих посылок — т.е. доказать ее противное или противоречащее. Результат здесь будет разным в зависимости от того, каким образом реверсируется заключение; в зависимости от того, заменяете ли вы его на противное или противоречащее. Предположим, что доказанный силлогизм таков: А принадлежит всему В, В принадлежит всему С; Ergo, А принадлежит всему С (Barbara). Теперь, если мы реверсируем это заключение, взяв его противное, А не принадлежит ни одному С, и если мы объединим это как новую посылку с большей посылкой предыдущего силлогизма, А принадлежит всему В, мы получим в качестве заключения В не принадлежит ни одному С; что является противным меньшей посылки, в форме Camestres. Если, с другой стороны, мы реверсируем заключение, взяв его противоречащее, А не принадлежит всему С, и объединим это с той же большей посылкой, мы будем иметь в качестве заключения, В не принадлежит всему С; что является противоречащим меньшей посылки, и в форме Baroco: хотя в одном случае, как и в другом, меньшая посылка опровергается. Большая посылка опровергается противоречаще, независимо от того, берется ли противное или противоречащее заключению вместе с меньшей посылкой для формирования нового силлогизма; но все же форма варьируется от Felapton до Bocardo. Аристотель далее показывает, как тот же процесс применяется к другим модусам первой и к модусам второй и третьей фигур. 11 Новый силлогизм, полученный этим процессом реверсирования, всегда находится в другой фигуре, чем реверсированный силлогизм. Таким образом, силлогизмы первой фигуры реверсируются второй и третьей; те, что во второй, — первой и третьей; те, что в третьей, — первой и второй. 12
10 Schol. (ad Analyt. Prior. p. 59, b. 1), p. 190, b. 20, Brandis. Сравните примечания М. Бартелеми Сент-Илера, стр. 55, 242.
11 Analyt. Prior. II. viii.-x. p. 59, b. 1-p. 61, a. 4.
12 Ibid. x. p. 61, a. 7-15.
Из этого процесса реверсирования одна разновидность — это то, что называется Reductio ad Absurdum; в котором заключение реверсируется путем взятия его противоречащего (никогда не противного), а затем соединения последнего с одной из посылок, чтобы доказать противоречащее или противное другой посылки. 13 Reductio ad Absurdum отличается от других способов реверсирования следующими характеристиками: (1) что он берет противоречащее, а не противное заключению; (2) что он предназначен для случая, когда оппонент отказывается признать заключение; тогда как другие случаи реверсии предназначены только как подтверждающее доказательство для человека, который уже признает заключение; (3) что он не апеллирует и не требует никакого уступки со стороны оппонента; ибо если он отказывается признать заключение, вы предполагаете, как само собой разумеющееся, что он должен придерживаться противоречащего заключению; и вы, следовательно, принимаете это противоречащее как данное (не спрашивая его согласия) в качестве одной из основ нового силлогизма; (4) что он предполагает следующее: — когда путем противоречащего заключению, соединенного с одной из посылок, вы доказали противоположное другой посылке, само исходное заключение показано как находящееся вне всякого подозрения по части формы, т.е. вне подозрения со стороны любого, кто признает посылки. Вы принимаете за истинное, для случая, само суждение, которое вы намереваетесь в конечном итоге доказать ложным; ваша цель в новом силлогизме — не доказать исходное заключение, а доказать его истинность путем доказательства ложности его противоречащего. 14
13 Analyt. Prior. II. xi. p. 61, a. 18, seq.
14 Ibid. p. 62, a. 11: φανερὸν οὖν ὅτι οὐ τὸ ἐναντίον, ἀλλὰ τὸ ἀντικείμενον, ὑποθετέον ἐν ἅπασι τοῖς συλλογισμοῖς. οὕτω γὰρ τὸ ἀναγκαῖον ἔσται καὶ τὸ ἀξίωμα ἔνδοξον. εἰ γὰρ κατὰ παντὸς ἢ κατάφασις ἢ ἀπόφασις, δειχθέντος ὅτι οὐχ ἡ ἀπόφασις, ἀνάγκη τὴν κατάφασιν ἀληθεύεσθαι. См. Scholia, p. 190, b. 40, seq., Brand.
Путем Reductio ad Absurdum вы можете во всех трех фигурах доказать все четыре разновидности заключения, общие и частные, утвердительные и отрицательные; с тем единственным исключением, что вы не можете этим методом доказать в первой фигуре общее утвердительное. 15 За этим исключением, каждое истинное заключение допускает доказательство одним из двух способов, либо прямо и остенсивно, либо путем сведения к невозможному. 16
15 Ibid. p. 61, a. 35-p. 62, b. 10; xii. p. 62, a. 21. Александр, ap. Schol. p. 191, a. 17-36, Brand.
16 Ibid. xiv. p. 63, b. 12-21.
Во второй и третьей фигурах, хотя не в первой, возможно получить заключения даже из двух посылок, которые противоречат или противны друг другу; но заключение будет, как само собой разумеющееся, самопротиворечивым. Таким образом, если во второй фигуре у вас есть две посылки — Всякая наука хороша; Никакая наука не хороша — вы получаете заключение (в Camestres), Никакая наука не есть наука. В противоположных суждениях одно и то же сказуемое должно быть утверждено и отрицаемо об одном и том же субъекте в одной из трех различных форм — Все и Никакое, Все и Не все, Некоторые и Никакое. Это показывает, почему такие заключения не могут быть получены в первой фигуре; ибо характеристика этой фигуры в том, что средний термин должен быть сказуемым в одной посылке и субъектом в другой. 17 В диалектической дискуссии вряд ли будет возможно получить противные или противоречащие посылки, признанные противником непосредственно друг за другом, потому что он обязательно заметит противоречие: вы должны замаскировать свою цель, задавая два вопроса не в непосредственной последовательности, а вводя другие вопросы между ними, или другими косвенными средствами, как предложено в Topica. 18
17 Analyt. Prior. II. xv. p. 63, b. 22-p. 64, a. 32. Аристотель здесь объявляет подпротивные (как их позже называли), — Некоторые люди мудры, Некоторые люди не мудры, — противоположными только в выражении или словесно (κατὰ τὴν λέξιν μόνον).
18 Ibid. II. xv. p. 64, a. 33-37. См. Topica, VIII. i. p. 155, a. 26; Юлий Паций, p. 372, примечание. В Topica Аристотель предлагает способы скрытия цели вопрошающего и принуждения противника противоречить самому себе: ἐν δὲ τῶς Τοπικοῖς παραδίδωσι μεθόδους τῶν κρύψεων δι’ ἃς τοῦτο δοθήσεται (Schol. p. 192, a. 18, Br.). Сравните также Analyt. Prior. II. xix. p. 66, a. 33.
Аристотель теперь переходит к определенным общим заголовкам заблуждения, или общим подверженностям ошибке, которыми обременен процесс силлогизирования. То, что предпринимает рассуждающий, — это доказать заключение перед ним и доказать его естественным и подобающим способом; то есть из посылок, как более очевидных самих по себе, так и логически предшествующих заключению. Всякий раз, когда он не может таким образом доказать, имеет место ошибка того или иного рода; но он может ошибаться несколькими способами: (1) Он может произвести дефектный или неформальный силлогизм; (2) Его посылки могут быть более непознаваемыми, чем его заключение, или одинаково непознаваемыми; (3) Его посылки, вместо того чтобы быть логически предшествующими заключению, могут быть логически последующими ему. 19
19 Ibid. II. xvi. p. 64, b. 30-35: καὶ γὰρ εἰ ὅλως μὴ συλλογίζεται, καὶ εἰ δι’ ἀγνωστοτέρων ἢ ὁμοίως ἀγνώστων, καὶ εἰ διὰ τῶν ὑστέρων τὸ πρότερον· ἡ γὰρ ἀπόδειξις ἐκ πιστοτέρων τε καὶ προτέρων ἐστιν.… τὰ μὲν δι’ αὑτῶν πέφυκε γνωρίζεσθαι, τὰ δὲ δι’ ἄλλων.
Отличный от всех этих трех, однако, Аристотель выделяет и останавливается на другом способе ошибки, который он называет Petitio Principii. Некоторые истины, principia, по природе познаваемы через или в самих себе, другие познаваемы только через другие вещи. Если вы смешиваете это различие и спрашиваете или предполагаете что-то из последнего класса, как если бы оно принадлежало к первому, вы совершаете Petitio Principii. Вы можете совершить его либо предполагая сразу то, что должно быть доказано, либо предполагая, как если бы это было principium, что-то другое среди тех материй, которые в естественной подобающей манере были бы доказаны с помощью principium. Таким образом, существует (предположим) естественная подобающая манера, что С должно быть доказано через А; но вы, упуская это, доказываете В через С, и А через В. Инвертируя таким образом законный порядок, вы делаете то, что равносильно доказательству А через само себя; ибо ваше доказательство не будет держаться, если вы не предположите А в начале, чтобы прийти к С. Это ошибка, совершаемая нередко, и особенно некоторыми, кто определяет параллельные линии; ибо они дают определение, которое не может быть понято, если параллельные линии не будут предположены.
20 Analyt. Prior. II. xvi. p. 64, b. 33-p. 65, a. 9. Petere principium — это, по выражению Аристотеля, не τὴν ἀρχὴν αἰτεῖσθαι, а τὸ ἐν ἀρχῇ αἰτεῖσθαι или τὸ ἐξ ἀρχῆς αἰτεῖσθαι (xvi. p. 64, b. 28, 34).
Когда проблема такова, что неопределенно, может ли А быть сказуемым либо о С, либо о В, если вы затем предполагаете, что А сказуемо о В, вы, возможно, не совершаете Petitio Principii, но вы определенно терпите неудачу в доказательстве проблемы; ибо никакое доказательство не будет держаться, где посылка одинаково неопределенна с заключением. Но если, кроме того, случай таков, что В идентично с С, то есть либо соразмерно и взаимно обратимо с С, либо относится к С как род или вид, — в любом из этих случаев вы совершаете Petitio Principii, предполагая, что А может быть сказуемым о В. 21 Ибо, видя, что В соответствует С, вы могли бы точно так же доказать, что А сказуемо о В, потому что оно сказуемо о С; то есть вы могли бы доказать большую посылку с помощью меньшей и заключения, так же как вы можете доказать заключение с помощью большей и меньшей посылки. Если вы не можете так доказать большую посылку, это не потому, что структура силлогизма запрещает это, а потому, что сказуемое большей посылки более обширно, чем субъект оного. Если оно соразмерно и обратимо с субъектом, мы будем иметь круговое доказательство трех суждений, в которых каждое может быть попеременно посылкой и заключением. То же самое будет в случае, если Petitio Principii находится в меньшей посылке, а не в большей. В первой силлогистической фигуре оно может быть в любой из посылок; во второй фигуре оно может быть только в меньшей посылке, и то только в одном модусе (Camestres) фигуры. 22 Сущность Petitio Principii состоит в том, что вы выставляете как истинное per se то, что не является действительно истинным per se. 23 Вы можете совершить эту ошибку либо в доказательстве, когда вы принимаете за истинное то, что не является действительно истинным, либо в диалектике, когда вы принимаете как вероятное и соответствующее авторитетному мнению то, что не является действительно таковым. 24