Однако остается еще место для скептических сомнений в достижении таким путем общего суждения. Скептики юмистского толка или чарваки могли бы настаивать на том, что из неизменного отношения сосуществования дыма с огнем никаких исключений быть не может лишь постольку, поскольку речь идет о нашем прошлом и настоящем опыте. Однако неизвестно, справедлива ли эта неразрывная связь для отдаленных тел. например планет, или для отдаленного будущего времени. Чтобы покончить с подобными скептическими сомнениями, наяйики пытаются укрепить индукцию с помощью тарки. Суждение 'все дымящиеся объекты являются огненными' может быть косвенно доказано с помощью тарки следующим образом. Если это суждение не является истинным, тогда должно быть истинным противоположное ему суждение: 'Некоторые дымящиеся объекты не являются огненными'. Это означает, будто дым может быть без огня. Но такое предположение противоречит закону всеобщей причинности, ибо признать возможность существования дыма без огня - значит признать возможность существования следствия без причины (поскольку огонь является единственно известной причиной существования дыма). Если бы кто-либо из упрямства стал утверждать, что следствие иногда может быть и без причины, то его можно было бы опровергнуть указанием на практические противоречия, вытекающие из его утверждения. Если следствие может быть без причины, почему же тогда ждут огня, чтобы раскурить сигару или готовить пищу? Можно добавить, что этот процесс косвенного доказательства в системе ньяйи в основном соответствует методу reductio ad absurdurn западной логики.

Хотя наяйики и прилагают большие усилия, чтобы установить вьяпти (общее суждение) на основе наблюдаемых отдельных фактов, все же они чувствуют, что обобщение частностей как простых частностей не может дать нам той определенности, к которой мы стремимся, формулируя общее суждение типа wee люди смертны'. Суждение 'все вороны черны' не так определенно, как суждение 'все люди смертны'. Легче представить себе нечерную ворону, чем бессмертного человека. Ворона, как и кукушка, может быть черной, темной, серой или коричневой. Однако мы не можем серьезно и честно думать, что мы бессмертны, и строить в соответствии с этим свою практическую деятельность. Чем обусловлено это различие в чувстве уверенности и определенности? Ответ напрашивается сам собой: если в природе вороны нет ничего такого, что препятствовало бы ей быть серой или коричневой, то в природе человека должно иметься, повидимому, нечто такое, что делает его смертным. Мы говорим 'все вороны черны' не потому, что они не могут иметь иную окраску, а потому, что все виденные нами вороны случайно оказались черными.

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

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