Согласно Гангеше, вьяпти, сама по себе, есть непрямая причина выводного знания, тогда как лингапарамарша, или принятие в расчет знака, есть ближайшая (чарамакарана) или главная причина (карана) вывода198. Только тот может сделать вывод, кто способен свести воедино наличие среднего термина в меньшем и связь среднего термина с большим199. Акт вывода, однако, является внутренне единым.

Адвайта доказывает, что не существует такого явления, как вспоминание среднего термина. Действующей причиной вывода является знание всеобщей связи; мы вспоминаем ее и выводим заключение200. Это положение направлено, по-видимому, против того взгляда, что мы прежде всего имеем акт восприятия, затем акт вспоминания и уже затем акт вывода. Адвайта пытается доказать, что акт вывода не является соединением двух суждений, а представляет собой единый процесс (вьяпара), в котором воспринятый элемент (меньшая посылка) действует совместно с оживленным в памяти общим принципом (большая посылка). Эти два элемента не являются самостоятельными состояниями мысли и действуют в процессе вывода не как определенные и самостоятельные ступени. В противоположность этому взгляду наяйик, являющийся больше логиком, чем психологом, доказывает, что для вывода необходим акт синтеза этих двух элементов.

Дигнага поднимает интересный вопрос о природе вещи, являющейся объектом вывода. Мы не выводим огонь из дыма, поскольку он не представляет собой нового знания. Мы уже знаем, что дым связан с огнем. Нельзя также сказать, что мы выводим отношение между огнем и холмом, поскольку отношение предполагает две вещи, тогда как в выводе мы имеем только одну вещь – холм, так как огонь не воспринимается. То, что выводится, не есть ни огонь, ни холм, а огненный холм201. Заключение есть суждение.

Наяйик не придавал большого значения различным положениям, в которых может оказаться средний термин. Он рассматривал модус Barbara как типичный для всякого силлогистического умозаключения. Использование положительных и отрицательных случаев склоняло его к тому, чтобы рассматривать утвердительные и отрицательные общие суждения как взаимно предполагающие друг друга. Всякий вывод, строго говоря, поддерживается с обеих этих сторон202. Индийская логика практически пользуется только одной фигурой и одним модусом. Из знания, что субъект обладает некоторым признаком и что этот признак неизменно сопровождается свойством, наличие которого мы хотим установить, мы выводим, что субъект имеет это свойство. Принцип этого вывода выражается в терминах сопутствия признаков. Если его перевести в термины отношения классов, то мы получим dictum de omni et nullo. Все, что можно утверждать о всем классе, можно утверждать и о каждом индивидууме, принадлежащем к этому классу. Детальные различия фигур и модусов не необходимы для правильного мышления, хотя они и представляют собой хорошую тренировку для мышления203. Аристотель признал, что последние три фигуры204 могут быть сведены к первой. Ньяя даже в первой фигуре признает только модус Barbara. Модусы Darii и Ferio ньяйей не употребляются, потому что заключение в этих модусах относится всегда к частным объектам и различия между общим и частным не возникает. Это различие только относительное, так как то, что является общим в отношении к более ограниченному классу, является частным по отношению к более общему. Меньший термин в силлогизме ньяйи всегда есть индивидуальный объект или класс и, таким образом, является общим, а не частным. Заключение о "некоторых" случаях не дает нам определенных указаний об индивидуальных случаях. Модус Celarent легко получается из модуса Barbara. Аристотель признавал, что все его модусы могут быть сведены к первым двум модусам первой фигуры, а эти два взаимозаменимы, если мы знаем, что все суждения соотносительны (утвердительное предполагает отрицательное и наоборот).

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

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

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

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