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

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

Третье свойство правильного логического признака заключается в несомненном его отсутствии во всех неоднородных объектах.

По учению Дхармакирти, логическая связь понятий в умозаключениях может быть троякой: «аналогической», причинной и отрицательной. Это связано с тем, что всякое понятие может быть неразрывно связано с другими на основании двух законов закона тождества и закона причинности.

Умозаключение «для других» есть выражение трех свойств логического признака в словах. Здесь под свойствами логического признака разумеется: 1) неразрывная связь его с логическим следствием, выраженная положительным образом, например: «Где есть дым, там есть огонь» (это – положительная, или прямая, связь), 2) та же связь, но выраженная обратно через логическое превращение, например: «Где нет огня, там нет и дыма» (это – отрицательная, или обратная, связь) и 3) наличность логического признака в известном месте, т. е. фактическая его связь с объектом вывода, например: «Там есть дым, следовательно, есть и огонь».

Первое свойство логического признака в умозаключении «для других» соответствует второму свойству логического признака в умозаключении «для себя», второе свойство его соответствует третьему свойству умозаключения «для себя», и третье свойство умозаключения «для других» соответствует первому свойству умозаключения «для себя».

Умозаключение «для других» бывает двух видов: 1) силлогизм сходства и 2)силлогизм различия. Пример силлогизма сходства: «Где есть дым, там есть огонь; например, в домашнем очаге и тому подобных случаях; а на этом месте есть дым; следовательно, должен быть и огонь». Пример силлогизма различия: «Где нет огня, нет и дыма, а в данном месте дым есть; следовательно, есть и огонь».

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

Логические ошибки (неправильные логические основания), по учению Дхармакирти, бывают в тех случаях, когда: 1) в силлогизме из трех необходимых свойств логического основания отсутствует хотя бы одно и 2) хотя бы одно из этих свойств ложно или сомнительно. Если ложно или сомнительно первое из свойств логического основания, т. е. связь логического признака с объектом заключения сомнительна или этой связи вовсе нет, то мы имеем логическую ошибку, называемую «ложным основанием». Например, если бы кто-нибудь для доказательства присутствия огня стал бы указывать не на дым, а на нечто такое, что можно принять за туман.

Если ошибочным будет только второе свойство основания, именно – отсутствие его в предметах неоднородных, то мы будем иметь ошибку, называемую «неопределенным основанием». При сомнительности третьего свойства логического основания также получается неопределенное основание.

Рассмотрев логические ошибки, происходящие от неверности или сомнительности одного из свойств логического основания, взятого в отдельности, Дхармакирти далее переходит к рассмотрению логических ошибок, происходящих от неверности или сомнительности двух из них, взятых вместе. «Обратным основанием» называется такая логическая ошибка, когда приводимые основания доказывают на самом деле не тот вывод, который из них выводится, а как раз то, что ему противоположно. Например, если кто-нибудь для доказательства положения, что слово вечно, приводит в качестве основания то, что слово создается человеческой волей, то такое основание является обратным, так как оно доказывает прямо противоположное, – то, что слово не вечно.

Обратное основание бывает в том случае, если два свойства логического основания одновременно оказываются ложными. Если же из двух свойств одно ложно, а другое сомнительно, то получается неопределенное основание. Равным образом неопределенное основание получается, если два свойства логического основания сомнительны.

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

Изложив учение о доказательстве и о логических ошибках, Дхармакирти переходит к выяснению сущности опровержения. Он определяет опровержение как указание на недостаток доказательства. Опровергнуть какое-нибудь положение – значит найти ошибку в логическом основании. Бывают кажущиеся опровержения, которые имеют вид опровержений, а на самом деле не являются таковыми. Кажущиеся опровержения суть уклончивые ответы, заключающие в себе указание на несуществующую ошибку.

Индийская логика развивалась на протяжении двух тысячелетий. Картина развития логики в Индии остается еще не вполне ясной.

По нашему мнению, основными вехами в развитии индийской логики являются:

1) ранний период – первоначальная форма буддийской логики, принимавшая многочленный силлогизм (более чем с пятью членами);

2) логика школ ньяя и вайшешика и преобразование под их влиянием буддийской логики;

3) буддийская логика Дигнаги и Дхармакирти и преобразование под их влиянием логики ньяя;

4) логика эпохи феодализма.

По нашему мнению, наиболее древним документом индийской логики является памятник буддийской логики. Эта древнейшая форма индийской логики не довольствуется пятью членами силлогизма. Она требует, чтобы, кроме положительных примеров по принципу однородности, подтверждающих ее выделяемые положения, были еще примеры по принципу разнородности. Так, согласно этой концепции, для доказательства положения: «На холме дым, следовательно, там огонь» – надо привести еще примеры о том, что где нет огня, там нет и дыма (например: «В море нет огня, и потому там нет дыма, а испарения, подымающиеся над морем и образующие туман, это – не дым». Такое усложнение силлогизма говорит об архаичности этой концепции.

Развитие индийской логики шло по линии сокращения членов силлогизма. Другим показателем развития логики в Индии служила сама форма ее изложения.

Первоначально в Индии философские и логические системы излагались в форме сутр (основных положений), выраженных в виде кратких афоризмов, нередко состоящих всего лишь из двух-трех слов. Сутры предназначались для запоминания их наизусть в школах. В силу своей краткости они были непонятны без комментариев, которые давались вначале в устной форме, а затем были зафиксированы в письменном виде, причем писались комментарии, затем комментарии к комментариям и т. д. Обычно там, где предмет труден для понимания, комментаторы пишут, что вопрос ясен, и не дают никакого объяснения, а там, где предмет ясен, развивают многословные рассуждения, которые только затемняют вопрос. Ньяя состояла из 538 сутр, вайшешика – из 370, санкхья – из 526, йога – из 524, миманса – из 274 и веданта – из 555 сутр.