Из двух противоречащих обстоятельств несуществование одного устанавливает существование другого. Логика ньяйи следует принципу дихотомического деления. На этом предположении основывается различение между однородными и разнородными примерами. Два противоречащих суждения не могут быть оба ложными и не могут быть оба истинными. А есть или В, или не-В. Одно из двух противоречащих суждений должно быть истинным, так как никакой другой путь невозможен313. Если мы выводим несуществование одной вещи из существования другой, то это только частный случай вывода314. Ватсьяяна говорит:

"Когда существующая вещь познается, несуществующая не познается, или, иначе, в то время когда имеется познание существующего, имеется также непознание несуществующего. Когда лампа светит и делает что-либо видимое видимым, тогда то, что рассматривалось как видимое, но которое невидимо в данный момент, рассматривается как несуществующее благодаря следующему умственному процессу: "Если бы вещь существовала, она была бы видна; но так как она не видна, необходимо заключить, что она не существует"315.

Этот взгляд поддерживает и Прашастапада. "Как появление следствия указывает на существование причины, так и непоявление следствия указывает на несуществование причины"316. Даже посредством шабды мы можем иметь познание несуществования317.

XIV. ТАРКА И ВАДА
В тарке, или косвенном доказательстве, мы начинаем с ложного предположения и показываем, как оно приводит к абсурду. Если бы душа не была вечной, она не могла бы испытывать результаты своих действий, перевоплощаться и достигать освобождения. Следовательно, она вечна. Принятие ложной меньшей посылки вынуждает принять и ложную большую318. Тарка является типом вывода, отличным от других, поскольку она не основывается на каком-либо восприятии. Она косвенно ведет к истинному познанию319. Ватсьяяна думает, что она не дает определенного знания, хотя и говорит, что посылка, противоположная выдвинутой, является невозможной320. Уддьйотакара доказывает, что умозаключение о душе не дает нам права говорить, что душа не имеет начала (то есть вечна), а только то, что она должна быть таковой321. Тарка сама по себе не является источником истинного познания, хотя она и ценна тем, что создает гипотезы.

Древняя ньяя признает одиннадцать видов тарки, которые новая ньяя сводит к пяти и из которых главным является описанный нами reductio ad absurdum, называемый праманабадхитартхапрасанга. Остальные четыре суть: атмашрая, или ignoratio elenchi; аньйоньяшрая, или petitio principii; чакрика, или круг в доказательстве, и анавастха, или regressus ad infinitum. Даже reductio ad absurdum рассматривается как случай ошибочного умозаключения, поскольку в нем выводится заключение, являющееся абсурдным. Но когда мы преодолеваем ошибку, мы приходим к окончательному познанию (нирная)322.

Вада, или дискуссия, осуществляется посредством свободного использования силлогизма и имеет целью установление истины. Но она часто вырождается в простое пререкание (джальпа), которое, увлекаясь критикой ради ее самой, стремится к внешнему успеху, к тому, чтобы взять верх в споре, и к тому, чтобы создать придирку (витанда)323. Такая дискуссия может закончиться только тогда, когда противник будет убежден в своей ошибке и будет вынужден признать свое поражение324.

XV. ПАМЯТЬ
Все познание делится на презентативное (анубхава) которое не является воспроизведением прежних состояний сознания, и репрезентативное (смрити), которое воспроизводит в сознании прежний опыт325. Если мы исключим знание по памяти, все прошлое потеряет для нас всякую достоверность. Познание по памяти основывается на остающихся в сознании следах (санскараджанья). Память определяется как то, что "обусловлено особым контрактом души с манасом и следом, оставленным прежним опытом"326. Иногда говорят, что причиной памяти является исключительно впечатление (санскараматраджанья), и тем самым отличают ее от опознавания (пратьябхиджня). В то время как непосредственной причиной вспоминания является впечатление, причиной опознавания является восприятие тождества наличного объекта с чем-то другим. Ньяя не признает память отдельным источником познания на том основании, что она дает не новое знание об объектах, а только воспроизведение прошлого опыта в той форме и в том порядке, в которых он в прошлом существовал, а теперь перестал существовать327. Ценность вспоминаемого знания зависит от ценности прежнего опыта, который воспроизводится. Некоторые логики включают познание посредством вспоминания в действительное познание, когда последнее определяется как непротиворечивое познание328. Вспоминания не одновременны, поскольку внимание (пранидхана), восприятие знака и остаток (лингадижняна) не бывают налицо в одно и то же время329.

XVI. СОМНЕН