Заключение устанавливает, что выставленное суждение обоснованно: "следовательно, холм огненный"[186]. То, что было высказано как предположение в первом члене, в заключении окончательно устанавливается.

Ватсьяяна говорит, что некоторые логики считали, что силлогизм состоит из десяти членов. В добавление к пяти членам, рассмотренным выше, они присоединяли еще следующие: 1) джиджняса, или желание узнать точную истину суждения; например: является ли холм огненным во всех своих частях или только в некоторых; 2) саншая, или сомнение в отношении основания; например: не является ли то, что мы принимаем за дым, только паром; 3) шакьяпрапти, или способность примера гарантировать заключение; например; всегда ли дым сосуществует с огнем, поскольку его не бывает в раскаленном добела железном шаре; 4) прайоджана, или цель вывода, и 5) саншаявьюдаса, или устранение всех сомнений относительно связи среднего термина с большим и его присутствия в меньшем[187]. По мнению Ватсьяяны, эти добавочные пять членов силлогизма не нужны для доказательства, хотя они и помогают добиться ясности нашего познания. Они имеют в виду психологическую сторону процесса вывода. Джиджняса, или желание знать, является, несомненно, началом всякого познания, но, как замечает Уддьйотакара, оно не является составной частью умозаключения или доказательства[188].

Вскоре пришли к убеждению, что заключение повторяет первое суждение, а четвертый член повторяет второй. Строго говоря, всякий силлогизм имеет только три члена. Говорят, что Нагарджуна первый высказал свой взгляд о трехчленности силлогизма в своей "Упаякаушалья-сутре", где он говорит, что заключение может быть выведено через основание и утвердительный или отрицательный пример[189]. Иногда считают, что этого взгляда держался Дигнага[190]. В своей "Ньяяправеше" он упоминает только три члена силлогизма, хотя третий включает в себя и утвердительный и отрицательный пример: этот холм в огне, потому что он дымится; все, что дымится, имеет огонь, как например кухонный очаг, а все, что не имеет огня, не имеет и дыма, подобно озеру. У Дигнаги третий член есть общая закономерность с подходящим примером. Дхармакирти думает, что даже третий член не является необходимым, поскольку общее суждение подразумевается уже в основании. Достаточно сказать, что холм в огне, потому что он дымится. Эта форма, соответствующая энтимеме, широко используется также и в индийских философских трактатах. Джайнские логики Маникьянанди и Девасури[191] придерживаются того же взгляда. Мимансаки и ведантисты признают только трехчленный силлогизм. "Ведантапратибкаша" допускает либо первые три, либо последние три члена[192].

Как Ватсьяяна, так и Уддьйотакара спорят против попытки обойтись без последних двух членов силлогизма[193]. Они согласны, что первый член силлогизма повторяется в заключении, а четвертый представляет собой соединение второго с третьим. Хотя с точки зрения логики они и не необходимы, они все же полезны в спорах, поскольку подтверждают основание и определенно устанавливают истинность суждения, выставленного в первом члене только гипотетически. Проводится различие между пятичленным силлогизмом, полезным для убеждения других (парартханумана), и трехчленным, достаточным для собственного убеждения (свартханумана). Последний (то есть трехчленный) имеет дело с выводом как процессом движения мысли и относится к науке открытия, тогда как первый (то есть пятичленный) имеет дело с доказательством Гаутама и Канада ясно не упоминают об этом различии, тогда как позднейшие логики допускают его[194]. Прашастапада различает вывод для себя (сванишчитартха) и вывод для других (парартха)[195]. Вывод для других (парартханумана) имеет скорее характер формальной экспозиции. Мы видим холм и сомневаемся, есть ли на нем огонь или нет. Заметив дым, мы вспоминаем связь между огнем и дымом и заключаем, что на холме должен быть огонь. Когда же мы хотим передать эту мысль другим, мы употребляем пятичленную форму[196].

Несмотря на различия во мнениях относительно количества частей силлогизма, все логики согласны в том, что самыми существенными частями правильного вывода являются: вьяпти (всеобщая связь), или большая посылка, и пакшадхармата, или меньшая посылка. Первая дает всеобщую связь признаков, а последняя устанавливает, что субъект суждения обладает одним членом этой всеобщей связи[197]. Это соответствует двум ступеням Дж.Ст.Милля, устанавливающим: 1) какие признаки являются знаками других признаков и 2) обладают ли данные отдельные предметы этими признаками.

Ни большая, ни меньшая посылка в отдельности не может обеспечить заключения. Необходим синтез их обеих. Лингапарамарша, или принятие в расчет знака, является существенным элементом процесса вывода. Согласно Гангеше, вьяпти, сама по себе, есть непрямая причина выводного знания, тогда как лингапарамарша, или принятие в расчет знака, есть ближайшая (чарамакарана) или главная причина (карана) вывода[198]. Только тот может сделать вывод, кто способен свести воедино наличие среднего термина в меньшем и связь среднего термина с большим[199]. Акт вывода, однако, является внутренне единым.

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

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

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