В "Ведантапарибхаше" говорится: "Орудием вывода является знание общей связи"[176]. Упоминание примера показывает, что вывод является как индуктивным, так и дедуктивным. Обобщение основывается на фактах и помогает нам в дедуктивном выведении новых истин. Вспомогательный, а не существенный характер примера подчеркивался Дигнагой. Дхармакирти считает, что пример не необходим и вводится только для того, чтобы помочь собеседнику, с которым говорят. Пример только иллюстрирует, но не устанавливает общность правила. Согласно д-ру Силу, третий член силлогизма
"соединяет и согласует взгляд Милля на большую посылку как на краткую заметку для памяти о подобных уже наблюдавшихся случаях, усиленную рекомендацией распространять ее применение на ненаблюденные случаи, пользуясь при этом взглядом Аристотеля на нее как на общее суждение, которое является формальным основанием вывода"[177].
Примеры могут быть различных видов: однородные, или утвердительные (садхармья), где налицо и подлежащее доказательству свойство (больший термин) и основание (средний термин), как например "кухонный очаг", и разнородные или отрицательные (вайдхармья), где отсутствуют и доказываемое свойство и основание, как например "озеро"[178]. Дигнага добавляет к этим двум аналогичные примеры, а Сиддхасена Дивакара описывает шесть видов ошибок в однородных и шесть в разнородных примерах.
Относительно распределенности среднего термина говорится: 1) средний термин должен полностью включать объем меньшего термина, как в примере "звук не вечен, потому что он есть произведенное", где средний термин "произведенное" включает в себя все случаи звука (все S суть М); 2) все вещи, обозначаемые средним термином, должны быть однородными с вещами, обозначаемыми большим термином, как в примере "все производимое не вечно" (все М суть Р), и 3) ни одна из разнородных вещей не должна быть перенесена из большего термина в средний, "не невечное есть произведенное" (не не=Р есть М). Дигнага настаивает на том, что средний термин должен быть универсальным образом и всегда связан с большим термином. Уддьйотакара доказывает, что между средним и большим терминами должна быть всеобщая связь, такая связь, при которой там, где есть больший термин, должен быть и средний, а где нет большего, там не должно быть и среднего. Прашастапада подтверждает этот взгляд, когда говорит, что линга, или средний термин, есть
"то, что связано с выводимым объектом, и существует в том, что связано с этим объектом, и не существует там, где он отсутствует"
Tad anumeyena sambaddham prasiddham ca tadanvite
Tadabnave ca nasty eva tal lingam anumapakam179.
Варадараджа упоминает следующие пять характеристик среднего термина: 1) пакшадхармата, или присутствие среднего термина в меньшем, например "дыма" в "холме"; 2) сапакшасаттва, или присутствие среднего термина в положительных случаях, однородных с доказываемым, например "дым" в "кухонном очаге"; 3) випакшасаттва, или отсутствие среднего термина в отрицательных случаях, разнородных с доказываемым, например "никакого дыма" в "озере"; 4) абадхитавишаятва, или не несовместимость с меньшим термином, и 5) асатпратипакшатва, или отсутствие противодействующих сил[180]. В случае только утвердительного или только отрицательного вывода полноценный средний термин удовлетворяет лишь четырем вышеупомянутым требованиям, так как он не может присутствовать одновременно в отрицательных и в положительных случаях. Аннам Бхатта считает, что средний термин бывает трех видов в соответствии с тремя видами вывода: 1) положительный и отрицательный (анваявьятирекин), когда средний термин неизменно сосуществует с большим, как дым с огнем, например: "где есть дым, там есть и огонь, как в кухонном очаге, а где нет огня, там нет и дыма, как в озере"[181]; 2) только положительный (кеваланвайин), когда мы имеем лишь утвердительное неизменное сосуществование, как в случае: "все, что можно познать, можно назвать"; здесь мы не можем иметь отрицательного случая, чтобы иллюстрировать положение: "что не может быть названо, не может быть познано"; и 3) только отрицательный (кевалавьятирекин), когда положительный случай невозможен. Все существа, обладающие функциями животных, имеют души, и в этом случае мы можем доказать только то, что стулья и столы не имеют функций животных и поэтому не имеют душ, но не можем дать положительных примеров, поскольку души и существа, обладающие функциями животных, являются сосуществующими по своей природе[182]. Согласно "Ведантапарибхаше", вывод из утвердительного общего суждения рассматривается как анумана, а вывод из отрицательного общего трактуется как артхапатти на том основании, что в последнем не содержится применения общего принципа к частному случаю[183]. Ньяя, однако, придерживается того взгляда, что всякое отрицание предполагает противоположное ему положительное и, таким образом, утвердительные заключения могут быть получены из общих отрицательных[184]. Главной характеристикой среднего термина является то, что он должен быть свободен от всяких условий. Мы не можем доказывать, что А смуглый просто потому, что он – сын В и поэтому похож на других детей В и не похож на детей других людей. Это заключение может быть и верным и неверным с фактической стороны, но оно дефектно с логической точки зрения, так как нет безусловного отношения (анупадхикасамбандха) между "быть сыном В" и "смуглым цветом лица".
180
Первые три упоминаются Дхармакирти и Дхармоттарой. См. "Nyayabindu", p. 104, а также Laugaksi Bhaskara, Tarkakaumudi, p. 12, Bombay ed.
181
Следует иметь в виду, что отрицание проникаемого становится проникающим в отрицательном случае вьяпти, а отрицание проникающего становится проникаемым. См. S.V., Anumana, p. 121.
182
"Tarkasamgraha", 48. Это различение принимается Уддьйотакарой и Гангешей. Ср. с этим классификацию выводов в джайнских канонических работах: 1) Это есть, потому что есть то. Есть огонь, потому что есть дым. 2) Этого нет, потому что есть то. Холода нет, потому что есть огонь. 3) Это есть, потому что нет того. Холод есть здесь, потому что нет огня. 4) Этого нет, потому что нет того. Здесь нет мангового дерева, потому что здесь вообще нет деревьев.
184
Вьяпти (или общее) может быть как утвердительным (анвая), так и отрицательным (вьятирека), и первое (утвердительное) может в свою очередь быть двух видов: самавьяпти (эквивалентное сосуществование), где М и Р – равнозначащи, как в случае: "все производимое – не вечно", и вишамавьяпти (не эквивалентное сосуществование), где два термина не являются равнозначащими. Все случаи дыма суть случаи и огня, но не vice versa.