Взгляд Аристотеля на силлогизм из индукции очень ясно объяснен М. Бартелеми Сент-Илером в поучительных примечаниях к его переводу, стр. 326-328; а также в его предисловии, стр. lvii: «Индукция в своей основе — это лишь силлогизм, в котором меньший и средний термины равны по объему. Впрочем, существует лишь один способ, которым средний и меньший термины могут быть равны по объему: это когда меньший термин состоит из всех частей, совокупность которых представляет средний термин. С одной стороны, все индивиды; с другой — целое вида, который они образуют. Разум немедленно устанавливает равенство между двумя равными терминами».
Согласно аристотелевскому тексту, как он дан у Пация и других, А (больший термин) представляет longævum (долгоживущее, родовой термин или целое); В (средний термин) представляет vacans bile (безжелчное, родовой термин или целое); С (меньший термин) представляет совокупность индивидов класса longævum — человека, лошадь, мула и т. д.
Юлий Паций выстраивает индуктивный силлогизм следующим образом:
1. Omnis homo, equus, asinus, &c., est longævus.
2. Omnis homo, equus, asinus, &c., vacat bile.
Ergo:
3. Quicquid vacat bile, est longævum.
Преобразуемый в силлогизм по модусу Barbara:
1. Omnis homo, equus, asinus, &c., est longævus.
2. Quicquid vacat bile, est homo, equus, asinus, &c.
Ergo:
3. Quicquid vacat bile, est longævum.
Здесь сила доказательства (или возможность, в данном исключительных случаях, преобразования силлогизма третьей фигуры в другой по модусу Barbara первой фигуры) зависит от уравнения или соразмерности (не выраженной в посылках, но предполагаемой в дополнение к ним) меньшего термина С со средним термином В. Но я утверждаю, что это не то условие, которое настоятельно требуется или является достаточным для доказательства, если мы предположим, что С (меньший термин) представляет omne longævum. Мы должны понимать, что С (меньший термин) представляет omne vacans bile, или quicquid vacat bile; и если мы не понимаем этого, доказательство терпит неудачу. Другими словами, homo, equus, asinus и т. д. (совокупность индивидов) должны быть соразмерны родовому термину «безжелчный» или vacans bile: но они не обязательно должны быть соразмерны родовому термину «долгоживущий» или longævum. В конечном заключении субъект vacans bile распределен, но предикат longævum не распределен; последний может включать, помимо всех безжелчных животных, любое количество других животных, без ущерба для силлогистического доказательства.
В таком случае я считаю, что в тексте, представленном всеми редакторами, от Пация до Беккера и Вайца, содержится ошибка. То, что они дают при изложении терминов аристотелевского силлогизма из индукции, есть: ἔστω τὸ Α μακρόβιον, τὸ δ’ ἐφ’ ᾧ Β, τὸ χολην μὴ ἔχον, ἐφ’ ᾧ δὲ Γ, τὸ καθ’ ἕκαστον μακρόβιον, οἷον ἄνθρωπος καὶ ἵππος καὶ ἡμίονος. Вместо этого текст должен был бы гласить: ἐφ’ ᾧ δὲ Γ, τὸ καθ’ ἕκαστον ἄχολον, οἷον ἄνθρ. κ. ἵπ. κ. ἡμί. Что эти последние слова были оригинальным текстом, видно из непосредственно следующих за ними слов: τῷ δὴ Γ ὅλῳ ὑπάρχει τὸ Α. πᾶν γὰρ τὸ ἄχολον μακρόβιον. Ибо причина, таким образом указанная (частицей γάρ), неуместна и бессмысленна, если Г обозначает τὸ καθ’ ἕκαστον μακρόβιον, в то время как она уместна и даже необходима, если Г обозначает τὸ καθ’ ἕκαστον ἄχολον. Паций (или те, чьим руководством он следовал в своем тексте), по-видимому, осознал несообразность причины, выраженной в словах πᾶν γὰρ τὸ ἄχολον μακρόβιον; ибо он дает вместо этих слов πᾶν γὰρ τὸ Γ μακρόβιον. В этой версии причина, конечно, уже не является несообразной, но она просто бесполезна и излишня; ибо когда нам говорят, что А обозначает класс longævum, а Г обозначает индивидов longæva, нам, безусловно, не требуется никакой внешней причины, чтобы убедиться, что А может быть предикатом всего Г. Текст в переводе Боэция и других избегает этой конкретной несообразности, хотя и иным способом, но он вводит версию, недопустимую по другим причинам. Вместо τῷ δὴ Γ ὅλῳ ὑπάρχει τὸ Α, πᾶν γὰρ τὸ ἄχολον μακρόβιον, у Боэция стоит τῷ δὴ Β ὅλῳ ὑπάρχει τὸ Α, πᾶν γὰρ τὸ ἄχολον μακρόβιον. Это не может быть принято, поскольку оно формулирует заключение силлогизма так, как если бы оно было одной из посылок. Мы должны помнить, что заключение аристотелевского силлогизма из индукции состоит в том, что А может быть предикатом В, причем одной из посылок для доказательства этого является то, что А может быть предикатом меньшего термина С. Но очевидно, что мы не можем допустить в качестве одной из посылок суждение о том, что А может быть предикатом В, поскольку это суждение тогда использовалось бы как посылка для доказательства самого себя в качестве заключения.
Если мы рассмотрим аристотелевский индуктивный силлогизм, который призван привести нас к окончательному probandum, мы увидим, что его термины неверно изложены Беккером и Вайцем, когда они дают меньший термин Г как обозначающий τὸ καθ’ ἕκαστον μακρόβιον. Последнее не является одним из трех терминов и не имеет места в силлогизме. Три термина таковы:
1. A — major — the class-term or class μακρόβιον — longævum.
2. B — middle — the class term or class ἄχολον — bile-less.
3. C — minor — the individual bile-less animals, man, horse, &c.
В силлогизме нет термина, соответствующего индивидам longæva или долгоживущим животным; последнее (повторяю) не имеет места в рассуждении. Мы никоим образом не озабочены совокупностью долгоживущих животных; все, что силлогизм берется доказать, — это то, что в этой совокупности и среди нее включены все безжелчные животные; существуют или нет другие долгоживущие животные, помимо безжелчных, силлогизм не претендует определять. Уравнение или соразмерность, требуемые (как описано М. Бартелеми Сент-Илером в его примечании), существуют не между индивидами долгоживущих животных и классом безжелчных животных (средний термин), а между совокупностью отдельных животных, известных как безжелчные, и классом безжелчных животных. Таким образом, реальный меньший термин — это (не индивиды долгоживущих животных, а) индивиды безжелчных животных. Две посылки индуктивного силлогизма будут выглядеть так:
Men, Horses, Mules, &c., are long-lived (major).
Men, Horses, Mules, &c., are bile-less (minor).
И поскольку субъект меньшей посылки соразмерен предикату (который, если квантифицировать его согласно фразеологии Гамильтона, был бы «Все безжелчные животные»), так что суждение допускает простое обращение, — средний термин станет субъектом заключения: «Все безжелчные животные долгоживущие».
54 Analyt. Prior. II. xxiii. p. 68, b. 27: «Нужно понимать Г как состоящее из всех единичных случаев; ибо индукция идет через все из них».
55 Analyt. Prior. II. xxiii. p. 68, p. 23: «Если, следовательно, Г обратимо по отношению к В и средний термин не шире, то необходимо, чтобы А было присуще В».
Юлий Паций переводит это так: «Si igitur convertatur τὸ Γ cum B, nec medium excedat, necesse est τὸ Α τῷ Β inesse». Эти латинские слова содержат ту же грамматическую двусмысленность, что и в греческом оригинале: medium, подобно τὸ μέσον, может быть либо винительным падежом, управляемым excedat, либо именительным падежом, предшествующим excedat. То же самое можно сказать и о других латинских переводах, начиная с Боэция.
Но М. Бартелеми Сент-Илер в своем французском переводе и сэр У. Гамильтон в своем английском переводе (Lectures on Logic, Vol. II. iv. p. 358, Appendix) избегают этой двусмысленности. Первый говорит: «Si donc C est réciproque à B, et qu’il ne dépasse pas le moyen, il est nécessaire alors que A soit à B» («Если, следовательно, С взаимно соотносится с В и не превосходит средний термин, то необходимо, чтобы А было присуще В»); в том же духе Гамильтон (l. c.). Эти слова вполне ясны и недвусмысленны. Однако я не думаю, что они передают смысл Аристотеля. По моему суждению, Аристотель хотел сказать: «Если, следовательно, С взаимно соотносится с В и если средний термин (В) не выходит за пределы (меньшего С), то необходимо, чтобы А было присуще В». Чтобы показать, что это должно быть смыслом, нам достаточно поразмыслить над тем, что обозначают С и В соответственно. Предполагается, что С обозначает сумму отдельных безжелчных животных, а В обозначает класс или родовой термин «безжелчный», то есть их совокупность. Теперь сумма индивидов, включенных в меньший термин (С), ни при каком допущении не может превзойти совокупность: но она вполне может оказаться меньше совокупности; или (выражаясь иначе) совокупность может превосходить сумму исследованных индивидов, но она не может быть меньше ее. В здесь является пределом и, возможно, может выходить за пределы С; но С не может выходить за пределы В. Отсюда я утверждаю, что переводы как М. Бартелеми Сент-Илера, так и сэра У. Гамильтона выбирают неверную сторону в грамматической альтернативе, допустимой в словах καὶ μὴ ὑπερτείνει τὸ μέσον. Единственное сомнение, которое могло возникнуть в данном случае, заключалось в том, достигает ли совокупность индивидов, обозначенная меньшим термином, совокупности, обозначенной средним термином, или нет; или (изменяя фразу) выходит ли совокупность, обозначенная средним термином, за пределы совокупности индивидов, обозначенной меньшим термином, или нет. Аристотель разрешает это сомнение словами: «И если средний термин не выходит за пределы (меньшего)». Конечно, средний термин не выходит за пределы, когда термины взаимно соотносятся; но когда они не соотносятся, средний термин должен быть более широким из двух; он никогда не может быть менее широким из двух, поскольку совокупность индивидов не может превышать совокупность, хотя она может быть меньше ее.
Я привел в тексте то, что считаю истинным смыслом Аристотеля, отходя от переводов М. Бартелеми Сент-Илера и сэра У. Гамильтона.
56 Analyt. Prior. II. xxiii. p. 68, b. 30-38: «Такой силлогизм относится к первой и непосредственной посылке; ибо для тех, у которых есть средний термин, силлогизм совершается через средний, а для тех, у которых его нет, — через индукцию. — По природе, следовательно, силлогизм через средний термин является более ранним и более познаваемым, но для нас более ясным является силлогизм через индукцию».
От индукции он переходит к примеру. Здесь вы берете (помимо трех терминов силлогизма: большего, среднего и меньшего) четвертый термин; то есть новый частный случай, аналогичный меньшему термину. Ваша цель здесь — показать не то, что больший термин присущ меньшему (как в обычном силлогизме), а то, что больший термин присущ среднему термину (как в индуктивном силлогизме); и вы доказываете это заключение не через меньший термин (как в индуктивном силлогизме), а через новый случай или четвертый термин, аналогичный меньшему. 57 Пусть А означает «злой» или «вредоносный»; В — «война против соседей вообще»; С — «война Афин против Фив», событие предстоящее и обсуждаемое; D — «война Фив против Фокиды», событие прошедшее, исход которого, как известно, был крайне вредоносным. Вы принимаете как известное, во-первых, что А присуще D, т. е. что война Фив против Фокиды была катастрофической; во-вторых, что В присуще как С, так и D, т. е. что каждая из двух войн — Афин против Фив и Фив против Фокиды — является войной соседей против соседей, или пограничной войной. Теперь из посылки, что А присуще D, вместе с посылкой, что В присуще D, вы делаете вывод, что А присуще классу В, или пограничным войнам вообще; и отсюда вы делаете дальнейший вывод, что А также присуще С, другому частному случаю того же класса В. Вывод здесь в первом случае идет от части к целому, а затем, через это целое, от одной части к другой части того же целого. Индукция включает в свою большую посылку все частные случаи, объявляя каждый из них субъектом, которому присущ предикат А; следовательно, она делает вывод, что А также присуще среднему или родовому термину, включающему все эти частные случаи, но не включающему никаких других. Пример включает не все, а только один или несколько частных случаев; делая вывод из него или из них, во-первых, ко всему классу, во-вторых, к какому-то новому аналогичному частному случаю, принадлежащему к этому классу.
57 Ibid. II. xxiv. p. 68, b. 38: «Пример же — это когда доказано, что крайний термин присущ среднему через нечто подобное третьему».
58 Analyt. Prior. II. xxiv. p. 69, a. 1-19. Юлий Паций (стр. 400) отмечает неавторизованный характер этого так называемого парадигматического силлогизма, противоречащего правилам фигур, установленным Аристотелем, а также запутанный способ, которым описывается его сфера действия: сначала — делать вывод от единичного примера к универсальному; затем — делать вывод от единичного примера через универсальное к другому параллельному случаю. К этому можно добавить запутанное описание на стр. 69, a. 17, 18, где τὸ ἄκρον в первой из двух строк означает больший крайний термин, а во второй — меньший крайний термин. См. примечание Вайца, стр. 533.
Если мы обратимся к гл. xxvii. стр. 70, a. 30-34, то обнаружим, что Аристотель в другом случае полностью отвергает этот так называемый силлогизм из примера.
Эти главы, касающиеся индукции и примера, являются одними из самых неясных и запутанных в «Аналитиках» Аристотеля. Попытка облечь как индукцию, так и пример в силлогистическую форму одинаково сложна и неудачна; более того, неудовлетворительное чтение и разночтения в тексте у комментаторов и переводчиков показывают, что рассуждение Аристотеля до сих пор понималось неполно. 59 Из некоторых его фраз мы видим, что он осознавал существенную антитезу между индукцией и силлогизмом; однако силлогистические формы, по-видимому, оказывали такое влияние на его ум, что он не мог успокоиться, не попытавшись найти какую-то аномальную форму силлогизма, чтобы представить и придать обоснованность индукции. Объясняя в целом, что такое силлогизм и что такое индукция, он сообщает нам, что силлогизм предполагает и опирается на процесс индукции как на свой постулат. Ибо не может быть верного силлогизма без универсального суждения в одной (по крайней мере) из посылок; и он недвусмысленно заявляет, что универсальные суждения получаются только через индукцию. Как индукция действует через частные факты чувственного восприятия, запоминаемые, сравниваемые и сливающиеся в группы, удерживаемые вместе ассоциативным сходством, он также рассказал нам; именно так получается опыт с его универсальными понятиями и связями. Но этот важный процесс радикально отличается от процесса силлогизирования, хотя он и предоставляет основу, на которой строится всякое силлогизирование.
59 Сэр У. Гамильтон (Lectures on Logic, vol. i. p. 319) справедливо говорит, что Аристотель был очень краток и неясен в своем обращении с индукцией. Однако возражения, которые Гамильтон выдвигает против Аристотеля, сильно отличаются от тех, которые выдвинул бы я. В ученом и ценном приложении к своим лекциям (vol. iv. pp. 358-369) он собирает различные интересные критические замечания логиков относительно индукции в том виде, как ее трактует Аристотель. Рамус (в своих Scholæ Dialecticæ, VIII. xi.) говорит очень верно: «Quid vero sit Inductio, perobscure ab Aristotele declaratur; nec ab interpretibus intelligitur, quo modo syllogismus per medium concludat majus extremum de minore; inductio, majus de medio per minus» («Что же такое индукция, Аристотелем объясняется весьма неясно; и интерпретаторами не понимается, каким образом силлогизм через средний термин заключает больший крайний термин о меньшем; индукция же — больший о среднем через меньший»).
Индуктивный силлогизм, как он сконструирован Аристотелем, требует обратимой меньшей посылки. Его, действительно, можно привести (как я уже отмечал) в поддержку любимого правила Гамильтона о квантификации предиката. Предикат этой меньшей посылки должен предполагаться квантифицированным в мысли, причем субъект берется как соразмерный ему. Поэтому требование Гамильтона, чтобы он был квантифицирован в речи, действительно имеет в данном случае то основание, которое он ошибочно приписывает ему во всех случаях. Он жалуется, что Ламберт и некоторые другие логики обходятся без необходимости квантификации предиката меньшей посылки, делая ее дизъюнктивной; и добавляет примечательное утверждение, что «недавние немецкие логики, Гербарт, Твестен, Дробиш и др., следуя Ламберту, сделали индуктивный силлогизм притчей во языцех» (стр. 366). Я согласен с ними в том, что попытка преобразования индукции в силлогизм весьма неудачна, хотя мои причины, вероятно, не те же, что у них.
Тренделенбург согласен с теми, кто говорил, что доктрина Аристотеля об индуктивном силлогизме требует, чтобы меньшая посылка была сформулирована дизъюнктивно (Logische Untersuchungen, xiv. p. 175, xvi. pp. 262, 263; также Erläuterungen zu den Elementen der Aristotelischen Logik, ss. 34-36, p. 71). Убервег придерживается схожего взгляда (System der Logik, sect. 128, p. 367, 3rd ed.). Если индуктивное умозаключение должно быть втиснуто в силлогизм, оно, по-видимому, более естественно вписывается в гипотетический силлогизм, например:
If this, that, and the other magnet attract iron, all magnets attract iron;
But this, that, and the other magnet do attract iron: Ergo, &c.
Центральная идея силлогизма, как она определена Аристотелем, — это идея заключения, следующего из данных посылок по необходимости; 60 при этом под термином «необходимость» понимается не более и не менее как то, что вы не можете признать посылки и отрицать заключение, не впадая в противоречие с самим собой или не приходя к противоречию. Во всех различных комбинациях суждений, изложенных Аристотелем как различные фигуры и модусы силлогизма, обнаруживается это свойство необходимого следования. Но это свойство, которым никогда не может обладать никакая индукция. 61 Когда Аристотель берется указать конкретный модус силлогизма, которому соответствует индукция, он может сделать это, только фальсифицируя процесс индукции и не проводя точного различия между тем, что наблюдается, и тем, что выводится. В случае, который он берет для иллюстрации индуктивного силлогизма — вывод от всех частных случаев безжелчных животных ко всему классу безжелчных, — он предполагает, что мы установили принадлежность атрибута всем частным случаям, и что индуктивное умозаключение состоит в переходе от всех них к родовому термину; переход от посылок к заключению здесь необходим и, таким образом, подпадает под определение силлогизма, поскольку признание посылок при отрицании заключения влечет за собой противоречие. Но эта доктрина неверно понимает, чем на самом деле является индуктивное умозаключение. Мы никогда не можем наблюдать все частные случаи класса, который неопределен по количеству частных случаев и определен только в отношении атрибутов, коннотируемых родовым термином. Мы можем наблюдать только некоторые частные случаи, в большей или меньшей пропорции. Теперь именно в переходе от них к совокупности частных случаев и состоит реальное индуктивное умозаключение; а не в переходе от совокупности к родовому термину, который обозначает эту совокупность и коннотирует ее определяющий общий атрибут. Фактически, различие между совокупностью частных случаев и значением родового термина — это то, на что обычно не обращают внимания; хотя это примечательно в анализе интеллектуального процесса и поэтому выявляется Аристотелем. Но он использует его некорректно в качестве промежуточного шага, чтобы затушевать радикальное различие между индукцией и силлогизмом. Он добавляет: 62 — «Вы должны мыслить меньший термин С (в индуктивном силлогизме) как состоящий из всех частных случаев; ибо индукция идет через все из них». Вы можете сказать, что индукция идет через все частные случаи, если вы отличаете эту совокупность от родового термина и если вы рассматриваете родовой термин как конечный terminus ad quem. Но индукция должна сначала проделать путь ко всем частным случаям; будучи вынужденной начать только с части, а затем совершить скачок достаточно далеко, чтобы охватить неопределенный ненаблюдаемый остаток. Этот скачок и есть реальная индукция; и это никогда не может быть подведено под определение силлогизма; ибо в самой лучшей и самой достоверной индукции следование никогда не является необходимым: вы можете признать посылки и отрицать заключение, не противореча самому себе.