Все индийские логики утверждают, что вывод свартха (для себя) не требует никакого формального утверждения посредством ряда суждений. Только в выводе парартха (для других), предназначенного доказать или продемонстрировать некоторую истину, мы требуем утверждения вывода в форме строго последовательной цепи аргументов. Это логическая форма вывода. Мы можем сказать, что в индийской логике вывод в основном соответствует по своей форме категорическому силлогизму западной логики. Но между индийской и западной формами силлогизма имеются, однако, важные различия. В западной логике силлогизм состоит из трех суждений, из которых первое есть большая посылка, второе - меньшая посылка и последнее вывод. Однако, согласно учению представителей ньяйи, вывод как решающее доказательство должен состоять из пяти суждений, называемых аваявами (членами). Пятичленный силлогизм можно иллюстрировать следующим образом:
1) Рама смертен (пратиджна)
2) Потому, что он человек (хету)
3) Все люди смертны (например, Сократ, Кант, Гегель) - удахарана
4) Рама также человек (упаная)
5) Следовательно, он смертный (нигамана)

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

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

Относительно того, что такое вьяпти, следует сказать, что слово 'вьяпти' буквально означает состояние проникновения. Оно предполагает взаимопроникновение двух фактов, один из которых проникаем (вьяпья}, а другой - проникает [вьяпака). О факте говорят, что он проникает другой, в том случае, если он всегда сопровождает этот другой факт. О факте говорят, что он проникаем другим, если данный факт всегда сопровождается этим другим. В этом смысле дым проникаем огнем, поскольку дым всегда сопровождается огнем, то есть все дымящиеся объекты являются огненными. Но в то время, как все дымящиеся объекты являются огненными, отнюдь не все огненные объекты дымятся, например раскаленный докрасна чугунный шар не дымит. Вьяпти между терминами неравного объема (например, дымом и огнем) называется асамавьяпти или висамавьяпти. Это-отношение неэквивалентного сосуществования двух терминов, один из которых можно вывести из другого, но отнюдь не наоборот. Мы можем сделать вывод о присутствии огня из наличия дыма, но не о присутствии дыма из наличия огня. В отличие от этого, вьяпти между двумя терминами равного объема называется самавьяпти, то есть эквивалентное сосуществование. Здесь вьяпти устанавливается между двумя одинаковыми по объему терминами, так что мы можем вывести один термин из другого так же. как и другой из первого. Таковыми, например, являются термины 'называемое' и 'познаваемое'. Все то, что может быть , названо, познаваемо, и наоборот.

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