Анализ процесса умозаключения очень сходен с силлогистическим анализом Аристотеля. Даже пятичленная форма силлогизма имеет только три термина, а трехчленный силлогизм имеет три суждения, которые соответствуют заключению, меньшей и большей посылкам Аристотеля. Имеются попытки объяснить это поразительное сходство теорией взаимного влияния. Д-р Видьябхушан говорит:

"Нет ничего невозможного в том, что знание логики Аристотеля проникло в Таксилу через Александрию, Сирию и другие страны. Я склонен думать, что учение о силлогизме развилось не из учения индийской логики о выводе, но что индийский логик обязан идеей силлогизма влиянию Аристотеля"[205].

Всякие ученые профессора полагают, что искусство силлогизма "заимствовано", тогда как учение о выводе – местного происхождения. Профессор Кейс пишет:

"В логическом учении на его ранних стадиях нет основания подозревать греческое происхождение силлогизма: силлогизм Гаутамы, как и Канады, очевидно, местного происхождения, но в слаборазвитой форме. Только у Дигнаги вместо умозаключения по аналогии появляется полное учение о неизменном сосуществовании как основе вывода; и не будет безрассудным высказать предположение, что в этом случае могло действовать греческое влияние"[206].

Он подкрепляет это предположение ссылкой на то, что Арьядэва, живший почти на два столетия раньше Дигнаги, знал греческую астрологию. Это обстоятельство, как и признаваемое влияние Аристотеля на индийскую теорию драмы, имеющуюся в "Бхарата шастре", делает вероятным существование какого-то культурного общения между Индией и Грецией. Иногда говорят, что, наоборот, на Аристотеля повлияла индийская теория, которую сообщил ему Александр Македонский, имевший, как говорят, беседы с логиками Индии. Существует очень мало положительных указаний на прямое влияние, и если мы вспомним, что силлогистические типы умозаключений встречаются даже в доаристотелевских трудах индуистских и буддистских мыслителей[207], то теория "заимствования" из Греции становится маловероятной. Можно повторить слова Макса Мюллера, что

"мы должны также и здесь допустить существование непреднамеренного совпадения в значительно большей степени, чем склонны были это делать наши предшественники. Мы никогда не должны забывать, что то, что оказалось возможным в одной стране, возможно также и в другой"[208].

Этот взгляд еще более укрепится, если мы примем во внимание существенные различия между греческим и индийским силлогизмами. В анализе умозаключения в греческой логике весьма мало что соответствует примеру, который индуистские мыслители рассматривали как необходимый элемент при установлении всеобщей связи. Не трудно понять, что основанием вывода является общая связь, ибо пример представляет собой соответствующее воплощение этой связи.

Вывод претендует на то, чтобы выражать истину о реальности, и это притязание не может иметь под собой почвы, если две посылки не являются истинными. Меньшая посылка есть результат восприятия, а большая приводит нас к проблеме индукции.

Как мы получаем большие посылки? Наяйик дает нам различные ответы на этот вопрос. Он говорит о перечислении, интуиции и непрямом доказательстве. Силлогизм имеет в виду пример наряду с общим правилом. Но пример может быть достаточным для иллюстрации правила, но не может сам по себе установить всеобщую связь. Вполне возможно неизменное существование дыма с огнем в кухонном очаге или на жертвеннике, но из этих примеров мы еще не можем вывести заключение "огонь на холме" только потому, что мы увидели на холме дым, если мы не установим неизменного сосуществования всех случаев дыма со всеми случаями огня. Если мы наблюдаем дым и огонь в большом количестве случаев, дело обстоит уже лучше. Бхуйо даршана, или частота опыта, не имеющая какого-либо исключения (авьябхичарита сахачарья) помогает нам формулировать общее правило. Недостаточно еще, если мы наблюдаем дым везде, где есть огонь; мы должны также обратить внимание и на то, что дыма не бывает там, где нет огня. Необходимы как совпадение в присутствии, так и совпадение в отсутствии[209]. Если непрерывное совпадение (ниятасахачарья) подкрепляется отсутствием исключений (авинабхаварупасатбандха), мы имеем безусловное сосуществование, которое исключает упадхи, или случайные условия[210]. Дым не всегда бывает там, где есть огонь. Раскаленный железный шар не дает дыма. Только огонь, поддерживаемый сырым топливом, горите дымом. Связь огня с дымом, таким образом, обусловлена, тогда как связь дыма с огнем является безусловной. Общее суждение: "все случаи огня суть случаи дыма" – неприемлемо, тогда как суждение "все случаи огня от сырого топлива суть случаи дыма" – приемлемо. Условие не обязательно является дефектом, ибо оно приводит к ошибке только тогда, когда его упускают из виду. Где можно подозревать наличие условий, там необходимо исследовать сопровождающие обстоятельства и показать, что сосуществование имеет место даже тогда, когда предполагаемое условие отсутствует. Положительные случаи опровергают возможность условий, поскольку они показывают, что средний и больший термины присутствуют, хотя все остальное еще отсутствует. Отрицательные же случаи поддерживают возможность условий тем, что показывают, что средний и больший термины отсутствуют даже тогда, когда все другие существенные обстоятельства не отсутствуют. Позднее логика особенно подчеркнула роль отрицательных случаев и даже определила "вьяпти" как то, что выявляет полную адекватность знака с обозначаемой вещью[211]. Наяйик требовал, чтобы дисциплинированный ум контролировал свою фантазию и беспрекословно подчинялся фактам. Точные объяснения с помощью экспериментальных методов возможны только с развитием экспериментальных наук. При отсутствии же таковых взгляды индийского логика на научный метод не представляют большого интереса. Наяйик имел представление об общей проблеме индукции и методе тщательного наблюдения фактов природы, посредством которого получаются общие суждения.

Природа не всегда предоставляет нам положительные и отрицательные случаи нужного рода, чтобы помочь нам установить истинность или ложность тех или иных теорий. Наяйик говорит, что мы можем пользоваться методом тарки, или непрямого доказательства, чтобы получить отрицательную достоверность. Если общее суждение, например "везде, где есть дым, есть и огонь", неверно, тогда должно быть верным противоречащее ему суждение: "иногда дым не сопровождается огнем". Другими словами, огонь не есть неизменный антецедент дыма. Но мы не можем отрицать, что огонь есть причина дыма. Таким образом, тарка используется, чтобы усилить общее суждение, основанное на положительных случаях непрерывного совпадения. Она является также и способом проверки гипотезы[212].

Выявляя абсурды, которые получаются, когда мы отрицаем выставленную гипотезу, непрямое доказательство помогает подтверждению гипотезы. Оно показывает, что никакая другая гипотеза не способна объяснить факты[213].

Тарка только помогает эмпирическому методу индукции, который не может дать нам общих суждений. Даже если мы наблюдаем все возможные случаи и усиливаем наше заключение методом непрямого доказательства, мы все же не достигаем абсолютной достоверности в отношении общих суждений. Поскольку они основываются на ограниченном наблюдении, эти суждения не обладают силой необходимости. Перечисленные общие суждения только вероятны, но не достоверны. Хотя и верно, что знание общего возникает из чувственного познания частных случаев, все же нельзя сказать, что познание общего целиком сводится к этим чувственно воспринимаемым частностям, поскольку общее выходит за пределы всех и всяких частных случаев.