В "Ведантапарибхаше" говорится: "Орудием вывода является знание общей связи"[176]
. Упоминание примера показывает, что вывод является как индуктивным, так и дедуктивным. Обобщение основывается на фактах и помогает нам в дедуктивном выведении новых истин. Вспомогательный, а не существенный характер примера подчеркивался Дигнагой. Дхармакирти считает, что пример не необходим и вводится только для того, чтобы помочь собеседнику, с которым говорят. Пример только иллюстрирует, но не устанавливает общность правила. Согласно д-ру Силу, третий член силлогизма"соединяет и согласует взгляд Милля на большую посылку как на краткую заметку для памяти о подобных уже наблюдавшихся случаях, усиленную рекомендацией распространять ее применение на ненаблюденные случаи, пользуясь при этом взглядом Аристотеля на нее как на общее суждение, которое является формальным основанием вывода"[177]
.Примеры могут быть различных видов: однородные, или утвердительные (садхармья), где налицо и подлежащее доказательству свойство (больший термин) и основание (средний термин), как например "кухонный очаг", и разнородные или отрицательные (вайдхармья), где отсутствуют и доказываемое свойство и основание, как например "озеро"[178]
. Дигнага добавляет к этим двум аналогичные примеры, а Сиддхасена Дивакара описывает шесть видов ошибок в однородных и шесть в разнородных примерах.Относительно распределенности среднего термина говорится: 1) средний термин должен полностью включать объем меньшего термина, как в примере "звук не вечен, потому что он есть произведенное", где средний термин "произведенное" включает в себя все случаи звука (все S суть М); 2) все вещи, обозначаемые средним термином, должны быть однородными с вещами, обозначаемыми большим термином, как в примере "все производимое не вечно" (все М суть Р), и 3) ни одна из разнородных вещей не должна быть перенесена из большего термина в средний, "не невечное есть произведенное" (не не=Р есть М). Дигнага настаивает на том, что средний термин должен быть универсальным образом и всегда связан с большим термином. Уддьйотакара доказывает, что между средним и большим терминами должна быть всеобщая связь, такая связь, при которой там, где есть больший термин, должен быть и средний, а где нет большего, там не должно быть и среднего. Прашастапада подтверждает этот взгляд, когда говорит, что линга, или средний термин, есть
"то, что связано с выводимым объектом, и существует в том, что связано с этим объектом, и не существует там, где он отсутствует"
Tad anumeyena sambaddham prasiddham ca tadanvite
Tadabnave ca nasty eva tal lingam anumapakam179.